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

---

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

---

38: 2024/03/19(火)17:54 ID:/7JjNXd8(1) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
38: [] 2024/03/19(火) 17:54:01.83 ID:/7JjNXd8 証明支援系っつっても、ふつうにプログラム書くのと同じで、特定の問題の解法をプログラムしてるだけ ようは論理のピタゴラスイッチ作ってるだけ べつに未知の証明を自動で発見してくれるわけではない（もちろん、問題によっては自動的に解決できる場合もあるが） http://mevius.5ch.net/test/read.cgi/tech/1710585705/38
証明支援系っつってもふつうにプログラム書くのと同じで特定の問題の解法をプログラムしてるだけ ようは論理のピタゴラスイッチ作ってるだけ べつに未知の証明を自動で発見してくれるわけではないもちろん問題によっては自動的に解決できる場合もあるが

---

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

---

あと 964 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.018s