[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
596(5): デフォルトの名無しさん [sage] 2024/11/12(火) 04:10:14.19 ID:15KCzjek(2/5) AAS
x^2 = 2をみたす正の実数xは一意的に存在する
なら、それを√2というシンボルで扱えるようにすべきだ
計算は必要なときにだけすればいい
x = 1.4142云々という数値にしなければ扱えないのは不要な制約
これは誤差があるとかそういう問題ではない
人間の思考をコンピュータの都合に合わせようとしているのが問題
601(1): デフォルトの名無しさん [sage] 2024/11/12(火) 15:48:13.03 ID:3FuqnzdR(1) AAS
>>596
マジレスするとsympyとか使ってxのまま計算して
最後にsolveさせると良いよ
602(1): デフォルトの名無しさん [sage] 2024/11/12(火) 15:55:48.61 ID:CKJ1cusC(1/7) AAS
>>596
そういう道具をお前が開発すればいい話、有効ならみんな使ってくれる
611: デフォルトの名無しさん [sage] 2024/11/12(火) 21:00:48.76 ID:CKJ1cusC(5/7) AAS
>>609お前は>>596か？
618: デフォルトの名無しさん [sage] 2024/11/14(木) 09:28:56.87 ID:nznif/OW(1) AAS
ここまでやって>>11(16): デフォルトの名無しさん [] 2024/03/16(土) 19:41:45.98 ID:nuwGv9us(1) AAS
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
や>>596の問題でさえ、まともな解答を与えられない雑魚ども
637: デフォルトの名無しさん [sage] 2024/11/15(金) 19:08:27.14 ID:RQFgsded(1) AAS
>>1や>>596への回答はまだなんですか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s