Last Updated:2025/12/05
Edit Histories(0)
Source Word

de Bruijn notation

Noun
uncountable
Japanese Meaning
ラムダ計算における項を記述するための特定の記法
What is this buttons?

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

Dictionary quizzes to help you remember the meaning

Edit Histories(0)

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★