翻訳と辞書 Words near each other ・ ド・バンジュ90mm野砲 ・ ド・ビリー ・ ド・ビルパン ・ ド・フォレスト ・ ド・フリース ・ ド・ブランジェの定理 ・ ド・ブランジュ ・ ド・ブランジュの定理 ・ ド・ブランヴィリエ侯爵夫人 ・ ド・ブラン・インデックス ・ ド・ブラン・レベル ・ ド・ブラン記法 ・ ド・ブリー ・ ド・ブロイ ・ ド・ブロイの仮説 ・ ド・ブロイ波 ・ ド・ブロイ波長 ・ ド・ブロス ・ ド・ブローイ ・ ド・ヘイヴン (DD-469) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ド・ブラン・レベル ： ウィキペディア日本語版 ド・ブラン・レベル ド・ブラン・レベル(英:De Bruijn Level)とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。 == 解説 == この記法では、それぞれのλでは引数の名前を書かない。引数は、通常の記法でその引数を宣言するλが何番目にあるかを表す自然数の番号で表記する。 例えば、λz. (λy. y (λx. x)) (λx. z x) は λ (λ 2 (λ 3)) (λ 1 4) となる。 ド・ブラン・インデックスは相対的な位置を表すが、ド・ブラン・レベルは絶対的な位置を表す。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ド・ブラン・レベル」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.