Inter-universal geometry と ABC予想 (応援スレ) 77

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 76
https://rio2016.5ch.net/test/read.cgi/math/1759924222/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
＜IUT最新文書＞
About the study of IUT by Ivan Fesenko http://ivanfesenko.org/wp-content/uploads/rapg.pdf https://ivanfesenko.org/?page_id=80
https://www.kurims.kyoto-u.ac.jp/~motizuki/
望月新一＠数理研
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
＜新展開＞
・2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ

://www3.nhk.or.jp/news/html/20230707/k10014121791000.html
NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707
研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました
▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル
▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドル

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
（J. Stixさん、IUT支持側へ）

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！
つづく

>>526
>ここのメンバーは、別にIUTを否定してはいない
>多分、手放しの全面肯定でない人もいるかも
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに

>>525
君がコピペしたいのは、理解できてるフリしたいからでしょ？　残念ながら君がぜんぜん理解できてないの丸分かりだよ。　君のコピペ行為は君の目的を何一つ達成していない。　無駄なことはやめよう。

まぁ肯定も否定も何もiutがどういう数学基礎論に基づいているかすら誰にも説明できない。この世界に誕生すらしていないしもう誕生することもない。望月先生のアイデアとしてこのまま消えていくのみ

IUTは望月のポエム
数学と思うから論争になる　ポエムだから論争は野暮

>>256
池上大輔氏　曰く
「現在知られている集合論の手法（※）では
ZFCのモデルMから、新しいZFCのモデルNを構成して
MとNの間で一階算術の命題の真偽を変えることはできない
もしリーマン予想がZFCの下で証明も反証もできないとして
そのことを現在の集合論の手法で検証することはできない」

望月新一は、
「通常の方法ではABC予想は証明できないから、IUTを考えた」
というが　まず、
「通常の方法ではABC予想が証明できない」
（具体的には例えばZFCでABC予想が偽となるモデルの存在）
という主張の証明がなされてない、次に
「IUTによるABC予想の証明」
（具体的にはIUTの公理（？）を満たすモデルが存在し
　かつそのような任意のZFCモデルでABC予想が真となること）
もなされていない。

特にIUTの公理を満たすモデルの存在が示せていないことは致命的である
（ここで求められているのは絶対的な存在ではなく
　例えばZFCのモデルが存在するなら、ZFC＋IUTのモデルも存在する
　という相対的な存在証明）

ヒルベルトの第10問題の否定的解決の系として、
ZFCでは解の非存在が証明できないような不定方程式が存在する

ここであえて「解の非存在」と書いたのは
解が存在すれば、具体的にそれを示せば証明となるからである

解の非存在が証明できない、というのは、具体的には
「標準モデルでは解が存在しないが、
　解が存在するような超準モデルが存在する」
ということである。

超準モデルによる解は当然超準的自然数であって
標準的自然数（つまりどのモデルにも存在する自然数）ではない

>>526
これはIUT理論の研究ネットワークではないのですね
>例えば、下記が、遠アーベルの研究ネットワークで
遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう
しかしIUT理論の研究ネットワークはありますかね？
ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが
https://www.youtube.com/watch?v=8vLQIAgFapk
「ZMC（ZEN Mathematics Center; ZEN数学センター）」になったのは
より広い分野（数論幾何なかんずく遠アーベル幾何）を対象にすることにしたと
好意的に捉えることも出来ましょうが
IUT理論の研究者を育てていかねば
たとえまともなものであったとしてもいずれ廃れます
（100年後に復活するか知れませんけど）

無限公理のない集合論における無限集合というのは、いわば超準的集合であって
任意のモデルで存在するような標準的集合ではない

無限公理を設定することで、そのような超準的集合が
任意のモデルで存在するような標準的集合になる

公理の設定でモデルが限定されるが、
任意のモデルで存在する標準的集合は増えることになる

しかし、どれだけ公理を設定しても
一階述語論理をベースとし
さらに人間が証明可能な体系とする場合には
モデルを唯一にすることはできない
要するに集合を標準的集合だけに限定することはできない

それがゲーデルの不完全性定理で示されたことである

>>529
(引用開始)
>ここのメンバーは、別にIUTを否定してはいない
>多分、手放しの全面肯定でない人もいるかも
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
(引用終り)

まあ、難しい理論における証明とは、そういうものだとしかいえない
例えば、下記”O–Takegoshi L2 extension”定理について
Yum-Tong Siu 先生が、最初「この論文間違っているんじゃね？」と 騒いだとか 御大が言われていましたね

要するに、画期的な理論は だれもが瞬時に理解できるとは言えないのです
真に 画期的な理論とは 得てしてそういうものです

例えば、下記”Geometric Langlands correspondence”
1,000 pagesで、"so complex that almost no one can explain it"
"very hard, almost impossible" by Drinfeld.[9]”
とあります

21世紀の数学は
そういう傾向がある　；ｐ）

(参考)
https://en.wikipedia.org/wiki/Ohsawa%E2%80%93Takegoshi_L2_extension_theorem
O–Takegoshi L2 extension theorem

https://en.wikipedia.org/wiki/Yum-Tong_Siu
Yum-Tong Siu (Chinese: 蕭蔭堂; born May 6, 1943) is a Chinese mathematician. He is the William Elwood Byerly Professor of Mathematics at Harvard University.

https://en.wikipedia.org/wiki/Geometric_Langlands_correspondence
Geometric Langlands correspondence
Status
A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8]
The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it".
Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9]

まだわからんのかねぇこの無能は
望月論文が理解されないのは決定的な瑕疵があるからにきまってるやん？いつになったら理解できんの？高木レベルやなこの無能

>>533
はずれですよ

>望月新一は、
>「通常の方法ではABC予想は証明できないから、IUTを考えた」

その話は、下記の
”§1.Hodge-Arakelov 理論的動機付け”
”§3.対数・テータ格子”
を、音読してね
ZFCは、出てこないよ

さて
https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
望月 出張・講演
[17] 宇宙際タイヒミューラー理論への誘（いざな）い　（2015-02） （京都大学数理解析研究所 2015年02月）
https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20Taihimyuuraa%20riron%20he%20no%20izanai%20(2015-02).pdf
§1.Hodge-Arakelov 理論的動機付け

§3.対数・テータ格子
Ｐ11
Θ-Link:
注:(Hodge theaterに登場するような）
「抽象的なモノイド等」
を扱うようにしないと、log-、Θ-linkのような（通常の環・スキーム論の環構造
に対する）「壁＝障壁」を定義することすらできない！
(引用終り)

ここに、
望月先生の”通常の方法”とは、上記「通常の環・スキーム論の環構造」
のこと
で、”(Hodge theaterに登場するような）
「抽象的なモノイド等」を扱う”が
望月先生創案のIUTのキモです！ （＾＾

>>538
ヒキコモリ数学基礎論くんか
いつも、きみは、キバッテいるねぇ〜！ｗｗｗ　；ｐ）
まあ、頑張ってくれｗ

>>537
また話をすり替えてますね
>要するに、画期的な理論は だれもが瞬時に理解できるとは言えないのです
>真に 画期的な理論とは 得てしてそういうものです
IUTに関しては
理解できている人達なんでしょう？君の話では>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに

>>535
(引用開始)
これはIUT理論の研究ネットワークではないのですね
>例えば、下記が、遠アーベルの研究ネットワークで
遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう
しかしIUT理論の研究ネットワークはありますかね？
ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが
(引用終り)

いやいや、これで良いのですよ
つまり、下記のRIMS
”2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）”
の予算で AHGT：https://ahgt.math.cnrs.fr/activities/
が作られて、ここに フランスの予算も入っている（ENS, FR、それに Lille大, FRも？）
IUTを含む ”次世代幾何学”の研究ですよ

https://ja.wikipedia.org/wiki/%E4%BA%AC%E9%83%BD%E5%A4%A7%E5%AD%A6%E6%95%B0%E7%90%86%E8%A7%A3%E6%9E%90%E7%A0%94%E7%A9%B6%E6%89%80
京都大学数理解析研究所（英: Research Institute for Mathematical Sciences）
年表
2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）

脚注
3^ a b c d e f 数理解析研究所 2019 - RIMS, Kyoto university
https://www.kurims.kyoto-u.ac.jp/~kenkyubu/gaiyou/2019.pdf
9^ 研究所紹介｜京都大学数理解析研究所 2022年8月10日閲覧
https://www.kurims.kyoto-u.ac.jp/ja/about-01.html

>>541
>IUTに関しては
>理解できている人達なんでしょう？君の話では>>517

ふっふ、ほっほ
数学オチコボレのエスパー登場か
君は、他人の理解 うんぬんが すきだねぇ〜〜ｗｗｗ

どうでもいいじゃん、他人の理解など
要は、自分がどう理解するかだけよ

私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ
つぎは、「日本 チャチャチャ」です

まあ、慌てず
じっくり 見てなさいよ ｗｗｗ

>>542
つまり
「次世代幾何学」の名前で評判芳しくないIUTを隠蔽しているようなものでしょうか
上手い方法ですね
しかしその中でIUT理論の研究は進んでいるんでしょうか？>>461
>日本人数学者でも大半はabc予想解決を受け入れてないわけ
>証明になってないと判断してるわけ
>嘘だと思うならここ数年の間にarxivに載ったabc関連の論文を見てみな
>abc予想が解決したことになってないだろ
という現状で進めるのではどんどん評判落とすことになりましょう

>>543
>私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ
それは初めて知りました
数学という国と関係の薄い学問でそう考える人なのですね
>君は、他人の理解 うんぬんが すきだねぇ～～ｗｗｗ
理解して居れば曖昧にはしないからですよ
IUT理論を強力に後押ししないのは理解して居ないからかも知れません
あなたのように理解はしていないが強力に後押ししたい気持を抑えきれない人もいるみたいですけれど

>>543
>数学オチコボレのエスパー登場か
といいますかあなたの受け売りですよ？>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです

>>543
>まあ、慌てず
>じっくり 見てなさいよ ｗｗｗ
どちらかと言えば
贔屓の引き倒しになりかねないのでは？
兎にも角にもABC予想が予想ではなく定理として認められるのはまだまだ先になりそうですけれど

島国には島国の良さがある。なぜ大陸でなければならぬのか。ボールペン一本を買うためにデパートの中をウロウロさせるようなOSをなぜ有りがたがるのか。ボールペンは文具店に直行すれば、すぐ買える。まあ、そういうことだよ、坊やたち。
日本は日本の独自性を生かすことで人類への貢献ができる。
足りぬ足りぬは、工夫が足りぬw 戦時中の日本人に学ぼう。
ついでに
トロン万歳！　リニア万歳！　天皇陛下万歳！

トロンと坂村健の嘘
https://ikedanobuo.livedoor.biz/archives/51292050.html

>>537
まあ、大学初年級レベルでも
初めて出会う定義・公理に基づく証明とは、
そういうものだな

例えば、「箱入り無数目」定理について
ここの常連素人が、最初
「この記事間違っているんじゃね？」
と 騒いだとか
選択公理が分からなかったんだな

要するに、数学理論の定義・公理は
だれもが瞬時に理解できるとは言えない
真に新しい事柄とは 得てしてそういうもの

大学の数学はそういう傾向がある

>>538
＞＞望月論文が理解されないのは
＞＞決定的な瑕疵があるから
＞＞にきまってるやん？
>>539
＞はずれですよ

”悔しさによる脊髄反射”は🐎🦌のすること
感情を制御できないと・・・死ぬよ

＞その話は、下記・・・を、音読してね
＞・・・は、出てこないよ

音読したけど、何ひとつ、理解できなかった、と

実数の定義、収束の定義、コーシー列の定義、関数の連続性の定義・・・
音読したけど、何ひとつ、理解できなかった、と

どの定義も∀と∃が交互に出てきて
AとEがひっくり返ってるのはなんでだ
とそこばかり引っかかって先にすすめなかった、と

この「ド田舎から大学に入ってつまづいた学生」へのアドバイスは２つ
・述語論理の式の読み方を勉強してね
・定義は証明するものではないので、まずそういう前提だと受け入れてね

できない？じゃ、大学はあきらめて、田舎に帰って百姓しながら碁でも打ってね

>>539
>望月新一の”通常の方法”とは、
>「通常の環・スキーム論の環構造」
>のことで、
>”(Hodge theaterに登場するような）
>「抽象的なモノイド等」を扱う”
>が望月新一創案のIUTのキモ
（注：上記の「先生」とかいうキモ語はフルネームに変換
　いかなる学問でも学界では呼び捨てが当然
　これを侮蔑とかいう奴は正真正銘の●違い）

さて、なんかわかったふうなこといってる素人カラス君

環の定義は知ってる？
モノイドの定義は知ってる？

あきらかに環よりモノイドのほうが制約が少ない
そもそも前者は加法と乗法が出てくるが
後者は一つの演算しかでてこないし
その演算における逆元は通常存在しない

あきらかに環構造のうち乗法だけ見るという意図で
モノイドを出してきたと想像されるが
理論の常として一般化すればするほど
（つまり公理を弱めれば弱めるほど）
証明できる定理は少なくなる

まあ、望月新一の”タイヒミューラー理論”の意図は
「環のうち乗法だけを保存し加法は保存されない写像を考える」
ということなのだろうが、言うは易し、行うは難しで
ｘ∈ｘなんてキテレツなアイデアを正当化しようとしてる時点で
うまくいってないんだろう

キテレツだから間違ってるとはいわないが
うまく公理化できてないなら、意味がない
それだけのこと
わかったかい？
大学１年のコーシー列と線形独立の定義が理解できなくて
ものの見事に落第した素人カラス君

>>540
大学１年のコーシー列と線形独立の定義が分からず
1>0.999…とか、正方行列は正則行列とか、
初歩レベルの誤りをドヤ顔で語る素人カラス君
まあ、述語論理の∀と∃の読み方から頑張って勉強して、
（一階）述語論理恐怖症を克服してくれたまえ

>>535
＞＞IUT理論の研究ネットワークはありますかね？
＞＞IUT理論の研究者を育てていかねば
＞＞たとえまともなものであったとしてもいずれ廃れます
>>542
＞いやいや、これで良いのですよ
＞RIMS”次世代幾何学＊＊センター”の予算で
＞AHGTが作られて、ここに フランスの予算も入っている
＞（ENS, FR、それに Lille大, FRも？）
＞IUTを含む ”次世代幾何学”の研究ですよ

いい加減なこといって、国から研究費をむしる学界詐欺の典型ですな（嘲）
税金毟られて喜ぶとかカラスはどんだけマゾなんだ（笑）

>>543
＞君は、他人の理解 うんぬんが すきだねぇ〜〜
＞どうでもいいじゃん、他人の理解など

話し手が、話していることを理解しているかどうかは、最も重要
自分が理解できてないことを話すヤツの話を聞くのは時間の無駄だからね

＞要は、自分がどう理解するかだけよ

自分が理解するために、
理解できている人から話を聞く
理解できてない奴はクソだから焼く
便所の💩の掃除は大事

さて、本題の💩の掃除

＞私？ 私は、まずは
＞「頑張れ 日本！」
＞の範囲で理解できればいいのです
＞つぎは、
＞「日本 チャチャチャ」
＞です

なんでそこでニッポンがでてくるのか分からん
自分が大学１年レベルの数学に負けたから
自分を日本人全体に拡大して、
「オレが負けた現代数学に、日本人の誰かが勝ってくれ」
といいたいのかな？

だったら別に日本人に限定せず、人類全体に拡大しなよ
どうせン万年だかン十万年だか辿ればどこの人も共通祖先にたどり着くよ
３０万年という説があるけど、その場合まさに１万世代前の祖先だな
これがほんとの万世一系、八紘一宇か？（笑）　
神武天皇はカメルーンにいた、ってか？（笑）

人類バンザーイ
●違いモッチーも、天才ショルツェも、遠い遠い親類
人類みな一家　仲良くしような（マジ）

日本人はもう８割方、半島と大陸の血が入ってる

Y染色体ハプログループでいえば
O1b2は朝鮮半島から来た
O2は中国大陸から朝鮮半島を経て来た

日本の自己愛国粋野郎が中国・朝鮮・韓国を嫌うのはまさに近親憎悪
日本の自己愛国粋野郎は日本を中国や北朝鮮のような完全に全体主義的な国家にしたがってる
要するに中国や北朝鮮のような統制国家が「ぼくのかんがえるさいこうのくに」らしい（笑）

キモチワルイ　実にキモチワルイ

アナトリアの住民が昔ギリシャ語、今トルコ語をしゃべってる時点で
言語とか民族としてのアイデンティティとかいうものは
遺伝形質でもなんでもないということがわかる

人が生きるのにアイデンティティは要らない　最低、食料があればいい

十年一日のごとき〇〇〇〇節ですな

黒人蔑視のジェームズ・ワトソンと
同世代なのだろう

>>544
>>abc予想が解決したことになってないだろ
>という現状で進めるのではどんどん評判落とすことになりましょう

いやいや 間違っていますよ

”数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。
岡潔　『一葉舟』角川ソフィア文庫”

多分、数学は 最先端は常に難しいが、先に進めば 難しかった定理の証明に 簡明な別証が見つかったり するものだと
そして、万一 望月IUTのabc予想証明に ギャップが見つかったとしても、それも数学の進歩というものです

そのギャップを、他の人が埋めるか
あるいは、新しい証明を考えるか、それも 数学の進歩というもの

なので、”2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）”>>542
は、数学の王道です

(参考)
chrome-extension://efaidnbmnnnibpcajpcglclefindmkaj/https://www2.math.kyushu-u.ac.jp/~joe/math/ohsawa.pdf
九州大学 集中講義 2019.11
解析接続の問題に現れる解析と幾何
大沢健夫
数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。岡潔　『一葉舟』角川ソフィア文庫

（ついで）
https://www.math.sci.hokudai.ac.jp/~ishikawa/
幾何学者石川剛郎
https://www.math.sci.hokudai.ac.jp/~ishikawa/Numazu-Shizuoka/26thShizuokaMeeting.html
第２６回　沼津改め　静岡研究会 ２０１９年３月
---　幾何，数理物理，そして量子論　---
https://www.math.sci.hokudai.ac.jp/~ishikawa/Numazu-Shizuoka/ohsawa-26.pdf
解析接続の解析と幾何
大沢健夫 2019

>>545
>>君は、他人の理解 うんぬんが すきだねぇ〜〜ｗｗｗ
>理解して居れば曖昧にはしないからですよ
>IUT理論を強力に後押ししないのは理解して居ないからかも知れません
>あなたのように理解はしていないが強力に後押ししたい気持を抑えきれない人もいるみたいですけれど

いやいや 間違っていますよ
　>>8より再録
(参考)
https://hiroyukikojima.ｈａｔｅｎａblog.com/entry/20130424/1366809361
hiroyukikojima’s blog
2013-04-24
ＡＢＣ予想入門
今回、皆さんにお勧めしたい本は、黒川さんと小山信也さんの共著『ABC予想入門』PHPサイエンス・ワールド新書である。
黒川先生発案の絶対数学(F1スキーム理論）が、数学者コンヌを中心に大きく発展した。第二の進展は、京都大学数理解析研究所の望月新一氏によるabc予想解決宣言である。黒川さんによれば、望月氏もF1数学を使っているとのこと
(参考)＜追加 数論幾何入門の必読参考書＞
https://www.morikita.co.jp/books/mid/007891
数論幾何入門 森北出版
モジュラー曲線から大定理・大予想へ
東京大学准教授 博士（数理科学） 三枝洋一 (著)
《数論幾何学の世界をめぐるための格好のガイドブック》
整数論の問題を幾何学的手法で解く――それが数論幾何学と呼ばれる代数学の分野です。フェルマー予想をはじめ、志村-谷山予想、ラングランズ予想、佐藤-テイト予想、BSD予想、ヴェイユ予想といった魅力的な大定理・大予想を数多く備えながらも、その理論は非常に抽象的かつ難解であるがゆえに、これまで初学者への門戸は開かれていませんでした。
本書は、そんな数論幾何学の世界に足を踏み入れるための入門書です。抽象的な一般論ではなく、「モジュラー曲線」と呼ばれる具体例を軸に解説されているので、特別な予備知識がなくても数論幾何学の考え方が理解できます。
前半では主にモジュラー曲線について解説し、後半では上記の大定理・大予想の内容の理解を目指します
(引用終り)

別に、加藤文元先生の宇宙本が バカ売れしたという
”宇宙と宇宙をつなぐ数学 IUT理論の衝撃 | 加藤 文元”
さらに、別に 数学者による 市民講演会というがある

要するに、21世紀の現代においては 数学は 社会から孤立した学問ではないのです
今、IUTに欠けているのは >>13-14 "加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」"と
"＜“big picture”＞" Career advice Terence Tao です

三枝洋一 「モジュラー曲線から大定理・大予想へ」レベルの本が存在していない！
”メンタルピクチャー”、“big picture” が 欠けている
それは、いずれ出てくる。IUTが正しければね。それが 数学の進歩です

>>562 タイポ訂正

さらに、別に 数学者による 市民講演会というがある
　↓
さらに、別に 数学者による 市民講演会というのがある

ギャップというよりそもそも数学の文章として成立するための基礎論すらない。数学的証明に変換する変換先が定義されてない。どこそこわからないんじゃなくて丸ごと全部変換できない。

>>546
>>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
>その分野の専門家で理解ができているなら

まず、IUTを数学的に否定した 文献は世界にたった一つ
“Why ABC is still a conjecture” [https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf]
by Peter Scholze のみ。これを認めよう！ （他は woitブログとか 文学系ですｗ）

そして、Scholze氏のは ”radical simplifications”という明白な ストローマン論法なので
これを、公に支持する 数論の数学者も また 皆無（専門違いの圏論屋が一人）

さて、”理解”とは 何か？ 大学入試ならば ある部屋にカンニング無しで 一定時間にある問題を解かせた 点数だろう
院試なら、上記に加えて 口頭試問がある

ところで、専門分野のIUTについては、このような手段は存在しない
”理解”の客観的な指標は存在しない

だが、多分 IUTの専門家同士で話をすれば、「ああ この人は分っている」と感じるものがあるでしょうね
私？ 私は IUTなど ”さっぱり妖精”（下記） （＾＾
三枝洋一 「モジュラー曲線から大定理・大予想へ」を 読むのが 精一杯ｗ

(参考)　
https://dic.pixiv.net/a/%E3%81%95%E3%81%A3%E3%81%B1%E3%82%8A%E5%A6%96%E7%B2%BE
さっぱり妖精 ピクシブ百科事典
「魔法陣グルグル」に登場するキャラクター
https://i.pximg.net/c/260x260/img-master/img/2017/09/18/21/51/40/65029872_p0_square1200.jpg

>>476-477より再録
下記 “Why ABC is still a conjecture”中 の
　”2.1.Glossary: IUTT-terminologyandhowwemaythinkoftheseobjects.
　This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
　ここで ”radical simplifications”が、ストローマンでアウト！
（政治ディベートでは ストローマンは常套手段だが、数学では許されない！）
(参考)
https://zbmath.org/07317908
zbMATH Reviewer: Peter Scholze (Bonn)
Inter-universal Teichmüller theory. I: Construction of Hodge theaters(2021).
(抜粋)
“Why ABC is still a conjecture” [https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf] that discusses the issues in slightly more detail.
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3
ストローマン（straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す

>>564
ヒキコモリ数学基礎論くんか
妄想デンパ出まくりですよ
お薬のみましょう

ないやん。どこにかいてあるの？

>>557
>日本の自己愛国粋野郎が中国・朝鮮・韓国を嫌うのはまさに近親憎悪
中国は人民の不満が中共政府に向かわぬようそのはけ口として国の外に日本という敵を作っている。尖閣領海への侵犯を繰り返している。武漢肺炎パンデミックを起こしたのに謝罪しない。
韓国は日韓請求権協定締結により戦後賠償問題は完全かつ最終的に解決したにも関わらず日本に言いがかりつけゆすり集りしてくる。
朝鮮は拉致被害者を返さない。ミサイル撃ってくる。
これらの国を嫌う合理的理由がちゃんとある。

>日本の自己愛国粋野郎は日本を中国や北朝鮮のような完全に全体主義的な国家にしたがってる
>要するに中国や北朝鮮のような統制国家が「ぼくのかんがえるさいこうのくに」らしい（笑）
>キモチワルイ　実にキモチワルイ
その思い込みこそがキモチワルイ　実にキモチワルイ

>>550
>例えば、「箱入り無数目」定理について

下記「箱入り無数目」は、定理にはなっていない
実際、時枝氏も 数学セミナーの記事の最後は、”むにゃむにゃ”とお経を唱えてゴマカシたｗ
なお、数学セミナー誌は 査読のある新規論文投稿の雑誌ではない

また、「箱入り無数目」以外の同趣旨の査読論文も皆無だし
さらに、「箱入り無数目」に賛同する 日本の大学の確率論学者も皆無
さらに、大学レベルの確率論を修めた人で 「箱入り無数目」に賛同する人皆無

「箱入り無数目」の大問題は、下記 確率の公理 P(Ω)=1 を 決定番号が満たせないことにある
つまり、決定番号は 全ての自然数を渡るが
Ω＝自然数の集合N とすると、数え上げ測度で 無限大に発散するため P(Ω)=1 は与えられない

よって 例えば、自然数Nで 半分は奇数、”半分は偶数だから P(偶数)=1/2” はダメ！！■
（直感的には 言えそうだが、厳密な数学ではない）

(参考)
https://rio2016.5ch.net/test/read.cgi/math/1736907570/
スレタイ 箱入り無数目を語る部屋29
(参考)時枝記事
https://imgur.com/a/8bqlb08 (リンク切れてしまったが そのうちにｗ)
数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E3%81%AE%E5%85%AC%E7%90%86
確率の公理
コルモゴロフによる公理系
Ω は、根元事象と呼ばれる要素の集合、
F は Ω の部分集合から構成される族であり、その要素は事象と呼ばれる。
P は F 上の集合関数とする。
4. P(Ω)=1.

https://ja.wikipedia.org/wiki/%E6%95%B0%E3%81%88%E4%B8%8A%E3%81%92%E6%B8%AC%E5%BA%A6
数え上げ測度（英: counting measure; 計数測度）とは、集合の元の個数を数えるという方法でその "大きさ"（あるいは "容積"）を測る

>>558
>人が生きるのにアイデンティティは要らない
じゃ日本から出てけば？

数学と食料さえあれば
宇宙空間で独りぼっちでも
人が生きるのには十分

>>570
>下記「箱入り無数目」は、定理にはなっていない
なってる。君が勘違いしてるだけ。

>実際、時枝氏も 数学セミナーの記事の最後は、”むにゃむにゃ”とお経を唱えてゴマカシたｗ
ごまかしてるのは君。

>なお、数学セミナー誌は 査読のある新規論文投稿の雑誌ではない
>また、「箱入り無数目」以外の同趣旨の査読論文も皆無だし
「正しい定理は査読を通ったものだけ」が間違い

>さらに、「箱入り無数目」に賛同する 日本の大学の確率論学者も皆無
>さらに、大学レベルの確率論を修めた人で 「箱入り無数目」に賛同する人皆無
箱入り無数目成立を公言した大学教員
　Stanford大学教授　時枝正
　Kusiel-Vorreuter大学教授　Sergiu Hart
　Baylor大学教授　Alexander Pruss

箱入り無数目不成立を公言した大学教員
　無し

箱入り無数目は集合論を使った数学パズルだから確率論学者は関係無い。

>「箱入り無数目」の大問題は、下記 確率の公理 P(Ω)=1 を 決定番号が満たせないことにある
>つまり、決定番号は 全ての自然数を渡るが
>Ω＝自然数の集合N とすると、数え上げ測度で 無限大に発散するため P(Ω)=1 は与えられない
正しくは Ω={1,2,・・・,100}。君が誤解してるだけ。

>よって 例えば、自然数Nで 半分は奇数、”半分は偶数だから P(偶数)=1/2” はダメ！！■
>（直感的には 言えそうだが、厳密な数学ではない）
箱入り無数目は厳密に成り立つ。直感頼りで間違ってるのが君。

ABCに戻ろう

>>561
君、相変わらず言葉が通じないね、会話がかみ合ってないよ

IUTについては
かみ合う議論が難しい

>>561
>>561
＞”数学はやればやるほど簡単になるはずであり、
＞組み合わせの数は無限であっても、
＞行き詰るはずはないのである。”
＞岡潔　『一葉舟』

最初の行は、情報量の定義に反する
二行目三行目は正しいが
そこから最初の行の主張は導けない
（完）

＞多分、数学は 最先端は常に難しいが、
難しいのではなく、分かってない

素人は言葉を知らんね

＞先に進めば 難しかった定理の証明に
＞簡明な別証が見つかったり するものだと

常にそうなるとは言えない

もしそういえるとすると情報量の定義と矛盾する（笑）

>>562
＞今、IUTに欠けているのは メンタルピクチャ（加藤文元） big picture（Terence Tao）
ヒルベルトなら「無矛盾性」　タルスキなら「モデルの存在」　というところだね

＞それは、いずれ出てくる。IUTが正しければね。

間違ってたら、永遠に出てこないけどね。
御愁傷様　国粋●違いはギャンブルで大穴に賭けてものの見事に負けました！（笑）

>>572
「孤独は死に至る病じゃ」
独りぼっちで生きていけるなら、なぜひとのいる掲示板に出てくる？

>>565
＞私？ 私は IUTなど ”さっぱり妖精”
君はそもそも実数論も線形空間論も”さっぱり妖精”だろ（笑）

コーシー列の定義も理解できん
線形独立の定義も理解できん
それじゃ微積も線形代数も落第だわな

>>562
望月はショルツェを納得させられなかった。それどころか逆ギレして罵倒した。望月自身がIUTを理解していないことを白状したも同然。理解していたら駄々っ子みたいに逆ギレする必要は無い。
それを見た数学コミュニティは「こりゃダメだ」と相手にするのをやめた。望月のかつての師も「自分の研究に時間を使うことにした」とやんわり突き放したｗ

>>566
コピペ国粋●違いの君は
誇大妄想出まくりだけどな
たかが公立高→二流国立大工学部卒の”一般人”が数学者ぶるなよ
コーシー列も線形独立も分からん奴は数学者どころか
大学１年の微積と線形代数の単位もとれねえよ（笑）

>>548-549
>トロン万歳！　リニア万歳！　天皇陛下万歳！
>トロンと坂村健の嘘
>https://ikedanobuo.livedoor.biz/archives/51292050.html
>>556
トロン　→　アイデアは良かったが、実現に至らず　
(引用終り)

"トロン" みたいな話は、IT業界には山ほどある（敗れ去ったもの話 IT界の時間の流れは速い）
例えば、OSの歴史では いまLinuxが標準になってしまった
また、スマホも Androidは、Linuxカーネル（アップルiOSは BSD系UNIXらしい 下記）

その中で、"トロン" 自身は 戦いに敗れたかもしれないが
日本のIT界に残した 人材と知的財産の遺産は 大きいと思いますよ

池田 信夫さん、下記 1978年（昭和53年）東京大学経済学部卒業、1978年（昭和53年）NHK入局か
まあ、文系さんだね（理系の深いところは 彼は 理解できていないようだ・・）

(参考)
https://news.yahoo.co.jp/articles/6e92b5f0028fe67413a5b542929478e5f419a482
意外と知らない日本発の世界標準OS『TRON』は何が凄いのか？
5/13(火) スマホライフPLUS
OSと言えば『Windows』『Linux』などを想起する方は多いでしょう。しかし『TRON』はリアルタイム処理とオープンアーキテクチャで組み込みシステムのデファクトスタンダードとなり、世界標準のOSとして無数のデバイスに搭載されています。IoTの先駆けとなり、小惑星探査機『はやぶさ2』にも採用されています。

https://ja.wikipedia.org/wiki/TRON%E3%83%97%E3%83%AD%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88
TRONプロジェクト
電電公社によるCTRONプロジェクトは成功し、1990年頃よりNTT社内において、DEXのOSである「DEX-OS」とDIPSのOSである「DIPS-OS」が、CTRON準拠の「IROS（Interface for Realtime Operating System）」に切り替わった

https://ja.wikipedia.org/wiki/Linux
Linux
2017年のLinux Foundationによる報告書は、99%のスーパーコンピュータ、90%のパブリッククラウド、82%のスマートフォン、62%の組み込みシステムがLinuxで動作していると主張している[13]

つづく

つづき

https://ja.wikipedia.org/wiki/Android_(%E3%82%AA%E3%83%9A%E3%83%AC%E3%83%BC%E3%83%86%E3%82%A3%E3%83%B3%E3%82%B0%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0)
Android（アンドロイド）は、Googleが開発した汎用モバイルオペレーティングシステムである[3][4][注釈 1]。Linuxカーネルやオープンソースソフトウェアがベースで、主にスマートフォンやタブレットなどのタッチスクリーンモバイルデバイス向けにデザインされている

https://ja.wikipedia.org/wiki/%E3%82%AA%E3%83%9A%E3%83%AC%E3%83%BC%E3%83%86%E3%82%A3%E3%83%B3%E3%82%B0%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0
オペレーティングシステム（英: operating system、略称:OS、オーエス）
歴史
1980年代後半-2000年代初頭 次世代オペレーティングシステムへの流れ
1991年に、Linuxが自由ソフトウェアとして公開された
Linuxは保守的な設計とバザール方式という不特定多数の担い手による開発手法を採用し、迅速な開発が進められ、PC-UNIXのデファクトスタンダードとなった

2000年代中盤 オペレーティングシステムの多様化
オープンソースの流れでは、従来よりGNUがUNIX向けのツール群を開発していたが、これらをLinuxカーネルと組み合わせたGNU/Linuxが、2000年頃よりUnix系オペレーティングシステムの主流となった
組み込みシステム
オープンソースのTOPPERSのITRONを含むTRON系オペレーティングシステム・APIが、2020年現在、組み込みオペレーティングシステムの60%のシェアを持っている[10]。

https://ja.wikipedia.org/wiki/IOS
iOS（アイオーエス）とは、Appleが開発および提供する、iPhoneとiPod touch向けのモバイルオペレーティングシステム（組み込みプラットフォーム）であり、BSD系UNIXから開発されたNeXTのOPENSTEPを起源とするMacintosh専用のmacOSをモバイル機器用途に改変したものである

https://ja.wikipedia.org/wiki/%E6%B1%A0%E7%94%B0%E4%BF%A1%E5%A4%AB
池田 信夫（いけだ のぶお、1953年〈昭和28年〉10月23日[1] - ）は、日本の経済評論家[3][4][5][6]、ブロガー
学歴
1972年（昭和47年） - 京都府立洛北高等学校[44] 卒業。
1978年（昭和53年） - 東京大学経済学部卒業[7]。
1996年（平成8年） - 慶應義塾大学大学院政策・メディア研究科政策・メディア専攻修士課程修了。同年、同大学院政策・メディア研究科政策・メディア専攻後期博士課程中退[7]。
2005年（平成17年） - 「情報通信産業のアーキテクチャについての研究」により、慶應義塾大学大学院政策・メディア研究科より博士（政策・メディア）を授与[45]される
職歴
1978年（昭和53年） - NHK入局[7]。
1993年（平成5年） - NHKを退職[7]。
1997年（平成9年） - 国際大学グローバルコミュニケーションセンター (GLOCOM) 助教授（-2000年）[7]
(引用終り)
以上

これもセタの小学生構文、「駄々をこねる」、重い通りにいかないから話の筋道通ってようがなかろうがお構いなしに言いたいことを相手がい相手にするの嫌になって引いていくまでひたすら「駄々をこねる」。長文コピペもおなじ。思春期時代にそういう「駄々をこねる」という行為が人間としてみっともない、恥ずかしい行為であることを学ぶ機会がなかったんやろ。
そして「駄々をこねる」ことで、他人に白い目で見られることと引き換えに、無理を通す成功体験を通じて理性的に判断して自説の誤りを認めることも時には必要ということを学ぶ機会を失って結果、理性的判断よりも「自分が負けることはゆるされない、どんな場合でも、現実自分がまちがっていたとしても」という感情判断の方を優先する“人格障害”に陥ってしまったんやろ。
もうまともな人間にもどるのは無理やろな

>>565
>まず、IUTを数学的に否定した 文献は世界にたった一つ
相手にされてないから否定すらしてもらえない
逆に肯定してるのは望月一味だけ
これが現実

>>568
（天皇）
＞しかし「いるだけの存在」は続き決して無くなることはなかった。
日本人は骨董マニア（笑）

＞それどころか歴史の要所要所で存在感を発揮した。
＞勝てば官軍負ければ賊軍、王政復古の大号令、皇軍、等。
明治以降の政府が天皇を利用しただけ　
天皇自身は基本何もしてない
明治天皇は何した？　言えないだろ？　だって何もしてないもん（笑）

＞先の大戦の敗戦により敗軍の将となり
＞国民主権となったにもかかわらず
＞国家国民の象徴としてなお存続した。
昭和天皇は戦争の終結にはちょっとは寄与した
ただぶっちゃけかなり遅すぎた
１９４４年のサイパン陥落の時点で降参すべきだった
そうすれば六大都市を中心とした空襲はなかった
沖縄も戦場にならなかった
特攻なんて愚劣なことは起きなかった
大正世代の男性の１割を超える戦死者をだすこともなかった

＞それらは日本人の心の中に常に畏敬崇拝の念があったからだ（時の権力者がそれを利用した）。
ないよそんなもんは
権力によって畏敬崇拝を強制させられた
中国や北朝鮮がやってることと全然変わんないよ（笑）
むしろカルト宗教度では両者より上かもしれん

＞そして現在、天皇は世界で唯一の皇帝（Emperor）である。

中国の皇帝と、ローマのインペラトールは異なる
前者では世襲は重要だが、後者は軍事司令官の意味が強く世襲の意味はない
ヨーロッパで世襲制の意味が強いのはむしろ王（king）である
せめてこの程度の常識を知ったうえで、フカしてくれないと
只の夜郎自大馬鹿野郎と鼻先で笑われるだけ
そこの万年中二病自己愛野郎の相手をするほど、ボクは人類愛には目覚めてない（笑）

＞天皇制が気に入らないなら日本から出ていくことだ。
＞気に入らない国に我慢して居続けることはない。
ここは日本ではない（笑）
ここに日本はないので、「日本人」はここから出ていくことだ
勝手にここを日本だと詐称するのはやめような
大体日本って中国からみて東という蔑称だって知らない馬鹿は失せろよ　シッシッ！！

>>587
>>568を読んで理解してから反論しろ馬鹿

>ここは日本ではない（笑）
そうなの？　じゃおまえはどこにいるの？

>>569
＞中国は人民の不満が中共政府に向かわぬよう
＞そのはけ口として国の外に日本という敵を作っている。

中国は日本なんて敵と思っちゃいない（笑）
朝鮮だろうが日本だろうが
ベトナムだろうがミャンマーだろうが
マレーシアだろうがインドネシアだろうが
全部目下　基本的に侵略対象ではない
中国本土よりいい場所なんて周りにないから
まあ、中国人はどこへでもいくから
華僑とかいってあふれまくってるけどね

日本はかつて朝鮮だけでなく満州そして中国本土まで侵略してきた
しかも一度も謝罪しない　
日本は島の土人のくせに自分だけが人間だと思ってる
イスラエルのごとき身の程知らずの自己愛●違い野郎

アジア諸国が日本を憎む理由はある
だれが殺人鬼強姦魔強盗犯を歓迎するのか？

>>５８９
>おまえはどこにいるの？

ここ（笑）

>>591
日本にいて、日本語話して、日本の庇護を受けて日々平和を享受して生きてるのに、ここは日本ではないとか言っちゃう基地外だったか

>>590
>中国は日本なんて敵と思っちゃいない（笑）
ほんとおまえ話通じねえな　言語障害か？
敵と思ってるなんて一言も言ってない
人民にとっての敵を作ってると言っている

>>583 タイポ訂正

"トロン" みたいな話は、IT業界には山ほどある（敗れ去ったもの話 IT界の時間の流れは速い）
　↓
"トロン" みたいな話は、IT業界には山ほどある（敗れ去ったものの話 IT界の時間の流れは速い）

＜余談＞
下記 ソニーのNEWS-OS（UNIX）、Σプロジェクトとか 商業的には成功しなかった
しかし、ソニー プレステとか ニンテンドーとか 知識と人材がゲーム機で生きている気がする
第五世代コンピュータも、AIの先取りで 商業的には成功しなかったが
知識と人材は、いまの時代に 生きている気がする

(参考)
https://ja.wikipedia.org/wiki/UNIX
UNIX
NEWS-OS
ソニー製のNEWSワークステーション専用のUNIX。当初は4.2BSDベースであったが、後に4.3BSDベースとなる。終末期にはSVR4.2ベースとなった(NEWS-OS6.x)。

https://ja.wikipedia.org/wiki/%CE%A3%E3%83%97%E3%83%AD%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88
Σプロジェクト（シグマプロジェクト）とは、1985年（昭和60年）から1990年（平成2年）にかけて進められた日本政府の国家プロジェクトである。Σ計画（シグマけいかく）とも呼ばれる。シグマ（SIGMA）とは「Software Industrialized Generator and Maintenance Aids」の頭字語であり「ソフトウェア生産工業化システム」と別称されていた[1]。通商産業省（現経済産業省）所管の情報処理振興事業協会 (IPA) が民間コンピュータ企業と連携しての推進役になり、総額で250億円（日本経済新聞1992年6月10日朝刊では218億円）の国家予算が投じられている
UNIXの採用は妥当であったが、ポピュラーなBSDではなくSystem Vが選択されるなどしていた。最終的に250億円の国家予算が投入されたと言われているが、有用なソフトウェア生産が得られたなどの評判はほとんど聞かれないままにプロジェクト終了を迎えている

https://ja.wikipedia.org/wiki/%E7%AC%AC%E4%BA%94%E4%B8%96%E4%BB%A3%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF
第五世代コンピュータ（だいごせだいコンピュータ）計画とは、1982年から1992年にかけて日本の通商産業省（現経済産業省）所管の新世代コンピュータ技術開発機構（ICOT）が進めた国家プロジェクトで、いわゆる人工知能コンピュータの開発を目的に総額540億円の国家予算が投入された。
プロジェクトの三本柱は、非ノイマン型計算ハードウェア、知識情報処理ソフトウェア、並行論理プログラミング言語とされた。
論理プログラミング研究による学術振興をもたらして情報工学の後進育成に寄与したとする肯定的な見方もあるが
日本が特に研究したPrologのISO規格化の際にもそれほど大きな影響力を持てなかった

基地外は日本から出てけよ
おまえは日本を要らない
日本はおまえを要らない
win-winじゃんｗ

まあ、「日本国」とかいう「反社会的勢力」がこのあたりを縄張りにして
カタギの衆からみかじめ料をとってるけどな　ほんと迷惑（笑）

そこの組長は、代々「天皇」とかいう中二病的肩書を襲名してるらしい
２６００年以上とかいってるけどそんなわけない
天皇は７世紀ごろの唐の君主の称号だから（笑）
せいぜい１３００年くらいの歴史しかない

はっきりいって、ここの一番平和な時代は縄文時代だろう
半島とか大陸から金属製の武器持ってやってきたクソ野郎どものせいで
ここはすっかり腐敗堕落した

正直アマゾンのピダハンみたいに字も書かない数も数えない生活で十分だ
小賢しさは人を陥れる悪知恵でしかない

ID:wauc0h2bみたいな自己愛野郎は、いっぺん●んだほうがいい
ほんと迷惑　殺人強姦強盗しかしない凶悪犯罪者なんて

＞日本の庇護

ｗｗｗｗｗｗｗ

カタギの衆から散々金毟ってる反社のチンピラがなにいってんだ
いいかげんその真珠の珠いれた●ンポコ見せびらかすのやめろ
キモチワルイんだよ　おまえの自慢のいちいちがな
いっぺん●んで生まれ変わってこい　何のとりえもないチンピラ野郎（嘲）

>>565
>だが、多分 IUTの専門家同士で話をすれば、「ああ この人は分っている」と感じるものがあるでしょうね
>私？ 私は IUTなど ”さっぱり妖精”（下記） （＾＾
はぁ
査読をした人が理解してないと言いたいのですね？

>>562
無い物ねだりはお得意ですか

>>561
間違っているかも知れないと言われていることを
間違いを修正しようとはせずに更に進めることで
折角のRIMSの評判はがた落ちになります
残念ですね

>>596
>まあ、「日本国」とかいう「反社会的勢力」がこのあたりを縄張りにして
>カタギの衆からみかじめ料をとってるけどな　ほんと迷惑（笑）
じゃあおまえの大好きな中国様にでも帰化しろよｗ

>そこの組長は、代々「天皇」とかいう中二病的肩書を襲名してるらしい
>２６００年以上とかいってるけどそんなわけない
>天皇は７世紀ごろの唐の君主の称号だから（笑）
>せいぜい１３００年くらいの歴史しかない
ほとんどの日本人は神話と史実を混同してないだろ
古事記、日本書記に天皇の記述があることからせいぜいじゃなく少なくとも１３００年な

>はっきりいって、ここの一番平和な時代は縄文時代だろう
証拠は？　妄想？
時代が古ければ古いほど平和から遠い　これが現実
実際、ホモサピエンスはホモサピエンス以外の人類をすべて絶滅させた　生物学的に近い種ほど競合するからな　これが人類史において最も平和から遠い時代

>自己愛野郎
おまえレッテル貼り大好きだなｗ
日本を愛さないおまえを日本は愛さない　さっさと帰化しろ基地外

>>597
平和維持にコストがかかるのは当然だろ　平和は空気みたいにただだと思ってるのか？　これだから頭お花畑の左翼は
コスト負担するのが嫌なら日本から出ていけばよい　その自由は保障されている　自由を行使せずに日本にしがみついてるのがおまえ

>>565
>そして、Scholze氏のは ”radical simplifications”という明白な ストローマン論法なので
>これを、公に支持する 数論の数学者も また 皆無（専門違いの圏論屋が一人）
内容も分からずにそう断定するのは誹謗中傷の類いですね
どっちかというと
世界的にはscholzeという人の指摘の方が妥当性が高いと思われているようです
ですので証明は認められていないわけです
これは証明が間違っていると断定されているのとは違いますよ
まあ正直なところでは早く結着して欲しいと思ってましょうけど

>>565
>私？ 私は IUTなど ”さっぱり妖精”（下記） （＾＾
つまり
あなたが引用することはサッパリ本質を表してないのでしょう
結局答えてはくれないんですね>>472,481,484
それから>>458に
ストローマンさん

縄文時代は平和だった　だから縄文時代に戻るべきだ
↑
おまえはポルポトか？ｗ

ポルポトは真面目で質素な生活をしていたそうだ
彼は豪遊がしたかったのではない、心の底から国民を幸福にしたかった
その結果が全国民1/4以上の虐殺ｗ

だから基地外に権力持たせちゃダメなんだ
反日基地外は日本から出てけ

こういう「駄々こね人間」はグループになんの利益ももたらさないし、いるだけ邪魔。なので一般社会からは自動的に物理的に排除される。それが「こういう行為を繰り返すと人間は社会の中で生きていけない」と学べる。ところがこういう匿名掲示板では物理的に排除されるメカニズムがないのでそういう学びのチャンスがないので小学生は小学生のまま。結果大量の引きこもりとかニートが発生する事態を引き起こしてるんやろな。

>縄文時代の暴力による死亡率は？
>（1）約1万年におよぶ縄文時代の受傷人骨データを網羅的・体系的に収集し、
>暴力による死亡率を初めて数量的に算出した。 データ総数は2,582点
>（人骨出土遺跡数は242箇所）、うち受傷例は23点、暴力による死亡率は1.8％である。

結論：現代の日本が史上最も平和

>>581
>それを見た数学コミュニティは「こりゃダメだ」と相手にするのをやめた。
現状そんな感じですね
でもまだ希望はあります
理解して居る人が>>524
12〜15人はいるはずですから
これらの方々が誹謗中傷に陥らず根気強く説得しようとしてくれることが期待できるのではないでしょうか
>望月のかつての師も「自分の研究に時間を使うことにした」とやんわり突き放した
G. Faltingsの言葉でしょうか？
百年河清を俟つ姿勢は賢明かもしれませんね

パンドラの箱の底に残る希望にだけはなりたくない

こうやって５ちゃんで呑気に馬鹿話してられるのも自由で平和だから。
その自由と平和はどこから来ている？
どこぞの国には自由が無い。どこぞの国には平和が無い。日本だから自由で平和なのだ。
反日基地外は日本から出て行って自由と平和の有難さを肌で感じてこい。

自由と平和の意味が国によって異なるのが現実ではなかろうか

>>576
>IUTについては
>かみ合う議論が難しい

巡回ご苦労さまです
全くです
下記の 2020 by woit での Peter Scholzeと Taylor Dupuyとの論争も
結局は、かみ合わなかった

(参考)
https://www.math.columbia.edu/~woit/wordpress/?p=11709
Latest on abc Posted on April 3, 2020 by woit
Davide Castelvecchi at Nature has the story this morning of a press conference held earlier today at Kyoto University to announce the publication by Publications of the Research Institute for Mathematical Sciences (RIMS) of Mochizuki’s purported proof of the abc conjecture.
This is very odd. As the Nature subheadline explains, “some experts say author Shinichi Mochizuki failed to fix fatal flaw”.

Peter Scholze says:
April 6, 2020 at 9:28 am
I have been weighing back and forth commenting again on this matter. However, the news in that last comment by David J. Littleboy convinced me that it might be good, even if futile, to say something again.

I may have not expressed this clearly enough in my manuscript with Stix, but there is just no way that anything like what Mochizuki does can work. (I would not make this claim as strong as I am making it if I had not discussed this for with Mochizuki in Kyoto for a whole week; the following point is extremely basic, and Mochizuki could not convince me that one dot of it is misguided, during that whole week.) It strikes deep into my heart to think that in the name of pure mathematics, an institute could be founded for research on such questions, and I sincerely hope that this will not come back to haunt pure mathematics.

The reason it cannot work is a theorem of Mochizuki himself.
略
I’m really frustrated with the current situation. What EricB reports from the Asahi Shinbun also sounds deeply troubling, effectively arguing along national lines; again, this strikes deep into my heart. I’m really quite surprised by the strong backing that Mochizuki gets from the many eminent people (who I highly respect) at RIMS.
If I can in any way help to mitigate the situation, I’d be most happy to.

Taylor Dupuy says:
April 6, 2020 at 1:00 pm
Hi Peter!
First, hope your pandemic is going well. Mine is going ok. Hard to get things done without daycare.
Second, let me say that for hyperbolic curves over a p-adic field K (with no extra hypotheses like strictly Belyi type or Belyi type or canonical lift) that pi_1(Z) “determines” Z is open. Also, I personally would advocate against using words like “determines”, “reconstructs”, etc that have been causing sooo many problems in discussing all of these things.

>>613
屁理屈爺がなんか言っとる

武器に対する興味を失わず社会はよくない。

失わす。

>>614 補足
>下記の 2020 by woit での Peter Scholzeと Taylor Dupuyとの論争も
>結局は、かみ合わなかった

1）Scholzeちゃんも、若い
　「”radical simplifications”という明白な ストローマン論法」>>565
　が、彼は 若いから 数学外道だと 分っていない
　正しいと 信じ込んでいる。だから、Taylor Dupuyとの論争が かみ合わない
2）例えば O–Takegoshi L2 extension theorem https://en.wikipedia.org/wiki/Ohsawa%E2%80%93Takegoshi_L2_extension_theorem
　”・・・ Kensho Takegoshi in 1987,[1] using what have been described as ad hoc methods involving twisted Laplace–Beltrami operators, but simpler proofs have since been discovered.[2] ( Siu (2011))
　Many generalizations and similar results exist, and are known as theorems of Ohsawa–Takegoshi type.”
3）このように、”simpler proofs have since been discovered”は、良いのです
　だが、「証明をsimplificationしたら 証明にギャップが出来ました」というN大の学生が居たら？
　O先生も「あ然、ぼう然、がく然」ｗ でしょう。O先生「おまえ 本当にN大 数学科生か？」とｗ
　つまり、”simpler proofs”は是なれど、”simplification→ギャップ出来た”は 原理的に不可なのです

この簡単な理屈が、若いScholze氏は 理解できていない！
彼は「証明をsimplificationしたら 証明にギャップが出来ました」という 非数学のディベート論法を
公式の数学主張として 持ち込んで 使った 史上初の数学者かも知れない

>>616-617
死狂幻調教大師S.A.D.@月と六ベンツさん
ありがとうございます
いつも お世話になっています　（＾＾

>>618
証明とは論理式の有限列であり、
条件：初項は前提、末項は結論、その他の項は前提または直前の項に推論規則を適用することで得られるもの
を満たすもののこと。

IUTが依拠する論理が示されていないのは証明のギャップどうこう以前の不備。理論の要件を満たしていない。

無教養なおまえは何が問題かすら分かっていない。

直前は嘘だな。前であればよい。

>>601
＞おまえの大好きな中国様にでも帰化しろよ
東アジアの中心である中国への嫉妬丸出し
中国の皇帝支配にあこがれる島の土人が
日本の天皇支配でマネをしたがる

＞時代が古ければ古いほど平和から遠い　これが現実
それって文明のペニスにレイプされた土人君の勝手な妄想ですよね（笑）

＞ホモサピエンスはホモサピエンス以外の人類をすべて絶滅させた
おまえ生命絶滅が好きなの？さすが強盗強姦殺人大好きな脅迫犯
おまえみたいなヤツがいるから人類の平和が実現しねぇんだよ（笑）

＞＞自己愛野郎
＞おまえレッテル貼り大好きだな
「ホモサピエンスはホモサピエンス以外の人類をすべて絶滅させた」
と嬉々として語る貴様は、自ら強盗強姦殺人大好きな自己愛凶悪犯罪者と白状してるも同じ

自分以外誰も愛さない貴様を他人は愛さない　さっさと●ね　人非人

>>602
＞平和維持にコストがかかるのは当然だろ　
＞平和は空気みたいにただだと思ってるのか？
＞これだから頭お花畑の左翼は
＞コスト負担するのが嫌なら日本から出ていけばよい
＞その自由は保障されている
＞自由を行使せずに日本にしがみついてるのがおまえ

ここは日本ではない
ここが日本だとウソをつくのが反社勢力
中国から見て東、という意味にすぎない日本とかいう他称を
「太陽の元」と誤解して嬉々として称する馬鹿っぷりがその証拠（笑）
自らを右翼と誇るが実際は発達障害の上に自己的人格障害
この地球から出て行ってくれ　いかなる生物も生きる権利があるが自己愛野郎だけは別だ
おまえらみたいな凶悪犯に生きる資格も価値もない　この地球上のどこでもだ

　>>537より 追加
https://en.wikipedia.org/wiki/Geometric_Langlands_correspondence
Geometric Langlands correspondence
Status
A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8]
The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it".
Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9]

Breakthrough Prize なんだね（下記）

https://en.wikipedia.org/wiki/Dennis_Gaitsgory
Dennis Gaitsgory (born 17 November 1973) is an Israeli-American mathematician. He is a mathematician at Max Planck Institute for Mathematics (MPIM) at Bonn and is known for his research on the geometric Langlands program.
Honors and awards
In 2025, he received the Breakthrough Prize in Mathematics.[3]

（Scholzeさん）
https://www.quantamagazine.org/monumental-proof-settles-geometric-langlands-conjecture-20240719/
Quanta magazine
Monumental Proof Settles Geometric Langlands Conjecture
Erica Klarreich July 19, 2024
The proof represents the culmination of three decades of effort, said Peter Scholze(opens a new tab), a prominent mathematician at the Max Planck Institute for Mathematics who was not involved in the proof. “It’s wonderful to see it resolved.”
Dennis Gaitsgory (left) and Sam Raskin led the nine-person team that proved the geometric Langlands conjecture.

https://breakthroughprize.org/News/91
Breakthrough Prize 2025 April 5, 2025 – Los Angeles
Mathematics
Dennis Gaitsgory wins the Breakthrough Prize in Mathematics for his central role in the proof of the geometric Langlands conjecture. The Langlands program is a broad research program spanning several fields of mathematics. It grew out of a series of conjectures proposing precise connections between seemingly disparate mathematical concepts. Such connections are powerful tools; for example, the proof of Fermat’s Last Theorem reduces to a particular instance of the Langlands conjecture. These Langlands program equivalences can be thought of as generalizations of the Fourier transform, a tool that relates waves to frequency spectrums and has widespread uses from seismology to sound engineering.

つづく

つづき

In the case of the geometric Langlands conjecture, the proposed one-to-one correspondence is between two very different sets of objects, analogous to these spectrums and waves: on the spectrum side are abstract algebraic objects called representations of the fundamental group, which capture information about the kinds of loop that can wrap around certain complex surfaces; on the “wave” side are sheaves, which, loosely speaking, are rules assigning vector spaces to points on a surface. Gaitsgory has dedicated much of the last 30 years to the geometric Langlands conjecture. In 2013 he wrote an outline of the steps required for a proof, and after more than a decade of intensive research in 2024 he and his colleagues published the full proof, comprising over 800 pages spread over 5 papers. This is a monumental advance, expected to have deep implications in other areas of mathematics too, including number theory, algebraic geometry and mathematical physics.

2025 New Horizons in Mathematics Prize
Sam Raskin, Yale University
For contributions to the geometric Langlands program, including the theory of the Whittaker model and the proof of the geometric Langlands conjecture in characteristic 0.

https://people.mpim-bonn.mpg.de/gaitsgde/GLC/
Proof of the geometric Langlands conjecture
This page contains five papers, the combined content of which constitutes the proof of the (categorical, unramified) geometric Langlands conjecture.
This is a collaborative project of D. Arinkin, D. Beraldo, J. Campbell, L. Chen, J. Faergeman, D. Gaitsgory, K. Lin, S. Raskin and N. Rozenblyum.
Papers:
GLC I: Construction of the functor
GLC II: Kac-Moody localization and the FLE
GLC III: Compatibility with parabolic induction
GLC IV: Ambidexterity
GLC V: The multiplicity one theorem
(引用終り)
以上

>>605
＞＞縄文時代は平和だった　だから縄文時代に戻るべきだ
＞おまえはポルポトか？
アマゾンのピダハンにはポルポトはいないよ（笑）

>>606
ポルポトはやり方がまずかっただけで
目標設定がまずかったわけではない（笑）

>>607
何であれ権力で強制するのは失敗する
ロベスピエール然り　レーニンまた然り
マルクスも焦ってたんだろうが
前衛党独裁なんて馬鹿なこといったもんだ
バクーニンじゃなくてもそんなのだめだろとツッコむわ

＞反●●●外は●●から出てけ
おまえが出てけ　ただの●●外（笑）