20/12/17 06:14:31.56 /LLmIxUL.net
>>188
RIMS主催の会議に参加したからといって、IUTを認めたことにはならんがな
「Cor3.12が正しかったら…」と期待してるだけで、望月の”証明”を認めたわけじゃない
そこ、はき違えたら、アウト
むしろ、証明を認めてないから、自分が証明できたら全部いただき、だから
会議の参加者は、全員望月の首を狙う敵と思ったほうがいいね
201:１３２人目の素数さん
20/12/17 06:17:15.59 /LLmIxUL.net
>>190
足したからOKってことにはならんがな
Scholzeの指摘にこたえるものではなかったってことで
ABC予想はいまだにopen problem これが現実
202:１３２人目の素数さん
20/12/17 06:30:20.65 /LLmIxUL.net
>>189
ところで、あなた、ガロア理論の基本定理は理解できましたか？
以前、「ガロア理論の基本定理」を完全否定する主張を声高に叫んでましたが
任意の有限群GについてGal(K/k)=Gとなる拡大があるからといって
その拡大をそのままGal(K'/Q)と”平行移動”できないことは理解しましたか？
203:現代数学の系譜 雑談
20/12/17 07:46:25.62 oSazJ0Tb.net
>>191
>RIMS主催の会議に参加したからといって、IUTを認めたことにはならんがな
>「Cor3.12が正しかったら…」と期待してるだけで、望月の”証明”を認めたわけじゃない
維新さん、妄想でしょ
１．Promenade in ＩＵＴに参加している数学者たち、当然 ＳＳ ｖｓ 望月・星の論争は知っているはず。文書も読んでいる
その上で、望月側についたってこと
２．Lille大から多数参加者がいるのは、Lille大内でＩＵＴのゼミをやったのでしょうね、きっと
そして、その上でＩＵＴが正しいと判断して参加していると思うよ
３．「Cor3.12が正しかったら…」は、第一関門としての査読である程度は担保された
実際来年早々に、正式に雑誌に掲載されることが決まっている
おっさん、そういう客観的な事実に基づかない、妄想の議論だから、皆からバカにされると思うよ
204:現代数学の系譜 雑談
20/12/17 08:07:04.41 oSazJ0Tb.net
南出とPorowski 氏が、3年ほど共同研究をして、望月ＩＵＴを発展させ、明示公式を導いて、強いＡＢＣ予想の証明と、それによるフェルマー最終定理の別証明を導いた
もし、Cor3.12がダメだったら？
二人のプロ数学者のキャリアとしての一番大事な20代の後半の数年間が、ドボンになるのです
二人は、当然、ＩＵＴが正しい信じて、明示公式の証明と、強いＡＢＣ予想の証明に立ち向かったに違いないのです
Promenade in ＩＵＴに参加している数学者たちも同じ
もし、Cor3.12がダメだったら？ 彼らは、自分の名前を出しているでしょ。名前を出している人は、当然、ＩＵＴが正しい信じているのです
205:１３２人目の素数さん
20/12/17 08:12:34.08 /LLmIxUL.net
>>195
「Cor3.12から弱いABC予想だけでなく強いABC予想も導ける」
というのは成果である
しかし、それは
「弱いABC予想だけでなく強いABC予想も導ける」
とは違う
もし、Cor3.12がダメだったら？
最初からやり直してください
それが数学ですから
数学は厳しい世界ですよ
それを理解して数学の世界に入ってきたんなら
死んでも本望でしょう
206:１３２人目の素数さん
20/12/17 08:21:01.75 /LLmIxUL.net
>>194
数学は戦争ではありませんよ
望月のCor3.12に興味があるなら、
望月がそれを証明したとは思ってなくても
会議には参加するでしょう
PRIMSに論文が掲載されたからといって
正当性が示されたことにはなりません
むしろ関係者が理解してないのに
論文掲載を強行したPRIMSは
数学者コミュニティでの
評価を下げたでしょうね
馬鹿なことをしたもんです
207:１３２人目の素数さん
20/12/17 09:46:53.73 PE76dulp.net
アンチは笑える
みっともない
208:現代数学の系譜 雑談
20/12/17 11:22:25.41 65QzzJ17.net
>>198
同意
脳内にうずまく妄想を書いているだけ
209:現代数学の系譜 雑談
20/12/17 16:35:03.11 65QzzJ17.net
>>196
>もし、Cor3.12がダメだったら？
>最初からやり直してください
やり直しは当然
数学だから云々関係ないよ
「最初から」か、部分修正で済むかは、具体的事案ごとでしょう
>>197
>望月のCor3.12に興味があるなら、
>望月がそれを証明したとは思ってなくても
>会議には参加するでしょう
名前を出している人以外の参加者もいる
参加者は公募していた
210:はず 文句あるなら、あなたもご参加を。そして、そこで文句言え 名前を出している人は、講師の側だろ。興味あるだけなら、一般参加だよ >むしろ関係者が理解してないのに >論文掲載を強行したPRIMSは >数学者コミュニティでの >評価を下げたでしょうね 日本国内で、IUTに疑問を表明している数学者の名前 具体的に挙げて見なよ 例の”某西野うんぬん”は、別にしてさ
211:現代数学の系譜 雑談
20/12/17 17:08:13.24 65QzzJ17.net
>>200
>日本国内で、IUTに疑問を表明している数学者の名前
>具体的に挙げて見なよ
確かに、数年前は、日本国内でもIUTに賛意を示す人は少数だったと思うけど
今年になって
・４月のRIMSプレス発表（玉川、柏原 両巨頭）
・その後、Promenade in ＩＵＴ 開始。特に、フランス Lille大からの大勢の参加
（国内からの参加者も多数いるし）
・さらに、欧州からPRIMSの別冊として、2021年発行のアナウンス
・さらには、米カリフォルニア バークレイからの望月先生への講演要請
・南出氏の明示公式とフェルマーの最終定理の別証明論文公開
などなど
日本国内でもIUTに対する空気は変わったと思うよ
212:１３２人目の素数さん
20/12/17 17:13:33.04 ZvJtRH5+.net
アンチはもちろん東大か京大卒だよね？
修士博士課程も修了して今は旧帝大の准教授以上だよね？
そうでなかったらスレの無駄だから大人しくしといてくれ
213:１３２人目の素数さん
20/12/17 19:13:46.06 /LLmIxUL.net
>>199
>脳内にうずまく妄想
ガロア理論の基本定理も誤解した貴方に
ＩＵＴの成否がわかるわけないですから
残念！！！
214:１３２人目の素数さん
20/12/17 19:18:05.88 /LLmIxUL.net
>>200
>文句あるなら、あなたもご参加を。そして、そこで文句言え
悪態つくひまがあったら、ガロア理論の基本定理の証明、読みましょうね
証明読まないから
「Gal(K/K')からGal(L/Q)が作れる！！！」
とか、口からデマカセのホラ吹くんだよ
どうやってK'を構築してるかわかれば
そんなホラ、口にした瞬間に
嘲笑されるってわかるんだけどねえ・・・
215:１３２人目の素数さん
20/12/17 19:21:32.36 /LLmIxUL.net
>>202
シンパ君は、東大卒で修士も博士もとって、今や旧帝大の准教授様かい？
じゃ、こんなところで発●して●違いカキコする暇があったら
IUTによるCor3.12の完璧な証明論文書こうね じゃあねｗｗｗ
216:１３２人目の素数さん
20/12/17 22:04:08.45 ZvJtRH5+.net
結局東大・京大じゃないのか・・・
そんな奴が、京大や外国の俊英が
複数で8年近く精査して決めたことに文句つけてるのか・・・
本人は草生やして愉快なようだが、笑い話にもならんな・・・
217:現代数学の系譜 雑談
20/12/17 23:39:31.69 oSazJ0Tb.net
>>203
おれは、当然ＩＵＴの成否などわからんよ
分かろうとも思わないが、もう少し加藤文元本より、数学的な解説があれば読んでみたいね
それはともかく、IUTの成否についていえば、真っ当な査読が完了し、来年2021年早々に出版されるというのが事実でしょ
おっさん、妄想も大概にしろよな
>>205
>IUTによるCor3.12の完璧な証明論文書こうね じゃあねｗｗｗ
おっさん、「Cor3.12の完璧な証明論文」は望月が書いてあるんだよ
査読は終わった。それが出版されるということが、それが理解できない？
もしIUTに何かギャップが発見されるとしても、それはSSの指摘とは別だろうさ
SSの指摘も含めて、複数の人が査読してOKを出しているんだからさ
>>206
>結局東大・京大じゃないのか・・・
いやいや、維新さんは「”自称”東大数学科出身」ですよ！ｗ
いまだけ、謙遜しているんだよ。まあ、”自称”だがね
218:現代数学の系譜 雑談
20/12/17 23:47:19.59 oSazJ0Tb.net
まあ、もし数学科の学部か修士の人が見ていたら
大学の整数論のプロ教員に
「IUTの真偽について、どう思いますか？」って聞いてみて（＾＾
おそらく
「去年までは、SSの議論もあり半信半疑だったが、今年に入って大きな動きがあった。
特に、フランス Lille大が支持している。IUTの明示公式からフェルマー予想の別証明を与える論文も出てきたところを見ると、
IUTは正しそうだ」
みたいなご意見の人が増えている気がするな
219:１３２人目の素数さん
20/12/18 05:54:59.85 gVC/T2EK.net
リール大じゃなぁ...
海外のディオファントス問題ガチ勢は無反応でしょ。
220:１３２人目の素数さん
20/12/18 06:17:11.11 wcP2xck3.net
>>206
>8年近く精査
8年もかかるわけないだろ
ショルツを呼んだ時点でもうヤバかった
森重文がどういうつもりでショルツを呼んだのかわからんが
望月にあきらめさせるつもりだったのかもしれん
しかし案に相違して突っ張り続けた
まるでＡ宮家のＭ子サマ
こうなったら国内では誰も止められない
結局そのまま査読完了 論文出版
世界に恥を晒した 日本数学界
221:１３２人目の素数さん
20/12/18 06:30:38.89 wcP2xck3.net
>>207
>おれは、当然ＩＵＴの成否などわからんよ
あたりまえだろ
正規部分群もガロア理論の基本定理も誤解した
工学部卒のド素人にわかるわけない
>分かろうとも思わないが
だったら口出すなよ ド素人
貴様はガロア理論の教科書、頭から読み直せ
>「Cor3.12の完璧な証明論文」は望月が書いてあるんだよ
日本語オカシイな おまえ朝鮮人か？
日本人ならこうかく
”「Cor3.12の完璧な証明」は望月の論文に書いてあるんだよ”
あのな、完璧な証明なら、即認められてるって
巨大な穴がぽっかりあいてて全然埋まってないから、海外の連中が
”意味わかんね 望月は気が●ったか？”
といってるわけ
いくら国内で「査読完了！論文出版！」とかわめいたって意味ないの
Ａ宮家のＭ子サマが「ＫＫとケッコンするんだもん！」といっても
「あんな金の亡者の母親にビタ一文だせるか、ヴォケ！」
という国民の怒りは消せないのと同じ
これで一時金出したら革命が起きて皇室は倒れる
222:１３２人目の素数さん
20/12/18 06:38:06.81 wcP2xck3.net
>>208
>…気がするな
「…と思う」の次は「気がするな」か
あのな、そういう言葉を文末につける時点で
「これはボクちゃん一匹の勝手な妄想です！」
って気づけよ、ヴォケ！
「ＩＵＴってどう思います？」
って数論幾何関係者に聞いた場合の想定回答
「成否以前に名前がイタすぎて恥ずかしいね
”宇宙際タイヒミュラー”って何？（失笑）
数学全体への影響？ないよ
例えばゲーデルの不完全性定理が数学に影響を与えたかい？
そんなこと全然ないだろ？ それと同じくらい何もないね
ＫＦ？ああ、彼は数学者としてはもう終わった”売文業者”だから（苦笑）」
223:１３２人目の素数さん
20/12/18 06:42:03.08 wcP2xck3.net
>>209
リール大って誰かいたっけ？
何か名前書いてあったけど、有名人？
224:１３２人目の素数さん
20/12/18 07:00:23.14 EhBCiRen.net
なんかスレの流れ見たら
やたらCor3.12だのショルツがーーだので溢れかえってるけど
数学界は誰もCor3.12だのショルツとの反論再反論だの
一向に興味もってねーーから
ばっかじゃねえのここの連中は
225:１３２人目の素数さん
20/12/18 07:06:34.85 EhBCiRen.net
おまえらもっと
他人から興味を持ってもらえること
自分が本当に美しいと思うこと
生産性があること
について語れよ
栄誉だの名声だの成果だの偉業だの
そんな事にしか興味ないバカは政治の話にでも首突っ込んでロ
226:１３２人目の素数さん
20/12/18 07:15:40.55 wcP2xck3.net
>>215
>他人から興味を持ってもらえること
>自分が本当に美しいと思うこと
については大いに賛同
>生産性があること
については意味がわからん
もし
「便利なこと」「役に立つこと」
と書いてくれたら、賛同したんだが
自分でもわからん言葉で書く
227:な 何を生産するのかわからんのに、生産性とかいう言葉で 「あ、おれ、今、意味あること語った」 とエクスタシーを感じるな 馬鹿になるぞ
228:１３２人目の素数さん
20/12/18 07:17:08.61 EhBCiRen.net
>>212
>あのな、そういう言葉を文末につける時点で
>「これはボクちゃん一匹の勝手な妄想です！」
>って気づけよ、ヴォケ！
横からだしどーでもいーけど
文末じゃなくて中身を具体的に批判して差し上げよう
>「成否以前に名前がイタすぎて恥ずかしいね
>”宇宙際タイヒミュラー”って何？（失笑）
「(グロタンディーク)宇宙」ってのはずっと昔からある圏論的な概念だぞ
>例えばゲーデルの不完全性定理が数学に影響を与えたかい？
>そんなこと全然ないだろ？
ゲーデルの不完全性定理の内容自体は数学に影響をあまり与えてないけど
ゲーデルの不完全性定理というモノを厳密に証明し得た事自体は
世界全体に影響を与えた
>数学全体への影響？ないよ
IUTが数学全体に影響を(今現在のところ)与えていないのは全くその通り
だから世界中のみんなは関心がない
IUTがやった事はよくてABCを解決しただけ
数学の構造自体に新しい境地も見通しも与えてない
229:粋蕎
20/12/18 07:23:39.02 cVYIW1AA.net
ギャップ…正にIUTバブル
果たして此のバブルは稠密なスポンジを形成するか、はたまた既にボイドと化しとるのか
230:１３２人目の素数さん
20/12/18 07:24:33.38 EhBCiRen.net
>>216
生産性とは、次につながっていく、夢を見させてくれるモノの事だよ
>便利なこと」「役に立つこと」
>と書いてくれたら、賛同したんだが
そんな刹那的な実利的なニュアンスの事を一切指してない
>何を生産するのかわからんのに、生産性とかいう言葉で
質問返しの詭弁ですね
一行一句で宇宙の始まりからの全てを記述仕切れるはしない
俺はまず「Cor3.12だの何だのって話はバカバカしい」という提案をしたまで
そこからもしあなたがなにか不服や腑に落ちない事があれば
それらは次の議論の展開の中でやりとりされればいい
「宇宙の始まりから完全に記述してないぞ」という煽りは従って詭弁
そういう質問返しではなく具体的に何がおかしいのか
今度はあなたが具体的に立証義務を負う番
231:１３２人目の素数さん
20/12/18 07:41:23.13 wcP2xck3.net
>>217
>「(グロタンディーク)宇宙」ってのはずっと昔からある圏論的な概念だぞ
で、IUTはそのグロテスク宇宙ｗに関わる理論かね？どうだ？
>ゲーデルの不完全性定理の内容自体は数学に影響をあまり与えてないけど
だろ？
>厳密に証明し得た事自体は世界全体に影響を与えた
上記の「世界」は、せいぜい論理学界だな
ボクは論理学やってたからゲーデルの成果はみな重大だと思うけど
一般の数学者はそんなもの一つも知らんうちにくたばるだろう
>IUTが数学全体に影響を(今現在のところ)与えていないのは全くその通り
>だから世界中のみんなは関心がない
>IUTがやった事はよくてABCを解決しただけ
>数学の構造自体に新しい境地も見通しも与えてない
だろ？
例えば、マチャセビッチによるヒルベルト第10問題の否定的解決は
論理学者にとっては実に興味深い成果であるが、
数論屋にとっては空のかなたの超新星爆発程度でしかないだろう
IUTのインパクトは第10問題の解決よりは大きいかもしれんが
結局数論内部の出来事でしかない
232:１３２人目の素数さん
20/12/18 07:45:10.40 wcP2xck3.net
>>219
>生産性とは、次につながっていく、夢を見させてくれるモノの事だよ
なら
他人から興味を持ってもらえること
自分が本当に美しいと思うこと
上記２点につながっていくこと
と書けばいい
いかがわしい熟語を使うと馬鹿になるぞ
P.S.
>「宇宙の始まりから完全に記述してないぞ」
どこの幻聴だ？ｗ
精神科で診てもらえ 貴様、統合失調症の可能性大だぞ
233:１３２人目の素数さん
20/12/18 09:13:04.83 jzZAqlSe.net
アンチは本当に馬鹿だな
人生かかってる数学者達がIUTに賛同して動き出してるのに、馬鹿なアンチが何を言ったって無駄なのに
Scholzとかは専門外の野次馬がいっちょかみしただけ、取るに足りない
馬鹿馬鹿しい
234:１３２人目の素数さん
20/12/18 10:37:51.20 SmbPcbGu.net
数論に関係ない、とか専門外だ、
という言が出てくるのは発言者が高々数論幾何しか理解できないからであって、
グロタンディークからショルツやテレンスタオに至るまで多岐にわたる分野に精通している(タオは代数が苦手とインタビューで答えていた記憶があるが、それでも日本の修士より得意だろう)
235:１３２人目の素数さん
20/12/18 11:57:37.33 zSOrmThu.net
「日本の修士より得意」くらいじゃ何もできんだろ
アホか
236:１３２人目の素数さん
20/12/18 13:46:43.78 SmbPcbGu.net
「日本の修士より得意」というのは「日本の博士より下手」といったことを得られるわけではないので、「何もできないと結論づける」ことは出来ない
かっこ内の補足「だけ」指摘する論点ずらしに加え、そのずらした論点での主張ですら「誤謬」が存在する
そして自分が「議論」が苦手なのを知ってか知らでか暴言で押し通そうとする
褒めることのできるポイントが残念ながら無い
237:１３２人目の素数さん
20/12/18 14:23:18.08 zSOrmThu.net
そんなこと言ったら>>223の2行目なんて完全なお前の憶測じゃん 説得力なし
必死な馬鹿だな
238:１３２人目の素数さん
20/12/18 14:31:33.72 hD1MyVpF.net
野次馬です
久しぶりに来たけどどうなった？
239:１３２人目の素数さん
20/12/18 15:29:01.30 SmbPcbGu.net
>>226
数論幾何以外が理解できているのであれば、当然数論以外の成果の意味や意義も理解できる
という推論だよ
ところで、例えば「1+1=2なので、2=1+1である」といった推論にも「憶測だ」と言うこと「だけ」は出来る
でもそれは「議論」ではないだろう？
240:１３２人目の素数さん
20/12/18 15:41:08.34 SmbPcbGu.net
>>227
最新状況は以下の通り(以下は「事実」であるはずなので、賛成とか反対とか無関係に同意いただけると思っている)
今月12月に、共著論文でIUTによってABC予想を完全に証明したとする論文が出た
ただし、ある数学者からはCor 3.12を仮定していると指摘されている
Cor 3.12の証明に納得していないとScholzeが述べて以降(つまりScholzeが今年の4月頃にある瑞lのブログのコャ＜塔gで触れて�以降)、Cor 3.12の証明は追記、書き直しされていない
よく知られているように矛盾からは何でも証明できるので、仮に「Cor 3.12が誤っていて、その上でCor 3.12が正しいと仮定した」場合、ABC予想をもちろん含む全ての命題を証明できる
したがって現状IUTが正しいかは分からないということになる
241:１３２人目の素数さん
20/12/18 15:43:24.92 zSOrmThu.net
>>228
「理解できている」なんて定性的な表現を何の担保もなしに使ってしまう不用意さ、
しかも数論幾何の理解と「1+1=2」のそれを安易に等置してしまう素朴さ
どれをとっても頭が悪すぎて話にならんな
242:１３２人目の素数さん
20/12/18 16:11:58.30 hD1MyVpF.net
>>229
丁寧な説明感謝です
論文は出たものの、まだ受け入れてない人もいて、それに対する納得のいく反論もなされてない
ってことか
でも正式に？論文が出たってのは大きいのかな
243:粋蕎
20/12/18 18:00:13.24 cVYIW1AA.net
>>222
其の論法は無意味
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
シンパは本当に馬鹿だな
人生かかってる原発屋達が核燃料サイクルに賛同して動き出してるのに、馬鹿なシンパが何を言ったって無駄なのに
菅直人とかは専門外の野次馬がいっちょかみしただけ、取るに足りない
馬鹿馬鹿しい
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
ほら。じゃけぇ「信疑一如」や「君子は人を過信せず。また過疑せず」を心掛け
理解熟達者以外のあらゆる理解不足者は無定見（≠日和見）で居るべきなんじゃ｡
244:粋蕎
20/12/18 18:47:47.77 cVYIW1AA.net
本当に絶対に確かに正しい事ならば全財産を高額生命保険掛け生命込みを担保に主張する事が出来る｡
出来ないならば不確信が故の張ったりで他人に対してのみならず自分に対しても欺瞞しているに他ならん｡
他人の不確信へは張ったり
245:信念の叩き売り押し売りで標的を迷妄盲信に誘惑し騙し通し､ 自分の不確信滅り込みには張ったり信念で叩き出し尤もらしさを騙し騙し偽装しつつ自身も迷妄に耽り盲信する｡ ジークIUT公国軍ハイルモッチー IUTユートピア学園グレートモッチーティーチャー 聖IUT真理教モッチー尊師
246:１３２人目の素数さん
20/12/18 19:31:18.52 lBFTWv4r.net
アンチは頭おかしいな
247:１３２人目の素数さん
20/12/18 19:53:12.70 wcP2xck3.net
>>229
>今月12月に、共著論文でIUTによってABC予想を完全に証明したとする論文が出た
今月(12月)に、共著論文でIUTによって”強い”ABC予想を証明したとする論文が出た
・条件が強化されたので、「強い」を入れた
・一方、ギャップを埋めたわけではないので
「ギャップが無い」と誤解されかねない
「完全に」の文言は削除した
>ただし、ある数学者からはCor 3.12を仮定していると指摘されている
当該論文は、Cor3.12の証明を行ったものではない
>Cor 3.12の証明に納得していないとScholzeが述べて以降
>Cor 3.12の証明は追記、書き直しされていない
つまり、Cor3.12の証明については指摘に対応する修正ができないままである
>したがって現状IUTが正しいかは分からない
要するに、Cor3.12は定理ではなく、あくまで「予想」である
Cor3.12から矛盾が導かれれば、Cor3.12は否定される
248:１３２人目の素数さん
20/12/18 19:53:34.75 wcP2xck3.net
>>231
>正式に？論文が出たってのは大きいのかな
RIMSはこれで評判を下げた
249:１３２人目の素数さん
20/12/18 20:11:50.81 nIDiYVfL.net
もともと埋めるべきギャップがないなら、埋めようがない、という考え方もある。
250:１３２人目の素数さん
20/12/18 22:22:02.00 CjZlQfYN.net
単に読み抜けてる人多いのでは
251:１３２人目の素数さん
20/12/19 06:42:42.07 4b7NgT9S.net
そもそもギャップがないのなら、批判すらない、と思わんのか？ダラズが！
日本人バンザイといいたいだけのためにIUTは正しいといいはるシンパこそ頭オカシイ
ウソをホントだといいはることこそ日本、いや数学に対する冒涜と知れ！
252:１３２人目の素数さん
20/12/19 09:36:55.63 3WvcHhfj.net
>>239
ギャップが無くても批判が生み出されたのがIUTだよ
ショルツが批判したのが理由でIUTのギャップの有無を精査もせずにな
何故ならフィールズ賞受賞者が批判したからだ
権威にひれ伏す弱い心情のやつらだからフィールズ賞受賞者まで批判してるのならダメなんだろうという予断の心理が作用した
253:現代数学の系譜 雑談
20/12/19 12:46:46.00 VsuSehd0.net
>>240
同意
・過去例は、カントールをクロネッカーが批判したとか
・さらには、虚数や非ユークリッド幾何の世間の受容みたいなこと（ガウスは、結構慎重だったと言われる。ガリレオの宗教裁判みたいなことを心配したのかもね）
・あまりにも、従来の話からの乖離が大きいと、ついて行けない人多数。天動説と地動説がそれ
・世間の受容には時間がかかるが、しかしＩＵＴの受容はプロ数学者間では進んでいる気がする。その例が仏Lille大でしょう
254:現代数学の系譜 雑談
20/12/19 12:50:14.84 VsuSehd0.net
圏論なんかも、最初は空虚な一般論みたいに
”アブストラクトナンセンス”と批判されたらしい
でも、今は圏論は数学理論として市民権を、得ています
ＩＵＴも、もうすぐそうなると思うよ
255:１３２人目の素数さん
20/12/19 13:06:26.43 4b7NgT9S.net
>>242
>・・・と思うよ
その４文字を書いた瞬間に自分一匹の妄想と気づけ
ガロア理論の基本定理も理解できない
ジコ中愛国🐎🦌が数学板に書き込むんじゃねえ
貴様の💩で数学が汚れる（嘲）
256:現代数学の系譜 雑談
20/12/19 13:15:54.85 VsuSehd0.net
チラミで外しているかもしれないが
いまからＩＵＴを勉強しようとする人は
下記の南出論文 ”Explicit Estimates in ＩＵＴ
257:”を先に読むのが良いのでは 結構、ＩＵＴ Ｉ～ＩＶと ”μ6-Theory”との関連について、いろいろ書かれている そこを頭に入れておくと、議論の流れが掴みやすいかもね （私は、中身は全然読めないけど、1時間くらい流し読みして、そう思ったね） http://www.kurims.kyoto-u.ac.jp/~yuichiro/rims1933.pdf RIMS-1933 November 2020 Explicit Estimates in Inter-universal Teichm¨uller Theory By Shinichi MOCHIZUKI, Ivan FESENKO, Yuichiro HOSHI, Arata MINAMIDE, and Wojciech POROWSKI Contents Introduction 2 Acknowledgements 8 0. Notations and Conventions 8 1. Heights 9 2. Auxiliary numerical results 20 3. μ6-Theory for [EtTh] 22 4. μ6-Theory for [IUTchI-III] 25 5. μ6-Theory for [IUTchIV] 32 References 54 P4 Theorem A. (Effective version of the ABC inequality over monocomplex number fields) Theorem B. (Effective version of a conjecture of Szpiro) Let a, b, c be nonzero coprime integers such that Corollary C. (Application to “Fermat’s Last Theorem”)
258:１３２人目の素数さん
20/12/19 14:26:26.57 5PhEvb84.net
RIMSの存亡を賭けて発行してくれるんだよね＾＾
259:１３２人目の素数さん
20/12/19 15:02:23.88 4b7NgT9S.net
>>244
君はガロア理論の本をチラ見でごまかさずに
はじめから一字一句丁寧に読んだほうがいいね
本当の数学がどういうものか脳に焼き付けてごらん
生まれ変われるから
URLﾘﾝｸ(www.youtube.com)
260:１３２人目の素数さん
20/12/19 15:22:28.41 4b7NgT9S.net
チラ見でもわかること
Suppose that we are in the situation of the “µ6-version” of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6],
and that the elliptic curve EF has good reduction at every place ∈ V(F)good∩V(F)non that does not divide 2·3·5·l.
we observe that the various “log(q(－))’s” are independent of the choice of F□,
and that the quantity “| log(q)| ∈ R>0” defined in the µ6-version of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6],
is equal to (1/2l)·log(q) ∈ R [cf.the definition of “q_v” in [IUTchI], Example 3.2, (iv)].
Moreover, suppose that l ≥ 10^15.
Then one may take the constant “CΘ ∈ R” of the µ6-version of [IUTchIII],Corollary 3.12 [cf. Remark 4.2.6], to be
(l+1)/4·| log(q)|·{(1 + (12·dmod/l)) · (log(d_Ftpd ) + log(f_Ftpd )) + 4.08803 · e~∗mod · l－1/6· (1 －12/l^2 ) · log(q)}－ 1
and hence, by applying the inequality “CΘ ≥ －1” of the µ6-version of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6],
conclude that
1/6· log(q)
≤ (1 + (20·dmod/l)) · (log(d_Ftpd ) + log(f_Ftpd )) ~+ 4.0881 · e~∗mod · l
≤ (1 + (20·dmod/l)) · (log(d_F) + log(f_F
261:)) + 4.0881 · e∗mod · l. Corollary 3.12を前提した証明にすぎず Corollary 3.12自体は全く証明していない 真っ先に3.12で検索しただろ？ 気づけよ、🐎🦌
262:現代数学の系譜 雑談
20/12/19 15:59:57.53 VsuSehd0.net
>>247
チラ見でもわかること
”Suppose that we are in the situation of the “µ6-version” of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6],
and that the elliptic curve EF has good reduction at every place ∈ V(F)good∩V(F)non that does not divide 2·3·5·l.”
「the elliptic curve EF」出てくるけど
多分、梅村（下記）では届かないだろうってことだろうね
＜楕円関数・テータ関数・モジュラー関数＞
ｽﾚﾘﾝｸ(math板:52番)
結局、梅村「楕円関数論」を読むことにした
263:現代数学の系譜 雑談
20/12/19 16:06:06.97 VsuSehd0.net
>>247
>Corollary 3.12を前提した証明にすぎず
>Corollary 3.12自体は全く証明していない
"Corollary 3.12"の証明のためには、それ以前のＩＵＴ Ｉ～ＩＩＩ のおそらく、400～500ページが必要で
ＩＵＴ Ｉ～ＩＩＩ のためには、準備論文1000ページを超えるものが必要で
準備論文1000ページを読むためには、さらにまた膨大な数学のテキストを読む必要がある（下記な）
梅村一冊で済むわけないよね
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月研を志望する学生・受験生諸君へ
修士課程への入学を希望する学生に対しては次のような予備知識を
要求しております：
(1) 代数位相幾何の基礎的な知識（＝基本群や特異コホモロジー）
(2) リーマン面の基礎的な知識（＝line bundleやRiemann-Rochの定理）
(3) 可換環論やスキーム論の基礎的な知識（「松村」、「Hartshorne」を参照）
仮に修士課程に入学し、私の学生になった場合の、少なくとも最初の一年間の「カリキュラム」は
大体次のとおりになります：
(a) 「松村」、「Hartshorne」の復習
(b) 複素多様体や微分多様体の理論の復習
(c) エタール・トポス、エタール・コホモロジー、エタール基本群
(d) 曲線やアーベル多様体のstable reduction
(e) log scheme の幾何
(f) エタール基本群のweightの理論
また、これらの基本的なテーマの勉強が済んだら、
(i) crystalやcrystalline site, crystalline cohomology
(ii) Fontaine氏が定義した様々な「p進周期環」
(iii) p-divisible groupsとfiltered Frobenius moduleの関係
(iv) Faltingsのp進Hodge理論
(v) p進遠アーベル幾何
(vi) p進Teichmuller理論
のようなp進的なテーマに進むことなどが考えられます。（(v), (vi)については、本サイトの「論文」、
「過去と現在の研究」、または「出張・講演」をご参照下さい。）
264:１３２人目の素数さん
20/12/19 16:28:27.83 4b7NgT9S.net
>>249
>"Corollary 3.12"の証明のためには、それ以前の
>IUT Ⅰ～Ⅲ のおそらく、400～500ページが必要で
>IUT Ⅰ～Ⅲ のためには、準備論文1000ページを超えるものが必要で
>準備論文1000ページを読むためには、
>さらにまた膨大な数学のテキストを読む必要がある
じゃ、読んでｗ
ガロア理論の本すら読み通せずに
ガロア理論の基本定理を誤解する🐎🦌が
「IUTは正しいぃぃぃぃぃ」とかほざくなよ
ガロア理論の本、最初から読みなおせ
足立の本でも、他の本でもいいぞ
ま、でも、矢ヶ部は勧めない
素人は、現代的だと分かりにくいはずとか
わけもわからず思い込むが、実際は逆
265:現代数学の系譜 雑談
20/12/19 18:31:44.65 VsuSehd0.net
>>250
この維新のおっさん
なにを血迷っているのかね？
IUTの論文を読むのは、プロ数学者の仕事
おれが、簡単に読んで理解できるなら、その分プロ数学者の値打ちがないってこと。プロ野球のピッチャーの球を、アマが簡単に打てない理屈に同じじゃんか？ 簡単に打てるなら、プロの値打ちないよ
で、おっさん、自称東大数学科卒にして、その実底辺数学科のオチコボレでしょ？ いまごろ”梅村「楕円関数論」を読むことにした”って>>248
梅村「楕円関数論」をくさしているわけじゃない。お勉強は結構なことだよ
だが、そのレベルの頭でさ、「Corollary 3.12が理解できない」とかさ
「何言っているの？」ってこと
下記に、Promenade in IUTとかあるから、まずそれ読みなよ （星の「IUT入門」とかもあるよ）
でさ、読めそうなら、IUTのZoom会議に参加させてもらえよ。最低限それでしょ、それ。「Corollary 3.12が理解できない」とかさいう前にさ
自分の身の程もわきまえずに、「Corollary 3.12が理解できない」とかさ ｗ
「何言っているの？」ってこと
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmuller Theory
266:現代数学の系譜 雑談
20/12/19 18:42:57.49 VsuSehd0.net
>>251
(引用開始)
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmuller Theory
(引用終り)
このP3に、Fig. 1ってのがある
”Fig. 1. IUT, Topics & References as potential entry points.
● Diophantine: Heights, Faltings’ isogenies & Abc.
● Anabelian: Mono-anabelian reconstruction & Tripodal transports.
● Geometry: Multiradiality, Coricity & Arithmetic Analyticity vs Holomorphicity.
● Categorical: Frobenioids, Anabelioid, Prime Strips & Hodge Theaters.
● Meta-Abelian Theta: Mumford’s abelian constructions & Kummer theory.”
と説明があって
Fig. 1は、５重の同心円で、中心がIUTだ
円は、六角形状に分割されていて、上記の５つの●のポイントに加えて
さらに、IUT Geometry のセクションが加わって、６つのセクションになる
数えると、18くらいの要素で、IUT理論が出来上がっているという図解になっている
いまごろ”梅村「楕円関数論」を読むことにした”って>>248
レベルの頭でさ
自分の身の程もわきまえずに、「Corollary 3.12が理解できない」とかさ
「何言っているの？」ってことよｗ
267:１３２人目の素数さん
20/12/19 18:49:28.17 Xo0XxFhM.net
アンチは頭おかしい馬鹿だし
Scholzは別に間違ってると証明したわけでも何でもなく、
俺の経験と感触からはこの証明が成り立つとは思えないと言ってるだけだろ
で、望月にちゃんと証明追えと言われてもやらない、やる能力がない
完全に門外漢の野次馬の因縁じゃん
他の批判者に至ってはそれ以下
彼らは間違っているとの証明構成できない
Scholzらの批判を知った上で望月に雇われたわけでも人事権握られたわけでもない内外の
非日本人含む数学者が参集しだしたわけで
IUTが正しくアンチが野次馬の馬鹿なのは明らかだろ
268:現代数学の系譜 雑談
20/12/19 18:51:22.34 VsuSehd0.net
完全に
徹底的に
明らかに
IUTを理解するのに必要な数学の知識が
不足しているよね
おっさんには
269:現代数学の系譜 雑談
20/12/19 18:55:55.39 VsuSehd0.net
>>253
>Scholzは別に間違ってると証明したわけでも何でもなく、
>俺の経験と感触からはこの証明が成り立つとは思えないと言ってるだけだろ
そこは同意
それと、woitブログで露呈したのは、望月IUTを誤解していると、Dupuy氏から指摘されていたこと
原因は、これだと思うな
>で、望月にちゃんと証明追えと言われてもやらない、やる能力がない
"やる能力"はあると思うけど
誤解に嵌まってしまったと思うよ
それに、もうScholz氏は放置で良いと思う
時間が解決するでしょ
来年の国際会議から、2022のモスクワICMを経て、IUTの理解が広がれば、自然に�
270:ﾟ去の出来事になるんだから
271:１３２人目の素数さん
20/12/19 19:06:58.25 4b7NgT9S.net
>>251
血迷ってるのは、雑談君、あんただよｗ
IUTの論文どころか、ガロア理論の本も読めないくせに
何を力みかえって
「IUTは正しいぃぃぃぃぃ」
と発●してるんだ 🐎🦌
>いまごろ”梅村「楕円関数論」を読むことにした”って
>梅村「楕円関数論」をくさしているわけじゃない。
>お勉強は結構なことだよ
あんたも読めば？工学系でも読めるよ
「ガロア理論」の教科書より読みやすいし役に立つよ
>「Corollary 3.12が理解できない」とかさ
>「何言っているの？」
オレは情報科学専攻だからな
整数論も数論幾何もわかるわけないし
別にオレ自身がCorollary 3.12を
理解する必要もない
しかしその筋の人がこぞって何年も
「何言ってんだかわけわかんねー」
っていってる論文を正しいと言い切るほど
おめでたい自己中愛国脳は持ってないｗ
>下記に、Promenade in IUTとかあるから、まずそれ読みなよ
あんたはやめときｗ
ガロア理論の基本定理の証明以前の
ステートメントから誤読する🐎🦌には到底無理ｗｗｗ
>でさ、読めそうなら、IUTのZoom会議に参加させてもらえよ。
>最低限それでしょ、それ。
まずIUTを絶賛するあんたがその最低限をクリアしろよ
ま、工学部を最低の成績で卒業した🐎🦌には到底無理かｗｗｗ
>「Corollary 3.12が理解できない」とかさいう前にさ
それ、Scholzeに英文メールで言ってみろよ
鼻で笑われるぞ フフンってなｗｗｗ
>自分の身の程もわきまえずに、
>「Corollary 3.12が理解できない」とかさ ｗ
>「何言っているの？」ってこと
ガロア理論の基本定理も誤解する🐎🦌が
「Corollary 3.12は絶対正しいぃぃぃぃぃ」とか
「どの口がほざいてんだ？この🐎🦌」ってことｗｗｗ
272:１３２人目の素数さん
20/12/19 19:10:39.39 4b7NgT9S.net
>>252
なんか中身と無関係なことを一生懸命説明してイタイタシイねえ 雑談ちゃんｗ
だ～か～ら～、梅村「楕円関数論」読めって
目標は「第６章 楕円関数論の応用」の
「6.4 代数方程式を解く」
「6.5 5次方程式の標準形」
「6.6 5次方程式の解法」
ガロア理論が全然理解できなくてもわかるよ
どうせあんた解法しか理解できないんだろ？ｗ
273:１３２人目の素数さん
20/12/19 19:14:13.05 4b7NgT9S.net
>>253
>アンチは頭おかしい馬鹿だし
シンパこそ頭オカシイ自己中愛国🐎🦌だろ（嘲）
日本人だというだけで正しいぃぃぃぃぃと言い張るとか
どこの●違い野郎かよ 韓国・中国の反日愛国🐎🦌と同類じゃねえか
お互いに首掻き切り合って死ねよ
おまえらみたいな蛆虫に生きる価値なんかねえよ
さっさと肉になって食われちまえ 🐖野郎（嘲）
274:１３２人目の素数さん
20/12/19 19:17:58.03 4b7NgT9S.net
>>253
＞望月にちゃんと証明追えと言われても
望月こそ真っ先に自分の証明追えよｗ
完全に形式的な証明書いてみせろよｗ
自動証明器で完全にギャップをつぶしてみせろよｗ
専門家？全然あてにならねぇな
専門家の自惚れこそ誤りの最大の温床だぞ
自己批判ができないヤツは数学者失格 覚えとけ ダラズ！
275:１３２人目の素数さん
20/12/19 19:19:56.93 4b7NgT9S.net
>>254
完全に
徹底的に
明らかに
ガロア理論を理解するのに必要な数学の知識が
不足してい「た」よね
あんたには 雑談ちゃんよぉｗｗｗ
276:現代数学の系譜 雑談
20/12/19 20:28:32.58 VsuSehd0.net
維新さん、必死
自称東大数学科卒にして、その実数学科のオチコボレさんよ
話題逸らし、ご苦労さん
あんた "Corollary 3.12"を論じる力は、全然ないよね
つーか、５ｃｈ数学板って、そういう場所じゃないじゃん
そこに、鳥無き里のコウモリよろしく
「きーきー」訳の分からんことを喚きちらしてさ
自分がいかにも、数学科出身でございと言いたいわけ？
オチコボレ
無職
ヒキコモリの
５ｃｈでしか威張ることができない、無政府主義のおっさんあわれ
277:現代数学の系譜 雑談
20/12/19 20:39:14.86 VsuSehd0.net
余談だが、実際IUTは、「応援スレ」を必要とする段階はすぎたでしょ
おれなんか、もう関係なく、着々と前進しているよね
278:１３２人目の素数さん
20/12/19 20:40:57.64 4b7NgT9S.net
>>261
>あんた "Corollary 3.12"を論じる力は、全然ないよね
あんた ガロア理論の基本定理を理解する力、全然なかったよねｗｗｗｗｗｗｗ
それ�
279:ﾅガロアスレ８０超立てた？ 馬鹿じゃね？ >５ｃｈ数学板って、そういう場所じゃないじゃん いや、変質者のあんたが勝手に 「５ｃｈは犯罪やりほうだい！！！」 と思い込んでるだけｗ >無職ヒキコモリ ごめーん、定年後再就職で入ったクソ会社で 日中から数学板で犯罪カキコして暴れてる 変質クソ爺のあんたとはちがって 正社員であんたには到底無理な 知的業務に従事してるんだわｗｗｗ
280:１３２人目の素数さん
20/12/19 20:43:18.85 4b7NgT9S.net
>>262
IUTは完全に「トンデモ」としてメインストリームから外れたよな
あんたも真人間になりたいんなら、まずそのクソHN捨てな
ガロア理論も綺麗さっぱり諦めな
論理がわからんあんたには絶対無理だからｗｗｗ
281:現代数学の系譜 雑談
20/12/19 20:46:12.09 VsuSehd0.net
実際
・４月に査読完了の記者会見
・Promenade in Inter-Universal Teichmuller Theory スタート
・仏 Lille大からの大勢の参加
・望月先生の米カリフォルニア バークレーからの 招請講演
・延期されていた、国際会議が2021年に実施が決まり
・南出論文で、IUTの明示公式からフェルマーの最終定理の別証明が公表された
・PRIMSのIUT別冊の来年出版のアナウンス
着々と進んでいるよね
あとは、2022 モスクワICMに入れて貰って
（もちろん、国際的な数学の賞もあれば良いけど）
日本数学会で、IUT絡みでなにかの賞を貰えば良い
それで、IUTの認知としては、十分でしょ
勝負ありだよ
282:１３２人目の素数さん
20/12/19 20:51:04.47 4b7NgT9S.net
３段階更生法
第１段階：ＨＮから「現代数学の系譜」を除く
第２段階：ＨＮを止める
第３段階：そもそも書き込みを止める
まず、第一段階をやってみよう
「雑談 ◆yH25M02vWFhP」で書き込んでみ？
ウソ数学で見栄張る必要なくなって、肩の力ぬけるぜｗ
283:１３２人目の素数さん
20/12/19 20:58:15.44 4b7NgT9S.net
>>266
ｽﾚﾘﾝｸ(math板)
284:１３２人目の素数さん
20/12/19 21:05:01.41 0w3GPIPp.net
cor 3.12という予想を正しいとしてそのまま進めるのもいい
予想を解決するため国際会議を開くのも良い
SSを煽るのは人間性に問題ありだがまあ良いとしよう
予想なのに、証明が理解できていないのに、内輪の査読でアクセプト、これが一番良くなかった
(査読過程は)墓場まで持っていく、という編集委員の発言は(こんな査読はこれっきりだ)という意味で、今後はまともな査読をしますということだと信じたいな
285:１３２人目の素数さん
20/12/19 21:06:38.61 0w3GPIPp.net
よく知られているように、あのアンドリューワイルズがFLTを証明したとする論文でさえ、きちんと査読されてギャップを指摘され、一年間それを解決するために取り組んだ
それが本来の数学のアクセプト
286:１３２人目の素数さん
20/12/19 21:13:20.80 4b7NgT9S.net
>>265
>2022 モスクワICM
そして、そこで望月氏、フェセンコ氏とともに謎の失踪・・・
ロシア、やべぇ・・・
>>268-269
ただ、名声だけが欲しい変質者の雑談氏にそんな正論いっても無駄でしょう
良心のかけらもないサイコパスですから
287:１３２人目の素数さん
20/12/19 21:51:57.67 IGIr12ue.net
>>269
何が本来のアクセプトだよ？
全ての論文にギャップがあるわけでもあるまいし、全ての論文で指摘が出るわけでもない
そんなのは論文依存のケースバイケースだ
ワイルズの論文と望月の論文は独立事象であり、ワイルズがこうだったら望月が云々とは言えないしナンセンスな指摘でしかない
288:１３２人目の素数さん
20/12/20 00:20
289::02.76 ID:VkusWldq.net
290:１３２人目の素数さん
20/12/20 00:25:37.53 bs8Up47/.net
scholzeクンが逃げてる以上、公刊して公式に反論を受けるしかないよね＾＾
291:粋蕎
20/12/20 04:51:51.69 WzlczpOg.net
>>234
>>233を読んで其れ言ったオドレは無定見もアンチ認定した事に成る。横暴を横暴と承知の確信犯で横暴に徹しとるのう｡
>>239
はぁ？ギャップが無くて何で誰にも読ませられんのじゃ？んなもん内輪論理。対外的読み物としてはギャップ有り｡
言うだけはタダ、と勘違いしとりゃあせんか？後の晒し者を担保にしとる事に気付かんか？
>>240
まぁーた瀬田氏は論点ズレた擁護を。其の過去例はイデアのギャップが原因じゃろ｡
IUT現状は、ほうじゃのうて論理のギャップじゃぞ。履き違えるな｡
292:現代数学の系譜 雑談
20/12/20 09:39:34.45 0d7Jh6jb.net
>>274
蕎麦屋のおっさんさ、>>265に書いた通りだよ
IUT側は、着々と進んでいるのであって
・来年早々には、IUTは刊行される
・Promenade in Inter-Universal Teichmuller Theory は、来年4月22日に完了する
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
（ March 03/11 Q&A Q&A Session on Inter-Universal Geometry Mochizuki あるから、文句あるなら、そこで言えよｗ ）
・IUTの国際会議が、来年の6月28日～9月10日まで、４本ある
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Foundations and perspectives of anabelian geometry, June 28 - July 2 2021
Combinatorial anabelian geometry and related topics, July 6 - July 9 2021
Invitation to inter-universal Teichmuller theory, August 31 - September 3 2021
Inter-universal Teichmuller theory (IUT) summit 2020, September 7 - September 10 2021
・南出の明示公式論文も、どこかで査読中だろうし、出版されるだろう
IUT側は、着々と進んでいる
もう決まりでしょ
５ｃｈで騒ぐ時期はすぎたと思うよ
293:１３２人目の素数さん
20/12/20 10:14:13.52 8kDxKeWQ.net
>>275
>IUT側は、着々と進んでいる
遅々として進まない、君のガロア理論の理解とは大違いだね
・・・といいたいけど、実は同じかもな（意味深）
もはや、５ｃｈですら騒がれない
294:１３２人目の素数さん
20/12/20 10:34:40.06 84RMz8VO.net
>>273
逃げてるってSSレポのRemark 5でFaltings' theorem applied to the weil restrictionについて述べたら、普通のFaltings' theoremだという勘違いのもと「反論」されてから返事がない件？
295:現代数学の系譜 雑談
20/12/20 10:35:32.06 0d7Jh6jb.net
>>275
５ｃｈの炎上防止が、多少IUTの応援になると思っていたときもあった
だが、2020年12月の段階では、もうその必要もないと思う
IUTは、粛々と前に進んでいくだろう
296:１３２人目の素数さん
20/12/20 12:02:04.99 8kDxKeWQ.net
>>278
>５ｃｈの炎上防止が、多少IUTの応援になると思っていたときもあった
典型的な🐎🦌の「ボクちゃん、もっちーのためなら死ねます」妄想ｗ
>だが、2020年12月の段階では、もうその必要もないと思う
>IUTは、粛々と前に進んでいくだろう
今月、別件で
「８年間にもわたって８０超のガロアスレを立て続けたくせに
実はガロア理論の基本定理が全然わかってなかったぁぁぁ！」
という超ド級の大恥晒したので、鬱状態に突入ｗ
IUT？ありゃトンデモ街道驀進中
Cor3.12自体の「真」証明が出ないかぎり、消え去るｗ
297:粋蕎
20/12/20 12:38:26.80 WzlczpOg.net
>>273
「読めば分かる」発言から「内容が変わらぬ詳説」で「単なる『読めば分かる』の詳説」でしかない反論を
ノーカウントとするとマトモな回答をしてない事に成る｡
>>275
見苦しい進行じゃな｡
>>279
元より『2ちゃんねるは玉石混淆で嘘OK、詫びも訂正も不要』と自設の他スレで宣った瀬田氏に
マコト（真、誠、実、実）無し。最早、玉石混淆どころか味噌も糞も一緒｡
298:粋蕎
20/12/20 12:47:54.85 WzlczpOg.net
IUT陣営の京都霊感商法の疑い
どうせ瀬田氏以外の此処のシンパも日和見屑野郎しか居るまい、同じ屑なら無定見で一本筋ぃ通したのが良い｡
猿石は万が一、億が一、IUTがギャップを解消し世界的に実績認証されたら猿石は喜んで負けを認め
負けの辱しめを生涯受け入れる一本筋通ったアンチに成ってくれるじゃろう。一方、IUTがぶち壊されたら
シレッとコロッと望月アンチに成り変わる二枚舌二面性の瀬田氏他シンパ。屑は屑でも性根まで屑｡
299:１３２人目の素数さん
20/12/20 15:12:02.05 8kDxKeWQ.net
>>281
>IUTがギャップを解消し世界的に実績認証されたら
「てへぺろ」の一言で終わり（をひ！）
でもないよ。だって望月氏自身がギャップ埋められるならとっくにやってるし
雑談君はIUTが否定されたら焼身自●するんじゃないかな
あ、でも、そんときはボクにいって
こんがり丸焼きにして食べてあげるから（極悪）
300:１３２人目の素数さん
20/12/20 16:17:42.38 nJHdbLkX.net
穢い言葉を連発して誹謗中傷するだけのアンチのほうがクズに見える
301:１３２人目の素数さん
20/12/20 16:33:31.99 8kDxKeWQ.net
何もいえないシンパこそ正真正銘の💩
ID:nJHdbLkXは愛国💩ｗｗｗｗｗｗｗ
302:粋蕎
20/12/20 20:29:13.24 WzlczpOg.net
>>282
丸焼きよりオーブン宙吊り焼きで低温でじっくり焼き上げるべし｡
本当は丸焼きよりも蒸し焼きや全身煮の方が良い｡
303:現代数学の系譜 雑談
20/12/20 22:03:09.66 0d7Jh6jb.net
蕎麦屋のおっさんに、維新さんか
おいおい
そもそもＩＵＴは、おれなんか、ほとんど応援にはならんけど
まあ、５ｃｈで炎上しても、ＲＩＭＳで気にする人がでないともかぎらんから
火消しをしてきたけど
それも過去
あとは、ＲＩＭＳとかＩＵＴの関係者がしっかりやることだね
予定されている国際会議をこなして
関連の研究をしっかり推進して論文書いて
あとは、2022 モスクワＩＣＭが一つの節目だろうね
304:１３２人目の素数さん
20/12/21 03:54:24.18 lfgYNfJh.net
はやくITUを論破して下さいｗｗｗ
305:１３２人目の素数さん
20/12/21 04:09:13.29 lfgYNfJh.net
>>281
IUTはオカルトなんですかｗｗｗｗｗ
306:粋蕎
20/12/21 06:09:12.96 vkRY8uyO.net
IUT正否に関わらずオドレらの信奉は盲信に変わり無い
>>286
×火消ししてきたけど ○火に油を注いできたけど
307:１３２人目の素数さん
20/12/21 06:18:50.88 vtqOdlUh.net
雑談君は「ガロア理論の基本定理」を誤解するポカで
もともとさしてなかった信用を完全に失ったよなｗ
そんな🐎🦌が支持する時点で、IUTも望月も終わった
308:１３２人目の素数さん
20/12/21 11:26:59.04 tgafCNYa.net
京大も出てない人たちが
嫉妬から必死で高学歴とその擁護者をディするスレ
309:１３２人目の素数さん
20/12/21 18:46:10.34 EK7cYo87.net
>ディする
というのは確かセタの書き癖だったと思うが。
ディスリスペクトする→ディスる と略すのが普通でしょ。
爺が使ったこともない言葉を真似するから、変になるんだよｗ
310:１３２人目の素数さん
20/12/21 18:53:57.57 EK7cYo87.net
大体
>高学歴とその擁護者
て何だよｗ そういう意識で応援してるのか。
セタがもっちを応援するのって、贔屓の馬を
馬券握りしめて応援してるオヤジの
イメージしかないんだけどｗ
数学的内容にも興味なさそうだし。
311:１３２人目の素数さん
20/12/21 18:57:02.05 EK7cYo87.net
しかもブンゲン本さえ買わずに
図書館で借りたと言ってたような。
馬券買った（つもり）としても少額だろうｗ
312:粋蕎
20/12/21 19:17:55.35 vkRY8uyO.net
走れコウタロー世代vs走れマキバオー世代
313:１３２人目の素数さん
20/12/21 21:14:41.21 wywCDWHg.net
>>292
それは単なるFEPの癖だろうが
書いてて推敲無しで投稿しちゃうなんてよくあることに過ぎないし
そんなことに突っ込むのは不粋というんだよ
314:粋蕎
20/12/21 21:23:35.96 vkRY8uyO.net
瀬田氏の癖と似とったんじゃけぇ言われて仕方無いじゃろ｡
見返してみぃ、弁解に不粋な言い訳を込めるもんじゃけぇ見るも無惨な反論に成っとるぞ｡
315:現代数学の系譜 雑談
20/12/21 22:05:42.99 UP9CTSFL.net
アンチは、あたま、湧いているのか？
おれと、数学のＩＵＴ理論とは、なんの脈絡も無い
全くの独立した存在だよ
おれがアホだとしても、数学のＩＵＴ理論をやっている数学者がアホとは限らんでしょ？ｗ
あんたらはアホ。あんたらと、数学のＩＵＴ理論とは、なんの脈絡も無い
あんたらがアホでも、数学のＩＵＴ理論をやっている数学者がアホとは限らんでしょう？ｗ
316:１３２人目の素数さん
20/12/22 06:10:48.46 8IPH7YoJ.net
ＩＵＴって不幸だね
アタマ沸いてるアホにしか支持されないってｗｗｗｗｗｗｗ
317:１３２人目の素数さん
20/12/22 06:26:40.18 hBaU98As.net
>>299
全然違う。新進気鋭の学者に支持されてる
賛同者が世界各地にいる
ありがたいことだし幸せなことだよ
アンチは京大にしかいない、身内にしかいないと長年ほざいていたが嘘だった
318:１３２人目の素数さん
20/12/22 07:27:30.54 8IPH7YoJ.net
>>300
ＩＵＴシンパ、頭いてぇなｗ
カトウブンゲンのどこが新進気鋭なんだよｗ
日本以外だってノッティンガムのフェセンコくらいしかいねぇじゃんｗ
実に不幸だな
悔しかったらショルツを納得させてみろ このタコ！！！
319:１３２人目の素数さん
20/12/22 07:31:30.08 8IPH7YoJ.net
Ｔ大の連中がダンマリ
「Ｋ大数解研、下手うったな」
と思ってる
身内だけでごまかして査読通すとか犯罪行為
やってることはアベとかガースーなみ
だから日本は未開土人の島国とさげすまれる
320:１３２人目の素数さん
20/12/22 08:12:36.00 Qyh5YzQj.net
国際会議が開かれるし、論文は内外の学者が書いてる
生活かかる学者がそんな下手をうつわけはないな
門外漢のScholzみたいな無責任の野次とは関係なく事態は進んでる
京大やその関係者まるごと間違ってはいないだろ
アホなアンチの戯れ言なんか意味ない
321:１３２人目の素数さん
20/12/22 11:09:35.97 PN0RMGsh.net
>>302
君、T大なの？
違うなら黙っといたほうがいいよ
低学歴に名前使われるのは不愉快だから
322:１３２人目の素数さん
20/12/22 17:01:52.37 jj52/Z59.net
T大が嘲笑してるのは確か
ただ彼らもIUT論文の正否が理解出来てない
だから負け犬の遠吠えに映ってる
つまり、TもKも阿呆
世界からみると日本アホ
323:
324:粋蕎
20/12/22 19:03:20.44 V15UKYOK.net
>>282
何じゃと半端かます気か？もしIUTが世界的認証とったらてへぺろしようがしまいがおどりゃあ永遠無限に生き恥殿堂入りじゃ｡
無論、IUTが世界的否認くらったら瀬田氏と>>283が永遠無限生き恥殿堂入り｡
日和見は無定見に非ず、日和見する奴も永遠無限卑怯者殿堂入り｡
>>303
「論文が内外の学者が書かれている国際会議が開かれるから」「生活かかる学者がそんな下手をうつわけはない｣
「京大やその関係者まるごと間違ってはいない」訳ではないじゃろ。国際会議の場で信を問い脚光を浴びるか
大顰蹙を買うかが決まるんじゃろ。決定筋かと思われてたら不穏な騒めきが起きて大恥を晒す事態にも成り得るぞ｡
325:１３２人目の素数さん
20/12/22 20:07:29.22 8IPH7YoJ.net
>>305
正しいと確認できない時点で否だけどな
玉川は望月のトンデモ暴走の尻ぬぐいをさせられた
T大の連中もK大の連中には大いに同情してるだろ
Cor3.12を前提した証明をいくらやっても結構だが
Cor3.12から矛盾が導かれた時点ですべてオシャカ
ま、そんな話は数学にはいくらでもあるけどな
326:１３２人目の素数さん
20/12/22 20:38:19.07 jj52/Z59.net
>>307
なんで正しいと確認出来ないと否なんだよ？
確認しとるだろが、査読者が
T大的には否（にしたい）なんだろうがな
327:１３２人目の素数さん
20/12/22 20:40:44.92 jj52/Z59.net
今回の顛末で裏から表からT大のやつらK大数学解析研に嫌がらせしとる
果ては柏原御大がCOI違反だなんだってもう難癖レベルwww
日本オワタ
328:１３２人目の素数さん
20/12/22 20:43:19.30 jj52/Z59.net
TとしてはKに世間の耳目もってかれてプライドズタズタらしい
だから恥も外聞もかなぐり捨ててK批判
そんなマウント取りに精出すぐらいなら業績あげてみろよ、てかIUT反証論文でもはよ書けT大
329:１３２人目の素数さん
20/12/22 23:21:09.00 tf3zGMzi.net
そろそろ年越しですね。
次の新年ブログ更新も去年のような爆笑ネタ記事、楽しみにしてます！
330:１３２人目の素数さん
20/12/22 23:47:19.01 xQfDj5F4.net
結局のところ
粘着性の低学歴が「～は確か」「～らしい」と闇雲に決めつけてるだけｗ
T大もK大も迷惑だろうな、こんなのに勝手に意見を代弁されて
331:１３２人目の素数さん
20/12/23 07:54:27.95 b+Tqm1BR.net
そもそもTはノーベル賞でもKに負けてるし学問の府としては格下
官僚や組織管理者を養成するための大学だからな
本質的に向いてないんだよ
332:現代数学の系譜 雑談
20/12/23 10:48:19.03 8h5cYepg.net
>>313
RIMSには、東大出身者、たくさんいるよ
RIMSには、海外の研究者も来るし
とにかく、RIMSはすごいわ
URLﾘﾝｸ(ja.wikipedia.org)
京都大学数理解析研究所
1975年までは研究所として活動していたが、1975年からは京都大学大学院理学研究科の専攻の一つとなり、現在では研究所と大学院の両方の側面を持っている。
歴代所長一覧 初代 福原満洲雄 東京帝国大学卒業
URLﾘﾝｸ(ja.wikipedia.org)
第8代 佐藤幹夫 1987年1月31日 - 1991年1月30日 東京大学 理学博士 名誉教授 「佐藤超函数」の導入
第9代 高須達 1991年1月31日 - 1993年1月30日 東京大学 理学博士
第13代 柏原正樹 2001年4月1日 - 2003年3月31日 京都大学 理学博士(学部は東大)
第15代 柏原正樹 2007年4月1日 - 2009年3月31日 京都大学 理学博士(学部は東大)
所員
斎藤盛彦（准教授）、東大卒玉川安騎男（教授）、東大卒
小野薫（教授）、東大卒
中島啓（教授）、東大卒、東大助教授、コール賞
大槻知忠（教授）、東大卒
小澤登高（教授）、東大卒、東大准教授、日本学術振興会賞、「離散群の従順な要素と完全性[2]」
333:１３２人目の素数さん
20/12/23 11:14:01.24 qGDizIc+.net
IUTの理解者は増える見込みあるの？
334:１３２人目の素数さん
20/12/23 12:23:20.48 Q3TkffgV.net
Tは教育機関としても三流だ
受験エリートの粋を集めておきながら毎年の医師国家試験の合格率は30位前後という体たらく
やる気が無いにも程がある
税金は日本トップの投入を受けているのだから税金泥棒だ
335:１３２人目の素数さん
20/12/23 12:34:02.83 X6uunDWO.net
東大の医師国家試験の順位は62位だぜ
2020年度 医師国家試験合格率ランキング
URLﾘﾝｸ(www.igakubujuken.jp)
なんという体たらく
336:粋蕎
20/12/23 13:01:30.91 ZpmiZbnm.net
結局、理3って何なん？
337:１３２人目の素数さん
20/12/23 13:31:30.58 vX/yWfkN.net
俺の友達の鉄門出身者が言ってたけど
東大や京大の医学部は基本的に研究者養成機関だから、
特に国試向けの勉強しないでずっと研究やってるんだよ
試験の三ヶ月くらい前から試験勉強始めるやつも多いらしい
それでこれだけ受かるんだからやっぱりバケモンだよ
338:１３２人目の素数さん
20/12/23 13:47:48.00 vX/yWfkN.net
ちなみに受かってるやつもほぼ全員、研究の片手間らしい
339:１３２人目の素数さん
20/12/23 15:10:45.12 CC2uR2yH.net
東大医学科でも9割以上は臨床医になるけどな
340:１３２人目の素数さん
20/12/23 16:14:20.70 X6uunDWO.net
合格率が低い事の言い訳になっていない。
受からなさそうならば最初から受けなければよい。
そうすれば合格率は下がらない。
毎年10人くらい無駄に記念受験しているらしいな。
341:現代数学の系譜 雑談
20/12/23 20:41:30.03 RP6e92we.net
>>315
>IUTの理解者は増える見込みあるの？
現実は、ＩＵＴ理解者は単調増加です
一般に、正しい数学理論は、そうなる
理解者がどんどん増えると同時に
それを説明する数学理論も進化して
どんどん分り易くなる
ＩＵＴも同じです
342:１３２人目の素数さん
20/12/24 02:01:05.34 oxNpuS8/.net
東大医学部なんて鉄緑出身のガリ勉秀才しかおらんよ
中高男子校では天才は育たない
343:１３２人目の素数さん
20/12/24 05:02:21.96 KR17mzWt.net
人
（;;;;;;;;）
（;;;;;;;;;;;;;;;;）
（;;;;;;;;;;;;;;;;;;;;;;;）
i:::::::::::::::::::::::::::::i
|:::/' " ￣￣ ヾ:::|
|/ ,,,,,,,,,, ,,,,,,,,, ヾ|
| =（へ）=（へ）＝| ＜へいお待ち！！ほうじ茶ソフトをお召し上がりくださいさ～
| ( _ _ ) |
| ﾄｪｪｪｪｪｲ |
ヽ | ｒ-ｒ-､.| /
/⌒＼/⌒＼ヽ| | |ﾉ／⌒ヽ／⌒ヽ
/ ﾉつ＼ ・ ｀ｰ'ｰ' ・ ／⊂ヽ ヽ
o0○/ /( 3 ＼ ∩ ／ と ) ○0o
( ` /､＿ﾉ (;;;;)(;;;;) （＿ﾉヽi ）
＼＿) ＼ : : : * : : : ／ (＿ノ
ヽ＿＿人＿＿ノ
（;;;;;;;;）
（;;;;;;;;;;;;;;;;）
（;;;;;;;;;;;;;;;;;;;;;;;）
344:１３２人目の素数さん
20/12/24 14:24:49.84 M2e3Zfyx.net
臨床医としてはイマイチでも、ノーベル医学生理学賞を数多く受賞して、遺伝子や脳の研究をして生命科学の発展をもたらせばいいんだが、それすらもしないからな。
理Ⅲも京医も人材の墓場だよ。
345:１３２人目の素数さん
20/12/24 14:53:55.91 LeX4JGpe.net
遺伝子や生命科学の研究は農学部のほうが上じゃないか
医学部はとにかくダメだよな
入るのは圧倒的に難しいのに
346:１３２人目の素数さん
20/12/24 16:48:06.94 M2e3Zfyx.net
山中教授は医学部卒でノーベル章を取ったけどな。
でもあの人はいわゆるエリートではないだろ。
347:現代数学の系譜 雑談
20/12/24 17:45:56.37 STVYoLo/.net
この”EXPLICIT” IUTを先に読むのいいんじゃない？
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
EXPLICIT ESTIMATES IN INTER-UNIVERSAL
TEICHMULLER THEORY ¨
SHINICHI MOCHIZUKI, IVAN FESENKO, YUICHIRO HOSHI,
ARATA MINAMIDE, AND WOJCIECH POROWSKI
P6
Thus, it is natural to pose the following question:Is it possible to obtain a new definition of evaluation pointsthat functions properly at arbitrary bad places by replacingthe “2-torsion point” appearing in the [original] definition ofan evaluation point by an “n-torsion point”, for some integern > 2?
Here, we recall that the definition of an evaluation point obtained by trans-lating a cusp by an n-torsion point functions properly at arbitrary bad placesif the following two conditions are satisfied:
(1) The various ratios of theta values at the Galois conjugates of [thepoint of the Tate uniformization of a Tate curve corresponding to aprimitive 2n-th root of unity] ζ2n are roots of unity [cf. [IUTchII],Remark 2.5.1, (ii)].
(2) The theta value at ζ2n is a unit at arbitrary bad places [cf. [IUTchIV],Remark 1.10.6, (ii)].One fundamental observation ? due to Porowski ? that underlies the theoryof the present paper is the following:
n satisfies the conditions (1), (2) if and only if n = 6
[cf. Lemma 3.1; Proposition 3.2; the well-known fact that 1 - ζ4, 1 - ζ8are non-units at places over 2]. Following this observation, in Definition3.3, we introduce a new version of the notion of an “etale theta functionof standard type” [cf. [EtTh], Definition 1.9] obtained by normalizing etaletheta functions at points arising from 6-torsion points of the given ellipticcurve. In the remainder of §3, we then proceed to discuss how the adoption ofsuch “etale theta functions of μ6-standard type” affects the theory developedin [EtTh].
348:１３２人目の素数さん
20/12/24 20:59:53.49 wIEHnPw9.net
”EXPLICIT”の意味が分からん雑談🐎🦌ｗｗｗｗｗｗｗ
Cor3.12を前提してる時点で、
IUTの無矛盾
349:性証明にも何にもなってないことに気づけ 阿呆ｗｗｗｗｗｗｗ
350:１３２人目の素数さん
20/12/24 22:53:25.56 TwBl/0oG.net
砂上の楼閣
351:現代数学の系譜 雑談
20/12/24 23:11:56.27 v2wfA7rc.net
>>330-331
・プロ的には、おそらく、もうそういう議論の時期は過ぎた。多分ね
・プロ的には、ＩＵＴにくらいつくか（当然正しい）
・ＩＵＴの影響の及ばない分野の研究をするか
だけど、ＩＵＴは偉大な成果ですな
352:１３２人目の素数さん
20/12/24 23:26:47.35 dOPKyWFy.net
>>64
スレチだけど、慰安所に連行された朝鮮の少女たちがいたのは事実
朝鮮で日本軍が少女たちを強制連行していないのも事実
彼女たちは養子縁組制度を悪用した人身取引の被害者だと仮定すれば
二つの事実は矛盾なく両立できる
養子縁組というものが親権者同士の合意がなければ成立しえない以上、
日本軍が養子縁組に偽装された人身取引の当事者になりえないのは自明である
少女たちの慰安所への連行に官憲が関与したとされる事例も、養子縁組に偽装された
人身取引を、有効で合法的な養子縁組と誤認してしまったからだと普通に説明できる
結局、少女たちは、親権者とブローカーの沈黙の共謀によって期限付きの性奴隷にされたといえる
何故、期限付きかというと、ブローカーは彼女たちが成人したならば、もはや偽装された親権を
行使して売春を強要できなくなるからだ
事実、ある韓国人慰安婦はそれまで売春を強要されたにも関わらず、20歳になるや突然慰安所から
追い出されたと証言してる
353:粋蕎
20/12/25 00:04:26.91 uW6HzF18.net
親権者と女衒の共謀…。
確か日本に対してフィリピン在住オランダ人28人を従軍慰安婦として強制連行したとして訴えたオランダも
同様事例を挙げる中で朝鮮人の従軍慰安婦に関して其の様な事実は確認していないと、していたとか、していなかったとか｡
354:１３２人目の素数さん
20/12/25 00:14:35.79 TXzzNESj.net
スレチすぎて草
355:１３２人目の素数さん
20/12/25 06:03:33.07 KU8IyEtR.net
♂ってほんとセックス好きだよな
セックスのためなら👿に魂も売るｗｗｗ
356:１３２人目の素数さん
20/12/25 06:07:37.50 KU8IyEtR.net
>>332
・雑談君、キミの時代は終わったよ
「ガロア理論の基本定理」を完全に誤解していたと露見したあの日で
・これ以上ガロア理論だけでなく数学に食らいついても無駄だから
どっか別の板でやり直したほうがいいよ
どうしてもこの板に書きたいなら固定HN＆トリップは捨てて匿名でな
少なくとも「現代数学の系譜」とかいう文字は削除してくれ
正則行列も行列式も知らん白痴の君に、現代数学を語る能力なんかないからｗ
357:１３２人目の素数さん
20/12/25 06:13:11.51 KU8IyEtR.net
>>333
いまも純然たる日本人の♀をAV女優とかいう慰安婦に勧誘してるけどな
だいたいIQ低そうな娘かボンビー娘（両方兼ねてる場合あり）
ま、賢いヤツなら確実にメンヘラだな
まともな知能と家庭環境で育ったらそんなものにはならない
ボンビーは本人のせいじゃないし、
IQだってだいたいはボンビーのせいだろう
（IQが純然たる遺伝だと吠えるヤツは単に奴隷を欲する鬼畜）
メンヘラは・・・まあ、仕方ないな
AVが跳梁跋扈するこの国で
「慰安婦なんていません」
とかいっても誰も信じない
いまも慰安婦だらけなんだからｗ
＊＊坂なんてSEXしないだけでやってることは完全に慰安婦ｗｗｗ
ああ、久保ちゃんだけはそんなことに関わらないでほしかった・・・OTL
358:現代数学の系譜 雑談
20/12/25 10:23:46.20 6ygFzPcq.net
>>329
追加
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
EXPLICIT ESTIMATES IN INTER-UNIVERSAL
TEICHMULLER THEORY ¨
SHINICHI MOCHIZUKI, IVAN FESENKO, YUICHIRO HOSHI,
ARATA MINAMIDE, AND WOJCIECH POROWSKI
Abstract.
In the final paper of a series of papers concerning interuniversal Teichm¨uller theory, Mochizuki verified various numerically
non-effective versions of the Vojta, ABC, and Szpiro Conjectures over number fields. In the present paper, we obtain various numerically effective versions of Mochizuki’s results. In order to obtain these results,
we first establish a version of the theory of ´etale theta functions that
functions properly at arbitrary bad places, i.e., even bad places that
divide the prime “2”. We then proceed to discuss how such a modified version of the theory of ´etale theta functions affects inter-universal
Teichm¨uller theory. Finally, by applying our slightly modified version
of inter-universal Teichm¨uller theory, together with various explicit estimates concerning heights, the j-invariants of “arithmetic” elliptic curves,
and the prime number theorem, we verify the numerically effective versions of Mochizuki’s results referred to above.
つづく
359:現代数学の系譜 雑談
20/12/25 10:24:11.28 6ygFzPcq.net
>>339
つづき
Introduction
In [IUTchIV], Mochizuki applied the theory of [IUTchI-IV] [cf. also
[Alien] for a detailed survey of this theory] to prove the following result
[cf. [IUTchIV], Corollary 2.2, (ii), (iii)]:
Theorem. Write X for the projective line over Q; D ⊆ X for the divisor
consisting of the three points “0”, “1”, and “∞”; (M ell)Q for the moduli
stack of elliptic curves over Q. We shall regard X as the “λ-line” - i.e.,
we shall regard the standard coordinate on X as the “λ” in the Legendre
form “y2 = x(x-1)(x-λ)” of the Weierstrass equation defining an elliptic
curve - and hence as being equipped with a natural classifying morphism
UX def = X ＼ D → (M ell)Q. Write
log(q∀(-))
for the R-valued function on (M ell)Q(Q), hence also on UX(Q), obtained by
forming the normalized degree “deg(-)” of the effective arithmetic divisor
determined by the q-parameters of an elliptic curve over a number field at
arbitrary nonarchimedean places.
(引用終り)
360:１３２人目の素数さん
20/12/25 10:50:38.37 9su6ZNjP.net
>>338
頭悪過ぎる。歴史観が無いやつによく見られる現象
頭の出来そのものよりは洞察力や俯瞰力が低いやつに現れる
結構いるのよ、おまえみたいなやつ
361:現代数学の系譜 雑談
20/12/25 10:58:55.21 6ygFzPcq.net
>>339-340
補足
下記の 南出論文からの引用で、論文冒頭にある文章より
Abstractで、”the j-invariants of “arithmetic” elliptic curves”、
Introduction で 、”we shall regard the standard coordinate on X as the “λ” in the Legendre
form “y2 = x(x-1)(x-λ)” of the Weierstrass equation defining an elliptic
curve - and hence as being equipped with a natural classifying morphism
UX def = X ＼ D → (M ell)Q.”
と出てくるよ（＾＾
維新さんの今読んでいる、梅村本「楕円関数論」
（楕円関数・テータ関数・モジュラー関数 ｽﾚﾘﾝｸ(math板:52番)- ）
でさ、この南出で使われている、楕円曲線理論に届くのぉ～？ 届かんでしょ！
（別に、梅村本「楕円関数論」をくさしているわけじゃなく、あの本は数論幾�
362:ｽ向けではないのでは？） そんなレベルの人がさ、 なんでIUT理論の成否が分かるの？ 教えて、チコちゃん！！ｗｗ（＾＾； (引用開始） ”Finally, by applying our slightly modified version of inter-universal Teichm¨uller theory, together with various explicit estimates concerning heights, the j-invariants of “arithmetic” elliptic curves, and the prime number theorem, we verify the numerically effective versions of Mochizuki’s results referred to above.” ”We shall regard X as the “λ-line” - i.e., we shall regard the standard coordinate on X as the “λ” in the Legendre form “y2 = x(x-1)(x-λ)” of the Weierstrass equation defining an elliptic curve - and hence as being equipped with a natural classifying morphism UX def = X ＼ D → (M ell)Q. Write log(q∀(-)) for the R-valued function on (M ell)Q(Q), hence also on UX(Q), obtained by forming the normalized degree “deg(-)” of the effective arithmetic divisor determined by the q-parameters of an elliptic curve over a number field at arbitrary nonarchimedean places.” (引用終り) 以上
363:現代数学の系譜 雑談
20/12/25 11:02:26.13 6ygFzPcq.net
>>341
>頭悪過ぎる。歴史観が無いやつによく見られる現象
>頭の出来そのものよりは洞察力や俯瞰力が低いやつに現れる
同意です
確かにね
何を言いたのか？
意味不明です
364:現代数学の系譜 雑談
20/12/25 13:28:30.29 6ygFzPcq.net
>>338
>いまも純然たる日本人の♀をAV女優とかいう慰安婦に勧誘してるけどな
>まともな知能と家庭環境で育ったらそんなものにはならない
まあ、そうだな
そこだけ同意
（参考）
URLﾘﾝｸ(gendai.ismedia.jp) URLがNG
2017.01.19
美人AV女優と呼ばれた女の絶望的な「その後」
リスカ、アル中…かける言葉が見つからない
中村 淳彦 ルポライター
(抜粋)
AV女優の実態を描いた『名前のない女たち』シリーズ。最新刊『貧困AV譲の独白』では、「貧困」に焦点を当て、18人の女たちの壮絶な過去と現在を著している。本書のなかから一部を抜粋して公開する。
突然の電話
「私さ、元AV女優だけど。取材してもらいたいんだけどさ。暇なんだよね」
井上沙耶（仮名）という元AV女優から突然電話があった。2004～2005年に企画AV女優をしていたそうで、年齢は37歳。とにかく暇なので取材して欲しいという。
神奈川県某市に向かった。駅から徒歩15分ほど。言われた住所は古い住宅街で、築40年以上と思われる老朽した木造アパートがあった。一般的な所得があれば、決して住むことはない老朽住宅だ。
2004年といえばAV女優志願者が増え、スタート地点に立つまでの競争が始まっていた時期で、元AV女優ならばそれなりのスペックを持っているはず。引退後も水商売や風俗に流れれば、それなりの稼ぎはあるはずで、老朽住宅に違和感があった。
住所を間違えたかと思い連絡すると、一番手前の部屋の扉がひらき、肥えた中年女性が現れた。彼女が井上沙耶だった。現役時代から30キロ以上太り、とても同一人物には見えない。
「これ、男の家。居候。暑いから中入れば」
「働いてないよ、こんなカラダだからね。彼氏に養ってもらっているの。半年くらい前から、まあ無職かな。太ってデリヘルをクビになったんだよね。どこも雇ってくれなくて、暇だからお酒がとまらない。狂ったように飲んじゃって、マジで止まらない」
365:１３２人目の素数さん
20/12/25 18:10:30.09 KU8IyEtR.net
>>342
ああ、ガロア理論の基本定理も誤解する人には
代数曲線とか理解できないから
IUTなんてあきらめたほうがいいよ うん
ところで、線型代数は勉強してる？
技術者なら正則行列の条件とか
行列式とか知らないと仕事にならないよ
ま、事務だったら知らなくてもいいけど
（事務の仕事で連立一次方程式解くことってないんかな？）
366:１３２人目の素数さん
20/12/25 22:22:35.90 gX+N04al.net
>>64
これまたスレチだけど、南京事件の中国側の犠牲者数は、民間人約3千人、非武装の軍人約１万人ということで
ほぼ決着している
南京大学の長年の学術的実証研究（具体的に何をした�
367:ｩというと被害者の遺族を探し出して聞き取り調査をして 被害者名簿を作成した）によって、中国側の犠牲者が約1万3千人に過ぎないことが判明してる
368:１３２人目の素数さん
20/12/25 23:51:30.00 WVxx+r6Q.net
望月研究室に中国人が三人も混ざってる…
中科大と京大はそんなに仲がいいの?
369:現代数学の系譜 雑談
20/12/26 00:06:00.39 8eR3mzLE.net
>>342 追加
南出論文では、下記の楕円曲線の高さ ”Heights”が、重要な役割を果たす
梅村本「楕円関数論」で、「楕円曲線の高さ ”Heights”」は、どう扱われているのか？
おそらく、無いのでは？ 無いなら、梅村本「楕円関数論」では、ＩＵＴに届かないよね
（別に、梅村本「楕円関数論」をくさしているわけじゃなく、あの本は数論幾何向けではないのでは？）
（>>339）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
EXPLICIT ESTIMATES IN INTER-UNIVERSAL TEICHMULLER THEORY ARATA MINAMIDE
Contents
1. Heights
Let E be an elliptic curve over a number field. In the present section,
we introduce the notion of the symmetrized toric height hS-tor(E) of E [cf.Definition 1.7].
We then compare hS-tor(E) with the [logarithmic] Weil height h(j(E)) of j(E) [cf. Proposition 1.8].
Finally, we prove that if E satisfies certain conditions, then the nonarchimedean portion of h(j(E)) is
bounded by an absolute constant [cf. Corollary 1.14, (iii)].
URLﾘﾝｸ(core.ac.uk)
2．体上の楕円曲線の一般論 工藤 桃成*1（九州大学マス・フォア・インダストリ研究所）
本稿は 2017 年 第 25 回整数論サマースクール「楕円曲線とモジュラー形式の計算」における著者の講演の内容を纏めたものである．
§2 楕円曲線の有理点のなす群（Mordell-Weil 群）の構造
定理 2.3.12 (Mordell-Weil). 代数体 K 上の楕円曲線 E に対して，アーベル
群 E(K) は有限生成であり，
E(K) ～= Zr ◯+ G
の形に書ける．ここで G は有限群である．有限群 G は E(K) の捩れ部分
(torsion part) であるので，以降 G = E(K)tors と書く．
2.3.4 Mordell-Weil の定理の証明
ここでは K = Q の場合における Mordell-Weil の定理（定理 2.3.12）を証
明する．証明のポイントは次の二つである：
(1) 剰余群 E(K)/2E(K) は有限である (second descent, 2-descent)．
(2) 有理点の高さを導入し，剰余群 E(K)/2E(K) の有限個の完全代表系を
用いて，Fermat の無限降下法 (infinite descent, ∞-descent) を適
用する．
370:１３２人目の素数さん
20/12/26 00:06:06.48 0bulU0Gb.net
中科大の教科書を淘宝網で見たことがあるけど明らかに中国の他の大学とのレベルが違うと思った
中国の内地に位置するから中共からの影響が少なくてそれなりの自由があるのではないかな
371:現代数学の系譜 雑談
20/12/26 00:07:41.73 8eR3mzLE.net
>>347
>望月研究室に中国人が三人も混ざってる…
>中科大と京大はそんなに仲がいいの?
仲が良いかどうかは知らないが
中国は、重要だと思うよ
372:１３２人目の素数さん
20/12/26 00:14:29.17 17xexx84.net
>>348
てか外人さんが多い
373:現代数学の系譜 雑談
20/12/26 00:17:09.31 8eR3mzLE.net
>>349
>中科大の教科書を淘宝網で見たことがあるけど明らかに中国の他の大学とのレベルが違うと思った
へー
そうなんか
ありがとう
>中国の内地に位置するから中共からの影響が少なくてそれなりの自由があるのではないかな
数学と政治思想とは、あんまし関係ないかも
かつ、旧ソ連も数学には、国家として力を入れていたよね
数オリなど、旧共産圏発祥ですね
中国は、数オリに力を入れているそうですね
URLﾘﾝｸ(ja.wikipedia.org)
国際
374:数学オリンピック 旧共産圏から始まり、西側諸国そして中近東へと参加が拡大してきたが、数回の参加で点数が振るわないためにやめる国もある。 中国は毎年のようにトップ3にいて、全員金メダルという成績を過去に出し、金メダル数も世界一の強豪国であった。しかしながら、大学数学以後の現代数学の展開に、中国人大学生はついていけていないことを指摘する中国人数学者もいる[8][9]。2015年にアメリカが20年ぶりに中国に勝利した際は競争に批判的な中国の一部では歓迎する向きもあった[10]。ただし、2019年に首位は中国に奪還され途上国のインドネシアが日本に迫る勢いを示すなど、競争は激化し続けている。そもそも、国際数学競技者としての強さと数学研究者としての強さは、別の問題という見解もある[11]。
375:１３２人目の素数さん
20/12/26 00:51:08.19 0bulU0Gb.net
>>352
確かにそうですね
研究室に入れたのも
本人の実力というより
単に大学の間の交流を目的とする政策に便乗しているだけなのかもしれない
376:１３２人目の素数さん
20/12/26 08:56:55.13 6vSdJXk6.net
>>348
こいつ、今日も必死だな
ところで線型代数の教科書読んでるか？
行列のrank、理解したか？
n×n行列が正則なのは、rankがnのときだが、証明できるか？
377:１３２人目の素数さん
20/12/26 08:59:58.14 6vSdJXk6.net
>>348
こいつ、今日も必死だな
ところで線型代数の教科書読んでるか？
行列のrank、理解したか？
n×n行列が正則なのは、rankがnのときだが、証明できるか？
378:１３２人目の素数さん
20/12/26 09:27:14.00 6vSdJXk6.net
雑談君に問題
Q1. 上半平面にベーテ格子（隣接ノード３）が埋め込めることを示せ
Q2. 上半平面の変換群SL2(R)の離散部分群で、
上記のベーテ格子を不変とするものを構成せよ
あ、梅村「楕円関数論」には、上記の問題も解答も出てないよ
379:現代数学の系譜 雑談
20/12/26 11:07:18.96 8eR3mzLE.net
>>332
(引用開始)
・プロ的には、おそらく、もうそういう議論の時期は過ぎた。多分ね
・プロ的には、ＩＵＴにくらいつくか（当然正しい）
・ＩＵＴの影響の及ばない分野の研究をするか
(引用終り)
（補足）
１．査読は、完了した（多分、複数人の査読で）
２．出版は、来年早々とアナウンスがあった
３．ＩＵＴ Promenard に参加する人多数（30人以上で、全部実名を出している）
４．仏Lille大のＩＵＴ支持が大勢力になっている
５．米カリフォルニア バークレイから、ＩＵＴの講演依頼あり
６．ＩＵＴの進化版から、ＡＢＣの明示公式を導くことができ、フェルマー予想の別証明を与える論文が発表された（この論文も、いずれ査読が終わって掲載されるだろう）
７．来年はＩＵＴ関連の国際シンポが、４本計画されている
８．ＩＵＴの論文をまともに読んで、おかしいと発言したのは、ＳＳの２名のみ
その内の一人、Ｓｔｉｘ氏は2018年の文書のあと、発言は一切なし
ショルツェ氏のみ騒ぐも、今年5月のＤｕｐｕｙ氏とのwoitブログでの討論では自ら撤退を宣言し、あとの発言は無し
９．ショルツェ氏以外に、直接論文を読んでの指摘なし。他は、単に、「読めない」「分からない」の類いの発言のみ
（注：なお、過去のデミトロフ氏などの具体的な指摘については、都度補足と修正対応をしている（望月サイトの経過ログを見て下さい））
そして、2020年12月の今、ＩＵＴは数学界に静かに受入れられつつあるのです
（ＩＵＴ Promenard 進行中）
380:１３２人目の素数さん
2020/12/2
381:6(土) 15:15:07.75 ID:6vSdJXk6.net
382:１３２人目の素数さん
20/12/26 15:19:21.14 6vSdJXk6.net
>>357
>査読は、完了した
>（多分、複数人の査読で）
複数人？誰？
おそらく書いた当人を除けば、読めた人は0人だけどね
不正・ダメ・ゼッタイ
No more misconduct forever.
URLﾘﾝｸ(www.youtube.com)
383:粋蕎
20/12/26 16:56:08.17 Yu/RdX63.net
ゼッタイ正しい！と宣い乍ら世界的否定認証されたら開き直ると公言しとった瀬田氏は
ゼッタイちがう！と宣い乍ら世界的肯定認証されたら開き直ると公言しとった猿石と其処は共通
384:１３２人目の素数さん
20/12/26 17:01:25.48 6vSdJXk6.net
>>360
「開き直る」ってどういうことかな？
世界的に認証されたら、もちろん君子豹変するんじゃね？
どうせ全然理解してないんだから「てへぺろ」の一言で終わりでしょ
なんか無意味なことに命かけるヤツって🐎🦌だよね？
385:１３２人目の素数さん
20/12/26 17:04:18.94 6vSdJXk6.net
粋がって自殺するのは弱い人
いくら馬鹿にされても生き続けるヤツは強いんだろう
小室圭は決して友達にはなりたくないが図々しさだけは評価する
いくら金の亡者とかいわれても失うものは何もないから痛くも痒くもないんだろうな
386:粋蕎
20/12/26 17:29:54.38 Yu/RdX63.net
失う物大有りじゃろ
387:粋蕎
20/12/26 17:43:51.04 Yu/RdX63.net
しかし此れで両者とも出鱈目出任せ口八丁大法螺吹きの大嘘吐きじゃ云う事が分かったな｡
シンパじゃのアンチじゃの言うんわ大体がほういう大嘘語り揃いじゃ｡
388:１３２人目の素数さん
20/12/26 17:47:17.18 6vSdJXk6.net
>>363
ビンボー人は「いい人」と思われても腹膨れないからなあ
それにしても小室父はなんであんな残念な女とケッコンしたんだろう
若いころも全然美人じゃなかったぞ
389:１３２人目の素数さん
20/12/26 18:01:05.83 EewmBnT5.net
アンチは本当に馬鹿だな
Scholz含めて批判派はまともに望月論文読み通す力はない
そのことは本人も認めていて、ちゃんと読んだ上で否定的証明構成する奴なんか一人もいない
そんな中、批判あることは承知の上で日本人以外も内外から数学者が徐々に馳せ参じている状況
自分は理解できたという数学者も増えている
生活かかっているからなまなかにはしない
勝負はついている
390:１３２人目の素数さん
20/12/26 18:26:57.49 6vSdJXk6.net
シンパこそ正真正銘の🐎🦌
そもそも弟子すら望月論文読めてない
Cor3.12に対するScholzの指摘に対して
星も山下も何ら援護できなかったのがその証拠
＞否定的証明構成
なんだそれ？ｗｗｗｗｗｗｗ
Cor3.12を否定しろといってる？それ見当違いだろｗ
Cor3.12自体が間違ってるとはいってない
Cor3.12の証明と称するものが証明になってない、といってる
Dupuyも実は望月の援護なんか全然してない
単に有意義な「予想」として利用してるだけ
みんな「望月予想」としてのCor3.12に興味あるだけで
望月がCor3.12を証明したとは誰一人認めてない
それが現実な
数学のわからん愛国🐎🦌が「望月は神！」と吠えてるだけｗｗｗ
391:粋蕎
20/12/26 18:35:08.02 Yu/RdX63.net
>>365
騙しが巧かったんじゃろ？餌食｡
392:現代数学の系譜 雑談
20/12/26 21:12:15.74 8eR3mzLE.net
>>366
どうも
ほとんど同意
南出なんか、30前後の数学者として一番大事な時期に
ＩＵＴの明示公式の研究で、英国へ留学して、研究したわけだ
このＩＵＴの明示公式が、ドボンなのか
あるいは、ホームランかは、数学者人生の一大事でしょ
フェセンコ先生のところのPOROWSKI氏も同様で、確かＤＲ生だった
ＩＵＴの明示公式が正しければ、ホームラン論文でしょ
もし、ＩＵＴがだめと思ったら
多分私なら、さっさと別の研究室へ移ります
ＤＲ生や南出氏の年代って、数学研究者として極めて大事な時期
アカデミックポストを得られるかどうかの瀬戸際でしょ？
みんな生活かかっているんだよね
なお、Scholz氏は、理解力はあるとおもうけど、なんか錯覚というか、自分の考えに嵌まっているんじゃないかな？
私？ 私はＩＵＴの数学的な成否など分かりませんよ！ｗ
でもね、仏Ｌｉｌｌｅ大とか、ＩＵＴ支持者がどんどん増えていることは事実ですな（＾＾
393:現代数学の系譜 雑談
20/12/26 21:13:21.10 8eR3mzLE.net
来年は、ＩＵＴが世界に認められる年
そうなると思いますね
394:１３２人目の素数さん
20/12/26 22:15:29.18 6vSdJXk6.net
>>369
ホームラン？馬鹿か、貴様ｗ
ただのヒットでしかないですね
南出もPorowskiも、Cor3.12を前提しただけ
逆に言えば、Cor3.12の正否の責任は負わない
だから別に生活には困らない そんなこともわからん白痴か、貴様ｗ
だから正則行列もわからん行列式もわからんのだよ 貴様は（嘲
線型代数やりなおせ 阿呆ｗ
395:１３２人目の素数さん
20/12/26 22:25:55.73 6vSdJXk6.net
アカポス得るだけなら大した論文でなくてもOK
どこの大学の先生でもいいんでしょ？
私の知り合いも大学の先生とかいるけど
別に世界的に有名な成果を上げたわけじゃないから
396:１３２人目の素数さん
20/12/26 22:34:38.26 17xexx84.net
あと数日寝たら恒例の年頭所感がくる