20/06/13 14:03:17.14 gMyQxnOk0.net
・異なる数学の舞台（IUT理論ではuniverses、加藤さんの比喩では、足し算、かけ算が切り離されてかけ算だけを伸び縮みさせた世界）を設定。現実世界に計算者がいて、そこにテレビがあって画面の中に同じ計算者がいる。ただし２つの計算者は同じだが掛けられる制約が異なっている―というふうに舞台は現実世界も含めて入れ子式になっている
・計算の群論的対称性（計算方法のレシピ）を、各計算者に計算の対象や計算方法を伝達
・受信した対称性を基に、それぞれの舞台で元の計算の対象や計算方法を復元。計算を実行する
・対称性の通信や復元で生じる不定性・ひずみ、つまり計算結果のサイズの違いを定量的に評価して不等式を導く