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

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

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

411(1): 2024/04/19(金)09:53 ID:yPPcHo4B(1) AAS
役人、サラリーマン、農業は？

412: !id:igunore 2024/04/21(日)16:32 ID:QcTo+DFu(1) AAS
test

413: 2024/04/22(月)19:57 ID:Z/mW1wgm(1) AAS
国際社会では日本はすっかり女性差別および児童ポルノ大国と見られている
シリアやアフガニスタンと同列の人権後進国だと見なされている

414: 2024/04/22(月)20:50 ID:o0SSvQPa(1) AAS
光るものすべて金ならず

415(1): 2024/04/24(水)00:45 ID:qYUcXmw2(1/5) AAS
>>411
網羅できない理由の方が多いのに何故できる方に賭けてしまうのかね
カリー・ハワード対応もそうだが

416: 2024/04/24(水)06:04 ID:0I0qCYsp(1) AAS
酒を飲むと脳が萎縮するソクラテスは豚だ

417: 2024/04/24(水)06:37 ID:Ucc6jtP7(1) AAS
41歳列車で真ん中に座れるようになりました

418: 2024/04/24(水)07:26 ID:sd26LqbM(1/7) AAS
>>415
お前の首の上につけているものはなんだｗ

419: 2024/04/24(水)11:01 ID:0on+NXwB(1) AAS
プログラミングは線形代数だろ？

420: 2024/04/24(水)11:16 ID:qYUcXmw2(2/5) AAS
モビルスーツに手と足と頭があるのも網羅がしたいだけ

421: 2024/04/24(水)11:44 ID:sd26LqbM(2/7) AAS
ポエムしか書けないアホ

422: 2024/04/24(水)12:02 ID:BuUg9b8b(1) AAS
カリーハワード対応の元でも
型の表現力の問題で大した命題は表現できなさそう
依存型をもつ言語が待たれる
ただ、haskellにはカン拡張のライブラリがあるので圏論とは相性がよいのかもしれない

423: 2024/04/24(水)12:18 ID:sd26LqbM(3/7) AAS
馬鹿だね、ただの道具

424: 2024/04/24(水)12:46 ID:hOEBS28r(1) AAS
Kan拡張ってどう便利なの

425: 2024/04/24(水)14:34 ID:qYUcXmw2(3/5) AAS
「Haskellには依存型がない」は「Cにはclassがない」と同じ形式だし
「数学だから違う」は数学の定理ではない

426: 2024/04/24(水)16:07 ID:sd26LqbM(4/7) AAS
数学知らないんだろ

427: 2024/04/24(水)16:28 ID:sd26LqbM(5/7) AAS
外部ﾘﾝｸ:leanprover-community.github.io

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

428: 2024/04/24(水)17:12 ID:wm22WFWW(1) AAS
依存型がなければ、その上に型システムを構築したらいいのでは？

429: 2024/04/24(水)17:25 ID:qYUcXmw2(4/5) AAS
やりたいことをやってる人は問題ないが必然的にこの道しかないみたいな考えはたいてい間違っている

430: 2024/04/24(水)17:27 ID:sd26LqbM(6/7) AAS
意味不明を繰り返す爺

431: 2024/04/24(水)19:49 ID:H3cF+EGE(1/2) AAS
微分積分

432: 2024/04/24(水)20:37 ID:8tkXCVQE(1) AAS
型に複雑さ移動するだけで何も楽にならない
むしろ難しくなる

433: 2024/04/24(水)20:39 ID:H3cF+EGE(2/2) AAS
楽になるなんて誰が言ったんだ

434: 2024/04/24(水)21:00 ID:qYUcXmw2(5/5) AAS
「道具」には役に立つとか楽になるための道具という意味がなくもない
数学は道具ではないと言うべきだった

435: 2024/04/24(水)21:01 ID:sd26LqbM(7/7) AAS
ソフトウェアは道具だろ、ボケ

436: 2024/04/24(水)21:45 ID:W5xC8R60(1/7) AAS
高崎
常磐

437: 2024/04/24(水)21:45 ID:W5xC8R60(2/7) AAS
コドモイド

438: 2024/04/24(水)21:46 ID:W5xC8R60(3/7) AAS
ポイントカードと熱線

439: 2024/04/24(水)21:46 ID:W5xC8R60(4/7) AAS
糸が砕けました

440: 2024/04/24(水)21:48 ID:W5xC8R60(5/7) AAS
ああっ、ナメクジみたいな篦が目の裏に浮かんでくる～っ！！