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