[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
345(1): 2024/04/16(火)17:35 ID:Ng40HiX6(4/5) AAS
カリー・ハワード対応 (Curry-Howard correspondence) は、数学と計算理論の分野で重要な関係性を表す概念です。この対応は、論理学と型理論の間の深い関連を示しています。
カリー・ハワード対応は、次のような三つの分野間の関係を表しています。
1. 論理学: 論理的な命題や証明体系
2. 型理論: プログラミング言語や計算の型システム
3. 圏論: 数学的構造を研究する分野
これらの分野の対応関係は次のようになります。
1. 論理学の命題や証明は、型理論の型とプログラムに対応する。
2. 論理学の証明の形式は、型理論のプログラムの構造に対応する。
3. 圏論における対象や射は、型理論における型や関数と対応する。
省1
347: 2024/04/16(火)18:54 ID:usMdjojl(1) AAS
>>345,346
そんなことより>>340の題意は伝わってるようだね
成立してるよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s