[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
341: デフォルトの名無しさん [sage] 2024/04/16(火) 16:13:56.69 ID:Ng40HiX6 >>340 スレタイ読めよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/341
342: デフォルトの名無しさん [sage] 2024/04/16(火) 16:31:40.11 ID:Ng40HiX6 カリー・ハワード同型対応 http://mevius.5ch.net/test/read.cgi/tech/1710585705/342
344: デフォルトの名無しさん [sage] 2024/04/16(火) 17:33:24.91 ID:Ng40HiX6 Curry-Howard Correspondence https://web2.qatar.cmu.edu/cs/15317/lectures/04-curryhoward.pdf http://mevius.5ch.net/test/read.cgi/tech/1710585705/344
345: デフォルトの名無しさん [sage] 2024/04/16(火) 17:35:24.46 ID:Ng40HiX6 カリー・ハワード対応 (Curry-Howard correspondence) は、数学と計算理論の分野で重要な関係性を表す概念です。この対応は、論理学と型理論の間の深い関連を示しています。 カリー・ハワード対応は、次のような三つの分野間の関係を表しています。 1. 論理学: 論理的な命題や証明体系 2. 型理論: プログラミング言語や計算の型システム 3. 圏論: 数学的構造を研究する分野 これらの分野の対応関係は次のようになります。 1. 論理学の命題や証明は、型理論の型とプログラムに対応する。 2. 論理学の証明の形式は、型理論のプログラムの構造に対応する。 3. 圏論における対象や射は、型理論における型や関数と対応する。 この対応関係は、論理学の証明とプログラミング言語のプログラムの間に類似性があり、その間の数学的な形式的関係を示しています。これは、プログラムの正しさや証明の正当性を検証するための形式手法に関連しており、特に依存型や型理論に基づく証明支援系で重要な役割を果たしています。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/345
376: デフォルトの名無しさん [sage] 2024/04/16(火) 23:43:41.31 ID:Ng40HiX6 効いてるな http://mevius.5ch.net/test/read.cgi/tech/1710585705/376
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.041s