[過去ﾛｸﾞ] ABC予想が解かれたかもしれんぞ！ (1001ﾚｽ)
上下前次1-新

---

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

---

77(3): 2012/09/19(水)00:55 AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
77: [sage] 2012/09/19(水) 00:55:37.35 予想することもかなりすごいことがそれが"正しそう"っていうのはプログラミングで確かめれる ただ"正しい"と断定(証明)するのはプログラミングでは無理でちゃんと筋道たてて例外がないことを証明しないといけない 格上とかの話でもないが予想した奴が証明できなかったのを望月が証明したんだからあけていうなら望月の方が格上 http://rio2016.5ch.net/test/read.cgi/math/1347851182/77
予想することもかなりすごいことがそれが正しそうっていうのはプログラミングで確かめれる ただ正しいと断定証明するのはプログラミングでは無理でちゃんと筋道たてて例外がないことを証明しないといけない 格上とかの話でもないが予想した奴が証明できなかったのを望月が証明したんだからあけていうなら望月の方が格上

---

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

---

あと 924 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.022s