最終更新日：2025/11/28
The Curry-Howard correspondence reveals a deep connection between constructive mathematical proofs and typed functional programs, asserting that proofs correspond to programs and propositions correspond to types.
正解を見る
The Curry-Howard correspondence reveals a deep connection between constructive mathematical proofs and typed functional programs, asserting that proofs correspond to programs and propositions correspond to types.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
証明とプログラムの対応は、構成的数学の証明と型付き関数型プログラムとの間に深い関係があることを示し、証明がプログラムに、命題が型に対応することを主張する。
