最近lispを勉強しているのですが、やっぱり数学的な背景についてもちょっと勉強しておきたいなぁ、、と思いました。 ということで、ラムダ計算についてまとめました。今回は入門編で、厳密な定義は置いておいてとりあえず具体例を用いて初歩的な用語・概念を一通り確認して、式をいじれるようになることが目的です。 目標 ラムダ計算ってなんぞ、という人がラムダ計算をざっくりと説明できるようになる プログラムの中でラムダ式を使ってみる ラムダ計算 背後にある計算モデル コンピュータは計算を行うことで処理を行います。この計算機における計算の考え方については、3つのモデルがあります。命令型モデル、関数型モデル、論理型モデルです。lispなどの関数型言語(lispは純粋な関数型言語というわけではありませんが...)の基礎づけとなっているのはこのうちの関数型モデルです。関数型モデルにおける計算とは、一言で言えば、関数