二項有向グラフのモデルとその応用 | Synapse