de Bruijn index（数学における概念で）とは - 英語 - 英語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

de Bruijn index

de Bruijn index

日本語の意味

数学における概念で、ラムダ計算の項を表現する際に、変数名を排除することを目的とした記法。

このボタンはなに？

束縛変数に関する形式的な証明を簡素化するために、彼女は形式化において変数名を排除するラムダ計算の項表記法で名前付き変数を置き換えた。

関連語

de Bruijn indexes

（ plural ）

de Bruijn indexes

活用形複数形

plural of de Bruijn index

原形: de Bruijn index

日本語の意味

「de Bruijn index」の複数形

このボタンはなに？

To implement the lambda calculus evaluator, she carefully tracked de Bruijn indexes for each bound variable.

ラムダ計算の評価器を実装するために、彼女は各束縛変数についてDe Bruijnインデックスを注意深く追跡した。

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★