• 抽象化 --- 無限は有限の中に存在できる．(2)

• 抽象化 --- 無限は有限の中に存在できる (1)

• 一つ上の考え

• 手順を実行する機械 Pop1 (2)

• 手順を実行する機械 Pop1 (1)

• レストランの三人の客...計算の意味(1)

• a Laplacian matrix and its eigenvalues

• 折り畳み式コンピュータ

• 友

• Edinburgh

• 手順を実行する機械 SUCC mark 1

• チャーチの数 (続き)

• DDR Gebaeude

• チャーチ数

• Blaue Wunder

• 自然数の定義 2

• 自然数の定義 1

• Stereo Shadow

• λ計算の動機

• λへの導入

<< 前ページ次ページ >>