Last Updated：2025/12/04

(mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.

音声機能が動作しない場合はこちらをご確認ください

See correct answer

de Bruijn index

Source Word

de Bruijn index

Noun

Japanese Meaning

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

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

Sense（1）

de Bruijn indexes

（ plural ）