最終更新日：2025/12/04
To simplify formal proofs about bound variables, she replaced named variables with the de Bruijn index in her lambda calculus formalization.
正解を見る
To simplify formal proofs about bound variables, she replaced named variables with the de Bruijn index in her lambda calculus formalization.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
