[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
760: デフォルトの名無しさん [sage] 2024/12/12(木) 07:40:20.49 ID:rgUDNRxT 自己紹介乙 http://mevius.5ch.net/test/read.cgi/tech/1710585705/760
761: デフォルトの名無しさん [sage] 2024/12/12(木) 15:59:32.60 ID:rgUDNRxT >>654 少数の表現を知らない素人 http://mevius.5ch.net/test/read.cgi/tech/1710585705/761
762: デフォルトの名無しさん [sage] 2024/12/12(木) 17:39:01.48 ID:rgUDNRxT 数値計算の立場からすると・・・で無理だな http://mevius.5ch.net/test/read.cgi/tech/1710585705/762
763: デフォルトの名無しさん [sage] 2024/12/12(木) 17:39:21.03 ID:rgUDNRxT 解散 http://mevius.5ch.net/test/read.cgi/tech/1710585705/763
764: デフォルトの名無しさん [] 2024/12/12(木) 18:55:56.72 ID:JJ7UILYB >>761 じゃあ、正しく少数を表現できるコードをどうぞ。 前回の人は>685-686などというコードで信用無くした。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/764
765: デフォルトの名無しさん [sage] 2024/12/12(木) 19:13:14.19 ID:rgUDNRxT ポエム爺 http://mevius.5ch.net/test/read.cgi/tech/1710585705/765
766: デフォルトの名無しさん [sage] 2024/12/12(木) 19:23:46.43 ID:382kTtAh >>764 アホすぎ http://mevius.5ch.net/test/read.cgi/tech/1710585705/766
767: デフォルトの名無しさん [sage] 2024/12/12(木) 19:33:03.74 ID:rgUDNRxT 空のバケツほどよく鳴る http://mevius.5ch.net/test/read.cgi/tech/1710585705/767
768: デフォルトの名無しさん [sage] 2024/12/13(金) 00:47:18.68 ID:HhuErboB Ωをプログラムの表現しうる全データの集合 fを関数とするとf∈Ω しかし、ΩからΩへの関数の集合の濃度はΩよりも大きいから矛盾 どういうことだ http://mevius.5ch.net/test/read.cgi/tech/1710585705/768
769: デフォルトの名無しさん [sage] 2024/12/13(金) 01:09:14.09 ID:zE9P8o7z >>768 表示的意味論かよ。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/769
770: デフォルトの名無しさん [sage] 2024/12/13(金) 01:54:27.10 ID:XDI5kMlm ゲーデルの不完全性を解けば人類は理論上次の次元に到達する このスレの内容はちょっとだけ掠っているのでその調子でがんばって下さいね http://mevius.5ch.net/test/read.cgi/tech/1710585705/770
771: デフォルトの名無しさん [] 2024/12/13(金) 13:20:29.60 ID:ouGUX1+B ゲバ本とゲバ棒を聴き間違えたことはある http://mevius.5ch.net/test/read.cgi/tech/1710585705/771
772: デフォルトの名無しさん [sage] 2024/12/13(金) 14:28:15.71 ID:eXnQCWqo 予言者 リーマン予想を解けば人類は理論上次の次元に到達する http://mevius.5ch.net/test/read.cgi/tech/1710585705/772
773: デフォルトの名無しさん [sage] 2024/12/13(金) 15:19:13.43 ID:eXnQCWqo そういえばπの定義は微妙なので>>742の証明は形式的なものに過ぎない可能性がある http://mevius.5ch.net/test/read.cgi/tech/1710585705/773
774: デフォルトの名無しさん [sage] 2024/12/13(金) 23:05:29.33 ID:eXnQCWqo >>762 任意精度数値計算ライブラリ メモリに依存するみたいだけど http://mevius.5ch.net/test/read.cgi/tech/1710585705/774
775: デフォルトの名無しさん [sage] 2024/12/14(土) 14:08:54.29 ID:jFwYZGRF 言語論とか役に立たないからな ソフトウェア工学学んだほうが役に立つよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/775
776: デフォルトの名無しさん [sage] 2024/12/14(土) 16:08:00.44 ID:yzVhe68F 計算可能実数というのがあってπは扱えるけど実数全体は無理 http://mevius.5ch.net/test/read.cgi/tech/1710585705/776
777: デフォルトの名無しさん [sage] 2024/12/14(土) 17:28:54.01 ID:yzVhe68F 終了 http://mevius.5ch.net/test/read.cgi/tech/1710585705/777
778: デフォルトの名無しさん [] 2024/12/27(金) 06:43:26.62 ID:3cQLuAQG 球面上で風や海流などの分布を考えると、かならず流れが無い点Pが存在する このことから、たとえば浮き輪の表面のようなハンドルのある曲面を球面座標でパラメータ付けできないことなどが分かる 数学では上のような性質をみたす点Pを具体的に構成せずに扱えるし、Pの性質だけから後者の命題を導くことも可能 こういうことが実用レベルでできるプログラミング言語は現状無い http://mevius.5ch.net/test/read.cgi/tech/1710585705/778
779: デフォルトの名無しさん [] 2024/12/27(金) 06:48:54.79 ID:3cQLuAQG 縮小写像はかならず不動点をもつ このことから線形微分方程式の解の存在が言える 非自明な解を一個とってくるだけなら数値解析をする必要はない http://mevius.5ch.net/test/read.cgi/tech/1710585705/779
780: デフォルトの名無しさん [] 2024/12/27(金) 06:55:54.24 ID:jx54xMU+ テンソル積、射影加群、入射加群、逆極限、順極限、……などはすべて普遍性で特徴づけられる つまり、集合として具体的に構成をしなくても、他のすべての対象に対して射がみたす性質で一意的に定まる しかも、これらのほとんどの議論は具体的構成を使わず、普遍性だけから従う このような議論をするには、すべての加群のあつまりのような、無限集合にすらならない膨大な概念を考える必要がある 当然、構成に頼っていてはこのような概念をプログラミングで扱うことは不可能 http://mevius.5ch.net/test/read.cgi/tech/1710585705/780
781: デフォルトの名無しさん [sage] 2024/12/27(金) 07:32:04.93 ID:dJ9yt+4u 不動点定理は不動点を持たない関数(特に否定演算)がある領域では成り立たないよね。 不動点定理を前提にするのは「コンピュータの扱いやすい領域のみ扱う」と言っているようなものかと。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/781
782: デフォルトの名無しさん [sage] 2024/12/27(金) 07:49:18.68 ID:hlvzD05r >>781 それは不動点定理ではない http://mevius.5ch.net/test/read.cgi/tech/1710585705/782
783: デフォルトの名無しさん [sage] 2024/12/27(金) 07:50:43.08 ID:hlvzD05r 掛け算の可換性は非可換群では成り立たないよねとか当たり前のことを言ってるようなもん 馬鹿丸出し http://mevius.5ch.net/test/read.cgi/tech/1710585705/783
784: デフォルトの名無しさん [sage] 2024/12/27(金) 15:58:43.91 ID:qzYOmgeu 爺のポエムは不変 http://mevius.5ch.net/test/read.cgi/tech/1710585705/784
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 218 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.027s