Marino Miculan

構造化フレームワークを通じてグラフ書き換えシステムがどんなふうに動くかを調べる。