ド・ブラウン記法
(De Bruijn notation から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/01/10 02:46 UTC 版)
ナビゲーションに移動 検索に移動ド・ブラウン記法(英:De Bruijn notation)とは、ラムダ計算の表記のための構文の一つである。オランダ人数学者ニコラース・ホーヴァート・ド・ブラウンによって発明された。
生成文法
ド・ブラウン記法の項は、vを任意の変数名、MとNを任意のド・ブラウン記法の項とするとき、
- v
- [v] M
- (M) N
の形で表されるもの全てである。
通常の記法との対応
Iを通常のラムダ計算の記法からド・ブラウン記法への変換とし、vを任意の変数名、MとNを任意のド・ブラウン記法の項とするとき、
- I(v) = v
- I(λv.M) = [v]I(M)
- I(M N) = (I(N))I(M)
となる。
参考文献
- BONELLI E, RIOS A (Univ. Buenos Aires, Buenos Aires, ARG), KESNER D (Univ. Paris-Sud, Orsay, FRA) "A de Bruijn Notation for Higher-Order Rewriting" postscript
「De Bruijn notation」の例文・使い方・用例・文例
- '火星の衛星'の拡大は、Demosとフォボスだけを含む集合である
- ルーツが殺虫剤ロテノンをもたらす熱帯アジアの類概念Derrisの様々な通常樹木の茂ったつる植物のいずれも
- TBSがDeNAへのベイスターズ売却に合意
- 横浜ベイスターズの親会社である東京放送(TBS)ホールディングスは，携帯電話向けゲームサービスプロバイダーのディー・エヌ・エー(DeNA)に同球団を売却する契約を結んだ。
- 11月４日，TBSが同球団の株式66.92％を65億円でDeNAに売却すると発表された。
- DeNAは｢横浜DeNAベイスターズ｣の新名称で日本野球機構(NPB)への加盟を申請した。
- DeNAは携帯電話向けソーシャルゲームプラットフォーム｢モバゲー｣を運営している。
- DeNAは今後，ベイスターズの名称と所有権の変更に対して，12月１日のオーナー会議で少なくとも出席者の４分の３の同意を得なければならない。
- 広島東洋カープのエース，前田健(けん)太(た)投手が４月６日，横浜DeNAベイスターズ戦でノーヒットノーランを達成した。
- 中日ドラゴンズの山井大(だい)介(すけ)投手が６月28日，横浜スタジアムでの横浜DeNAベイスターズ戦でノーヒットノーランを達成した。
Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
- De Bruijn notationのページへのリンク
