Lambda lc.svg

メインページ > 数学 > 理論計算機科学 > ラムダ計算

ラムダ計算 (lambda calculus) は、1930年代にアロンゾ・チャーチが関数による数学の基礎づけを目的として導入した形式的体系である。

ほどなくしてラムダ計算で表現できる関数のクラスは再帰的関数のクラスと一致することが示され(チャーチ=チューリングのテーゼ、ラムダ計算はチューリングマシン等価な計算モデルである)、数学全体の基礎づけには表現力が不十分であることがわかったが、1960年代に入ってプログラミング言語の理論的基盤として脚光を浴びる。LispSchemeOCamlMLHaskellなどの関数型プログラミング言語はラムダ計算を実装している。

型なしラムダ計算編集

β簡約編集

単純型つきラムダ計算編集

関連書籍編集

ウィキペディアラムダ計算の記事があります。


このページ「ラムダ計算」は、まだ書きかけです。加筆・訂正など、協力いただける皆様の編集を心からお待ちしております。また、ご意見などがありましたら、お気軽にトークページへどうぞ。