物理だか情報科学だか数学だか論理学だか

熱力学的平衡にたっしていて部分を持たない系の状態は、2つの独立な物理量で定まるらしい。2つの物理量があれば、それでもって、他の物理量を表せるらしい。

型無しラムダ計算の任意のラムダ式に、β変換でうつるものをSとKの2つで作れるらしい。

似ている。ようなきがする。

未来のぴらぴらへ：
あ、ヘーゲルが、弁証法を、電気工学の公式たちの中に見出したってほんと？？