2014-08-10 λλλ後半戦 #comb_mu 自然数導入 Church数 PRED関数 論理値導入 純lispはラムダ計算と等価 チャーチペア チャーチリスト Yコンビネータ 単純型つきラムダ計算 ラムダ計算の論文を読めばいいと思う