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

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

4: １３２人目の素数さん [] 2025/10/31(金) 11:38:06.61 ID:0+I+3mSE

つづき
://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プライムオンライン

＜IUT国際会議 2つのシリーズ＞
1．
://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/IUT-schedule.html
RIMS
Promenade in Inter-Universal Teichmüller Theory
Org.: Collas (RIMS); Dèbes, Fresse (Lille).
The seminar takes place every two weeks on Thursday for 2 hours by Zoom 17:30-19:30, JP time (9:30-11:30, UK time; 10:30-12:30 FR time) — we refer to the Programme for descriptions of the talks and associated references. ://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/documents/RIMS-Lille%20-%20Promenade%20in%20Inter-Universal%20Teichm%C3%BCller%20Theory.pdf

2．
://www.kurims.kyoto-u.ac.jp/~motizuki/project-2021-japanese.html
宇宙際タイヒミューラー理論の拡がり
（４回とも無事終了です）
なお、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生
8月末〜9月初めの二つのIUT会議に出席したようです
つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/4

5: １３２人目の素数さん [] 2025/10/31(金) 11:39:25.97 ID:0+I+3mSE

つづき

参考
://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut1.html
宇宙際タイヒミューラー理論への誘い（いざない）2021-08-31?2021-09-03
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),

://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut2.html
宇宙際タイヒミューラー理論サミット２０２１ 2021-09-07?2021-09-10
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),

://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 について＞
https://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
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”圏論やってます だ

なお
https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
望月
https://www.kurims.kyoto-u.ac.jp/~motizuki/Suuronteki%20log%20scheme%20no%20kenrontekihyouji%20kara%20mita%20daen%20kyokusen%20no%20suuron%20(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論　（北海道大学 2003年11月）. PDF
P1
§1 圏のIU幾何
§1.1 Motivation
"F1上のキカが必要"
　↓
"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/5

6: １３２人目の素数さん [] 2025/10/31(金) 11:39:57.77 ID:0+I+3mSE

つづき

(参考)（この中村博昭は、必読基礎文献です）
https://www.mathsoc.jp/section/algebra/algsymp_past/algsymp18_files/houkokusyu/09-Nakamura.pdf
グロタンディーク・タイヒミュラー理論の話題から
中村博昭（大阪大学理学研究科）
第63回代数学シンポジウム（於東京工業大学，2018年9月）報告集所収
1.Introduction
代数曲線やそのモジュライ空間のエタール基本群を通じて，数体の絶対ガロア群の数論幾何的な働きが大きく映し出される現象が，１９８０年代に等により指摘されて以来，数論的基本群を中心に，遠アーベル幾何学，ガロアの逆問題などの問題群の理解も深められてきた．
1.2道草(復元の話）
筆者が最初に代数学シンポジウムで話をさせて頂いたのは，北大で1989年に開催された第35回代数学シンポジウムであった．代数学シンポジウム報告集は，現時点で電子的に２００４年以降のものは代数分科会のホームページで入手可能だが，それ以前のものは紙媒体で大学毎の数学図書室に所蔵されているものが(ただし所蔵状態は所によりまちまちのようで)ある．幸いにして，筆者の上記の報告集の記事は英訳を[29]として出版する機会を得た（20年後の2009年にケンブリッジの研究所で行った遠アーベル幾何の入門講義の報告を兼ねている．このときの主な内容はGrothendieckの遠アーベル幾何の基本予想「数論的基本群の純群論的構造から双曲型代数曲線を復元する」を，種数0の場合と，楕円曲線ひく1点の場合に解決したことの報告であった．
円分指標の有用性を理解するのに好適な題材であるので，ここで簡単に種数0の点抜きの射影直線の場合に素描しよう．問題は，Uλ:= P1・・（略）とすると
略す

https://www.mathsoc.jp/~topology/topsymp/2017/ts2017all.pdf
第64回トポロジーシンポジウム 2017年
https://www.mathsoc.jp/~topology/topsymp/2017/ts2017Miyachi.pdf
第64回トポロジーシンポジウム 2017年
宮地 秀樹 (大阪大学)
タイヒミュラー空間論の位相幾何学的側面と複素解析的側面の一意化に向けて
— ここでは,タイヒミュラー空間論の位相幾何学側面の中でも無限遠境界を描写す. る Thurston 理論について復習する. 3.1. 考え方. 例 1.2 を用いてタイヒミュラー空間の無限 ...
略

https://en.wikipedia.org/wiki/Teichm%C3%BCller_space
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.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/6

7: １３２人目の素数さん [] 2025/10/31(金) 11:40:17.84 ID:0+I+3mSE

つづき

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.

https://ja.wikipedia.org/wiki/P%E9%80%B2%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
p進タイヒミュラー理論
p進タイヒミュラー理論（ピーしんタイヒミュラーりろん）は、数学者の望月新一によって開発された数学の理論である。この理論は、古典的なタイヒミュラー理論をp進数体の世界に拡張したもので、p進曲線とその構造を決定する係数の「一意化」を扱う理論である。
通常の宇宙際タイヒミュラー理論は、リーマン面を研究対象とし、そのフクシアン一意化、すなわちリーマン面を上半平面から普遍被覆空間への等角写像によって記述することを目指す。この一意化は、リーマン面上の特別な性質を持つ線束（正準固有束）の存在と密接に関係している。この線束は、複素共役によって不変であり、モノドロミー表現が準フクシアンであるという特徴を持つ。
p進タイヒミュラー理論では、古典的なアイデアがp進曲線の文脈で再構築され。具体的には、リーマン面における複素共役の役割は、p進曲線の理論ではフロベニウス自己準同型が担う。同様に、準フクシアンという条件は、積分条件によって置き換えられる。
(引用終り)
つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/7

9: １３２人目の素数さん [] 2025/10/31(金) 11:42:14.01 ID:0+I+3mSE

つづき

https://www.kurims.kyoto-u.ac.jp/~yuichiro/introduction_to_inter-universal_teichmuller_theory.pdf
宇宙際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というデータが,
“遠アーベル幾何学を用いたエタール的な結び付きによる対象の輸送”
という操作の, 典型的な設定となります. 」

https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
望月新一 出張・講演
[12] 宇宙際タイヒミューラー理論への誘（いざな）い　（京都大学数理解析研究所 2012年12月） PDF
https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20Taihimyuuraa%20riron%20he%20no%20izanai.pdf
宇宙際タイヒミューラー理論への誘（いざな）い 望月新一（京大数理研）
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予想」）
つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/9

10: １３２人目の素数さん [] 2025/10/31(金) 11:42:51.90 ID:0+I+3mSE

つづき

https://www.kurims.kyoto-u.ac.jp/~motizuki/Anabelioid%20no%20kikagaku%20(Meijidai%202002-03).pdf
Anabelioidの幾何学 望月新一（京都大学数理解析研究所）2002年3月
P2 大域的な乗法的部分群スキームを、元々の作業の場としていた集合論的な‘宇宙'
において構成することをひとまず諦め、全く別の、独立な宇宙における、
元の対象たちE､F、K等のコピーE◎､F◎、K◎に対する乗法的部分群スキームの構成を目指す

(https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6))
ノイマン宇宙：最初にErnst Zermelo 1930が提唱した宇宙Vorg (到達不能基数なし)
グロタンディーク宇宙：到達不能基数あり https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
クラス：ある公理系からは 集合と認められない 集まり（公理系が変われば 変わる）
(参考)>>469 より再録
https://www.mathsoc.jp/activity/video/2017spring/0324usuba.html
企画特別講演　2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
発表スライド『集合論の宇宙　Universe と Multiverse』
P7
到達不能基数
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である

https://elecello.com/
近藤 友祐 (KONDO, Yusuke) 生年： 1995 年 (平成 7 年) https://elecello.com/profile.html 自己紹介
https://elecello.com/works.html
集合論ノート

https://konn-san.com/
石井 大海
https://konn-san.com/2024-forcing-seminar-notes/00-introduction-to-set-theory-and-logic.pdf
強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
強制法は、与えられた現在の集合論のモデル（宇宙、universe）に新たな元を付加して拡張するための一般的な枠組みである
つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/10

11: １３２人目の素数さん [] 2025/10/31(金) 11:43:15.73 ID:0+I+3mSE

つづき
＜過去スレより再録＞
スレ46 ://rio2016.5ch.net/test/read.cgi/math/1589677271/273
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね

１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
　（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
　あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
　しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です

ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；
（蕎麦屋さん、数理論理君も、どうぞそちらへｗ）

スレ46 ://rio2016.5ch.net/test/read.cgi/math/1589677271/883
１．RIMSを まず 普通の論文と見れば良いと思うのだが？　つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾

アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか

笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；
つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/11

12: １３２人目の素数さん [] 2025/10/31(金) 11:44:55.24 ID:0+I+3mSE

つづき
://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.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/12

13: １３２人目の素数さん [] 2025/10/31(金) 11:46:31.46 ID:0+I+3mSE

つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
https://www.amazon.co.jp/dp/4480095470
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである

加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
IUTに欠落しているのは、メンタルピクチャー＆形式化図式か
(参考)
https://note.com/katobungen/n/nccba3ef014f6
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ。

形式化された理論
メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ。
数学の研究論文における形式的●●●議論は、例えばLean4やCoqなどのコンピューター言語による形式化からすれば、まだまだ「非形式的（informal）」なものだろう。人間のやる数学はまだまだインフォーマルであり、行間が広く、とてもとても形式的議論とは言えない。
とはいえ、ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化
(*)　　MP ーーーー形式化ー＞ FT
のことである。

形式化図式と数学の「理解」
形式化図式は数学を「理解する」という行為の内実とも、深く関係している。人間による数学の理論とは、単なるコードの連なりとして理解することではない。それは理論のメンタルピクチャー（MP）と、それと形式的理論との関連付け、すなわち形式化図式を構築することである。メンタルピクチャーだけによる理解は危険であるが、メンタルピクチャーによる裏付け・接地のない理解は不健康である。それは健康でないだけでなく、理解の深さがないという意味でも、完全な理解とは言えない。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/13

14: １３２人目の素数さん [] 2025/10/31(金) 11:47:00.31 ID:0+I+3mSE

つづき
＜“big picture”＞
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
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.
https://terrytao.wordpress.com/career-advice/
Career advice Terence Tao

謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)ｗ これでしょうね ；ｐ）
(参考)＜いまリンク切れだが＞
https://youtu.be/q-3IWEyfFQg?t=11https://youtu.be/q-3IWEyfFQg?t=1
数学に向かない人の数学書の読み方。数学者はこうやって読む
謎の数学者 2022/06/07
コメント
@gary8593
2 年前
「絵を描くように」という例えが、めちゃくちゃ腑に落ちました。
特に英語の文献を読む時に精読を心がけすぎて、全体像が掴めなくなることがよくあって困ってたので、参考にします。

https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9
Henri Poincaré
https://en.wikipedia.org/wiki/The_Value_of_Science
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訳)
直感と論理
最後に、ポアンカレは幾何学と解析学 の科学の間に根本的な関係があるという考えを提唱しました。彼によれば、直感には二つの主要な役割があります。科学的真理を探求する上でどの道を進むべきかを選択すること、そして論理的展開を理解することです。
論理は確実性しか与えず、証明の手段である。直感は発明の手段である。
つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/14

15: １３２人目の素数さん [] 2025/10/31(金) 11:47:39.07 ID:0+I+3mSE

つづき
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、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
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）

＜＊）サイコパスの特徴＞
（参考）://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ｗ)」の連れです https://rio2016.5ch.net/test/read.cgi/math/1736907570/
つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/15

17: １３２人目の素数さん [] 2025/10/31(金) 11:49:12.92 ID:0+I+3mSE

つづき

一句”不勉強 オチコボレのさばる 便所板”（字余り）
不勉強、言い訳だけは、いちょまえ
オチコボレ、言い訳だけは、一流だ （追加）
不遇な「一石」“鳥なき里のコウモリ”そのままで、“シッタカ”ぶりの、アナーキストのアホ男

「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ

(参考)
https://dic.pixiv.net/a/%E3%82%B4%E3%83%BC%E3%83%9E%E3%83%8B%E3%82%BA%E3%83%A0%E5%AE%A3%E8%A8%80
ピクシブ百科事典
ゴーマニズム宣言
『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞

https://note.com/dcrg7mgm/n/n3eeb06fd35d0
アホな同僚や相手に構うことほど、人生ムダなことはないよね。
レトリカ・ブログ （学院長 川上貴裕）
2024年11月2日

どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。

世の中、理不尽なことばかりです。
略す
上記のように嫌みをこぼす、アホな同僚が、おそらく、皆さんの周りにもいることでしょう。

でも、こんな愚かなアホのせいで、自分の心が疲弊したり、病んだり、最悪の場合、教職を諦めてしまうことになることほど、理不尽なことはありませんよね。

では、こんなアホには、どう対抗すればいいのか。

いえいえ、今日はそんな話ではないのです。

マザーテレサの名言に、
「愛の反対は、憎しみではなく、無関心です。」
という言葉があります。

まさにその通りです。
アホに対して、憎しみをもったり、エネルギーを費やしたり、感情的になったり、帰宅後も脳裏に思い出したりすることほど、人生を無駄にしていることはないのです。
略す
また、田村耕太郎さんの『頭に来てもアホとは戦うな！』という書籍も、おすすめです！ぜひ、読まれてみてください！
(引用終り)

なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ

上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾

テンプレは、以上です

http://rio2016.5ch.net/test/read.cgi/math/1761878205/17

18: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/10/31(金) 17:22:59.50 ID:0+I+3mSE

https://takebetakashi.seesaa.net/article/484868742.html
楕円≠楕円曲線≠楕円関数 武部のブログ 20211219

お陰様で拙著「楕円積分と楕円関数」はボチボチ売れ続けているようで、お買い上げ頂いた皆様にはお礼申し上げます

ネットや SNS で検索すると感想や書評が見つかり、冷や冷やしながら読んでいます。幸い、今の所概ね好意的なご意見が多いので、ホッとしています
「『おとぎの国の歩き方』とあるから簡単かと思ったら難しかった」という方が何人かおられました。数学セミナーでの連載を始める時に「楕円積分と楕円関数」というだけではあっさりし過ぎているかな、と思い、Bellman の「楕円関数の理論は数学者のおとぎの国」というセリフからこんな副題をひねり出しましたが、この副題で調子に乗って「お話」に流れたと思われるのは本意ではないので、連載中には例えば「妖精」を登場させたり擬人化したりする事は断固として避け、数学の議論に集中しました。でも、「数学の読み物」を探している方には余計な期待を持たせるものであったことは否めないので、そこは申し訳ありません
最近、某大手通販サイトで、明らかに中身を読んでいない、というか「それ関係ないよ」という話が書かれている書評を見つけてしまい、「？？？」という気になっています。曰く、「フェルマーの最終定理に関係ある」のだそうです。いやいや、それは楕円曲線論であって、こっちは楕円関数論。数論の楕円曲線みたいな難しいものはそもそも私には無理
でも、そう言えば「フェルマーの最終定理」が「楕円関数で解けた」みたいな事が書かれているのをたまに見かける事があります。どこから「関数」が出てくるんだろう？

と少し考えて、「もしかして、こういう連想なのではないか」という仮説を立ててみました
・「フェルマーの最終定理の証明は『有理数体上の楕円曲線はモジュラーである』という定理から導かれるそうだ」
・「言葉が全然分らん。でも『楕円曲線』ってのだけは分る。楕円は曲線だよね」
・「でも楕円って簡単すぎない？高校でもやるやつじゃないか。フェルマーの定理って難しいって話なのに、そんな簡単なものを使って解けるのかなぁ」
・「ああ、そう言えば『楕円関数』ってのがあるとか。きっとこっちだよ」
・「つまり、『楕円関数を使って難しいフェルマーの最終定理が解けた』って事なんだろ」

ここでの最大の誤解は「楕円曲線＝楕円」という所
楕円曲線は３次式や４次式で表され、楕円は２次式、という所から始まって「楕円曲線」と「楕円」では話のレベルが格段に違いますが、こういう数学に馴染みがなければ「念の為に『曲線』を付けただけで同じもの」と思っても不思議は無いでしょう
しかし逆に数学関係者は既に慣れっこになっていてわざわざ「違うよ」と注釈を付けない事も多いのでは？
「楕円の弧長を表す積分」→「楕円積分」→「その逆関数を楕円関数と呼ぼう」→「楕円関数が乗っている図形を楕円曲線と呼ぼう」という名前の付け方の連鎖が安直過ぎます。「楕円曲線」っていう紛らわしい名前、一体誰が付けたんでしょう？いや、その前の段階の「楕円関数」という名前に既に無理がありますね。でもこれらの名前は完全に定着していますから今更変えようがないです
偉い先生には、新しい概念を導入される時の命名には十分注意して頂きたいものです

http://rio2016.5ch.net/test/read.cgi/math/1761878205/18

上下前次 1-新書関写板覧索設栞歴

あと 981 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.031s