最終更新日：2024/08/05
The de Bruijn indexes are used in computer science to represent variables in lambda calculus.
正解を見る
The de Bruijn indexes are used in computer science to represent variables in lambda calculus.
編集履歴（0）
