最近、これを読んでいる。計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)作者: 高橋正子出版社/メーカー: 近代科学社発売日: 1991/08/01メディア: 単行本購入: 8人 クリック: 160回この商品を含むブログ (36件) を見るこの中でアッカーマ…