「数学」をプログラミングするには2 (186ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
1(3): 02/20(木)01:10 ID:oTwZIw4i(1) AAS
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
前スレ
2chｽﾚ:tech
28: 02/21(金)11:32 ID:vI88dzmZ(1/2) AAS
>>1
無限にループさせて無限に時間を掛けることは禁止されていないな
58(1): 02/23(日)05:45 ID:Ff4AUg8I(1) AAS
>>1の問いかけが無意味
そもそも前スレの時点で>>1が逃げ出してるし建設的な議論はなかった
158: 03/19(水)18:11 ID:OaRZFLq7(1) AAS
>>1
mathematicaを使うとよい
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.010s