ベータ簡約 ‐ 通信用語の基礎知識
ラムダ計算においても関数の適用という概念がある。 つまり式を書き換えて簡単にする規則を定めたものがベータ簡約である。 (λx.M) は、写像x→Mを表わす。つまり入力xに対しMを返すとことを表現するラムダ項とされる。 (MN) は、ラムダ項Mにラムダ項Nを渡す、あるいはMにNを適用するということを表現するラムダ項である。このMやNは具体的には(λx.K)や(x+1)などのラムダ項となることもある。 また括弧は適宜省かれる。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.kurims.kyoto-u.ac.jp/~cs/lecture2009/lecture090507.pdf
