[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

1(16): 2024/03/16(土)19:41:45.98 ID:nuwGv9us(1) AAS
たとえば、プログラミングで

π/4 = 1 - 1/3 + 1/5 - 1/7 + ...

を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど

---

452: 2024/04/25(木)19:48:06.98 ID:+T+qvOw+(1) AAS
その辺が、πを計算するのに近似値がどうのこうの言ってる連中の誤解かも知れんな

---

530: 2024/05/06(月)12:03:02.98 ID:gd5I0tjN(1) AAS
エバQはあくまで共通部分だから中身スッカスカ
もっと一点集中しないと

---

590: 2024/11/05(火)17:56:28.98 ID:jvZmHUTK(1) AAS
💣💣💣detonational semantics💣💣💣

---

713: 2024/11/19(火)17:57:15.98 ID:BjXbrgPI(10/10) AAS
数学ができるんならできるだろｗ

---

864: 01/17(金)16:31:58.98 ID:tFlne/Xr(1) AAS
まぁ形式論理も時相論理もプログラミングには何の恩恵もないわな

---

897(1): 01/25(土)15:36:14.98 ID:OwaQndIK(1) AAS
>>895
すでに表記の体系はある
CS畑のやつが処理系を作ればいい

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.041s