Inter-universal geometryとABC予想(シン応援スレ) 92 (190ﾚｽ)
上下前次1-新
21: 06/13(土)09:05 ID:TTzQJf42(21/46) AAS
つづき
応用と影響
ABC予想の証明
{θj}固定パラメータに対する相対値
qこの比較から、ラジカルが
ラジアン( ab c )素因数の「多重放射状」分布を符号化する
a、b、c グローバルシータリンクは、これらの因子の対数体積が宇宙間変形の下で両立することを保証する。マルチラジアルアルゴリズムを適用してシータ値を並べ替えながら全体的なプロファイルを維持することにより、主張されている証明はこれらの評価の矛盾を制限し、それらを直接的に大きさに結び付けている。
この導出は、シータリンク領域における不確定性を制御するために、宇宙間枠組みに依存している。[28]
他の推測への影響
シータリンクを介したエタール基本群の標準分割を構築することにより、理論は数体上の双曲曲線上の有理点の高さに一様な境界を課し、ヴォイタの高さ不等式と一致し、固定種数の曲線に対して数値的に有効なバージョンを提供する。これらの進歩は、完全な切断予想を仮定せずに profinite 完備化の切断を再構成する宇宙間フレームワークに由来し、それによって次元 1 におけるヴォイタの予測の部分的な確認を提供する。
省3
22: 06/13(土)09:06 ID:TTzQJf42(22/46) AAS
sage
23: 06/13(土)09:06 ID:TTzQJf42(23/46) AAS
つづき
＜過去スレより再録＞
スレ46 2chｽﾚ:math
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
省18
24: 06/13(土)09:07 ID:TTzQJf42(24/46) AAS
sage
25: 06/13(土)09:08 ID:TTzQJf42(25/46) AAS
つづき
動画ﾘﾝｸ[YouTube]
【世界で2番目のIUT理論研究拠点 誕生】新しいオンライン大学「ZEN大学」設立に関する発表会｜IUGC 宇宙際幾何学センター
N高等学校・S高等学校 2023/06/06
公益財団法人日本財団と株式会社ドワンゴは、新しいオンライン大学「ZEN大学」を設立します。
2023年6月6日（火）に発表された『IUT理論研究拠点の設立』をご紹介する動画です。
◆Inter Universal Geometry Center
（所長：加藤文元／副所長：イヴァン・フェセンコ）
日本発の世界的な数学理論であるIUT理論を推進・普及し、数学の未来を切り開いていくための研究施設「IUGC（宇宙際幾何学センター）」を設立します。全てのコースに合格すれば、世界中のあらゆる大学の数学科の学生よりもIUT理論の知識が備わります。また、世界初となる、IUT理論を理解する数学者の裾野を広げるためのオリジナル入門講座も開設します。
◆ZEN大学とは
省11
26: 06/13(土)09:08 ID:TTzQJf42(26/46) AAS
つづき
外部ﾘﾝｸ: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
省30
27: 06/13(土)09:09 ID:TTzQJf42(27/46) AAS
つづき
転載
2chｽﾚ:math
慌てる乞食は貰いが少ない 2026年7月17日を待て
外部ﾘﾝｸ:zen.ac.jp
2026/03/31 プレスリリース ZEN大学
IUT(宇宙際タイヒミューラー)理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表 世界3大学による国際共同研究として始動
2026年7月17日 LANAプロジェクトに関して、活動の中間報告記者発表を予定しています。IUT理論の検証について、その時点での検証結果を詳しく公表する計画です
動画ﾘﾝｸ[YouTube]
ZEN数学センター IUT理論の計算機検証に関する新プロジェクト「LANA」発表 ニコニコニュース 2026/03/31
省28
28(1): 06/13(土)09:10 ID:TTzQJf42(28/46) AAS
つづき
補足
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
>ON THE FORMALIZATION OF IUT: A PRELIMINARY PROGRESS REPORT [JOINT WORK IN PROGRESS WITH Y. HOSHI, G. YAMASHITA, Y. YANG, ] Shinichi Mochizuki (RIMS, Kyoto University) April 2026
これ結構おもしろい
1）”§2.First steps toward the LeanForm of IUT” Stage 1〜5
いま Stage 1の1/3くらいか
だが、最大の山場かもね （＾＾
7月17日中間報告記者発表を予定
2）”§3.Brief review of inter-universal Teichmuller theory (IUT)”
省12
29: 06/13(土)09:10 ID:TTzQJf42(29/46) AAS
つづき
追加 ホイヨ
外部ﾘﾝｸ:ivanfesenko.org
News – Ivan Fesenko
・IUT and Lean: S. Mochizuki’s talk at a workshop on AI and math theorem provers on April 10
外部ﾘﾝｸ:aitpm.github.io
Workshop on AI and Theorem Provers in Mathematics
AITPM
Recordings
外部ﾘﾝｸ:www.youtube.com
省7
30: 06/13(土)09:10 ID:TTzQJf42(30/46) AAS
つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
外部ﾘﾝｸ:www.amazon.co.jp
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
省13
31: 06/13(土)09:11 ID:TTzQJf42(31/46) AAS
つづき
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
IUTに欠落しているのは、メンタルピクチャー＆形式化図式か
(参考)
外部ﾘﾝｸ:note.com
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ。
省15
32: 06/13(土)09:11 ID:TTzQJf42(32/46) AAS
つづき
数学成熟度 Mathematical maturity 外部ﾘﾝｸ:en.wikipedia.org
(google訳)
"タオは次のようにアドバイスしています。
厳密な数学的思考に十分慣れたら、その主題に関する直感を再検討し、新しい思考スキルを使用して、直感を捨てるのではなくテストし、改良する必要があります。
厳密さと理論の確固たるスキルを身につけた数学の学生は、視点が数学に対するより包括的なパノラマ的見方へと移り、最終段階へと移行します"
謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)ｗ これでしょうね ；ｐ）
(参考)＜いまリンク切れだが＞
動画ﾘﾝｸ[YouTube]
省16
33: 06/13(土)09:12 ID:TTzQJf42(33/46) AAS
つづき
(参考) （ワンコラさん 細かいところに拘りすぎでしたね。次の seoさん書評ご参照）
動画ﾘﾝｸ[YouTube]
僕がたどり着いた数学の勉強の仕方…わんこら式数学の勉強法はこうやって生まれた
わんこらチャンネル 2020/05/30
留年繰り返して7年で大学卒業した後
ニートになった僕ですが
そんな僕が挫折を繰り返してきた歴史と、たどり着いた数学の勉強の仕方について動画にしました
この勉強法がわんこら式と呼ばれるようになりました
大学の数学の専門書、解析入門1を使って
省46
34: 06/13(土)09:12 ID:TTzQJf42(34/46) AAS
つづき
＜アマゾン書評＞（ seoさん 「様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです」 これ至言です。噛みしめましょう！ （＾＾）
解析入門 (1) 単行本 – 1980/3/31
杉浦 光夫 (著)東京大学出版会
書評
seo
5つ星のうち3.0 入門書としては☆ひとつ
2018年6月30日
解析学という書名で良いと思います。
入門とわざわざ付けることは非合理的で、何も良いことはありません。
省6
35: 06/13(土)09:13 ID:TTzQJf42(35/46) AAS
つづき
2chｽﾚ:math
アインシュタインの物理的な ”直観”が間違っていたのだが
”直観”を捨ててはいけない。修正するんだ
ここから、渕野先生の
＜厳密だけが、数学ではない＞という話につながる
”数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
省15
36: 06/13(土)09:13 ID:TTzQJf42(36/46) AAS
sage
37: 06/13(土)09:15 ID:TTzQJf42(37/46) AAS
sage
38: 06/13(土)09:15 ID:TTzQJf42(38/46) AAS
つづき
2chｽﾚ:math
話は真逆だよ
１）高等数学のような対象は、多面的かついろんな切り口（複数の）で理解すべし
数学史 タイムラインは その一つだ
２）謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
自分で絵に落とす。見えない物をあえて絵にしてみる
そして、私見ですが
自分の“big picture”を作るべしです （＾＾
そして“巨人の肩”（下記） 遠慮無く乗って 遠く見通すべし！
省26
39: 06/13(土)09:15 ID:TTzQJf42(39/46) AAS
つづき
(参考)
外部ﾘﾝｸ:math.ｓａｋｕｒａ.ne.jp/?action=common_download_main&upload_id=1374
飯高茂先生に聞く
さくらインターネット 2013/11/22
P2
2 大学時代
あるとき，先生が「数列とは何か?」と質問されたのですが，そのとき，私は「自然数から数への写像でしょう」と答えたのです。すると先生は「その通り」と言いました。私は数列の定義を覚えていたわけではなかったのですが，高校時代の勉強で，大学の数学の勉強の方法や考え方が身についていて，自然に答えたのだと思います。
P4
3 大学の教員となって
省6
40: 06/13(土)09:16 ID:TTzQJf42(40/46) AAS
つづき
2chｽﾚ:math
(まとめ 再投稿)
外部ﾘﾝｸ:imgur.com
「図解 関数の連続・不連続とε-δ」
拙い図ですが （＾＾
１）図解にあるように
逆像を考える意味は
もし 関数y=f(x)が不連続ならば
象y軸上で 不連続部分 例えばy0として そこのギャップを見つけて
省32
上下前次1-新書関写板覧索設栞歴
あと 150 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s