[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
61: デフォルトの名無しさん [] 2024/03/22(金) 23:57:05.24 ID:LL1SYasV(2/2) AAS
はあ？？
マップは車窓だろ！！
144: デフォルトの名無しさん [sage] 2024/03/28(木) 11:41:03.24 ID:/R48rPWi(1) AAS
>>141141(2): デフォルトの名無しさん [] 2024/03/28(木) 08:12:08.80 ID:WD+w6k7S(1) AAS
意識は非可換だってどこかで聞いたな
現代数学は可換理論しか扱えないが、量子力学は非可換だから、意識＝量子力学ってことになる
意識が非決定論なのは量子力学では状態が重ね合わせであることに起因する
したがって意識の問題を解決するには量子コンピュータが必須となる
月刊ムーおすすめ
230(5): デフォルトの名無しさん [sage] 2024/04/12(金) 11:00:23.24 ID:n/WEiCkF(1/5) AAS
厳密に求められないからπという記号を用いたわけで
コンピュータで扱う場合はπという記号定数を使えばいいだけ
無限に続くので3.14...を厳密に求めることはできないのは数学もコンピュータも一緒
1がしたいことが何なのかよくわからん
291(1): デフォルトの名無しさん [sage] 2024/04/15(月) 02:17:00.24 ID:6hq71KF2(1) AAS
>>290290(1): デフォルトの名無しさん [] 2024/04/15(月) 01:24:44.77 ID:hKAoajYZ(1/3) AAS
>>289
無理数はまさしく真の値は求められないだろ？
それこそスパコンで何兆桁求めたとかニュースになるけど、それでも近似値でしかない。
証明はあくまで存在を保証するだけ。
「コーシー列の極限」が実数なんだから、コーシー列を与えれば真の値になるだろ。
証明は数列が極限を持つことを示せば良く、数を無限に並べる必要は無い。
360: デフォルトの名無しさん [] 2024/04/16(火) 21:18:44.24 ID:wb1PrcU1(1/2) AAS
自己実現欲求が満たせないゴミめ
394: デフォルトの名無しさん [sage] 2024/04/17(水) 07:56:34.24 ID:IyFytcQ9(1) AAS
問題に不備があったら出題も採点も自分でやればいい
それを自分でやってはいけないという思考それこそが他責思考である
422: デフォルトの名無しさん [sage] 2024/04/24(水) 12:02:24.24 ID:BuUg9b8b(1) AAS
カリーハワード対応の元でも
型の表現力の問題で大した命題は表現できなさそう
依存型をもつ言語が待たれる
ただ、haskellにはカン拡張のライブラリがあるので圏論とは相性がよいのかもしれない
467(1): デフォルトの名無しさん [sage] 2024/04/26(金) 17:20:22.24 ID:SscvQYbj(1) AAS
なんか圏論が万能かのように語る雑魚ってかならずいるよな
そもそも関数型言語をやるうえで言論の知識なんて1ミリも必要ないわけだけど
610: デフォルトの名無しさん [sage] 2024/11/12(火) 19:33:12.24 ID:8/9kiwLF(1) AAS
Isabelle使えばいいだけじゃん？
638: デフォルトの名無しさん [sage] 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: デフォルトの名無しさん [] 2025/01/31(金) 21:06:58.24 ID:SiR55I1h(1) AAS
閲覧171人とか174人、179人、180人、184人
／総視聴者数 （配信者の名前やID、誕生日などの語呂合わせ数字）
数字操作の嫌がらせがキモすぎ
競合配信者の名前、ポケベル数字、不吉数字の組み合わせ嫌がらせがキモすぎ
忌み数字が表示されやすくなる仕様のクソアプリ、数字操作がキモすぎ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s