26/08/11 16:36:01.46 eCVHVSFa.net
つづき
URLﾘﾝｸ(rio2016.5ch.io)
＜ケドラヤの発表＞
URLﾘﾝｸ(youtu.be)
UT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
ZEN大学
1,504回視聴 7 時間前にライブ配信
ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピュータ検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。
本発表会の模様をライブ配信
＜文字起こし＞
49:50はい、加藤先生、ありがとうございました。続いてキランケドラヤ先生お願いいたします。
＜ケドラヤ＞
50:08え、2018年ピーターショルツとジャコブ スティクスは、議論を理解しようとする目的で京都の望月氏を訪問しました。
ショルツとジャコブ スティクスは
50:21IUTはABC予想を証明していないとし 、さらに証明することもできないという 結論を出しました。彼はその証見を次の
50:29原稿の形で、え、マニュスクリプトの形で報告を しました。で、この、え、結果は所見は
50:37IUTの位置付けは既でに決着済みの問題で あるという合意に、え、したわけですが、
50:44これに対してプロジェクトの立場は現時点で はIUTに基づくABC予想の証明を持っ
50:50ていないが 一方で証明の詳細 すなわち教授が述べたようなとしてEタータを証明するために必要な詳細 がある可能性があり得 ということを言っています。
51:13このこれらの分析の根拠はショルツ スティクス 分析の根拠はいずれも内部の
51:21議論の細かい部分を考慮せずにIUTの論理構造 をモデル化することから始まります。
51:28スティクスの場合はこの分析は次のような 一次元ベクトル空間の図式を生じさせます。この下に書いてある図式ですね。
51:37しかしこの式は、え、図式は可換で はありません。2つの経路は
51:45 2つのパスを左上から、え、右下まで行きますと、この2つの経路を逆向きに
51:55逆時計回りをしても、え、可換ではありません。
52:07これによって障害となるわけですね。
52:15で、ショルツスティクスはこの図式を用いて IUTへのIUT理論への障害を特定
52:22しようとしました。ただこれが難しいのは 彼が
52:28彼の分析は不定について意味のある技術を与えるほど精密ではないからです。
52:37え、望月の、そしてこの ショルツスティクスの引用文をこれから
52:44申し上げます。略
52:50と主張した。この主張が意味するのはその ぼかしが少なくとも 略でなければならずそのためこうして得
52:59られる不等式は役に立たないということのように思われると起述したわけです。
つづく
3:１３２人目の素数さん
26/08/11 16:36:27.47 eCVHVSFa.net
つづき
53:05しかしそれに対して私は申し上げたいことは不定性が実数に直接作用することを、え 、示唆していますが、これは望月の方法を
53:14正確に表したものではないんです。この分析では不定性はボリュームコンテナー
53:22の部分集合に作用するということであり、 従ってその実数上への影響を直接 トラッキングすることはできません。
53:31実数のサブセットに対する影響は このIUTによる
53:41ABC予想にいかなるの証明も、略 に押し込めることができるとショルツ
53:49スティクスは仮定してるわけです。その分析についてこの形として
53:57この実数が略 トッパーズ教授の
54:06スライドでありましたようにこの実数中で 図を用いて先ほどのスライドの
54:13実数の証明であるわけですが、従がって これはこの想定として、え、不等であると いうことは、略
54:21詳細の分析は、え、Qパイロット オブジェクト、え、ベツパイロット オブジェクトが対して2つの変化異なる 生じることを示しています。一方我々では
54:31特にこの不等式 として、え、この 3.12に関しまして同じキューパット
54:39オブジェクトからです。そのうちの1つが 直接な計算演算、すなわちQ ホルモティフィックストラクチャーを
54:46用いる計算です。もう1つは、え、この リンクを経由する間接的な演算であります 。
54:56この体積をボリュームを共通のコンテナーに 入れるためにはショルツスティクスが描いたもので はない図式の可換性が必要です。
55:06しかしその図式は、え、イーター、または イタアナブのいずれかとして様々に解釈さ れなければならない矢印を含んでいます。
55:19その 結果、え、その不等になるかどうかということで、望月氏の、え、言葉で言えばトロジカルな理由で成り立たされているこの式であるのです。これがさらなる進展の鍵となります。
55:35サンキュー。それでは発表は以上となります。え、それではここから会場にお越しの皆様からご質問をお受けしたいと思っております
(引用終り)
以上
つづく
4:１３２人目の素数さん
26/08/11 16:38:32.50 eCVHVSFa.net
sage
5:１３２人目の素数さん
26/08/11 16:38:33.75 eCVHVSFa.net
sage
6:１３２人目の素数さん
26/08/11 16:38:44.56 eCVHVSFa.net
つづき
URLﾘﾝｸ(rio2016.5ch.io)
Ivan Fesenko氏のコメント
下記
まあ、芥川 藪の中か
(参考)
URLﾘﾝｸ(ivanfesenko.org)
Ivan Fesenko
・On the situation around IUT, facts
URLﾘﾝｸ(ivanfesenko.org)
ABOUT THE STATE OF PLAY AROUND IUT IVAN FESENKO
(抜粋)
P4
July 17 2026 press-conference of LANA group working on formalisation of parts of IUT made it clear that Scholze–Stix’s take on IUT was too coarse, ignoring the theory, and their take on IUT tells nothing about the validity of the theory. Watch this video from its 50th minute. It is clear that their case was much misguided and it has no merit. Moreover, their position has substantially negatively affected developments of IUT theory and an intake of new researchers in the work on it. The LANA group emphasised that they dis not see mistakes in IUT. It is difficult to imagine that already in 2019 Scholze and Stix were not fully aware that their take on IUT was totally wrong. Yet, till now they have failed to acknowledged their mistaken attitude and to communicate with the experts in IUT. Scholze did not do anything to stop the anti-IUT campaign and attitudes among mathematicians of several countries, including Germany, who considered Scholze’s opinion as the utmost truth. Several people have suffered to various degree.
(google訳)
2026年7月17日、IUT（宇宙際タイヒミュラー）理論の一部の定式化に取り組むLANAグループによる記者会見が開かれ、ショルツェ（Scholze）とスティックス（Stix）によるIUT理論への見解はあまりに粗雑で理論の本質を無視したものであり、彼らの見解からは理論の妥当性について何ら判断できないことが明らかにされました。この動画の50分以降をご覧ください。彼らの主張が著しく的外れであり、何ら価値のないものであることは明白です。さらに、彼らの姿勢は、IUT理論の発展や、この研究に携わる新たな研究者の参入に多大な悪影響を及ぼしてきました。LANAグループは、IUT理論に誤りは見当たらないと強調しました。ショルツェとスティックスが、自分たちのIUT理論に対する見解が完全に誤りであることを、すでに2019年の時点で十分に認識していなかったとは考えにくいことです。それにもかかわらず、彼らは現在に至るまで、自らの誤った姿勢を認めようとせず、IUT理論の専門家たちと対話することもしてきませんでした。ショルツェの意見を絶対的な真実とみなしていたドイツを含む数カ国の数学者たちの間で広がった「反IUT」のキャンペーンや風潮を食い止めるために、ショルツェは何もしませんでした。その結果、様々な人々が多かれ少なかれ被害を受けてきました。
URLﾘﾝｸ(ja.wikipedia.org)
藪の中
真実は不明、すべては藪の中である。
URLﾘﾝｸ(www.aozora.gr.jp)
藪の中 青空文庫
芥川龍之介 （大正十年十二月）
つづく
7:１３２人目の素数さん
26/08/11 16:39:10.41 eCVHVSFa.net
つづき
URLﾘﾝｸ(ahgt.math.cnrs.fr)
News of the AHGT project [Special year]2027-2028
Special year ``Arithmetic Homotopy Geometry'' at RIMS Kyoto, April 2027-March 2028.
Three Seasons: with main conferences, introductory lectures, and workshops
＜2026年は 数学でもAIの時代になるかもです。そういう兆候が2025年から顕著になっていますですｗ （＾＾； ＞
＜IUT最新文書＞
・News – Ivan Fesenko URLﾘﾝｸ(ivanfesenko.org)
・望月新一＠数理研 URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論 ＜新展開＞ 2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN URLﾘﾝｸ(ahgt.math.cnrs.fr)
＜Grokipedia＞
Inter-universal Teichmüller theory URLﾘﾝｸ(grokipedia.com)
遠アーベル幾何学 URLﾘﾝｸ(grokipedia.com)
アーベル圏 abelian category Grokipedia URLﾘﾝｸ(grokipedia.com)
URLﾘﾝｸ(zen.ac.jp)
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの
://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”
このスレの番号は前スレ43を継いでNo.44からの連番としています
（なお、このスレは本体IUTスレの43からの分裂スレですが、分裂したNo43スレの中では このスレ立ては最初だったのです！）
(余談)
Langlands program Geometric conjectures URLﾘﾝｸ(en.wikipedia.org)
つづく
8:１３２人目の素数さん
26/08/11 16:39:34.25 eCVHVSFa.net
つづき
math_jinさん 情報早いな 尊敬しています
URLﾘﾝｸ(x.com)
math_jin
LANAプロジェクト中間発表会2026 スピーチ原稿
2026.07.21
2026年7月17日に行われたLANAプロジェクト中間発表会2026に際してのスピーチ原稿を掲載いたします。
speech_LANA_interim_report_202607 (EN).pdf
speech_LANA_interim_report_202607 (JA).pdf
URLﾘﾝｸ(zen.ac.jp)
2026年7月21日
(参考)
応援スレ67 ://rio2016.2ch.sc/test/read.cgi/math/1653712154/794
>二つの直線が交わるということが起こりながら交わらないとか。
>本来だったら矛盾が起こるようなことを、活用できないかと考えた
例えば、（下記）クラインの壺
3次元空間内では交わる
しかし、次元を上げ、4次元あるいは5次元なら交わらない
と、同様に、従来の数学では実現出来ないことが
望月の圏論幾何で実現できているってことでしょ
Hiraku Nakajima、Masaki Kashiwara, Akio Tamagawa氏らは分かっているんじゃない？
それを、不毛な対立を解いて、一般数学者に分かるようにするのが、新総裁の役割でもあるでしょ （＾＾
（参考）
://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%A4%E3%83%B3%E3%81%AE%E5%A3%BA
クラインの壺（クラインのつぼ、英: Klein bottle、独: Kleinsche Flasche）は、境界も表裏の区別も持たない（2次元）曲面の一種で、主に位相幾何学で扱われる。
ユークリッド空間に埋め込むには4次元、曲率0とすると5次元が必要である。3次元空間には通常の方法では埋め込み不可能だが、射影して強引に埋め込むと、自己交差する3次元空間内の曲面になる。その形を壺になぞらえたものである。
(引用終り)
つづく
9:１３２人目の素数さん
26/08/11 16:39:55.13 eCVHVSFa.net
つづき
(参考)
応援スレ67 ://rio2016.2ch.sc/test/read.cgi/math/1653712154/866
>【検証】どうして望月新一はICM2022で何の賞もなかったの？
>「100%の自信をもって」アクセプトしたんだよね？
>「アリの這い出る隙間もないほど完璧な」査読を行ったんだよね？
１）囲碁将棋に例えると、難しい詰将棋があるとして、囲碁の人に説明しても理解されないが如し
（あるいは、逆に将棋の人に難しい詰碁を説明するが如し）
（一つ一つのロジックは単純でも、数十手以上とか長手数になると、その道のプロ以外には理解が難しいってこと）
２）21世紀の数学は専門が細分化されているから、遠アーベルというゲームのルールに疎いおっさん（ショルツェ氏）は
遠アーベルの難しい詰将棋が理解できなかったんだ
もっと言えば、説明の途中で時間切れになって、おっさん”プッツン”したんだ
（怒らせたやつが居たらしいね。どっちが先か知らんけどｗ）
３）で、中島氏は数年にわたる時間を、査読編集委員としてかけて、ようやく理解したんじゃないの？
これを疑問に思うやつ、直接聞くか、聞ける知人にヒアリングしてもらえよ！ｗ
４）遠アーベルというゲームを、世界の一般数学者に分かってもらう努力が、求められる
せめて、IUTの入口まで。そして、IUTに対する評価を確立すること
これをオーガナイズするのが、中島総裁の仕事の一つだろう。それも含めての人選と見ている
追伸
・日本数学会が、5人論文に論文賞を！ 日本がリーダーシップ発揮を！！
つづく
10:１３２人目の素数さん
26/08/11 16:40:33.70 eCVHVSFa.net
つづき
://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
://www.youtube.com/watch?v=7BnxK_NMwaQ
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html
望月 過去と現在の研究
://www.kurims.kyoto-u.ac.jp/~motizuki/Invitation%20to%20view%20IUT%20workshop%20videos.pdf
20211117
世界の数学者に向けた、今年度の宇宙際タイヒミューラー理論関連集会のビデオ閲覧の招待状を掲載。
ここでの議論のために、用語を整理しましょう
宇宙：素朴集合論ベン図の宇宙Uを Uven、基礎論の宇宙をUfnd、望月氏独自用語の宇宙Umtz
（fnd：Foundations of mathematics）
＜以下 望月氏独自用語の宇宙Umtz について＞
URLﾘﾝｸ(collas.perso.math.cnrs.fr)
ANABELIANARITHMETICGEOMETRY-ANEWGEOMETRYOF FORMSANDNUMBERS:Inter-universalTeichmüllertheoryor “beyondGrothendieck’svision” BenjaminCollas‡Version12/04/2024
P13 Fig. 13. Inter-universal Teichmüller theory.
注）Fig. 13の 右の端の図で 浮き輪が二つある。 間をθ-link がつなぐのです
この 左右浮き輪が 二つの宇宙で θ-link がつなぐから 宇宙際らしい（どこか別の文献にもあった気がするが 見つからないので これで代用）
同P13 で
”The category-theoretic approach of inter-universal Teichmüller geometry results in a rich and evocative language for guiding mathematical thinking25: objects exists in étale-like and Frobeniuslike flavors– depending on whether one regards an object as anabelianly reconstructed, e.g., from Galois groups, or, alternatively, as an object that is only defined relative to a particular ring or monoid structure.”
とあって、”category-theoretic approach”圏論やってます だね
つづく
11:１３２人目の素数さん
26/08/11 16:41:14.48 eCVHVSFa.net
つづき
なお
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論 （北海道大学 2003年11月）. PDF
P1
§1 圏のIU幾何
§1.1 Motivation
"F1上のキカが必要"
↓
"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る
URLﾘﾝｸ(ja.wikipedia.org)
一元体（いちげんたい、英: field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、標数 1 の体に類似した対象についてはいくつか知られており、それらの対象もやはり用語を流用して象徴的に一元体 F1 と呼ばれている。なお、一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている
つづく
12:１３２人目の素数さん
26/08/11 16:41:37.45 eCVHVSFa.net
つづき
新一の「心の一票」 - 楽天ブログ shinichi0329/ （URLが通らないので検索たのむ）
math jin：（IUTT情報サイト）ツイッター math_jin （URLが通らないので検索たのむ）
(参考)（この中村博昭は、必読基礎文献です）
URLﾘﾝｸ(www.mathsoc.jp)
グロタンディーク・タイヒミュラー理論の話題から
中村博昭（大阪大学理学研究科）
第63回代数学シンポジウム（於東京工業大学，2018年9月）報告集所収
1.Introduction
代数曲線やそのモジュライ空間のエタール基本群を通じて，数体の絶対ガロア群の数論幾何的な働きが大きく映し出される現象が，１９８０年代に等により指摘されて以来，数論的基本群を中心に，遠アーベル幾何学，ガロアの逆問題などの問題群の理解も深められてきた．
1.2道草(復元の話）
筆者が最初に代数学シンポジウムで話をさせて頂いたのは，北大で1989年に開催された第35回代数学シンポジウムであった．代数学シンポジウム報告集は，現時点で電子的に２００４年以降のものは代数分科会のホームページで入手可能だが，それ以前のものは紙媒体で大学毎の数学図書室に所蔵されているものが(ただし所蔵状態は所によりまちまちのようで)ある．幸いにして，筆者の上記の報告集の記事は英訳を[29]として出版する機会を得た（20年後の2009年にケンブリッジの研究所で行った遠アーベル幾何の入門講義の報告を兼ねている．このときの主な内容はGrothendieckの遠アーベル幾何の基本予想「数論的基本群の純群論的構造から双曲型代数曲線を復元する」を，種数0の場合と，楕円曲線ひく1点の場合に解決したことの報告であった．
円分指標の有用性を理解するのに好適な題材であるので，ここで簡単に種数0の点抜きの射影直線の場合に素描しよう．問題は，Uλ:= P1・・（略）とすると
略す
URLﾘﾝｸ(en.wikipedia.org)
Teichmüller space
In mathematics, the Teichmüller space
T(S) of a (real) topological (or differential) surface
S is a space that parametrizes complex structures on
S up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller.
The sub-field of mathematics that studies the Teichmüller space is called Teichmüller theory.
つづく
13:１３２人目の素数さん
26/08/11 16:42:05.35 eCVHVSFa.net
つづき
History
Moduli spaces for Riemann surfaces and related Fuchsian groups have been studied since the work of Bernhard Riemann (1826–1866), who knew that
6g－6 parameters were needed to describe the variations of complex structures on a surface of genus g≥2.
The early study of Teichmüller space, in the late nineteenth–early twentieth century, was geometric and founded on the interpretation of Riemann surfaces as hyperbolic surfaces. Among the main contributors were Felix Klein, Henri Poincaré, Paul Koebe, Jakob Nielsen, Robert Fricke and Werner Fenchel.
The main contribution of Teichmüller to the study of moduli was the introduction of quasiconformal mappings to the subject. They allow us to give much more depth to the study of moduli spaces by endowing them with additional features that were not present in the previous, more elementary works. After World War II the subject was developed further in this analytic vein, in particular by Lars Ahlfors and Lipman Bers. The theory continues to be active, with numerous studies of the complex structure of Teichmüller space (introduced by Bers).
The geometric vein in the study of Teichmüller space was revived following the work of William Thurston in the late 1970s, who introduced a geometric compactification which he used in his study of the mapping class group of a surface. Other more combinatorial objects associated to this group (in particular the curve complex) have also been related to Teichmüller space, and this is a very active subject of research in geometric group theory.
URLﾘﾝｸ(ja.wikipedia.org)
p進タイヒミュラー理論
p進タイヒミュラー理論（ピーしんタイヒミュラーりろん）は、数学者の望月新一によって開発された数学の理論である。この理論は、古典的なタイヒミュラー理論をp進数体の世界に拡張したもので、p進曲線とその構造を決定する係数の「一意化」を扱う理論である。
通常の宇宙際タイヒミュラー理論は、リーマン面を研究対象とし、そのフクシアン一意化、すなわちリーマン面を上半平面から普遍被覆空間への等角写像によって記述することを目指す。この一意化は、リーマン面上の特別な性質を持つ線束（正準固有束）の存在と密接に関係している。この線束は、複素共役によって不変であり、モノドロミー表現が準フクシアンであるという特徴を持つ。
p進タイヒミュラー理論では、古典的なアイデアがp進曲線の文脈で再構築され。具体的には、リーマン面における複素共役の役割は、p進曲線の理論ではフロベニウス自己準同型が担う。同様に、準フクシアンという条件は、積分条件によって置き換えられる。
(引用終り)
つづく
14:１３２人目の素数さん
26/08/11 16:42:27.98 eCVHVSFa.net
つづき
(参考)
URLﾘﾝｸ(hiroyukikojima.)<)
数論幾何入門 森北出版
モジュラー曲線から大定理・大予想へ
東京大学准教授 博士（数理科学） 三枝洋一 (著)
《数論幾何学の世界をめぐるための格好のガイドブック》
整数論の問題を幾何学的手法で解く―それが数論幾何学と呼ばれる代数学の分野です。フェルマー予想をはじめ、志村-谷山予想、ラングランズ予想、佐藤-テイト予想、BSD予想、ヴェイユ予想といった魅力的な大定理・大予想を数多く備えながらも、その理論は非常に抽象的かつ難解であるがゆえに、これまで初学者への門戸は開かれていませんでした。
本書は、そんな数論幾何学の世界に足を踏み入れるための入門書です。抽象的な一般論ではなく、「モジュラー曲線」と呼ばれる具体例を軸に解説されているので、特別な予備知識がなくても数論幾何学の考え方が理解できます。
前半では主にモジュラー曲線について解説し、後半では上記の大定理・大予想の内容の理解を目指します。
つづく
15:１３２人目の素数さん
26/08/11 16:43:22.41 eCVHVSFa.net
sage
16:１３２人目の素数さん
26/08/11 16:43:24.49 eCVHVSFa.net
sage
17:１３２人目の素数さん
26/08/11 16:45:48.92 eCVHVSFa.net
つづき
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
宇宙際Teichm¨uller 理論入門(Introduction to Inter-universal Teichm¨uller Theory)
星裕一郎 2010
p11
「“輸送” の例を観察するために,
§2 で考察した (Gk ↷ O▷kの同型物である) フロベニオイドを 2 つ
†G ↷ †M,‡G ↷ ‡M 用意しましょう. あえて大袈裟に言えば,
†G ↷ †Mや ‡G ↷ ‡M は, それぞれ 1 つの “数学の世界/宇宙” です.
“p 進局所体の乗法的な数論の研究” とは, 大雑把には,
この †G ↷ †M や ‡G ↷ ‡M の構造の研究に他なりません.
ここで, この独立した 2 つの “数学の世界/宇宙” の間に, エタール的な関連付け,
例えば, 位相群としての同型 α:†G∼→ ‡G を与えましょう.
この2 つの “数学の世界/宇宙”†G ↷ †M,‡G ↷ ‡M と
その間のエタール的な結び付き α:†G∼→ ‡Gというデータが,
“遠アーベル幾何学を用いたエタール的な結び付きによる対象の輸送”
という操作の, 典型的な設定となります. 」
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月新一 出張・講演
[12] 宇宙際タイヒミューラー理論への誘（いざな）い （京都大学数理解析研究所 2012年12月） PDF
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
宇宙際タイヒミューラー理論への誘（いざな）い 望月新一（京大数理研）
P8
Θ-Link:
数体F のbadnonarch. な v においてΘ-linkの両側（＝定義域と値域）のそれぞれの環構造は、環準同型とならない（！）形で関連付けられる：
注: 「抽象的なモノイド等」を扱うようにしないと、log-, Θ-linkのような（通常の環・スキーム論の環構造に対する）「壁＝障壁」を定義することすらできない！
P9
注: 一方、対数・テータ格子の数論的基本群・ガロア群的な部分で構成される´etale-picture に登場する対象たちは、これらの「壁」をすり抜ける力がある！（下図を参照！）
P10
§4. 宇宙際性と遠アーベル幾何
log-link 及び Θ-link
略
は、定義域・値域の環構造と両立しないため、
環構造から生じるスキーム論的な「基点」や、
ガロア群 （ ⊆Autfield(k) ！！ ）
と、本質的に両立しない！ つまり、log-,Θ-linkの「向こう側」に移行するとき、
“Πv” や “Gv”
は、抽象的な位相群としてしか、「向こう側」のスキーム論に通用しない！
=⇒定義域・値域双方の環構造の間の関係を計算するためには、遠アーベル幾何を活用するしかない！
主定理： Θ-link の左辺に対して、軽微な不定性を除いて、右辺の「異質」な環構造しか用いない言葉により、明示的なアルゴリズムによる記述を与えることができる。
P11
主定理のアルゴリズムの出力に対して、体積計算を行うと、
§1で解説したように次のような帰結が得られる。
系: 「Szpiro 予想」（⇐⇒ 「ABC予想」）
つづく
18:１３２人目の素数さん
26/08/11 16:46:23.68 eCVHVSFa.net
つづき
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Meijidai%202002-03).pdf
Anabelioidの幾何学 望月新一（京都大学数理解析研究所）2002年3月
P2 大域的な乗法的部分群スキームを、元々の作業の場としていた集合論的な‘宇宙'
において構成することをひとまず諦め、全く別の、独立な宇宙における、
元の対象たちE､F、K等のコピーE◎､F◎、K◎に対する乗法的部分群スキームの構成を目指す
＜IUTのコピーとラベルの話＞
(参考)
１）（SCHOLZE氏は ラベルが無意味だと主張するが・・）
URLﾘﾝｸ(www.math.uni-bonn.de)
Why abc is still a conjecture PETER SCHOLZE AND JAKOB STIX
Date: July 16, 2018.
P4
2.1.Glossary: IUTT-terminology and how we may think of these objects.
To facilitate the discussion,we will describe (only)the notions that are strictly relevant to explain what we regard as the error.
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.
２）次に Kirti Joshi で、Joshiの SCHOLZE文書批判を読むべし
URLﾘﾝｸ(arxiv.org)
[Submitted on 29 Apr 2025]
Final Report on the Mochizuki-Scholze-Stix Controversy
Kirti Joshi
This report provides my mathematical findings regarding the Mochizuki-Scholze-Stix controversy surrounding Mochizuki's Inter-Universal Teichmüller Theory.
３）さらに 望月氏の反論を読む
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/
Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on
Inter-universal Teichmuller Theory. PDF NEW!! (2024-03-24) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
４）その上で 下記にも 目を通してね
URLﾘﾝｸ(math.arizona.edu)
My reports on the Mochizuki-Scholze-Stix Controversy
・Provisional Report (June 2024) [Written after extensive correspondence (in May-June 2024) with Peter Scholze and it provides robust conclusions regarding the invalidity of the Scholze-Stix Report, but because Mochizuki was objecting to my work (in March 2024), I did not provide any conclusion on the proof of the abc-conjecture. This report also contains a time-line of events leading upto this report.]
つづく
19:１３２人目の素数さん
26/08/11 16:46:48.41 eCVHVSFa.net
つづき
５）さらに Joshi氏 は、ショルツエ氏の Perfectoids を使った 新証明 Mochizuki's Corollary 3.12 を提案している（望月はダメだが、これが良いのだと）
（でも、ショルツエ氏と望月氏 両者から ダメ出しがあるらしい）
URLﾘﾝｸ(math.arizona.edu)
Preprints
5 arXiv:2401.13508 [pdf, ps, other] math.AG math.NT
Construction of Arithmetic Teichmuller Spaces III: A `Rosetta Stone' and a proof of Mochizuki's Corollary 3.12
Authors: Kirti Joshi
Submitted 24 February, 2025; v1 submitted 24 January, 2024; originally announced January 2024.
例えば
10.4 Perfect Frobenioids and Perfectoids . . . 132
ともかく、これらを 理解できる出来ないは別として
チラ見くらいはして 議論すべきですよ
そうしないと 議論が上滑りです
以上
つづく
20:１３２人目の素数さん
26/08/11 16:47:17.69 eCVHVSFa.net
つづき
(URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6))
ノイマン宇宙：最初にErnst Zermelo 1930が提唱した宇宙Vorg (到達不能基数なし)
グロタンディーク宇宙：到達不能基数あり URLﾘﾝｸ(ja.wikipedia.org)
クラス：ある公理系からは 集合と認められない 集まり（公理系が変われば 変わる）
(参考)>>469 より再録
URLﾘﾝｸ(www.mathsoc.jp)
企画特別講演 2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
URLﾘﾝｸ(www.mathsoc.jp)
発表スライド『集合論の宇宙 Universe と Multiverse』
P7
到達不能基数
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である
URLﾘﾝｸ(elecello.com)
近藤 友祐 (KONDO, Yusuke) 生年： 1995 年 (平成 7 年) URLﾘﾝｸ(elecello.com) 自己紹介
URLﾘﾝｸ(elecello.com)
集合論ノート
URLﾘﾝｸ(konn-san.com)
石井 大海
URLﾘﾝｸ(konn-san.com)
強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
強制法は、与えられた現在の集合論のモデル（宇宙、universe）に新たな元を付加して拡張するための一般的な枠組みである
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2025年11月号
特集＝ 圏論の質問箱
＊「圏が集合にならない」とは……木原貴行 41
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2025年3月号
集合論の雑学―無限についてのおはなし
フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数
……池上大祐 60
この記事が飛んできたｗ
参考になりそうだね （＾＾
URLﾘﾝｸ(mathlog.info)
Mathlog
Mark_six
大学数学基礎
解説
可換環論の†全て†を幾何に翻訳して鑑賞しよう~前編~
駒場理数アドベントカレンダー2025
この記事は駒場理数豚汁カレンダー(11月)9日目の記事です。
URLﾘﾝｸ(sites.google.com)
ハブ → 駒場理数サークルのHP 投稿日：11月9日
参考文献
[1] Robin Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, Springer New York, NY, 1977
[2] Atiyah, M. F. and Macdonald, I. G., Introduction to Commutative Algebra, Addison-Wesley, 1969
[3] J. P. May, A Concise Course in Algebraic Topology
つづく
21:１３２人目の素数さん
26/08/11 16:47:42.72 eCVHVSFa.net
つづき
＜icm 2026＞
URLﾘﾝｸ(arxiv.org)
Showing 1–41 of 41 results for all: icm 2026
＜2012-09-21 檜山正幸さん、さすが 全然古くない＞
URLﾘﾝｸ(m-hiyama.)<)）のなかに：
最近の望月さんは, 自身のホッジ・アラケロフ理論の研究を大きく展開（転回？）させて, 圏論を基礎とする全く新しい幾何学の壮大な理論の構築とその数論的応用を精力的に研究されています.
と書かれています
・未来から来た理論
テレンス・タオがコメントをつけていたブログは、Jordan S. Ellenberg （URLﾘﾝｸ(www.math.wisc.edu)）が書いているQuomodocumque（URLﾘﾝｸ(quomodocumque.wordpress.com)）ですが、その記事に次の文章があります。
略す
つづく
22:１３２人目の素数さん
26/08/11 16:49:38.67 eCVHVSFa.net
sage
23:１３２人目の素数さん
26/08/11 16:49:55.40 eCVHVSFa.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)
燻製ニシンの虚偽（くんせいニシンのきょぎ）、またはレッド・ヘリング（英語: red herring）は、本来の問題から注意をそらし、論点をすり替える論理的誤謬を指す用語である。また、ミステリーや探偵小説などで、読者や登場人物を誤った結論へ導くために用いられる文学的手法を指す語でもある[1] [2]。
論理的誤謬
非形式的誤謬としての「燻製ニシンの虚偽」は関連性の誤謬の一形態である。相手に反論する際に、本来の問題（論点）から他の問題へと注意をそらしたり、無関係な論点を導入して推論を行う誤り[3] [4] [5]。「論点変更の虚偽」（Mutatio Elenchi）の同義語
勝手な Simplification
勝手な略図を作って「ここに、ギャップあり」で「元の論文の証明でも、ギャップがある」と
冷静に考えれば、勝手な略図でギャップを論じても 元の論文の証明がどうかは 全く別の話
ドイツの若き天才数学者は、この単純な ストローマン論法 に無知だった。若いから・・
URLﾘﾝｸ(it.wikipedia.org)
Teoria di Teichmüller inter-universale 宇宙間タイヒミュラー
(機械訳)
ショルツとスティックスとの論争と出版
2018年7月16日、ショルツとスティックスはボン大学のウェブサイトに「なぜabcは依然として予想なのか」という報告書を掲載し、彼らの見解では望月の不等式がなぜ誤りなのかを説明しています。
望月の不等式は、IUTの基本的な結果および構成要素の一つです。望月によれば、この不等式を導いた系 3.12 のステップ XI (図 3.8 の下) の計算 (二重の和) 中に、彼は誤ってスカラー係数j 2を右辺に挿入したため、最終結果は全く異なる本質的に内容のない不等式となり、abc 予想の証明につながるアルゴリズムでは使用できません
略
この図では、同型性によれば、抽象シータパイロットオブジェクトはシータ因子の算術次数を一切エンコードしない。望月はグラフの左側にスカラー因子j 2を挿入しようとしたが、この挿入はモノドロミーにつながり、ひいては根本的な矛盾が生じる。ショルツとスティックスによれば、IUTにおける実数のコピーの一貫した同一視は、このスカラー因子を許容できない。たとえこのスカラー因子を保持できたとしても、この図は少なくとも O( l 2 ) 倍の交換性を持つため、系3.12の不等式は役に立たず、abc予想や類似の予想の証明全体が誤りであり、修復不能である
つづく
24:１３２人目の素数さん
26/08/11 16:50:28.31 eCVHVSFa.net
つづき
不等式の反証は、2人の学者が重要ではないと指摘した IUT のいくつかの単純化にも依存しています。そのいくつかは粗雑で、ホッジ劇場を双曲曲線Xに抽象的に同型のより単純な曲線に置き換えたり、同一のオブジェクトを異なるものと見なす代わりにそれらの間の方程式を使用したりしています。特に、ホッジ劇場は、原点がないため、一度穴があいた楕円曲線から派生したデータのセットに過ぎません。2 人の学者はまた、彼らの意見では、基本群を扱うことが必須となる点はないため、IUT の多くの部分に対する遠アーベル幾何学は群論と等価であると付け加えました。次に、エタールのようなデータ ( D ) を、内部自己同型を除いて群として考えられる抽象的な位相群 π1 ( X )によって提供されるデータとほぼ定義しました。さらに、フロベニウス的な描像は、本質的に位相群π 1 (X)とモノイドへの作用から構成されるため、エタール的な描像の改良版であると大まかに説明されている。望月は過度の単純化は許されないと主張したが、二人の学者は彼の反論に納得できないと反論した
URLﾘﾝｸ(ja.wikipedia.org)
ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと
＜grokipedia IUTにおける”宇宙”説明抜粋＞ （これ面白いぞ）
URLﾘﾝｸ(grokipedia.com)
Inter-universal Teichmüller theory
(google訳)
l≥5[ 1]この理論は算術構造の標準的変形に焦点を当て、非アルキメデス的対数シータ格子と遠ベル的再構成法を導入することで、スキーム理論的なホッジ・アラケロフ理論の限界を克服し、幾何学的オブジェクトの互換性のない「宇宙」間でデータを比較します。[2]この理論の核となる革新性は、「ホッジ劇場」の構築にあります。これは、多重放射表現と宇宙間同型性を容易にし、ディオファントス設定における高さと値を正確に制御することを可能にします。[1]
導入
定義と概要
IUTの重要な特徴は、その「宇宙間」特性である。これは、非アルキメデス的かつ遠アーベル的な手法を用いて、異なる算術データの「宇宙」（本質的には同一の基礎構造の異なるラベル付けまたは表現）間に、シータリンクなどの同型性を確立することを包含する。 [1]これらのリンクは、フロベニオイド理論的要素と対数シータ格子要素を橋渡しし、これらの宇宙間で算術的正則構造を比較することを可能にする。[1]
歴史的発展
望月氏の貢献
3部構成のシリーズ「絶対遠アーベル幾何学の話題」（2012年から2015年にかけてのRIMSプレプリント）で詳述されている。これは、数体上の真双曲曲線の基底体、関数体、および尖点化データを、それらのエタール基本群から復元するためのアルゴリズム的手法を提供する。これらの定理は、解ける閉包の全体的再構成アルゴリズムによって例示され、数論幾何 学への「モノ遠アーベル」アプローチを可能にし、IUT の宇宙間構造の直接の前身として、数体上の標準的な持ち上げと変形を強調しました。
つづく
25:１３２人目の素数さん
26/08/11 16:52:06.96 eCVHVSFa.net
sage
26:１３２人目の素数さん
26/08/11 16:52:08.74 eCVHVSFa.net
sage
27:１３２人目の素数さん
26/08/11 16:52:20.41 eCVHVSFa.net
つづき
IUTの概念自体は、p進理論、モノアーベル再構成、ホッジ・アラケロフ構成におけるこれまでの革新を統合し、数体のための統一的な算術的タイヒミュラー枠組みを構築した2006年から2010年頃に誕生しました。この時期には、「宇宙間」変形、すなわち異なる算術データの「宇宙」が正準同型によって結び付けられる変形の徹底的な探究が行われ、2012年にはIUTを正式に定義する4つの画期的なプレプリントが発表されました。対数シータ格子とアーベルアルゴリズムを統合することで数体間の変形を可能にし、アーベル算術幾何学の軌跡の頂点を成すものでした
p進タイヒミュラー理論
この古典的なp進枠組みは、複数のp進付値が相互作用する設定に変形を拡張することで、宇宙間タイヒミュラー理論への橋渡しとなり、剛性特性を維持しながら、異なる算術構造間での「宇宙間」比較を可能にする。これは、p進解析的データとエタール基本群再構成を混成することで、遠アーベル再構成に簡潔に結びつく
理論的枠組み
インターユニバーサリティ
宇宙際タイヒミュラー理論において、「宇宙」という基本概念は、ホッジシアター内の初期データと終端データのペアを指し、ガロア圏を備えたスキームや、単位群や値群を含む局所体の組合せ論的次元や算術的次元といった、異なる数学的構造を包含する。[9]これらの宇宙は、素数によって厳密に分離されている。素数によって、局所体の変化や数体の完備化を反映することで、異なるp進位における算術的性質が定義され、それによって、大域的埋め込みに依存しない局所-大域的分離が保証される。この分離は、素数を抽象的な位相群として扱い、理論の本質的な焦点を維持するために従来のガロア群構造に依存することを回避している
宇宙間変形のメカニズムはIUTの橋渡し哲学の中核を成し、グローバル座標を呼び出さずに一つの宇宙から別の宇宙を再構築することを可能にする。抽象的な位相群上で動作する遠アーベルアルゴリズムを活用し、対数リンクやクンマー理論を介したΘ-およびq-絡み合いなどのツールを利用して、宇宙の構造的完全性を維持しながら変形を達成する。意図的に、これらの変形は宇宙間の算術情報の転送を容易にし、統一された座標系を前提とすることなく、異なる算術領域にわたって互換性のあるデータを確立する
IUTにおける宇宙間写像は、同期共役性と切断クンマー理論を通じて構造の同時正則表現可能性を維持しながら、p進位をまたぐ算術正則性の保存の例である。これらの写像は、ログ体積不変性や多重ラジアル表現などの主要な算術特性が変形プロセス中に維持されることを保証し、それによって宇宙間の橋渡しをしながら、さまざまな素数の値での正則特性を保存する。シータリンクは、互換性に必要な論理関係を強制することにより、これらの橋渡しを実現する上で補助的な役割を果たす
多重放射表現
より広い枠組みでは、多重放射表現は、図の可換性を保証するために、対数殻のテンソルパケットのコンテナを構築します。
Θ-パイロット、評価ラベルに依存しない
Fℓ±F ℓ± -対称性。双円錐形 F×μF × μ -プライムストリップは、対数-シータ格子の水平および垂直の矢印の両方に対して不変であり
Θ×μΘ × μ LGPリンクとlog -Kummer対応は、シータリンクと宇宙間写像をまたいで共役を同期させる論理AND関係を生み出す
つづく
28:１３２人目の素数さん
26/08/11 16:52:43.13 eCVHVSFa.net
つづき
応用と影響
ABC予想の証明
{θj}固定パラメータに対する相対値
qこの比較から、ラジカルが
ラジアン( ab c )素因数の「多重放射状」分布を符号化する
a、b、c グローバルシータリンクは、これらの因子の対数体積が宇宙間変形の下で両立することを保証する。マルチラジアルアルゴリズムを適用してシータ値を並べ替えながら全体的なプロファイルを維持することにより、主張されている証明はこれらの評価の矛盾を制限し、それらを直接的に大きさに結び付けている。
この導出は、シータリンク領域における不確定性を制御するために、宇宙間枠組みに依存している。[28]
他の推測への影響
シータリンクを介したエタール基本群の標準分割を構築することにより、理論は数体上の双曲曲線上の有理点の高さに一様な境界を課し、ヴォイタの高さ不等式と一致し、固定種数の曲線に対して数値的に有効なバージョンを提供する。これらの進歩は、完全な切断予想を仮定せずに profinite 完備化の切断を再構成する宇宙間フレームワークに由来し、それによって次元 1 におけるヴォイタの予測の部分的な確認を提供する。
(引用終り)
以上
つづく
29:１３２人目の素数さん
26/08/11 16:53:11.27 eCVHVSFa.net
つづき
＜過去スレより再録＞
スレ46 ://rio2016.2ch.sc/test/read.cgi/math/1589677271/273
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です
ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；
（蕎麦屋さん、数理論理君も、どうぞそちらへｗ）
スレ46 ://rio2016.2ch.sc/test/read.cgi/math/1589677271/883
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；
つづく
30:１３２人目の素数さん
26/08/11 16:56:02.67 eCVHVSFa.net
つづき
://www.youtube.com/watch?v=0VaEAVbTwhw
【世界で2番目のIUT理論研究拠点 誕生】新しいオンライン大学「ZEN大学」設立に関する発表会｜IUGC 宇宙際幾何学センター
N高等学校・S高等学校 2023/06/06
公益財団法人日本財団と株式会社ドワンゴは、新しいオンライン大学「ZEN大学」を設立します。
2023年6月6日（火）に発表された『IUT理論研究拠点の設立』をご紹介する動画です。
◆Inter Universal Geometry Center
（所長：加藤文元／副所長：イヴァン・フェセンコ）
日本発の世界的な数学理論であるIUT理論を推進・普及し、数学の未来を切り開いていくための研究施設「IUGC（宇宙際幾何学センター）」を設立します。全てのコースに合格すれば、世界中のあらゆる大学の数学科の学生よりもIUT理論の知識が備わります。また、世界初となる、IUT理論を理解する数学者の裾野を広げるためのオリジナル入門講座も開設します。
◆ZEN大学とは
ZEN大学は、すべての人たちを対象にした、グローバル社会で活躍するための素養や教養を身に付けることができる “日本発の本格的なオンライン大学” です。
最先端のテクノロジーと最前線で活躍するプロフェッショナルの教員によって創り出される、質の高いオンデマンド授業を自分のペースで学べ、オンラインだけで大学卒業資格を取得することができます。
また、地域･企業と連携したフィールドワークや国際交流など多様なプログラム活動もあり、実社会で活躍するための実践力を養えます。
ZEN大学 公式サイト：://zen-univ.jp
://www.icbs.cn/en/web/index/18009_1553670__
ICBS Satellite Conference on Algebraic and Arithmetic Geometry
2023 July 12th
Ivan Fesenko (Warwick University and Tsinghua University)
Higher adelic approach to the Tate-BSD conjecture
I will first present basics of two adelic structures on relative elliptic surfaces over Spec of the ring of integers of a number field or a smooth projective irreducible curve over a finite field and of the higher adelic zeta integral. Then I will concentrate on the higher adelic program to prove the equality of the arithmetic and analytic ranks of the generic fibre.
つづく
31:１３２人目の素数さん
26/08/11 16:57:39.21 eCVHVSFa.net
つづき
URLﾘﾝｸ(zen.ac.jp)
プレスリリース ZEN大学 2026/03/31
IUT（宇宙際タイヒミューラー）理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表
―世界3大学による国際共同研究として始動―
x.com/ math_jin/
4/9のAIと形式化の研究集会における望月新一氏の講演動画
#IUTABC
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
youtube.com
Shinichi Mochizuki: On the Formalization of IUT: a preliminary...
In this talk, we survey preliminary work conducted by my research group at RIMS, Kyoto University, since the fall of 2025 on the long-term project of formali...
午前5:36 · 2026年4月16日
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
exlean 2026/04/15
最後に、ケーススタディとして、IUTに関する3番目の論文の最終部分「3.11⇒3.12」のロジックを、リーン形式化の観点から適切なブラックボックスに再編成した事例を詳しく解説します。これは、IUTのこの部分が最も注目を集めたためです。この部分のために作成したリーンコードの骨組みは、リーンをコミュニケーションツールとして活用した非常に成功した事例となりました。
URLﾘﾝｸ(youtu.be)
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月新一
2026年04月08日
・（過去と現在の研究）研究集会「Workshop on AI and Theorem Provers in
Mathematics」での講演のスライドを公開。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(2026-04).pdf
§ Skeletal Lean code for 3.11.5 => 3.12
>3.11から3.11+Remark3.9.5までの間が鬼門
鬼門ってほどでないかもよ
当たり前だが、3.11と3.11+Remark3.9.5の差分は、Remark3.9.5になる
Remark3.9.5を、なんらかの形で形式的に導けばいいだけのこと
・・・ Remark3.9.5 が 長いぜよ おい （＾＾
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
P126
Remark 3.9.5. In situations that involve consideration of various sorts of regions [cf. the discussion of Remarks 3.1.1, (iii), (iv); 3.9.4] to which the log-volume may be applied, it is often of use to consider the notion of the holomorphic hull of a region.
・・・
延々と
P145
(この後 Remark 3.9.6.へ)
つづく
32:１３２人目の素数さん
26/08/11 16:58:08.10 eCVHVSFa.net
つづき
追加 ホイヨ
URLﾘﾝｸ(aitpm.github.io)
Workshop on AI and Theorem Provers in Mathematics
AITPM
Recordings
URLﾘﾝｸ(www.youtube.com)
A video playlist of the workshop is available on YouTube.
URLﾘﾝｸ(youtu.be)
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
exlean
2026/04/15
In this talk, we survey preliminary work conducted by my research group at RIMS, Kyoto University, since the fall of 2025 on the long-term project of formalizing IUT (inter-universal Teichmüller theory). This work began with the organization of this project into various stages (Stages 1～5) and revolves (not so much around writing complete Lean code for the mathematical content of IUT in its entirety, but rather) around the idea that Lean can utilized as a communication tool for recording the precise logical structure of key portions of the logic of IUT in such a way that Lean code can be used to communicate this logic in a more precise and effective way than conventional natural language- based mathematical discourse to mathematicians who have professional expertise in writing Lean code (i.e., who, unlike my research group at RIMS, have the capacity to generate substantial quantities of professionally written Lean code). Finally, we discuss in detail, as a sort of case study, the reorganization into suitable blackboxes, from a Lean formalization-oriented point of view, of the logic of the final portion “3.11⇒3.12” of the third paper on IUT, since it is this portion of IUT that has received the most public attention. The skeletal Lean code that we wrote for this portion of IUT constituted a remarkably successful case of the use of Lean as a communication tool.
つづく
33:１３２人目の素数さん
26/08/11 16:58:37.35 eCVHVSFa.net
つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
URLﾘﾝｸ(www.amazon.co.jp)
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである
つづく
34:１３２人目の素数さん
26/08/11 16:59:03.84 eCVHVSFa.net
つづき
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
IUTに欠落しているのは、メンタルピクチャー＆形式化図式か
(参考)
URLﾘﾝｸ(note.com)
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ。
形式化された理論
メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ。
数学の研究論文における形式的●●●議論は、例えばLean4やCoqなどのコンピューター言語による形式化からすれば、まだまだ「非形式的（informal）」なものだろう。人間のやる数学はまだまだインフォーマルであり、行間が広く、とてもとても形式的議論とは言えない。
とはいえ、ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化
(*) MP ーーーー形式化ー＞ FT
のことである。
形式化図式と数学の「理解」
形式化図式は数学を「理解する」という行為の内実とも、深く関係している。人間による数学の理論とは、単なるコードの連なりとして理解することではない。それは理論のメンタルピクチャー（MP）と、それと形式的理論との関連付け、すなわち形式化図式を構築することである。メンタルピクチャーだけによる理解は危険であるが、メンタルピクチャーによる裏付け・接地のない理解は不健康である。それは健康でないだけでなく、理解の深さがないという意味でも、完全な理解とは言えない。
＜“big picture”＞
URLﾘﾝｸ(terrytao.wordpress.com)
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
URLﾘﾝｸ(terrytao.wordpress.com)
Career advice Terence Tao
つづく
35:１３２人目の素数さん
26/08/11 16:59:33.64 eCVHVSFa.net
つづき
数学成熟度 Mathematical maturity URLﾘﾝｸ(en.wikipedia.org)
(google訳)
"タオは次のようにアドバイスしています。
厳密な数学的思考に十分慣れたら、その主題に関する直感を再検討し、新しい思考スキルを使用して、直感を捨てるのではなくテストし、改良する必要があります。
厳密さと理論の確固たるスキルを身につけた数学の学生は、視点が数学に対するより包括的なパノラマ的見方へと移り、最終段階へと移行します"
謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)ｗ これでしょうね ；ｐ）
(参考)＜いまリンク切れだが＞
URLﾘﾝｸ(youtu.be)
数学に向かない人の数学書の読み方。数学者はこうやって読む
謎の数学者 2022/06/07
コメント
@gary8593
2 年前
「絵を描くように」という例えが、めちゃくちゃ腑に落ちました。
特に英語の文献を読む時に精読を心がけすぎて、全体像が掴めなくなることがよくあって困ってたので、参考にします。
URLﾘﾝｸ(en.wikipedia.org)
Henri Poincaré
URLﾘﾝｸ(en.wikipedia.org)
The Value of Science (French: La Valeur de la Science) is a book by the French mathematician, physicist, and philosopher Henri Poincaré. It was published in 1904. The book deals with questions in the philosophy of science and adds detail to the topics addressed by Poincaré's previous book, Science and Hypothesis (1902).
(google訳)
直感と論理
最後に、ポアンカレは幾何学と解析学 の科学の間に根本的な関係があるという考えを提唱しました。彼によれば、直感には二つの主要な役割があります。科学的真理を探求する上でどの道を進むべきかを選択すること、そして論理的展開を理解することです。
論理は確実性しか与えず、証明の手段である。直感は発明の手段である。
つづく
36:１３２人目の素数さん
26/08/11 17:00:10.84 eCVHVSFa.net
つづき
(参考) （ワンコラさん 細かいところに拘りすぎでしたね。次の seoさん書評ご参照）
URLﾘﾝｸ(youtu.be)
僕がたどり着いた数学の勉強の仕方…わんこら式数学の勉強法はこうやって生まれた
わんこらチャンネル 2020/05/30
留年繰り返して7年で大学卒業した後
ニートになった僕ですが
そんな僕が挫折を繰り返してきた歴史と、たどり着いた数学の勉強の仕方について動画にしました
この勉強法がわんこら式と呼ばれるようになりました
大学の数学の専門書、解析入門1を使って
数学の勉強法について話します
色々な人の参考になれば嬉しいです
＜文字起こし＞
0:11
この解析入門1
0:14
これで僕は人生が無茶苦茶になりました
0:18
これで
0:19
何回も何回も挫折して
0:22
家に引きこもって
0:24
そして留年しまくって
19:54
分からぬままに授業に入って
19:56
でそれね単位をとって
19:59
ね何とかあの一通り全部
20:02
そういうことをやって行ってから
20:04
こういう問題を見ると あ
20:06
その問題はあの本で見たとか
20:10
この問題はこの考え方は
20:13
あの本の事を 言ってるのかっていうふうに少し先のこと勉強したら結構分かってきたん
20:17
ですよ
20:19
でまぁ逆に言うと先のこと勉強して分からない奴についてはそんなにあの
20:24
別にそんな あの別に いいんで 合格
20:29
するんですよ
20:31
ここはそのあの数理解析系っていうまあ京都大学にその
20:37
ある数理解析研究所ってあるんですけれどもそこのあの
20:41
筆記試験だけそうなんとかパスしたんですけど
つづく
37:１３２人目の素数さん
26/08/11 17:00:41.33 eCVHVSFa.net
つづき
＜アマゾン書評＞（ seoさん 「様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです」 これ至言です。噛みしめましょう！ （＾＾）
解析入門 (1) 単行本 – 1980/3/31
杉浦 光夫 (著)東京大学出版会
書評
seo
5つ星のうち3.0 入門書としては☆ひとつ
2018年6月30日
解析学という書名で良いと思います。
入門とわざわざ付けることは非合理的で、何も良いことはありません。
様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです。
よって本書が要求するある程度以上の数学的知識の前提を満たす者は、ある程度解析学にも触れているでしょう。
そういう意味では、本書は解析学の入門者を対象にしておらず、解析学も含めたある程度の数学的形式が頭の中にすでに存在する人を対象にしています。
前提とするものを最小限にし、かつ理解しやすさと厳密性を可能な限り両立させる事ができている本、それがいわゆる良い入門書だと思います。
厳密性と網羅性が優れている本が良い入門書とは思えません。
つづく
38:１３２人目の素数さん
26/08/11 17:01:43.73 eCVHVSFa.net
つづき
ｽﾚﾘﾝｸ(math板:833番)
アインシュタインの物理的な ”直観”が間違っていたのだが
”直観”を捨ててはいけない。修正するんだ
ここから、渕野先生の
＜厳密だけが、数学ではない＞という話につながる
”数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである”
私の数学勉強法は、 Terence Tao“big picture”、加藤文元 メンタルピクチャー を重視する
一冊の数学テキストを読むとき 一つの定理や定義を ジグソーパズルの一つの部品と考えて
どういう絵なのか？ 人物の顔か 風景か？ それを想像しながら 読むってこと
数学ジグソーパズルを解くための“big picture”をつかむ”数学的直観”を鍛える
”数学的直観”は、ヘボはしばしば間違う。それでも良い。”数学的直観”を修正し 鍛え上げていく
それは 将棋や囲碁の勉強法と全く同じだ （＾＾；
つづく
39:１３２人目の素数さん
26/08/11 17:02:08.98 eCVHVSFa.net
つづき
ｽﾚﾘﾝｸ(math板:570番)
話は真逆だよ
１）高等数学のような対象は、多面的かついろんな切り口（複数の）で理解すべし
数学史 タイムラインは その一つだ
２）謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
自分で絵に落とす。見えない物をあえて絵にしてみる
そして、私見ですが
自分の“big picture”を作るべしです （＾＾
そして“巨人の肩”（下記） 遠慮無く乗って 遠く見通すべし！
(参考)
(google検索)
謎の数学者 の ”数学に向かない人”
AI による概要
「謎の数学者」として知られるメディアやSNSのコンテンツ（YouTube等）で語られる、「数学に向かない人」の主な特徴は以下の通りです。数学を「暗記」や「計算力」だけで捉え、考えるプロセスを放棄する人が向いていないとされています。
具体的には、以下の3つの特徴が挙げられています。
1. 数学を「暗記」で乗り切ろうとする
・丸暗記に走る: 定理や公式の意味を理解せず、ただ覚えるだけで問題を解こうとする。これは武器を持たずに戦場に行くようなもので、応用が利かない。
・解法を覚えるだけ: 解説の答えをそのまま写して「理解したつもり」になる。なぜその式が導かれるのか、という過程を軽視する。
2. 計算負荷が高すぎて「考える」前に疲れる
・計算が苦痛: 計算力そのものが未熟で、問題の論理構成（考える部分）に到達する前に脳が疲れてしまう。
3. 公式の意味（本質）を理解していない
・目的意識の欠如: なぜその公式を使うのか、その公式が何を表しているのかを理解しようとしない。
・不自然な数値への無関心: 計算ミスで明らかに矛盾した結果が出ても、疑問を持たずにそのまま進んでしまう。
数学力を向上させるためのポイント
謎の数学者は、以下の方法で「向いていない状態」から脱却できるとしています。
・公式の意味を理解する: なぜその式が出てくるのか、考える。
・類題を複数解く: 1つの問題からテーマを見抜くのが苦手な場合、同じテーマの類題を10個ほど解いてデータベースを作る。
・小さな時間から考える習慣をつける: 計算に慣れ、計算負荷を下げてから、論理的な思考に時間を割く
URLﾘﾝｸ(ja.wikipedia.org)
巨人の肩の上
科学者アイザック・ニュートンが1676年にロバート・フックに宛てた書簡[2]の以下の一節で知られるようになった。
私がかなたを見渡せたのだとしたら、それは巨人の肩の上に立っていたからです。
（英語: If I have seen further it is by standing on yᵉ sholders of Giants.[3][注 1]）
このニュートンの手紙が原典と見なされることも多いが[4][5]、最初に用いたのは12世紀のフランスの哲学者、シャルトルのベルナールとされる[6]。
つづく
40:１３２人目の素数さん
26/08/11 17:02:35.13 eCVHVSFa.net
つづき
(参考)
URLﾘﾝｸ(math.)<) （学習院 語呂合わせと個数しばり）
つづく
41:１３２人目の素数さん
26/08/11 17:03:08.82 eCVHVSFa.net
つづき
ｽﾚﾘﾝｸ(math板:700番)
(まとめ 再投稿)
URLﾘﾝｸ(imgur.com)
「図解 関数の連続・不連続とε-δ」
拙い図ですが （＾＾
１）図解にあるように
逆像を考える意味は
もし 関数y=f(x)が不連続ならば
象y軸上で 不連続部分 例えばy0として そこのギャップを見つけて
y0の近傍では 逆像に 不連続の証拠が出る（ε-δ論法を満たせない）
ということ
２）要するに 不連続とは？ 象y軸上にギャップがあることだが
しかし、これでは 数学の定義としては いまいちで
数学的にスッキリした表現として コーシーが ε-δ論法を導入した
３）そこから 位相空間での 写像の連続の定義で
開集合を 用いた表現が作られた
実関数 y=f(x)で 点(x0,y0)で連続の定義
位相空間論 開集合を使うと
y0の周りに開集合が取れて
↓ 逆像f^-1
x0の開集合
これから、コーシーの”ε-δ論法”：
”任意の正の数 ε に対して、ある正の数 δ が存在し、x0 との距離が δ 未満であるどんな x に対しても、f(x) は f(x0) の差が ε より小さくなる：
∀ε >0, ∃δ >0 s.t. ∀x ;[ |x-x0|<δ → |f(x)-f(x0)|<ε]”
を構成するとしよう
y0の周りに開集合→ |f(x)-f(x0)|<ε ∀ε >0 （正のεは任意に小さくできる＝∀）
↑ f ( "逆像f^-1" を使わず表現する)
x0の開集合 → |x-x0|<δ （あるδが取れる。Rは完備距離空間なので δによる開集合は 自明）
蛇足だが ギリシャ文字 εとδは、アルファベットの e と ｄに対応して
この順が y と x の 語順と整合している
だから
位相空間論
y0の周りに開集合が取れて
↓ 逆像f^-1
x0の開集合
これだけを覚えておけば
あとは、自然に
上記コーシーの”ε-δ論法”
が すらすらと再構成できる
（お経として コーシーの”ε-δ論法”を暗唱する必要なし！ ）
つづく
42:１３２人目の素数さん
26/08/11 17:05:23.58 eCVHVSFa.net
つづき
私のつくった下手くそな図
URLﾘﾝｸ(imgur.com)
「図解 関数の連続・不連続とε-δ」
とほぼ同じ図が 下記youtube動画で出てきます （＾＾
下記より
”ユークリッド空間R上の連続関数の同値条件
[定理]連続関数の同値条件
関数 f:R→Rに対して、次は同値である
①fはR上で（ε-δ論法の定義により）連続である
②任意の通常の開集合U⊂Rに対し、f^-1(U)はRの通
常の開集合である”
とあります
（動画で ちょっと 細かい点で 気になるところはありますが いまはスルー （＾＾ ）
(動画解説) 再録
URLﾘﾝｸ(youtu.be)
実数の関数fの連続性を位相空間上に一般化したい！位相空間 ...
YouTube · 速習大学数学【山本拓人】 2025/03/30
24:59
この関数の連続性を一般の位相空間上に拡張することを考えます． 結論としては「位相空間X,Yに対して写像f:X→Yが連続であるとは，任意の開集合U⊂Yに対して，逆像f⁻¹(U)⊂Xが開集合であること」と定義します． この動
あと、収束関連で
フィルター (数学) URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
有向点族 URLﾘﾝｸ(ja.wikipedia.org)
も 一緒に勉強しましょう
（類似概念を 混乱しないように うまく学習することも 数学のコツです）
”河野玄斗の言葉 自分で勉強するのが一番効率がいい”(シン応援スレ 84) ｽﾚﾘﾝｸ(math板:190番)
ｽﾚﾘﾝｸ(math板:777番)
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
大沢健夫先生集中講義 神本 丈のホームページ2019 九州大学
タイトル: 解析接続の問題に現れる解析と幾何
講義録 URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、
行き詰るはずはないのである。 岡潔 『一葉舟』(角川ソフィア文庫 2016)
スレ87 （ニコ） (^^)君 令和8年度東北大 研究科数学専攻入試 投下
URLﾘﾝｸ(rio2016.5ch.io)
つづく
43:１３２人目の素数さん
26/08/11 17:05:55.70 eCVHVSFa.net
つづき
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾； ）
( ://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面 ：://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）
1980年代にＷ大数学科に入学するも、初日に（飯高先生みたく）数学科の冷や水を 頭から浴びせられる 洗礼で
即日 詰んだ男。お情けで学部は卒業するも 修士は 情報系に。就職は コンピュータ関係らしいが
就職が 多分ブラックな仕事で 統合失調症の薬を飲むようになったようだ
下記 ”統合失調症では知能低下と脳容積の減少がみられることが知られている”とある
おそらくは 数学”イップス”になったのだろう URLﾘﾝｸ(ja.wikipedia.org)
高等数学の議論が出来なくなったんだ・・ 彼は
(参考)
URLﾘﾝｸ(www.carenet.com)
統合失調症、脳容積とIQの関連
提供元：ケアネット
公開日：2015/07/17
統合失調症では知能低下と脳容積の減少がみられることが知られている。オランダ・ユトレヒト大学医療センターの久保田 学氏らは、統合失調症患者のIQと脳容積との関連について調査し、統合失調症における進行性の脳組織減少が、発症初期における相対的な認知機能低下と関連している可能性があることを報告した。JAMA Psychiatry誌オンライン版2015年6月17日号の掲載報告。
＜＊）サイコパスの特徴＞
（参考）://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
://kotowaza-allguide.com/to/torinakisatonokoumori.html#:~:text=%E9%B3%A5%E3%81%AA%E3%81%8D%E9%87%8C%E3%81%AE%E8%9D%99%E8%9D%A0%E3%81%A8%E3%81%AF%E3%80%81%E3%81%99%E3%81%90%E3%82%8C%E3%81%9F%E8%80%85,%E3%81%A6%E3%81%84%E3%82%8B%E3%81%93%E3%81%A8%E3%81%AE%E3%81%9F%E3%81%A8%E3%81%88%E3%80%82
鳥なき里の蝙蝠 故事ことわざ辞典
【読み】 とりなきさとのこうもり
【意味】 鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
追記
オチコボレ サイコパスおサルの 連れの 落ちコボレさん が、もう一匹います。
「箱入り無数目 (あほ二人の”アナグマの姿焼き"Part3ｗ)」の連れです ｽﾚﾘﾝｸ(math板)
つづく
44:１３２人目の素数さん
26/08/11 17:07:06.93 eCVHVSFa.net
つづき
＜サイコパスのおサルのバカ発言＞
ｽﾚﾘﾝｸ(math板:625番)-
2023年の古新聞を検索したので 下記貼るよ
アホサル は、私が「零因子行列のことだろ？知っているよ」と切り返したら
自爆して 即詰みになった。さすがに アホですなｗｗ （＾＾；
（次からテンプレへ入れる）
(参考)
＜ガロア第一論文と乗数イデアル他関連資料スレ2＞より
ｽﾚﾘﾝｸ(math板:946番)
946１３２人目の素数さん
2023/04/06(木) 18:03:57.25ID:0vPZ1NRI
ありがとう
棚から牡丹餅というかｗ
つまり
・私「正方行列の逆行列」（数年前）
↓
・おサル「正則行列を知らない線形代数落ちこぼれ」ｽﾚﾘﾝｸ(math板:5番)
↓
・私「零因子行列のことだろ？知っているよ」
↓
・おサル「関係ない話だ！」と絶叫
↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
いかなる行列が零因子行列か述べる必要がありますから』
↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」
↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
（零因子に無知で 正則行列の条件→「零因子行列であること」と勘違いしているｗ）
確かに「正方行列の逆行列」という表現は、ツッコミどころではあった
（行列という言葉を知らない人のために、あえて正則行列を避けただけの単純な話だったのだが）
それが、おサルの暴発をさそって
『「０以外の体の元は乗法逆元を持たない」のつもりで「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』まで行けばｗ
怪我の功名というか
こちらとしては、大きな収穫であったｗｗ
（なお、正則行列は線形代数を学べばすぐ分かる話ではあります。用語使いとして正確ではないのだが）
(引用終り)
さらに Grok AI の余因子行列のハルシネーションを解説する ばかサル下記 （＾＾
ｽﾚﾘﾝｸ(math板:185番)
Grok AI 余因子行列の説明への 赤ペン先生
（Grok AI）；"なぜなら：adj(A) が零行列でないとは限らない むしろ det(A) = 0 のとき、ほとんどの場合 adj(A) = O になる"
つづく
45:１３２人目の素数さん
26/08/11 17:07:38.89 eCVHVSFa.net
つづき
過去スレ55 ://rio2016.2ch.sc/test/read.cgi/math/1623558298/813
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
1．「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜 オカ、シムラ、モチヅキ」
てめえ、何様のつもりだ？ 5ｃｈ数学板で便所の落書きしている数学落ちこぼれさんでしょ
何をえらそうに！
2．「確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね」
てめえ、何様のつもりだ？
論文書いて、査読してもらって、真摯に対応して査読を通してもらって出版してもらう
ここまでは、終わったのです（＾＾
3．そして、今年6月末から4回の国際会議で、
IUT普及の義務を果たします
4．おサルが理解できるように？
それは無理！
”（スレ55 ://rio2016.2ch.sc/test/read.cgi/math/1623558298/158より）
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ”
などという
これじゃ。三歳児レベルの知能じゃんかｗ
このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り)
つづく
46:１３２人目の素数さん
26/08/11 17:08:13.93 eCVHVSFa.net
つづき
一句”不勉強 オチコボレのさばる 便所板”（字余り）
不勉強、言い訳だけは、いちょまえ
オチコボレ、言い訳だけは、一流だ （追加）
不遇な「一石」“鳥なき里のコウモリ”そのままで、“シッタカ”ぶりの、アナーキストのアホ男
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ
(参考)
URLﾘﾝｸ(dic.pixiv.net)
ピクシブ百科事典
ゴーマニズム宣言
『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞
URLﾘﾝｸ(note.com)
アホな同僚や相手に構うことほど、人生ムダなことはないよね。
レトリカ・ブログ （学院長 川上貴裕）
2024年11月2日
どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。
世の中、理不尽なことばかりです。
略す
上記のように嫌みをこぼす、アホな同僚が、おそらく、皆さんの周りにもいることでしょう。
でも、こんな愚かなアホのせいで、自分の心が疲弊したり、病んだり、最悪の場合、教職を諦めてしまうことになることほど、理不尽なことはありませんよね。
では、こんなアホには、どう対抗すればいいのか。
いえいえ、今日はそんな話ではないのです。
マザーテレサの名言に、
「愛の反対は、憎しみではなく、無関心です。」
という言葉があります。
まさにその通りです。
アホに対して、憎しみをもったり、エネルギーを費やしたり、感情的になったり、帰宅後も脳裏に思い出したりすることほど、人生を無駄にしていることはないのです。
略す
また、田村耕太郎さんの『頭に来てもアホとは戦うな！』という書籍も、おすすめです！ぜひ、読まれてみてください！
(引用終り)
なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ
上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾
テンプレは、以上です
47:１３２人目の素数さん
26/08/11 17:40:30.71 DkedeTWS.net
テンプレです
>・おサル「正則行列を知らない線形代数落ちこぼれ」ｽﾚﾘﾝｸ(math板:5番)
> ↓
>・私「零因子行列のことだろ？知っているよ」
>「正則行列くらい知っている」と平凡に答えずに
>ひねって 「零因子行列のことだろ？知っているよ」にした
48:１３２人目の素数さん
26/08/11 17:40:51.60 DkedeTWS.net
テンプレです
>記号の濫用として a'2 ⊂UB1が ありか どうか？ ありでは？
49:１３２人目の素数さん
26/08/11 17:41:04.92 DkedeTWS.net
テンプレです
>>UB1を小さくして a'2を含まないように分離できる
>小さくする仕方が不明
>>具体的な仕方は不要。
>>ハウスドルフだから 小さくして 分離可能の一言。
>ハウスドルフだからと書いたとしたら
>正則との違いを理解してない？と思われるだけかも
>>このスレには
>>位相空間論の初学者もいると思うので
>>はっきり否定させてもらうが
>>１）ハウスドルフは 空間の公理として普通に指定されるケースが多い
>>２）ハウスドルフ性は、良い性質を持つ
>>３）その肝が 分離性で 分離可能の一言 でだいたい片付くよ
50:１３２人目の素数さん
26/08/11 17:41:22.68 DkedeTWS.net
テンプレです
>これで勘弁してあげるけど
>私のスレで 間違ったことを書くと 赤ペン入るってこと
>覚えておいてね
51:１３２人目の素数さん
26/08/11 17:41:35.92 DkedeTWS.net
テンプレです
>まず、確率分布Prを定義するには、確率空間から始めないと学部数学の確率論にならない
>確率空間をどう定義しているのか
>次に、Pr(Bn,b)=1/n n∈N ならば
>Σ n=0～∞ Pr(Bn,b)＝Σ n=0～∞ 1/n ＝∞（∵1/nの無限和が発散するのは有名な事実）
>なので、明白に Pr(Ω)≠1 ですよ(ここにΩは全事象)
52:１３２人目の素数さん
26/08/11 17:41:49.99 DkedeTWS.net
テンプレです
URLﾘﾝｸ(rio2016.5ch.io)
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ
53:１３２人目の素数さん
26/08/11 17:42:06.60 DkedeTWS.net
テンプレです
>・選択公理によって、任意同値類の代表の存在が言える。が、どんな代表を選ぶかは、各人の自由だ
54:１３２人目の素数さん
26/08/11 17:42:20.43 DkedeTWS.net
テンプレです
>>どの無限列を入れるかは自由だが、確率変数にするかしないか、の自由はない
>>つまり、一回入れたら二度と変更できない
>>毎回の試行で変更することは決して許されない
>そこ、吉田大学の札付きでも同じだよ
>そこを読めてないのは おまえ
55:１３２人目の素数さん
26/08/11 17:42:34.26 DkedeTWS.net
テンプレです
>>なぜなら箱入り無数目では箱の中身はすべて定数だから
>誤解ですよ
>箱の中身は、現代数学の確率論で扱えるよ
>「箱の中身はすべて定数だから」？
>あほか
>重川を読め
56:１３２人目の素数さん
26/08/11 17:42:49.85 DkedeTWS.net
テンプレです
> まず 先頭の幾つかをあける。株価で1円単位とすると 例えば下記ソニーで 3234 ・・・と出る
> 次に、かなり離れた 後のしっぽを全部開けると 2000代とか3000代の整数が分る
> そこから 先頭側としっぽ側とで 狭めていって 先頭からD番目を残して 前後を開ける
> もし、「株価かな？」と見当がつけば、ブラック–ショールズ方程式に乗せてみる
> それ以外には、統計処理で平均値を出したり 標準偏差を計算したりもありだ
> そして D番目を推察するのだ
57:１３２人目の素数さん
26/08/11 17:43:04.35 DkedeTWS.net
テンプレです
>そこを 箱入り無数目のように 列の自由選択に変更すれば
>「1/2に出来る」と誤読している人がいるが
>しかしそれでは、数学ストーリーとしてヘンｗ
>数学ストーリーは、札付き定理の完全否定！■
58:１３２人目の素数さん
26/08/11 17:43:25.03 DkedeTWS.net
これはよきテンプレ
>>数学者は”固定”とか 変なこといわない
>>が、一つの議論の中では、関数”f1,f2,・・,fk,・・f100”は決まっている
>>”s = (s1，s2，s3 ，・・・)”
>>も一つの議論の中では 一定の値をとる
>出題列sが定数であることを認めた瞬間にそこから生成される100列の決定番号も定数と認めざるを得ない。
>単独最大決定番号の列はたかだか1列であることも認めざるを得ない。
>ランダムに単独最大決定番号の列を選択する確率は1/100以下も認めざるを得ない。
>その時だけ失敗だから勝率は99/100以上も認めざるを得ない。
59:１３２人目の素数さん
26/08/11 17:43:46.49 DkedeTWS.net
よきテンプレです
>>>無数目で理解が難しいのなら、選択公理が効果的にはたらく、少しレベルを落とした話でもしたら良いのにと思っていた。
>彼の人は自分が「理解」していると見せかけたいだけだから
>たぶん無駄ですよ
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は？
60:１３２人目の素数さん
26/08/11 17:44:01.18 DkedeTWS.net
これはよきテンプレです
>箱入り無数目の確率空間は{1,2,…,n}ですが
>時枝さんの記事の最後の部分
>彼の人が理解に至らない罠のような記述の
>独立な確率変数の無限族についての考察は
>それ自体は面白い話だと思いますね
>ここが箱入り無数目と直接関係ないのは
>Xkが確率変数であって箱入り無数目で設定するような任意実数ではないことから明白ですが
>そのひとつひとつの値がXk=xkとなったとき
>xkは定数ですから独立という用語が意味を持たないにもかかわらず
>s=(x1,x2,…)という数列を箱入り無数目で出題すれば
>いくらでも1に近い確率1-1/nで
>その中の特定の番号（nやsに依存）の数xdが他の数x1,…,^xd,…から推測できるわけですので
>確率変数の独立性とはなんぞやと
>彼の人のようにあるいは京大マンガのように
>誤解・疑問を生むことになる訳です
>言わば「箱入り無数目の応用」により
>安直な（つまり彼の人や京大マンガのような）独立性の誤解をしてはならないとの反省材料がもたらされたわけです
61:１３２人目の素数さん
26/08/11 17:44:34.24 DkedeTWS.net
テンプレです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい？
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る（細かくは rに収束する列は一つに限らないから 同値類を考える）
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω（＝最初の無限順序数）のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
>加算無限有理数列は、構成できない！
62:１３２人目の素数さん
26/08/11 17:44:48.03 DkedeTWS.net
テンプレです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ～、ユニークで笑える、が面白すぎｗｗ（＾＾
63:１３２人目の素数さん
26/08/11 17:45:28.68 DkedeTWS.net
テンプレです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題：
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない
64:１３２人目の素数さん
26/08/11 17:45:42.54 DkedeTWS.net
テンプレです
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>１）”Nは無限集合ですから”がダメ
>２）デカルト先生は R^2でデカルト積 (r1,r2) ｜r1,r2∈R
> を考えた故事をしらないんだね
> ”Rは無限集合ですから”って デカルト先生に言ってあげようｗ
65:１３２人目の素数さん
26/08/11 17:45:56.80 DkedeTWS.net
テンプレです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
> 完備であることの証明はできない
66:１３２人目の素数さん
26/08/11 17:46:10.45 DkedeTWS.net
テンプレです
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で URLﾘﾝｸ(en.wikipedia.org)
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど？（＾＾
67:１３２人目の素数さん
26/08/11 17:46:25.69 DkedeTWS.net
テンプレです
>可算選択公理さえ仮定しない ZFのみでは・・
>1）コーシー列とデデキントカットの同値は言えない（別物？）
68:１３２人目の素数さん
26/08/11 17:46:39.04 DkedeTWS.net
テンプレです
>おかしいねよ？ 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数（それは我々が求めている実数でもある）とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は？
>だれが どうとる？
69:１３２人目の素数さん
26/08/11 17:46:53.33 DkedeTWS.net
テンプレです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている
70:１３２人目の素数さん
26/08/11 17:47:43.81 DkedeTWS.net
テンプレです
>>> 440より
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>１）全体集合を場合分けする
> ケース１ ある大きなしかし有限の自然数Mを取って 0～Mのカードで考える
> ケース２ 無限集合の自然数N全体を考える
>２）ケース１では、0～Mのカードは 離散一様分布を成す（下記）
> 期待値（平均値）や 分散も存在する
> この場合、A,Bの勝つ確率は おのおの1/2
>３）ケース２では、確率は考えられない
> なぜならば、無限集合たる自然数N全体は、非正則分布を成すから（下記）
71:１３２人目の素数さん
26/08/11 17:48:05.81 DkedeTWS.net
テンプレです
>>> 451
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ
72:１３２人目の素数さん
26/08/11 17:49:04.77 DkedeTWS.net
偶数と奇数m,nをAが選びカードに書いて箱に入れる
選び方はAの自由
入れた後でBがそのカードを両方取りだして
奇数を1偶数を0に書き直して箱に戻す
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
小さい方を引いた方が勝ち
さてA,Bの勝つ確率は？
73:１３２人目の素数さん
26/08/11 17:51:43.09 2KkYR2Vr.net
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ
でフイタ
74:１３２人目の素数さん
26/08/11 19:41:26.91 eCVHVSFa.net
>>47-73
なんか ハエがたかっているな
IUT応援スレにハエがたかっているｗ
昔、将棋名人をゴミ呼ばわりして
自分は、それにたかるハエだと豪語した人がいた（下記）
ハエさん、がんばってね！ｗｗ （＾＾
(参考)
URLﾘﾝｸ(www.jiji.com)
時事ドットコムニュース>知ってる？>
あの人の忘れ得ぬ言葉
Q 名人なんて、○○みたいなもんだ
■ 将棋の升田幸三九段の言葉。実力はもちろん、破天荒な振る舞い、歯に衣着せぬ物言いで知られた天才肌の棋士だ。とある棋戦で木村義雄名人と口論になり、言い放ったのがこの言葉。鬼才ぞろいの棋士の間でも、時の名人にこんなことを言えるのはおそらくこの人だけだろう。さて…？■
写真は、升田幸三九段 【時事通信社】
URLﾘﾝｸ(www.jiji.com)
A 名人なんて、ゴミみたいなもんだ
升田幸三
■ 二人のやりとりには続きがある。「ゴミ」呼ばわりされた木村名人、さすがに顔色を変えて升田九段に問うた。「名人がゴミだと言うなら、（それに挑戦しようとする）君は何だと言うのかね」。升田九段が返した言葉がふるっている。「俺か？ 俺はな、ゴミにたかるハエだよ」。■
75:１３２人目の素数さん
26/08/11 19:43:23.71 DkedeTWS.net
偶数と奇数m,nをAが選びカードに書いて箱に入れる
選び方はAの自由
入れた後でBがそのカードを両方取りだして
奇数を1偶数を0に書き直して箱に戻す
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
小さい方を引いた方が勝ち
さてA,Bの勝つ確率は？
76:１３２人目の素数さん
26/08/11 19:44:47.36 eWajyI9r.net
辿り来て未だ山麓
富士山麓オウム鳴く
77:１３２人目の素数さん
26/08/11 19:46:21.24 eWajyI9r.net
武田鉄矢
78:１３２人目の素数さん
26/08/11 19:49:36.16 eWajyI9r.net
ピヨピヨ、ヒヨコです🐣
79:１３２人目の素数さん
26/08/12 07:10:28.52 DszuDzN0.net
超初歩問題>>75にも答えられないハエがなんか言うとる
80:１３２人目の素数さん
26/08/12 07:13:31.69 DszuDzN0.net
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ
じゃあ君の意思でしっぽ同値類の代表を選んでみて
無限個選び終わるまで口閉じようね
81:１３２人目の素数さん
26/08/12 09:09:46.62 SWpOD42D.net
望月の公理
望月が自明と言っていることは正しい
数学に上の公理が存在していないのが根本的な欠陥なのでは？
82:１３２人目の素数さん
26/08/12 15:28:01.19 4yQnIkTl.net
転載
URLﾘﾝｸ(rio2016.5ch.io)
>[PDF] Comments on the LANA Project Report of Kato et al.
>K Joshi - 2026
情報ありがとう
下記だね
URLﾘﾝｸ(sites.arizona.edu)
Webpage of Kirti Joshi
My reports on the Mochizuki-Scholze-Stix Controversy
URLﾘﾝｸ(sites.arizona.edu)
・Comments on the LANA Project Report of Fumiharu Kato et al. [Provides my comments on the recent (July 2026) LEAN Formalization of Mochizuki’s IUTT]
83:１３２人目の素数さん
26/08/12 16:31:04.75 pYIMntC/.net
URLﾘﾝｸ(youtu.be)
84:１３２人目の素数さん
26/08/13 07:50:05.38 JHJnxbc/.net
>>80
(引用開始)
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ
じゃあ君の意思でしっぽ同値類の代表を選んでみて
無限個選び終わるまで口閉じようね
(引用終り)
選択公理が理解できていないハエがいる
簡単に補足しよう
1)下記の選択公理を適用しようする集合系が、有限であれば具体的であって、選択公理不要（∵有限帰納法によって簡単に示されるので選択定理）
2)集合系が、無限であれば選択公理が必要になる
このとき、選択公理が示すのは 存在のみなのだが
3)さて、上記の議論は 下記URLの箱入り無数目の中の会話の一部を切り取ったもの
URLﾘﾝｸ(rio2016.5ch.io)
箱入り無数目で使う集合系は100個(100列) あるいはn個(n列)だから
簡単に有限での選択公理 つまりは 選択定理に落とせる（人の意思で代表も選べる）という議論
まあ、ハエには難しかったらしいな（＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
選択公理（ axiom of choice）とは、集合論の公理系を構成する公理の一つであり、非空集合のみを元とする集合（すなわち集合の集合）があるときに、それぞれの集合から一つずつ元を選び出して新しい集合を構成できると定める公理である。選出公理ともいう[1]。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[2]。平行線公準以来、もっとも議論された公理である[3]。
定義
本節では、集合の集合を集合系という[注釈 2]。
下記の命題を選択公理といい、
f を選択関数（英語版）という。
公理 ― 任意の集合
X について、非空集合のみが
X の元であるとき、ある関数
f が存在し、f は X を定義域とし、
X の任意の元 A について、
f(A) は A の元である。
有限集合への制限
選択公理の一般的な定式化では集合系が無限か有限かについては述べられていないので、 当然、非空集合の有限集合（系）も選択関数を持つことが従う。しかしながら、この場合はZFで選択関数の存在が、有限帰納法によって簡単に示される。
選択公理と等価な命題
以下の命題は全て選択公理と同値である。つまり、以下の命題のいずれかを仮定すると選択公理を証明することができるし、逆に選択公理を仮定すると以下の命題が全て証明できる。
整列可能定理
任意の集合は整列可能である。
ツォルンの補題
順序集合において、任意の全順序部分集合が有界ならば、極大元が存在する。（実際の数学では、この形で選択公理が使われることも多い。）
ベクトル空間における基底の存在
全てのベクトル空間は基底を持つ（1984年にen:Andreas Blassによって選択公理と同値であることが証明された。ただし、正則性公理が必要になる）。
選択公理の制限
選択公理よりも弱い公理として、可算選択公理（英: countable axiom of choice,denumerable axiom of choice）というものも考えられている[8]。
→詳細は「可算選択公理」を参照
カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている。
85:１３２人目の素数さん
26/08/13 08:16:37.26 cQpU1Dg5.net
（どこまでもストローマン論法だな）
86:１３２人目の素数さん
26/08/13 09:52:33.72 k8JBR/nf.net
しっぽ同値類の代表を選べと言ってるのになぜか100列の代表を選ぶ話にすり替える詐欺師
87:１３２人目の素数さん
26/08/13 10:37:34.28 cQpU1Dg5.net
これならどうかな？
R∋x≠0に対してxと-xの書かれたカードが入った箱がある
Bはランダムに箱から1枚カードを取り出す
Aは残りのカードを取る
大きな値を引いた方が勝ち
A,Bの勝つ確率は？
88:１３２人目の素数さん
26/08/13 15:07:32.43 k8JBR/nf.net
頑なに答えない不成立派ｗ
一体何を守ろうとしてるのか？ 守るべきものなんて実際には存在しないのに
89:１３２人目の素数さん
26/08/13 19:45:25.24 cQpU1Dg5.net
>>86
100列は決まってるからね
その100列の決定番号の最大値が
開けた99列の決定番号の最大値と
同じである確率が99/100以上
90:１３２人目の素数さん
26/08/14 03:17:47.50 iIc8Wfrh.net
>>89
いや、実際に起きること
１）100列のうち、特定の１列を残して 他の99列のしっぽを開ける
２）99列のしっぽ同値類が分かる
３）使うのはこの99列のしっぽ同値類のみなので、
その99列のしっぽ同値類の代表を決めて
そして99個の代表番号d1,d2,・・d99を知る
４）dm＝max(d1,d2,・・d99)を知る
５）残り１列につき dm+1から後ろの箱を開けて しっぽを知り 属する同値類を知る
６）さて、同値類の中を見ると、しっぽの一致がdm+1以前に一致が終わっている列が多数あり
しっぽの一致がdm+1まで続いている 列もある
７）当然 しっぽの一致がdm+1まで続いている列を選べばいい
しかし、選んだ代表の列のdm番目と 問題の１列のdm番目が一致する確率は確率理論通り！■
ちゃんと、一致する確率は確率理論の通りになりましたとさ！ｗ
目出度し目出度し！！ｗｗ