>>796
複雑な関係を二次元に配置することで、「目で追いやすくする」のが図式の
旨味なのであって、もし機械的に検証したいということであれば図式の
各要素に対応する関係式を並べた「連立関係式」として図式を定式化することは
できる。