>>56
https://www.kurims.kyoto-u.ac.jp/~motizuki/Formalization%20of%20IUT%20(2026-04).pdf
https://plaza.rakuten.co.jp/shinichi0329/diary/202601010001/ とほぼ同じかね
【数学】ABC予想、証明に暗雲？ 国際チーム検証中、望月氏と議論へ [すらいむ★]
■ このスレッドは過去ログ倉庫に格納されています
77名無しのひみつ
2026/04/09(木) 21:06:36.07ID:GlZcXYvf■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 塩貝健人「今更あの発言を撤回しようとかはない」ブラジル戦前発言波紋…「Ｗ杯の影響力は僕のインスタをみればわかる」 [Anonymous★]
- 【サッカー】日本代表監督の後任候補に名波浩氏が浮上 森保監督の３期連続続投、ロス五輪兼任で大岩氏も [征夷大将軍★]
- 【W杯】エムバペが今大会3度目の1試合2得点 通算18点で最多のメッシと1点差 フランス3発16強/フランス 3―0 スウェーデン [征夷大将軍★]
- 【W杯】日本のF組、最速で全チーム敗退 32強で突破3チームが全滅…泣いたくじ運、全てFIFAランク1桁相手 [征夷大将軍★]
- 【富士山】「考え方がズルい」市長発言にクライマー猛反発「アルピニストが育たなくなる」6000人超の反対署名を本日提出 ★4 [ぐれ★]
- 【歴史的円安”】1ドル＝162円台 39年半ぶり水準で生活への影響は？ 「仕入れをかなり圧迫」輸入価格押し上げ家計のさらなる負担に… [ぐれ★]
- 【公式】安倍晋三語録カルタ発売【ジューシー】 [947332727]
- 「NISA」が円安の原因とヤフコメで話題。NISA終焉か [256556981]
- 【悲報】マチアプまんさん「ここに🍚行きませんか」 [394133584]
- 【悲報】まんさん「佐川急便であえて受け取れない時間を指定した結果…これ私がおかしいの？」 [394133584]
- 小学1年生（2003年）から携帯持ってたけど強い？
- 厚労省、処方箋・保険調剤のポイント付与に指導。1%超える付与や重複ポイントに個別指導 [256556981]