Researchers often invoke the Curry-Howard isomorphism when explaining the deep connection between proofs and programs.
研究者は、証明とプログラムの深い関係を説明する際によくカリー＝ハワード対応を引用します。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
