2006-10-30から1日間の記事一覧
熱力学的平衡にたっしていて部分を持たない系の状態は、2つの独立な物理量で定まるらしい。2つの物理量があれば、それでもって、他の物理量を表せるらしい。 型無しラムダ計算の任意のラムダ式に、β変換でうつるものをSとKの2つで作れるらしい。 似ている。…
熱力学的平衡にたっしていて部分を持たない系の状態は、2つの独立な物理量で定まるらしい。2つの物理量があれば、それでもって、他の物理量を表せるらしい。 型無しラムダ計算の任意のラムダ式に、β変換でうつるものをSとKの2つで作れるらしい。 似ている。…