|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ラン : [らん] 【名詞】 1. (1) run 2. (2) LAN (local area network) 3. (P), (n) (1) run/(2) LAN (local area network) ・ 記 : [き] (n,n-suf) chronicle ・ 記法 : [きほう] (n) notation ・ 法 : [ほう] 1. (n,n-suf) Act (law: the X Act)
ド・ブラン記法(英:De Bruijn notation)とは、ラムダ計算の表記のための構文の一つである。オランダ人数学者ニコラース・ホーバート・ド・ブランによって発明された。 == 生成文法 == ド・ブラン記法の項は、vを任意の変数名、MとNを任意のド・ブラン記法の項とするとき、 # v # M # (M) N の形で表されるもの全てである。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「ド・ブラン記法」の詳細全文を読む スポンサード リンク
|