ラムダ計算
#計算モデル
無名関数と関数適用だけでできた計算モデル
チューリング完全
関数型言語 の理論的基盤