|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ラン ： [らん] 【名詞】 1. (1) run 2. (2) LAN (local area network) 3. (P), (n) (1) run/(2) LAN (local area network)
ド・ブラン・インデックス(英:De Bruijn Index)とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。オランダ人数学者ニコラース・ホーバート・ド・ブランによって発明された。 == 解説 == この記法では、それぞれのλでは引数の名前を書かない。引数は、通常の記法でその引数を宣言するλが、何階層外側にあるかを表す自然数の番号で表記する。 例えば、λz. (λy. y (λx. x)) (λx. z x) は λ (λ 1 (λ 1)) (λ 2 1) となる。 ド・ブラン・レベルは絶対的な位置を表すが、ド・ブラン・インデックスは相対的な位置を表す。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ド・ブラン・インデックス」の詳細全文を読む スポンサード リンク
|