最新の記事一覧 月別記事一覧 テーマ別記事一覧ブログ(33)λ計算(36)CG(5)計算機(24)math(71)Geometry Roc...(1)Japan200906(9)story(2)Veach paper(22)ifgi tracer(1)λ計算の記事(36件)抽象化 --- 無限は有限の中に存在できる．(2)抽象化 --- 無限は有限の中に存在できる (1)一つ上の考え手順を実行する機械 Pop1 (2)手順を実行する機械 Pop1 (1)レストランの三人の客...計算の意味(1)手順を実行する機械 SUCC mark 1チャーチの数 (続き)チャーチ数自然数の定義 2自然数の定義 1λ計算の動機λへの導入番外1λ計算と函数A Hitchhiker's guide to Lambda<< 前ページ
