たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
前スレ
http://mevius.5ch.net/test/read.cgi/tech/1710585705/
探検
「数学」をプログラミングするには2
2025/02/20(木) 01:10:56.24ID:oTwZIw4i
2デフォルトの名無しさん
2025/02/20(木) 01:34:41.34ID:vQ5PrRiS 数学コンプレックスは書き込むな
2025/02/20(木) 03:06:40.78ID:7lQ484Ne
まさか次スレを立てる馬鹿がいるとは思わなんだ
2025/02/20(木) 07:47:49.33ID:ZlQ9RgLk
性懲りもなくとはこのことだ
2025/02/20(木) 07:48:33.32ID:ZlQ9RgLk
馬鹿程自説に拘る
6デフォルトの名無しさん
2025/02/20(木) 08:35:46.63ID:2SGzHU5w7デフォルトの名無しさん
2025/02/20(木) 09:18:50.52ID:zTnnn+9R Pythonとかちょろっと書けるくらいで自分はプログラマだと思ってるような人とは無縁のスレだ
数学や計算機科学にコンプレックス持ってる奴は書き込むな
数学や計算機科学にコンプレックス持ってる奴は書き込むな
レスを投稿する
ニュース
- 日本に来て二十数年、クルド人男性が突然の強制送還に 政府の「不法滞在者ゼロプラン」で強まる外国人“排除” (AERA) [少考さん★]
- 【令和の高校生】ハタチ過ぎても「タバコ吸わない」9割超! 圧倒的多数を占めた “5つの理由” とは [七波羅探題★]
- 「被害者が歩いて入れる拠点に」歌舞伎町に女性センター計画、Colaboが10億円の寄付募る [少考さん★]
- 東京への税集中を是正へ、与党方針 地方から不満「一極集中に拍車」 [蚤の市★]
- 【大学】全国の女子大7校がトランスジェンダー女性の入学認める 16校が検討 [七波羅探題★]
- 【日産】九州転籍で給与5年分支給 補償金、追浜工場の生産終了で [蚤の市★]
- 東京寒い
- 【高市🌕】 2度も月に着陸船を凸撃させた実績を持つ謎の宇宙企業ispace。 日本航空と「月と地球を結ぶ経済圏」を構築へ [485983549]
- おま♡こ←何思い出した?
- 高市早苗「11兆円で自衛隊の建物にシャワーヘッドを増設する」 [347751896]
- ロシア、中国人観光客のビザ免除。日本は中国人観光客をみーんなロシアに取られてしまい終わる [271912485]
- 【悲報】山上徹也(おてつ)、借金300万を踏み倒していたことが発覚wwwwwwwwwwwwwww [455031798]
