EDGの精査

いままで、雰囲気で取り扱ってきた、イベント依存グラフを、すこし
形式化しようとしている。結局加算合成をイベント依存グラフ上で
計算しないといけないことになって、悩む。とくに状態とイベント依存
関係がごっちゃになってしまう。ふとノートを見返すとそういえば、８月
にはそれなりの答えをだしていた、状態は最初は無視して合成して、さいごに
必要なところに状態を導入。必要なところ？どこがそれなのか失念。