最新の記事一覧 月別記事一覧 テーマ別記事一覧2012 | 2011 | 2010 | 2009 | 20081月(0)2月(6)3月(12)4月(8)5月(3)6月(10)7月(0)8月(7)9月(4)10月(4)11月(1)12月(0)2009年3月の記事(12件)λ版 succ -- apply numbersλ版 succ - definitionλ版 succ - left or right左結合と右結合λ版 succ 1λ版 チャーチ数(再)自動販売機 gensym3141壊れている販売機λ計算: 函数の適用λ計算: 二倍する函数「何か」についてλ計算の初歩 1
