最終更新日:2025/12/05
編集履歴(0)
元となった辞書の項目

de Bruijn notation

名詞
不可算名詞
日本語の意味
ラムダ計算における項を記述するための特定の記法
このボタンはなに?

ラムダ計算を教えるとき、彼女は変数名の問題を避けるためにラムダ項のためのインデックス表記法をよく用いた。

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★