「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

424: デフォルトの名無しさん [] 2024/04/24(水) 12:46:31.82 ID:hOEBS28r(1) AAS
Kan拡張ってどう便利なの

425: デフォルトの名無しさん [sage] 2024/04/24(水) 14:34:26.92 ID:qYUcXmw2(3/5) AAS
「Haskellには依存型がない」は「Cにはclassがない」と同じ形式だし
「数学だから違う」は数学の定理ではない

426: デフォルトの名無しさん [sage] 2024/04/24(水) 16:07:04.29 ID:sd26LqbM(4/7) AAS
数学知らないんだろ

427: デフォルトの名無しさん [sage] 2024/04/24(水) 16:28:57.36 ID:sd26LqbM(5/7) AAS
外部ﾘﾝｸ:leanprover-community.github.io

こういう話をしてるんだよ

428: デフォルトの名無しさん [] 2024/04/24(水) 17:12:59.42 ID:wm22WFWW(1) AAS
依存型がなければ、その上に型システムを構築したらいいのでは？

429: デフォルトの名無しさん [sage] 2024/04/24(水) 17:25:41.09 ID:qYUcXmw2(4/5) AAS
やりたいことをやってる人は問題ないが必然的にこの道しかないみたいな考えはたいてい間違っている

430: デフォルトの名無しさん [sage] 2024/04/24(水) 17:27:54.06 ID:sd26LqbM(6/7) AAS
意味不明を繰り返す爺

431: デフォルトの名無しさん [] 2024/04/24(水) 19:49:04.05 ID:H3cF+EGE(1/2) AAS
微分積分

432: デフォルトの名無しさん [sage] 2024/04/24(水) 20:37:33.11 ID:8tkXCVQE(1) AAS
型に複雑さ移動するだけで何も楽にならない
むしろ難しくなる

433: デフォルトの名無しさん [] 2024/04/24(水) 20:39:18.33 ID:H3cF+EGE(2/2) AAS
楽になるなんて誰が言ったんだ

434: デフォルトの名無しさん [sage] 2024/04/24(水) 21:00:04.00 ID:qYUcXmw2(5/5) AAS
「道具」には役に立つとか楽になるための道具という意味がなくもない
数学は道具ではないと言うべきだった

435: デフォルトの名無しさん [sage] 2024/04/24(水) 21:01:14.18 ID:sd26LqbM(7/7) AAS
ソフトウェアは道具だろ、ボケ

436: デフォルトの名無しさん [] 2024/04/24(水) 21:45:02.37 ID:W5xC8R60(1/7) AAS
高崎
常磐

437: デフォルトの名無しさん [] 2024/04/24(水) 21:45:58.35 ID:W5xC8R60(2/7) AAS
コドモイド

438: デフォルトの名無しさん [] 2024/04/24(水) 21:46:28.48 ID:W5xC8R60(3/7) AAS
ポイントカードと熱線

439: デフォルトの名無しさん [] 2024/04/24(水) 21:46:52.14 ID:W5xC8R60(4/7) AAS
糸が砕けました

440: デフォルトの名無しさん [] 2024/04/24(水) 21:48:24.25 ID:W5xC8R60(5/7) AAS
ああっ、ナメクジみたいな篦が目の裏に浮かんでくる～っ！！

441: デフォルトの名無しさん [] 2024/04/24(水) 21:49:49.75 ID:W5xC8R60(6/7) AAS
ばあちゃん、ボイパで米研ぐふりするな

442: デフォルトの名無しさん [] 2024/04/24(水) 21:52:22.25 ID:W5xC8R60(7/7) AAS
縁側と玄関の間に黒電話
渡辺さんワインを持って皆勤賞
ジャラランガ・ライスシャワー

443: デフォルトの名無しさん [] 2024/04/25(木) 05:45:14.46 ID:zFonvm9V(1/2) AAS
群青色のふとんカバー
ルートを見るより田中社長

444: デフォルトの名無しさん [sage] 2024/04/25(木) 11:27:25.32 ID:JREeyAkZ(1/2) AAS
効いてるな

445: デフォルトの名無しさん [] 2024/04/25(木) 12:40:38.59 ID:zFonvm9V(2/2) AAS
サッポー「楡の木陰に高島さん」～ダンディな占い師伝説

446: デフォルトの名無しさん [] 2024/04/25(木) 14:35:55.58 ID:XMEAkwKC(1/2) AAS
じゃあ、物理をプログラミングするには？

447: デフォルトの名無しさん [] 2024/04/25(木) 14:36:12.53 ID:XMEAkwKC(2/2) AAS
じゃあ、物理をプログラミングするには？

448: デフォルトの名無しさん [] 2024/04/25(木) 14:36:27.27 ID:iaYqsq7d(1) AAS
じゃあ、物理をプログラミングするには？