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

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ド・ブラン記法 ： ウィキペディア日本語版 ド・ブラン記法[どぶらんきほう] ド・ブラン記法(英:De Bruijn notation)とは、ラムダ計算の表記のための構文の一つである。オランダ人数学者ニコラース・ホーバート・ド・ブランによって発明された。 == 生成文法 == ド・ブラン記法の項は、vを任意の変数名、MとNを任意のド・ブラン記法の項とするとき、 # v # M # (M) N の形で表されるもの全てである。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ド・ブラン記法」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.