ラムダ計算

出典: フリー教科書『ウィキブックス(Wikibooks)』
移動先: 案内検索
Lambda lc.svg

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

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

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

型なしラムダ計算[編集]

β簡約[編集]

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

関連書籍[編集]

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


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