[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
406(1): デフォルトの名無しさん [] 2024/04/17(水) 11:27:59.69 ID:/l2KPUVP(1) AAS
位数pqの有限群を分類せよ
407: デフォルトの名無しさん [sage] 2024/04/17(水) 12:12:24.30 ID:MC+f1reS(2/2) AAS
>>405405(1): デフォルトの名無しさん [sage] 2024/04/17(水) 11:22:16.74 ID:QYenzWQY(2/2) AAS
任意の整数nに対し
abc+abd+acd+bcd=1
を満たす0でない整数の組(a,b,c,d)が無限に存在することを示せ
何個か系列が挙げられている
背後に深い理論があるんだろうけど導出が見当たらない
外部ﾘﾝｸ:math.stackexchange.com
>>406
これはコンピューター代数が効きそうな設問だね
408: デフォルトの名無しさん [sage] 2024/04/17(水) 21:28:06.49 ID:d0sPi4E4(1) AAS
上流は70点位の擬似コードを
下流は隙のない100点のコードを求められる
409: デフォルトの名無しさん [] 2024/04/19(金) 04:58:45.43 ID:VczmU+ll(1) AAS
圏のモノイド化であるカテゴロイドが最先端らしい
410: デフォルトの名無しさん [sage] 2024/04/19(金) 09:50:12.86 ID:EGRRzOnw(1) AAS
商人なら主語を修正する
学者なら述語を修正する
中立ならどっちも修正するか、何も変えない
411(1): デフォルトの名無しさん [sage] 2024/04/19(金) 09:53:23.64 ID:yPPcHo4B(1) AAS
役人、サラリーマン、農業は？
412: !id:igunore [] 2024/04/21(日) 16:32:04.97 ID:QcTo+DFu(1) AAS
test
413: デフォルトの名無しさん [] 2024/04/22(月) 19:57:50.12 ID:Z/mW1wgm(1) AAS
国際社会では日本はすっかり女性差別および児童ポルノ大国と見られている
シリアやアフガニスタンと同列の人権後進国だと見なされている
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
意味不明を繰り返す爺
上下前次1-新書関写板覧索設栞歴
あと 572 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s