2005-02-24 セミナー 大学 無理.プログラミング言語の基礎理論 (情報数学講座)作者: 大堀淳出版社/メーカー: 共立出版発売日: 1997/02メディア: 単行本 クリック: 55回この商品を含むブログ (15件) を見る来週までに5.4と5.5とか,あり得ない.証明とか,意味わかんないし.「あと2回で,2階の型付きラムダ計算は終了ね」って言われても・・・