t_wの輪郭

Feedlyでフォローするボタン
チューリングチューリング機械
帰納的関数、チューリング機械、ラムダ計算は同等