結果 : functional programming and parallel graph rewriting