最終更新日：2025/11/30
To avoid variable capture when substituting terms, we perform an alpha conversion on the lambda abstraction before applying the substitution.
正解を見る
To avoid variable capture when substituting terms, we perform an alpha conversion on the lambda abstraction before applying the substitution.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
