最終更新日：2025/12/04
Computer scientists often invoke the Church-Rosser theorem to argue that the order of beta-reductions does not affect the final normal form of a lambda expression.
正解を見る
Computer scientists often invoke the Church-Rosser theorem to argue that the order of beta-reductions does not affect the final normal form of a lambda expression.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
