t_wの輪郭

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