2007-01-25 『計算論』 Math 関数型言語を勉強するからには計算理論も勉強せねばなるまいっ!ということで『計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)』(高橋正子、1991、近代科学社)を読んでいます。