「計算」に関わる数学理論が構築されている。「論理」は構造よりも利用的側面が強調された。算メカニズムが考えられている。問題が多項式時間で計算可能な例が多々示されている。則演算やブール代数を基礎としているが、量子計算の演算単位はユニタリ変換である。分子計算の演算単位は文字列置換である。計算の場(セル空間)がユークリッド平面ではない。潜む「論理」構造や「計算」理論を構築する情報数理学的側面を考察する。挙動により意味のある計算を行わせるシステムである。計算を行わせるシステムである。これらの計算は、格子グラフ変換で表現できる。「計算」理論を構築することが目的である。仕掛け)の構築を行う。