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

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

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

404: 2024/04/17(水)10:59 ID:MC+f1reS(1/2) AAS
>>403
へー、勉強になるわ
今回のはhomogeneousにしてn=2の場合だね

405(1): 2024/04/17(水)11:22 ID:QYenzWQY(2/2) AAS
任意の整数nに対し
abc+abd+acd+bcd=1
を満たす0でない整数の組(a,b,c,d)が無限に存在することを示せ

406(1): 2024/04/17(水)11:27 ID:/l2KPUVP(1) AAS
位数pqの有限群を分類せよ

407: 2024/04/17(水)12:12 ID:MC+f1reS(2/2) AAS
>>405
何個か系列が挙げられている
背後に深い理論があるんだろうけど導出が見当たらない
外部ﾘﾝｸ:math.stackexchange.com

>>406
これはコンピューター代数が効きそうな設問だね

408: 2024/04/17(水)21:28 ID:d0sPi4E4(1) AAS
上流は70点位の擬似コードを
下流は隙のない100点のコードを求められる

409: 2024/04/19(金)04:58 ID:VczmU+ll(1) AAS
圏のモノイド化であるカテゴロイドが最先端らしい

410: 2024/04/19(金)09:50 ID:EGRRzOnw(1) AAS
商人なら主語を修正する
学者なら述語を修正する
中立ならどっちも修正するか、何も変えない

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
楽になるなんて誰が言ったんだ