>>981
もめるもめないとは無関係に
数学の証明の形式化は有用だから
推進すべきだろう
---
次スレッド Inter-universal geometry と ABC 予想 49
http://itest.5ch.net/rio2016/test/read.cgi/math/1586650355
Inter-universal geometry と ABC 予想 48
レス数が950を超えています。1000を超えると書き込みができなくなります。
985Brother No.1
2020/04/12(日) 10:21:02.21ID:OlsRjmntレス数が950を超えています。1000を超えると書き込みができなくなります。
ニュース
- 大谷翔平 第２子誕生を正式発表「無事に生まれてきてくれてありがとう」 [ひかり★]
- 【節約】物価高でも「食費月1万円」は可能？ 月7000円台、レバーと100円キャベツで回す強者も [ひぃぃ★]
- 【香川】外国人材の受け入れ・活躍の促進へ 日本語研修などの経費を補助 [煮卵★]
- 【W杯】「希望は日本」 どうしたアジア勢！６戦無敗→まさかの６連敗…得失点は−13 「仕方ないで済ませてたらレベルアップはない」 [王子★]
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★4 [煮卵★]
- 【万引き】「いいの？前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男（54）逮捕 ★3 [煮卵★]
- 【画像】高市早苗、またやらかす [834922174]
- 🏡👭💥🚗💨ぶんぶんぶーんw
- 喜多郁代ちゃんと同じ病気になったかも………
- 【画像】サナ「4人家族の住居、95平米必要って国の指針出してたけど、40平米で十分」とわざわざ閣議決定 [881878332]
- 高市政府、シンナーをメーカーから工務店に直接販売で目詰まり解消へ…卸業者排除した結果アスクルが仲介 [245325974]
- 杉並区長「今までの自民党議員の因習全部潰す！ベンチ設置しまくる！」自民党の門ひろこ「ベンチ作るのやめろォ！！！！」 [485187932]