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