[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
595: デフォルトの名無しさん [sage] 2024/11/12(火) 04:03:57.03 ID:15KCzjek(1/5) AAS
マシンや処理系の仕様に合わせてキーを打つのは人間様のすることではない
596(5): デフォルトの名無しさん [sage] 2024/11/12(火) 04:10:14.19 ID:15KCzjek(2/5) AAS
x^2 = 2をみたす正の実数xは一意的に存在する
なら、それを√2というシンボルで扱えるようにすべきだ
計算は必要なときにだけすればいい
x = 1.4142云々という数値にしなければ扱えないのは不要な制約
これは誤差があるとかそういう問題ではない
人間の思考をコンピュータの都合に合わせようとしているのが問題
598: デフォルトの名無しさん [sage] 2024/11/12(火) 10:46:16.50 ID:15KCzjek(3/5) AAS
>>597問題だと思わないならすべてのソフトウェアをマシン語直接書けばいいと思うんだけど、そうしないの？
603: デフォルトの名無しさん [sage] 2024/11/12(火) 16:33:02.20 ID:15KCzjek(4/5) AAS
>>601それは√2を代数的に扱えるだけで、「数学」ができるようになるわけじゃないよね
604(1): デフォルトの名無しさん [sage] 2024/11/12(火) 16:34:24.89 ID:15KCzjek(5/5) AAS
>>602CoqだのAgdaだのLeanだのすでにあるが、プログラミングのタスクに使うには現実的ではないから使われていない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.224s*