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

---

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

---

30: 2024/03/19(火)14:33:42.20 ID:NSxYSp14(1) AAS
○○を支援する言語と○○が可能な言語を分断するパラダイムはたしかにオワコンだ
逆に支援を語りえない所謂unsafeを書けるやつが比較的新しい

---

46: 2024/03/20(水)14:27:47.20 ID:I+zqr01r(1) AAS
スレタイが悪い
専門用語や英語を入れておかないと、自分も話題に参加できると勘違いした馬鹿が書き込む

---

247: 2024/04/12(金)17:09:52.20 ID:Vyts8CQV(1) AAS
命題 + 証明 = 数学

↑↓

型 + アルゴリズム = プログラミング

---

387: 2024/04/17(水)06:44:24.20 ID:cVeWwllr(1) AAS
>>381マジレスだったのかよwwww

---

540: 2024/05/07(火)15:07:21.20 ID:nLVZhmwB(1/3) AAS
量子コンピュータでのプログラミングが出来るようになったら世界は変わるだろうか
現状誤り訂正に課題があるみたいだが

---

603: 2024/11/12(火)16:33:02.20 ID:15KCzjek(4/5) AAS
>>601
それは√2を代数的に扱えるだけで、「数学」ができるようになるわけじゃないよね

---

683(1): 2024/11/18(月)19:47:39.20 ID:cmnYUiAb(6/8) AAS
>>681
verify()の中身。
あと、決め打ちって書いてるでしょ。

その100での具体的な近似値求められないと「厳密」にならない。

なので私からの宿題は100の時の具体的な近似値を求めるコードを示すこと。

---

737: 2024/12/06(金)11:22:43.20 ID:x1xEzr8K(1) AAS
>>1
プログラムでかすぎｗ

---

748: 2024/12/11(水)12:01:24.20 ID:/aZNYiYX(1) AAS
聞こえるな高卒の声が!

---

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

---

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

---

ぬこの手 ぬこTOP 0.038s