最新の記事一覧 月別記事一覧 テーマ別記事一覧ブログ(33)λ計算(36)CG(5)計算機(24)math(71)Geometry Roc...(1)Japan200906(9)story(2)Veach paper(22)ifgi tracer(1)λ計算の記事(36件)SubPREDMULTADDSUCC1λ版 succ -- apply numbers (Cont.)λ版 succ -- apply numbersλ版 succ - definitionλ版 succ - left or right左結合と右結合λ版 succ 1λ版 チャーチ数(再)自動販売機 gensym3141壊れている販売機λ計算: 函数の適用λ計算: 二倍する函数「何か」についてλ計算の初歩 1λと名前函数 = λ次ページ >>
