「ド・ブラウン・インデックス」の版間の差分
削除された内容 追加された内容
m 昇華融解 がページ「ド・ブラン・インデックス」を「ド・ブラウン・インデックス」に移動しました: 音写の見直し |
音写の見直し |
||
1行目:
'''ド・ブラウン・インデックス'''(英:De Bruijn Index)とは、[[ラムダ計算]]において、[[名前]]を使わずに[[引数]]([[束縛変数]])を参照するための記法である。[[オランダ人]][[数学者]][[ニコラース・ホー
== 解説 ==
6行目:
例えば、λz. (λy. y (λx. x)) (λx. z x) は λ (λ 1 (λ 1)) (λ 2 1) となる。
[[ド・ブラウン・レベル]]は絶対的な位置を表すが、ド・ブラウン・インデックスは相対的な位置を表す。
== 参考文献 ==
12行目:
== 関連項目 ==
*[[ド・ブラウン・レベル]]
{{DEFAULTSORT:とふらうんいんてつくす}}
[[Category:ラムダ計算]]
[[Category:エポニム]]
|