[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
414: デフォルトの名無しさん [] 2024/04/22(月) 20:50:40.46 ID:o0SSvQPa(1) AAS
光るものすべて金ならず
415(1): デフォルトの名無しさん [sage] 2024/04/24(水) 00:45:42.60 ID:qYUcXmw2(1/5) AAS
>>411網羅できない理由の方が多いのに何故できる方に賭けてしまうのかね
カリー・ハワード対応もそうだが
416: デフォルトの名無しさん [] 2024/04/24(水) 06:04:35.75 ID:0I0qCYsp(1) AAS
酒を飲むと脳が萎縮するソクラテスは豚だ
417: デフォルトの名無しさん [] 2024/04/24(水) 06:37:08.15 ID:Ucc6jtP7(1) AAS
41歳列車で真ん中に座れるようになりました
418: デフォルトの名無しさん [sage] 2024/04/24(水) 07:26:08.85 ID:sd26LqbM(1/7) AAS
>>415
お前の首の上につけているものはなんだｗ
419: デフォルトの名無しさん [] 2024/04/24(水) 11:01:50.05 ID:0on+NXwB(1) AAS
プログラミングは線形代数だろ？
420: デフォルトの名無しさん [sage] 2024/04/24(水) 11:16:56.18 ID:qYUcXmw2(2/5) AAS
モビルスーツに手と足と頭があるのも網羅がしたいだけ
421: デフォルトの名無しさん [sage] 2024/04/24(水) 11:44:52.53 ID:sd26LqbM(2/7) AAS
ポエムしか書けないアホ
422: デフォルトの名無しさん [sage] 2024/04/24(水) 12:02:24.24 ID:BuUg9b8b(1) AAS
カリーハワード対応の元でも
型の表現力の問題で大した命題は表現できなさそう
依存型をもつ言語が待たれる
ただ、haskellにはカン拡張のライブラリがあるので圏論とは相性がよいのかもしれない
423: デフォルトの名無しさん [sage] 2024/04/24(水) 12:18:51.40 ID:sd26LqbM(3/7) AAS
馬鹿だね、ただの道具
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
ポイントカードと熱線
上下前次1-新書関写板覧索設栞歴
あと 564 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s