[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)

「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

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

---

294: デフォルトの名無しさん [] 2024/04/15(月) 07:29:11.29 ID:hKAoajYZ >>291 いあ、だから。それが真の値の存在を示してるだけって事だろ。 証明の厳密さが違うだけで、意味としては同じだ。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/294

296: デフォルトの名無しさん [sage] 2024/04/15(月) 08:15:15.77 ID:SAfAFkQa >>294 同値判定(ついでに大小判定)できるんだから「存在だけ証明」じゃないだろ。 確かに四則演算は有理体で閉じていないけど、拡大体を考えれば問題ない。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/296

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.037s