• Sub

• PRED

• MULT

• ADD

• SUCC1

• λ版 succ -- apply numbers (Cont.)

• λ版 succ -- apply numbers

• λ版 succ - definition

• λ版 succ - left or right

• 左結合と右結合

• λ版 succ 1

• λ版 チャーチ数(再)

• 自動販売機 gensym3141

• 壊れている販売機

• λ計算: 函数の適用

• λ計算: 二倍する函数

• 「何か」について

• λ計算の初歩 1

• λと名前

• 函数 = λ

<< 前ページ次ページ >>