[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
61: 2024/03/22(金)23:57:05.24 ID:LL1SYasV(2/2) AAS
はあ？？
マップは車窓だろ！！
144: 2024/03/28(木)11:41:03.24 ID:/R48rPWi(1) AAS
>>141
月刊ムーおすすめ
230(5): 2024/04/12(金)11:00:23.24 ID:n/WEiCkF(1/5) AAS
厳密に求められないからπという記号を用いたわけで
コンピュータで扱う場合はπという記号定数を使えばいいだけ
無限に続くので3.14...を厳密に求めることはできないのは数学もコンピュータも一緒
1がしたいことが何なのかよくわからん
291(1): 2024/04/15(月)02:17:00.24 ID:6hq71KF2(1) AAS
>>290
「コーシー列の極限」が実数なんだから、コーシー列を与えれば真の値になるだろ。
証明は数列が極限を持つことを示せば良く、数を無限に並べる必要は無い。
360: 2024/04/16(火)21:18:44.24 ID:wb1PrcU1(1/2) AAS
自己実現欲求が満たせないゴミめ
394: 2024/04/17(水)07:56:34.24 ID:IyFytcQ9(1) AAS
問題に不備があったら出題も採点も自分でやればいい
それを自分でやってはいけないという思考それこそが他責思考である
422: 2024/04/24(水)12:02:24.24 ID:BuUg9b8b(1) AAS
カリーハワード対応の元でも
型の表現力の問題で大した命題は表現できなさそう
依存型をもつ言語が待たれる
ただ、haskellにはカン拡張のライブラリがあるので圏論とは相性がよいのかもしれない
467(1): 2024/04/26(金)17:20:22.24 ID:SscvQYbj(1) AAS
なんか圏論が万能かのように語る雑魚ってかならずいるよな
そもそも関数型言語をやるうえで言論の知識なんて1ミリも必要ないわけだけど
610: 2024/11/12(火)19:33:12.24 ID:8/9kiwLF(1) AAS
Isabelle使えばいいだけじゃん？
638: 2024/11/15(金)19:57:03.24 ID:TsZPiFZ4(2/2) AAS
煽る
640: 2024/11/15(金)20:14:15.24 ID:T7KbDv9U(1) AAS
数学にはメモリが無い
780: 2024/12/27(金)06:55:54.24 ID:jx54xMU+(1) AAS
テンソル積、射影加群、入射加群、逆極限、順極限、……などはすべて普遍性で特徴づけられる
つまり、集合として具体的に構成をしなくても、他のすべての対象に対して射がみたす性質で一意的に定まる
しかも、これらのほとんどの議論は具体的構成を使わず、普遍性だけから従う
このような議論をするには、すべての加群のあつまりのような、無限集合にすらならない膨大な概念を考える必要がある
当然、構成に頼っていてはこのような概念をプログラミングで扱うことは不可能
922: 01/31(金)21:06:58.24 ID:SiR55I1h(1) AAS
閲覧171人とか174人、179人、180人、184人
／総視聴者数 （配信者の名前やID、誕生日などの語呂合わせ数字）
数字操作の嫌がらせがキモすぎ
競合配信者の名前、ポケベル数字、不吉数字の組み合わせ嫌がらせがキモすぎ
忌み数字が表示されやすくなる仕様のクソアプリ、数字操作がキモすぎ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.296s*