[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
44: デフォルトの名無しさん [] 2024/03/20(水) 12:54:23.96 ID:VbUXRLzi >>43 ポエムはよそで書いてろ http://mevius.5ch.net/test/read.cgi/tech/1710585705/44
520: デフォルトの名無しさん [] 2024/05/05(日) 00:20:11.96 ID:BDRFhWHf 結論から言うと 全部の駅を合わせる ただそれだけ http://mevius.5ch.net/test/read.cgi/tech/1710585705/520
676: デフォルトの名無しさん [] 2024/11/18(月) 19:26:51.96 ID:cmnYUiAb >>671 うちの主張したいことは、イプシロンデルタ論法はいくらでも数値の誤差をイプシロン以下に抑えられるのを保証することを証明しているのだが、プログラミングではそのイプシロン以下に抑えられない程誤差が大きくなるってのが、数学を厳密にプログラミング出来ない理由として挙げてる。 プログラミングのは、極限値だけ決め打ちで答えが出るようにしてるだけなので、100とかでイプシロン以下に抑えられない誤差が現れる例としてだした。 添え字集合が実数や複素数というのも、その実数の連続性・比可算無限が根本にある。 無限次元の空間は整数の話だが、多倍長整数使ってもメモリ以上の空間は扱えない。 どれも事実上問題になるわけではないが、>1のいう「近似ではなく厳密に」なら不可能と言わざるを得ない。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/676
697: デフォルトの名無しさん [] 2024/11/19(火) 15:20:30.96 ID:Mq7l08eX 数学で証明できることはすべてコンピュータでできる http://mevius.5ch.net/test/read.cgi/tech/1710585705/697
700: デフォルトの名無しさん [] 2024/11/19(火) 16:14:08.96 ID:qPVKwQq9 数学の定義や命題は有限の記号列で書ける 数学の証明はその記号列をべつの記号列に変形する操作 よって、数学で証明可能なことはすべてコンピュータにも証明可能 http://mevius.5ch.net/test/read.cgi/tech/1710585705/700
821: デフォルトの名無しさん [sage] 2025/01/14(火) 08:02:07.96 ID:WvheYWow Foo = Bar | Baz http://mevius.5ch.net/test/read.cgi/tech/1710585705/821
839: デフォルトの名無しさん [sage] 2025/01/15(水) 01:13:53.96 ID:xsuF+zK/ 型っつっても所詮は構造体に名前がついただけ 計算の過程や性質に型付けをしたいんだ 「関数fを抜けたタイミングで、ポインタpは必ず指定の条件をみたす場所を指していなければならない」 こういうのを型で保証したいんだ http://mevius.5ch.net/test/read.cgi/tech/1710585705/839
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.037s