[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
346: デフォルトの名無しさん [sage] 2024/04/16(火) 18:01:37.43 ID:fFCD5orj n乗根のアルゴリズムは選択公理みたいに解の集合から一つ選択するんだよね ここで空集合と空でない集合という、なんというか 反なめらか勢力？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/346
347: デフォルトの名無しさん [sage] 2024/04/16(火) 18:54:49.14 ID:usMdjojl >>345,346 そんなことより>>340の題意は伝わってるようだね 成立してるよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/347
348: デフォルトの名無しさん [] 2024/04/16(火) 21:01:49.49 ID:ce0c+Wns ばーか http://mevius.5ch.net/test/read.cgi/tech/1710585705/348
349: デフォルトの名無しさん [] 2024/04/16(火) 21:03:04.14 ID:A1Drxn9H しねぇ！！！ http://mevius.5ch.net/test/read.cgi/tech/1710585705/349
350: デフォルトの名無しさん [] 2024/04/16(火) 21:05:37.59 ID:bJGpAOxM ポエム、死すべし http://mevius.5ch.net/test/read.cgi/tech/1710585705/350
351: デフォルトの名無しさん [] 2024/04/16(火) 21:06:32.75 ID:Qd7fb1ey 賢こぶるなカスが http://mevius.5ch.net/test/read.cgi/tech/1710585705/351
352: デフォルトの名無しさん [] 2024/04/16(火) 21:08:00.17 ID:UT47qync きゅうりを育てる プロジェクトX http://mevius.5ch.net/test/read.cgi/tech/1710585705/352
353: デフォルトの名無しさん [] 2024/04/16(火) 21:09:06.06 ID:UT47qync メークインの メッカ http://mevius.5ch.net/test/read.cgi/tech/1710585705/353
354: デフォルトの名無しさん [] 2024/04/16(火) 21:11:20.78 ID:UT47qync しねええええっ！！ http://mevius.5ch.net/test/read.cgi/tech/1710585705/354
355: デフォルトの名無しさん [sage] 2024/04/16(火) 21:12:18.68 ID:odkgr9I4 カリー・ハワードって別にそれで何かブレイクスルーが起こったわけでもない 無意味に持ち上げすぎだろ http://mevius.5ch.net/test/read.cgi/tech/1710585705/355
356: デフォルトの名無しさん [] 2024/04/16(火) 21:12:56.63 ID:UT47qync はーか http://mevius.5ch.net/test/read.cgi/tech/1710585705/356
357: デフォルトの名無しさん [] 2024/04/16(火) 21:15:22.83 ID:hd0EAKHj Pachinkoですった借金 積もりに積もって、、もどーる http://mevius.5ch.net/test/read.cgi/tech/1710585705/357
358: デフォルトの名無しさん [] 2024/04/16(火) 21:16:45.23 ID:UT47qync しねええええっ！！！ http://mevius.5ch.net/test/read.cgi/tech/1710585705/358
359: デフォルトの名無しさん [] 2024/04/16(火) 21:17:45.68 ID:DMBaPuV2 かわいそうに・・・ http://mevius.5ch.net/test/read.cgi/tech/1710585705/359
360: デフォルトの名無しさん [] 2024/04/16(火) 21:18:44.24 ID:wb1PrcU1 自己実現欲求が満たせないゴミめ http://mevius.5ch.net/test/read.cgi/tech/1710585705/360
361: デフォルトの名無しさん [] 2024/04/16(火) 21:22:14.67 ID:wb1PrcU1 グランドペチカ http://mevius.5ch.net/test/read.cgi/tech/1710585705/361
362: デフォルトの名無しさん [sage] 2024/04/16(火) 21:23:49.80 ID:fFCD5orj ブレイクスルーのたびに歴史の断絶があるのは面倒だから 数学に期待されることはおそらく断絶を阻止すること http://mevius.5ch.net/test/read.cgi/tech/1710585705/362
363: デフォルトの名無しさん [] 2024/04/16(火) 21:26:35.11 ID:8wnatpzr しねえええええっ！！！ http://mevius.5ch.net/test/read.cgi/tech/1710585705/363
364: デフォルトの名無しさん [] 2024/04/16(火) 21:28:36.61 ID:g+y/CpM4 だまれー！！ http://mevius.5ch.net/test/read.cgi/tech/1710585705/364
365: デフォルトの名無しさん [] 2024/04/16(火) 21:33:33.59 ID:eUys93Mt ! http://mevius.5ch.net/test/read.cgi/tech/1710585705/365
366: デフォルトの名無しさん [] 2024/04/16(火) 21:34:29.00 ID:UT47qync 青い眼をした 銀河団本中二 http://mevius.5ch.net/test/read.cgi/tech/1710585705/366
367: デフォルトの名無しさん [] 2024/04/16(火) 21:34:53.48 ID:bezjSTs7 サンリオ😂 http://mevius.5ch.net/test/read.cgi/tech/1710585705/367
368: デフォルトの名無しさん [] 2024/04/16(火) 21:37:39.74 ID:bezjSTs7 まくら http://mevius.5ch.net/test/read.cgi/tech/1710585705/368
369: デフォルトの名無しさん [] 2024/04/16(火) 21:38:11.07 ID:UT47qync なんでまゆげ透けてんの？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/369
370: デフォルトの名無しさん [] 2024/04/16(火) 21:38:39.99 ID:gwHtYNMH コロス えいディス寿司実いたしますかな http://mevius.5ch.net/test/read.cgi/tech/1710585705/370
371: デフォルトの名無しさん [] 2024/04/16(火) 21:45:06.43 ID:pVDgreOv 凹凸がないって、美しい http://mevius.5ch.net/test/read.cgi/tech/1710585705/371
372: デフォルトの名無しさん [] 2024/04/16(火) 21:46:19.26 ID:UT47qync 効果音は、Diggy http://mevius.5ch.net/test/read.cgi/tech/1710585705/372
373: デフォルトの名無しさん [] 2024/04/16(火) 21:46:44.33 ID:LcfQM7X4 まつげ、性的、いい匂い http://mevius.5ch.net/test/read.cgi/tech/1710585705/373
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 629 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.012s