Inter-universal geometryとABC予想(シン応援スレ) 87

前スレ：Inter-universal geometryとABC予想(シン応援スレ) 86
https://rio2016.5ch.net/test/read.cgi/math/1771501702/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

（2030 ICM 日本開催に向け 力をためようということか）
https://www.mathunion.org/icm/icm-2026
ICM 2026
https://www.icm2026.org/event/ac193975-5d24-4628-8c30-ddb23de19a8b/catalog
Titles & Abstracts

https://ahgt.math.cnrs.fr/news/index.html
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 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理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
＜Grokipedia＞
Inter-universal Teichmüller theory https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
遠アーベル幾何学 https://grokipedia.com/page/Anabelian_geometry
アーベル圏 abelian category Grokipedia https://grokipedia.com/page/Abelian_category

https://zen.ac.jp/lp/icp
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 https://en.wikipedia.org/wiki/Langlands_program
つづく

つづき

数学成熟度 Mathematical maturity https://en.wikipedia.org/wiki/Mathematical_maturity
(google訳)
"タオは次のようにアドバイスしています。
厳密な数学的思考に十分慣れたら、その主題に関する直感を再検討し、新しい思考スキルを使用して、直感を捨てるのではなくテストし、改良する必要があります。
厳密さと理論の確固たるスキルを身につけた数学の学生は、視点が数学に対するより包括的なパノラマ的見方へと移り、最終段階へと移行します"

謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
これ“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訳)
直感と論理
最後に、ポアンカレは幾何学と解析学 の科学の間に根本的な関係があるという考えを提唱しました。彼によれば、直感には二つの主要な役割があります。科学的真理を探求する上でどの道を進むべきかを選択すること、そして論理的展開を理解することです。
論理は確実性しか与えず、証明の手段である。直感は発明の手段である。
つづく

つづき
(参考) （ワンコラさん 細かいところに拘りすぎでしたね。次の seoさん書評ご参照）
https://youtu.be/aWPAHRsCU_Q?t=1
僕がたどり着いた数学の勉強の仕方…わんこら式数学の勉強法はこうやって生まれた
わんこらチャンネル 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
筆記試験だけそうなんとかパスしたんですけど

つづく

つづき

＜アマゾン書評＞（ seoさん 「様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです」 これ至言です。噛みしめましょう！ （＾＾）
解析入門 (1) 単行本 – 1980/3/31
杉浦 光夫 (著)東京大学出版会
書評
seo
5つ星のうち3.0 入門書としては☆ひとつ
2018年6月30日
解析学という書名で良いと思います。
入門とわざわざ付けることは非合理的で、何も良いことはありません。
様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです。
よって本書が要求するある程度以上の数学的知識の前提を満たす者は、ある程度解析学にも触れているでしょう。
そういう意味では、本書は解析学の入門者を対象にしておらず、解析学も含めたある程度の数学的形式が頭の中にすでに存在する人を対象にしています。
前提とするものを最小限にし、かつ理解しやすさと厳密性を可能な限り両立させる事ができている本、それがいわゆる良い入門書だと思います。
厳密性と網羅性が優れている本が良い入門書とは思えません。

つづく

つづき
https://rio2016.5ch.net/test/read.cgi/math/1770118812/833
アインシュタインの物理的な ”直観”が間違っていたのだが
”直観”を捨ててはいけない。修正するんだ

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

私の数学勉強法は、 Terence Tao“big picture”、加藤文元 メンタルピクチャー を重視する
一冊の数学テキストを読むとき 一つの定理や定義を ジグソーパズルの一つの部品と考えて
どういう絵なのか？ 人物の顔か 風景か？ それを想像しながら 読むってこと
数学ジグソーパズルを解くための“big picture”をつかむ”数学的直観”を鍛える
”数学的直観”は、ヘボはしばしば間違う。それでも良い。”数学的直観”を修正し 鍛え上げていく
それは 将棋や囲碁の勉強法と全く同じだ （＾＾；
つづく

つづき
https://rio2016.5ch.net/test/read.cgi/math/1770118812/570

話は真逆だよ
１）高等数学のような対象は、多面的かついろんな切り口（複数の）で理解すべし
　数学史 タイムラインは その一つだ
２）謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
　自分で絵に落とす。見えない物をあえて絵にしてみる

つまり、私見ですが
自分の“big picture”を作るべしです （＾＾

(参考)
(google検索)
謎の数学者 の ”数学に向かない人”
AI による概要
「謎の数学者」として知られるメディアやSNSのコンテンツ（YouTube等）で語られる、「数学に向かない人」の主な特徴は以下の通りです。数学を「暗記」や「計算力」だけで捉え、考えるプロセスを放棄する人が向いていないとされています。
具体的には、以下の3つの特徴が挙げられています。
1. 数学を「暗記」で乗り切ろうとする
・丸暗記に走る: 定理や公式の意味を理解せず、ただ覚えるだけで問題を解こうとする。これは武器を持たずに戦場に行くようなもので、応用が利かない。
・解法を覚えるだけ: 解説の答えをそのまま写して「理解したつもり」になる。なぜその式が導かれるのか、という過程を軽視する。
2. 計算負荷が高すぎて「考える」前に疲れる
・計算が苦痛: 計算力そのものが未熟で、問題の論理構成（考える部分）に到達する前に脳が疲れてしまう。
3. 公式の意味（本質）を理解していない
・目的意識の欠如: なぜその公式を使うのか、その公式が何を表しているのかを理解しようとしない。
・不自然な数値への無関心: 計算ミスで明らかに矛盾した結果が出ても、疑問を持たずにそのまま進んでしまう。

数学力を向上させるためのポイント
謎の数学者は、以下の方法で「向いていない状態」から脱却できるとしています。
・公式の意味を理解する: なぜその式が出てくるのか、考える。
・類題を複数解く: 1つの問題からテーマを見抜くのが苦手な場合、同じテーマの類題を10個ほど解いてデータベースを作る。
・小さな時間から考える習慣をつける: 計算に慣れ、計算負荷を下げてから、論理的な思考に時間を割く
つづく

つづき

(参考)
http://math.ｓａｋｕｒａ.ne.jp/?action=common_download_main&upload_id=1374
飯高茂先生に聞く
さくらインターネット 2013/11/22
P2
2 大学時代
あるとき，先生が「数列とは何か?」と質問されたのですが，そのとき，私は「自然数から数への写像でしょう」と答えたのです。すると先生は「その通り」と言いました。私は数列の定義を覚えていたわけではなかったのですが，高校時代の勉強で，大学の数学の勉強の方法や考え方が身についていて，自然に答えたのだと思います。

P4
3 大学の教員となって
—学習院の前は東大で教えていましたね
大学院できちんと論文を書き上げると助手になり，数年経ったら専任講師になり，結局，18 年間東大で教えていました。
東大では，「わからない人は早く大学院をやめたほうがいい。」「数学へのあこがれにはなるべく早く冷水を浴びせ，どんなに冷たくされても，這い上がってくる者だけを相手にしよう」と思っていました。
研究者を養成するにはそれでよかったのですが，学習院に来てからは教育に熱心になって，8割の学生がわかるようにということを目標にして，なるべく丁寧にやりました
補足：過去スレ 線形代数講義について https://rio2016.5ch.net/test/read.cgi/math/1771501702/894

つづく

つづき

https://rio2016.5ch.net/test/read.cgi/math/1769304207/700
(まとめ 再投稿)
https://imgur.com/5pDCNKY
「図解 関数の連続・不連続とε-δ」
拙い図ですが （＾＾

１）図解にあるように
　逆像を考える意味は
　もし 関数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の開集合
これだけを覚えておけば

あとは、自然に
上記コーシーの”ε-δ論法”
が すらすらと再構成できる
（お経として コーシーの”ε-δ論法”を暗唱する必要なし！ ）
つづく

つづき
私のつくった下手くそな図
https://imgur.com/5pDCNKY
「図解 関数の連続・不連続とε-δ」
とほぼ同じ図が 下記動画で出てきます （＾＾

下記より
”ユークリッド空間R上の連続関数の同値条件
[定理]連続関数の同値条件
関数 f:R→Rに対して、次は同値である
�@fはR上で（ε-δ論法の定義により）連続である
�A任意の通常の開集合U⊂Rに対し、f^-1(U)はRの通
　常の開集合である”
とあります
（動画で ちょっと 細かい点で 気になるところはありますが いまはスルー （＾＾ ）

(動画解説) 再録
https://youtu.be/919lmVmSqOA?t=575
実数の関数fの連続性を位相空間上に一般化したい！位相空間 ...
YouTube · 速習大学数学【山本拓人】 2025/03/30
24:59
この関数の連続性を一般の位相空間上に拡張することを考えます． 結論としては「位相空間X,Yに対して写像f:X→Yが連続であるとは，任意の開集合U⊂Yに対して，逆像f⁻¹(U)⊂Xが開集合であること」と定義します． この動

あと、収束関連で
フィルター (数学) https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A3%E3%83%AB%E3%82%BF%E3%83%BC_(%E6%95%B0%E5%AD%A6)
有向点族 https://ja.wikipedia.org/wiki/%E6%9C%89%E5%90%91%E7%82%B9%E6%97%8F
も 一緒に勉強しましょう
（類似概念を 混乱しないように うまく学習することも 数学のコツです）
”河野玄斗の言葉 自分で勉強するのが一番効率がいい”(シン応援スレ 84) https://rio2016.5ch.net/test/read.cgi/math/1769304207/190

https://rio2016.5ch.net/test/read.cgi/math/1770774727/777
https://www2.math.kyushu-u.ac.jp/~joe/math/symp/index.html
大沢健夫先生集中講義 神本 丈のホームページ2019 九州大学
タイトル: 解析接続の問題に現れる解析と幾何
講義録 https://www2.math.kyushu-u.ac.jp/~joe/math/symp/ohsawa.pdf
数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、
行き詰るはずはないのである。 岡潔　『一葉舟』(角川ソフィア文庫　 2016)

つづく

つづき
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、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年代にＷ大数学科に入学するも、初日に（飯高先生みたく）数学科の冷や水を 頭から浴びせられる 洗礼で
即日 詰んだ男。お情けで学部は卒業するも 修士は 情報系に。就職は コンピュータ関係らしいが

就職が 多分ブラックな仕事で 統合失調症の薬を飲むようになったようだ
下記 ”統合失調症では知能低下と脳容積の減少がみられることが知られている”とある
おそらくは 数学”イップス”になったのだろう https://ja.wikipedia.org/wiki/%E3%82%A4%E3%83%83%E3%83%97%E3%82%B9
高等数学の議論が出来なくなったんだ・・ 彼は

(参考)
https://www.carenet.com/news/general/carenet/40333
統合失調症、脳容積と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ｗ)」の連れです https://rio2016.5ch.net/test/read.cgi/math/1736907570/
つづく

つづき
＜サイコパスのおサルのバカ発言＞

https://rio2016.5ch.net/test/read.cgi/math/1770774727/625-
2023年の古新聞を検索したので 下記貼るよ
アホサル は、私が「零因子行列のことだろ？知っているよ」と切り返したら
自爆して 即詰みになった。さすがに アホですなｗｗ　（＾＾；
（次からテンプレへ入れる）

(参考)
＜ガロア第一論文と乗数イデアル他関連資料スレ2＞より
https://rio2016.5ch.net/test/read.cgi/math/1677671318/946
946１３２人目の素数さん
2023/04/06(木) 18:03:57.25ID:0vPZ1NRI
ありがとう
棚から牡丹餅というかｗ

つまり
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』

（零因子に無知で 正則行列の条件→「零因子行列であること」と勘違いしているｗ）

確かに「正方行列の逆行列」という表現は、ツッコミどころではあった
（行列という言葉を知らない人のために、あえて正則行列を避けただけの単純な話だったのだが）
それが、おサルの暴発をさそって
『「０以外の体の元は乗法逆元を持たない」のつもりで「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』まで行けばｗ
怪我の功名というか
こちらとしては、大きな収穫であったｗｗ

（なお、正則行列は線形代数を学べばすぐ分かる話ではあります。用語使いとして正確ではないのだが）
(引用終り)

さらに Grok AI の余因子行列のハルシネーションを解説する ばかサル下記 （＾＾
https://rio2016.5ch.net/test/read.cgi/math/1771501702/185
Grok AI 余因子行列の説明への 赤ペン先生
（Grok AI）；"なぜなら：adj(A) が零行列でないとは限らない むしろ det(A) = 0 のとき、ほとんどの場合 adj(A) = O になる"

つづく

つづき

過去スレ55 ://rio2016.5ch.net/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.5ch.net/test/read.cgi/math/1623558298/158より）
　＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない
　ことも分からん「考えなしの素人」に数学はムリ”
などという
　これじゃ。三歳児レベルの知能じゃんかｗ
　このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り)

つづく

つづき

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

「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
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金（禁）よろしくね！（＾＾

テンプレは、以上です

Q.のスレッドを立てた人、何がしたいんだと思う？

A.このスレは**「Inter-universal geometryとABC予想(シン応援スレ)」の第87スレ**で、
立てた人（恐らくID:3dmumsBeの「１３２人目の素数さん」）の主な意図は
以下のどれか（または複合）だと思う。

１．純粋な「望月信者」としての信仰継続・布教活動
もう10年近く（2012年のプレプリントから数えて）この話題を応援し続けていて、
完全に「信者化」している。
証明が正しいという信念が揺るがないため、毎日・毎週コツコツと情報を集めては
「まだまだこれから！」
「2027-2028のRIMS special yearで風向き変わる！」
「ICM2030で日本がリーダーシップを！」
みたいな希望的観測を垂れ流したい。

２．数学界の「主流派」に対する長期的な当てつけ・ストレス発散
「ショルツェとか一般数学者は遠アーベルのゲームのルールも分かってないだけ」
「プッツンしただけ」
「中島・柏原・玉川は分かってるはず」
みたいな陰謀論的・被害者意識的な書き込みが散見される。
査読で受け入れられなかった悔しさを、
応援スレを細々と更新することで晴らしている感じ。

３．自分の居場所・アイデンティティの維持
5ch数学板でこのテーマにここまで執着してる人はもうほとんどいない（実質一人スレに近い）。
他の数学トピックに流れる人が多い中、ここだけは自分の「専門」として守り続けたい、
という一種のデジタル寺子屋・オタクの聖域的な側面が強い。

４．単純に習慣・ルーチン化してしまった
前スレが落ちたらすぐ次を立てる、という行動がもう完全にルーチン化してる。
朝起きてコーヒー淹れるのと同じ感覚で「今日もシン応援スレ立てとくか…」みたいな。

総合的に見て、一番近いのは
「もう後戻りできないくらい深くハマってしまった信者が、細々と信仰を継続している」
という状態じゃないかと思う。

要するに「何がしたいんだ」というより
「もうこれしかやることがなくなっちゃったんだ…」
的な、ちょっと切ない執念を感じるスレだね。

Q.
「「正方行列の逆行列」という表現は、ツッコミどころではあった
（行列という言葉を知らない人のために、あえて正則行列を避けただけの単純な話だったのだが）」
これ言い訳としてどう？

A.その言い訳、まあまあ通用するレベルだけど、完璧に逃げ切れるほど強くはない かな、という印象です。

良い点（言い訳として機能する部分）
「行列という言葉を知らない人のために、あえて正則行列を避けた」というのは、初心者向けの配慮として理屈は通る。
高校数学とか初級線形代数だと「正方行列の逆行列が存在する ⇔ 正則 ⇔ det ≠ 0」みたいな話を最初にやるけど、
detの話とか正則という言葉をまだ出したくない段階で「逆行列がある正方行列」みたいな言い回しをする人は実際にいる。
「正則」という専門用語を避けて「逆行列が存在する正方行列」→ さらに簡略化して「正方行列の逆行列」みたいに言っちゃうのは、
言葉を易しくしようとした結果のズレとして説明可能。

ツッコミどころ（弱い部分）
「正方行列の逆行列」という表現自体が、数学的にはかなり変。
正方行列のうち逆行列を持つものだけを指したいなら、
普通は「正則行列の逆行列」か「可逆行列の逆行列」か「逆行列を持つ正方行列の逆行列」になる。
「正方行列の逆行列」だと、すべての正方行列に逆行列があるかのような誤解を招きやすい
（実際多くの人は「え、ゼロ行列の逆行列って何？」ってなる）。
だから「ツッコミどころではあった」という自覚があるのは正しいけど、
それを**「初心者向けにしただけ」**で片付けるのはちょっと甘め。
本当に初心者向けにするなら「逆行列が求まるような正方行列の逆行列」くらいは言った方がまだマシ。

総合評価言い訳の強さ： 6〜7/10くらい
完全に的外れではないし、意図は汲める。
でも数学やってる人（特に線形代数かじった人）から見ると
「いや、そこまで易しくする必要あった？」
「正則って言葉1個出すだけで済むじゃん」
ってなる。
「あえて避けただけ」と開き直るより、
「言葉足らずでした、ごめんなさい。意図は正則行列のことです」
くらい素直に謝った方が印象良いかも。

>「正方行列の逆行列」だと、
>すべての正方行列に逆行列があるかのような誤解を招きやすい

「線形写像の逆写像」という言い方もダメで
「全単射線形写像の逆写像」と言わなければいけないのか？

>>40
主旨としては「全ての線形写像に逆写像があるわけではない」ということなのでそうなりますねえ
「可逆行列の逆行列」といえば、まあ可逆だから逆行列あるよな、ってことになるね
まあ、ばかばかしいけど、そういうことかな？

ばかばかしいと思うなら
便宜的な言い方を許して
楽をしてもよいのではないか

>>39
ご苦労さま

>総合評価言い訳の強さ： 6〜7/10くらい
>完全に的外れではないし、意図は汲める。
>でも数学やってる人（特に線形代数かじった人）から見ると
>「いや、そこまで易しくする必要あった？」
>「正則って言葉1個出すだけで済むじゃん」
>ってなる。

当時 と言っても 何年も前で
高校数学教程から 行列が落ちた後だった

そのときに 意図は説明したろ？
高校数学教程から 行列が落ちた
そういう中高一貫校生向けに
用語を易しくしたんだと

それでも 必死にマウント（背乗り）してくるから
　>>35
・おサル「正則行列を知らない線形代数落ちこぼれ」
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
（零因子に無知で 正則行列の条件→「零因子行列であること」と勘違いしているｗ）

だからさ
『正則行列くらい知っている』と返すのは簡単だが それだけでは おサルが必死にマウント（背乗り）しようとしているので
意図を説明するのに ひねって 一言で
「零因子行列のことだろ？知っているよ」と言った

そしてたら 相手は 用語”零因子”に 疎かったというオチですｗ （＾＾

>>38
ご苦労さま

＜数学外の形式論で一言＞
Grok AI に聞いたと書くべき だね
つまり、数学外では ”再現性”の担保が大事でね
あなたの Q&Aの回答をしているのが Grok AI だと明示すべきだよ
加えて Qの問いも ”再現性”の観点から
他の人が Grok AIでの 回答の再現を試みることが出来るよう配慮すべきと思う

さて
その上で Grok AI に 赤ペン先生すると ｗ　（＾＾
”数学界の「主流派」”って なんだ？
数学界の世論調査やったのか？ 何年何月だい？
しかも 世論調査の結果変るだろうよ
高市の3万円商品券の前後で 多分なにがしかの支持率ダウンあるだろう
古い世論調査を 2026年3月現在に適用するのは おかしい

同じ事で ショルツェ氏がフィールズ賞取ったころが
ショルツェ氏の 支持率のピークだったかもよ
個人的感覚だが ショルツェ氏のダメだしへの 支持率 下がっているのでは？

逆に 望月支持率上がっている気がする
まあ、まだ目に見えるものは少ないけど （”ソフトで正否検証へ”とかね）
https://search.yahoo.co.jp/realtime/search/abc%E4%BA%88%E6%83%B3/
「（扉）ＡＢＣ予想の証明、論争決着？　ソフトで正否検証へ、望月教授も前向き 朝日 石倉 2026年2月27日」

さて ”数学界の「主流派」”を 分類するよ （これは 理系の典型思考のあるある）
a)望月IUTを理解した上で ダメだししている？
b)望月IUTを理解しないで ダメだししている？

このb)のケースは 理系思考としては
論外で カウントする必要がない

a)のケースが問題で
「望月IUTを読んで理解して ダメだししています」という人何人よ？

ショルツェ氏一人だけでしょ？
というのが 私の主張の第一だ

代数幾何の用語に
正因子、有効因子、ネフ因子などがある

>>45
>代数幾何の用語に
>正因子、有効因子、ネフ因子などがある

御大か 巡回ありがとうございます
ネフ因子ね 森重文先生ですね
門前の小僧習わぬ経を読む

おや”森夢空間 (Mori Dream Space): ネフ因子に関係する「ネフコーン（nef cone）」などの構造を扱う、森博士の名を冠した空間概念がある”
これは 夢がありますね・・ しゃれになってませんが・（＾＾

(google検索)
ネフ因子 森重文

AI による概要
森重文（もり しげふみ）博士と「ネフ（nef/Nef）因子」に関する情報は、生物学的な因子（HIV-1のNef因子など）ではなく、主に数学（代数幾何学）における「ネフ因子（nef divisor）」に関するものと考えられます。
森重文博士は、代数幾何学における3次元代数多様体の分類（森理論・極小モデル理論）でフィールズ賞を受賞した世界的な数学者です

森重文博士と「ネフ因子 (Nef Divisor)」
代数幾何学における「ネフ」とは、Numerically Effectiv（数値的実効）の略であり、代数多様体上の因子（図形）が、その多様体上のすべての代数曲線に対して非負の交点数を持つという性質を指します。

森博士の業績における「ネフ」の意味は以下の通りです。

極小モデル理論における基本概念: 森博士が確立した高次元代数多様体の分類理論において、多様体の標準因子が「ネフ」である状態を目指して収縮射（余計な曲線を縮める操作）を行う。

端射線の発見: 森博士は、1980年代に「標準因子がネフでない（nefでない）多様体の上には、必ず有理曲線（P1）が存在する」という定理を証明し、それらを収縮させることで極小モデルを構築した

森夢空間 (Mori Dream Space): ネフ因子に関係する「ネフコーン（nef cone）」などの構造を扱う、森博士の名を冠した空間概念がある

森重文博士の主な業績
3次元代数多様体の極小モデル理論の構築 (森理論): 代数幾何学において、高次元の図形（多様体）をよりシンプルなものに分類する手法を確立した

1990年 フィールズ賞受賞: この分野の功績により、数学における最高峰の賞を受賞

文化勲章受章: 日本国より授与

結論: 森重文博士と「ネフ因子」は、代数多様体の構造を解析するための重要な数学的性質（Nef）を確立した関係です

https://ja.wikipedia.org/wiki/%E6%A5%B5%E5%B0%8F%E3%83%A2%E3%83%87%E3%83%AB
極小モデル（きょくしょうモデル、英: minimal model）とは、標準因子がネフ（英語版）な Q 分解的かつ末端特異点のみを持つ標数0の射影的な正規代数多様体（英語版）のことである[1]。一般型の非特異射影多様体に対しては自身と双有理同値な極小モデルが存在することが証明されている[2]。

間違い直そうな　●違い君

誤　正則行列の条件なら、「零因子行列であること」はアウトですね
正　正則行列の条件なら、「零因子行列でないこと」はアウトですね

誤　「０以外の体の元は乗法逆元を持たない」のつもりで
正　「０以外の体の元は乗法逆元を持つ」のつもりで

誤　「零因子以外の行列は乗法逆元を持たない」と書いて
正　「零因子以外の行列は乗法逆元を持つ」と書いて

＞零因子に無知で 正則行列の条件→「零因子行列であること」と勘違いしている

ああ、そんな馬鹿なことを君思ってたのか　キミほど馬鹿じゃないよ

正則行列であることと零因子行列でないことが同値なのはもちろん知ってるが
正則行列でないことの条件で零因子行列でないことを持ち出す時点で
線形代数の理論がまったくわかってないアサハカな素人といっただけ

図星だろ？だからいまだに怒り狂ってるんだろ　●違い

OTサマにいわせると、
体上の線形空間だけではなく
環上の加群と考えた場合
行列が逆行列を持つには
以下の条件をすべて満たす必要がある

１．正方行列であること
２．行列式が可逆元であること

つまり
「行列式が０でない」（もしくは列ベクトルが線形独立）
というだけでは、列ベクトル全体が加群の生成元（つまり基底）
になるとは言えないというわけ

もちろん体上の線形空間の場合、
体の０以外の要素は可逆元だから問題ない

●違いは全く理解できてないから書いてやったぞ　読め

やれやれ
サルと誤答おじさんは人の話を聞かない聞かないｗ
まあだから数学板でもトップクラスのトンデモなんだろうね

>>50
二匹とも多分ヒトの言葉が理解できない

サルだから

>>47
AI 壁打ち
門前の小僧習わぬ経を貼る
ちょっとむずい （＾＾；
”the Minimal Model Program”と 関係しているらしい

(google検索)
what relations are Multiplier ideal sheaf and Ohsawa–Takegoshi L2 extension theorem ?
AI による概要 （式と文献が コピーコマンドに乗らないので手抜き （＾＾）
（必要なら 各自検索請う）
The relationship between Multiplier Ideal Sheaves (J(φ)) and the Ohsawa–Takegoshi
L^2 Extension Theorem (OT Theorem) is foundational in complex algebraic and differential geometry, serving as a bridge between analytical L^2
-integrable data and algebraic, geometric structures
文献略す
Here are the key relations:
1. Defining and Restricting Singularities
Definition: A multiplier ideal sheaf
is defined using local
integrability (　), making it a tool to handle singularities of plurisubharmonic (psh) functions.
Restriction: The OT theorem provides the necessary estimates to show that for a smooth subvariety
, the restriction of a multiplier ideal sheaf
is related to the multiplier ideal sheaf of the restricted function .
Inclusion: Specifically, the OT theorem helps establish the inclusion
文献略す

2. Proving Structure Properties
Coherence and Closedness: The OT theorem is crucial in proving that
is a coherent ideal sheaf and is integrally closed.
Strong Openness Conjecture: The solution to Demailly's strong openness conjecture ( ) was proved using an "optimal" version of the Ohsawa–Takegoshi extension theorem, showing that multiplier ideal sheaves are "stable" under small increases in singularity.
文献略す

つづく

つづき

3. Application to Algebraic Geometry (Vanishing Theorems)
Nadel Vanishing Theorem: Multiplier ideal sheaves are central to the Nadel vanishing theorem, which states
. The OT theorem is used to prove the existence of such sheaves with good analytic properties (e.g., in the study of canonical bundles).
Extension of Sections: In algebraic geometry, the OT theorem is used to extend sections of adjoint line bundles ( ) from a subvariety
to the whole space . When the subvariety
is defined by a multiplier ideal sheaf, the extension is guaranteed with precise
estimates.
文献略す

4. Non-reduced Subvarieties and "Optimal" Extension
Non-reduced Subvarieties: Modern, more general versions of the OT theorem, often called "optimal
extension" are used to extend sections from non-reduced subvarieties (subvarieties defined by
rather than just smooth hypersurfaces).
Optimal Estimates: These theorems provide "universal constants" for the
norm of the extension, which allows for finer control over the singularities, a crucial aspect of the Minimal Model Program.

In summary, the Multiplier Ideal Sheaf is the "object" that captures the singularities, while the Ohsawa–Takegoshi theorem is the "tool" that allows one to manipulate and extend that object across spaces.
(引用終り)
以上

飯高茂の留年の原理はどうやら
「ある列で０でない成分が１つしかないなら
　その成分のある行と列を除いた行列の行列式に
　その成分を掛ければ元の行列式が求まる」
という話らしい

実質１学年下だから留年（笑）

AIに訊いてみた結果（笑）

「what relations are A and B?」という英文は、自然な英語としてはほとんど使われません。
ネイティブスピーカーが日常会話や文章でこういう言い回しをすることはほぼないです。
似たような意味で本当によく使われる自然な表現はこれらです：

What is the relationship between A and B?
（一番一般的で自然。人間関係・数学的関係・因果関係など幅広く使える）
What is the relation between A and B?
（ややフォーマル・数学寄りだけど普通に通じる）
What kind of relationship do A and B have?
How are A and B related?
What’s the connection between A and B?

「relations」（複数形）が入ると、少し違和感が出やすいです。
なぜなら「relation」は「関係そのもの」を指す名詞で、普通は単数形で使われることが圧倒的に多いからです。
例：What relations are A and B?
→ 文法的に変だし、意味も曖昧（「AとBはどんな関係たちなの？」みたいな感じになる）
What is the relation between A and B?
→ これが一番無難で正しい形

数学の文脈（離散数学・集合論）だと
"What is the relation from A to B?" とか
"What relations hold between elements of A and B?"
みたいな表現は出てきますが、それでも「what relations are A and B?」という書き方はまず見ません。

結論：
そんな英文はほぼ存在しない（不自然）です。
言いたいことが「AとBの関係って何？」なら、
"What is the relationship between A and B?"
が圧倒的に自然でおすすめです！

結論：１は数学だけでなく英語も高卒レベル

>>44 戻る
Grok AI >>38 への 赤ペン先生 つづき

>さて ”数学界の「主流派」”を 分類するよ （これは 理系の典型思考のあるある）
>a)望月IUTを理解した上で ダメだししている？
>b)望月IUTを理解しないで ダメだししている？


さて a)のケースで 「望月IUTを読んで理解して ダメだししています」という人
ショルツェ氏一人だけ
それ以外では 望月IUTを理解したら 正しいという人多数です

そして ショルツェ氏は IUTダメだし文書を二つ出した
その内一つが >>12 "Why abc is still a conjecture"だが
”radical simplifications”というストローマン論法を使う詭弁文書で
もう一つが Zentralblatt Math誌だが 内容はほとんど上記

なので 明らかに無視できるしろもの

(参考)
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
宇宙際タイヒミュラー理論
2021年7月、ペーター・ショルツェはZentralblatt Math誌で望月IUT論文に批判的なレビューを寄稿した[40]。内容は2018年に指摘した反例の回答に対する不満足を主張するものである。
40 ^ Mochizuki, Shinichi Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English) Zbl 07317908 Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021). Reviewer: Peter Scholze (Bonn)

>>55
ありがとね
ご指摘の通りだ

文系あたまの君は
英語のレベルが高いね
よく気がつくね（＾＾

実は
(google検索)のAIに喰わせるのに
英語の文にするつもりが 無いんだ ｗ
検索の問題は むしろ 重要キーワードが含まれているかどうか？

それで 回答不十分なら
さらに壁打ちするつもりなんだ　（＾＾

>>37
Grok AI >>38 への 赤ペン先生 つづき

あと 注目すべきは 下記のジョシさんで
ジョシさんは、ショルツェ氏にもダメだししている

さらに 2025年5月、中国の若手数学者の周忠鵬の論文が
はたして 査読されて 正規論文がどこから出版されるか？
これも ご注目です　（＾＾

(参考)
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
宇宙際タイヒミュラー理論
新理論
2024年3月、アリゾナ大学准教授[41]キルティ・ジョシはIUTを修正した「算術タイヒミュラー理論」を考案し、これにより系3.12の証明を修正できると発表した。しかし望月は本研究を「無知」と一蹴している[42]。また、ショルツェも同証明に対しては誤りを指摘した[43]。

同じ月にジョシは、ピーター・ウォイト（英語版）に宛てて公開書簡を送った[46]。ウォイトは、自身が運営するブログ「Not Even Wrong」での読者とのやり取りの中で、2025年10月16日に「ジョシにとっての問題は、望月が彼を強く否定していることだ」と述べていた[47]。ジョシは公開書簡の中でこの点を取り上げ、不備はもう修正されており、望月とショルツェに修正版の論文を送った、反論は公的にも私的にもない、と述べた[46]:1。そして、「人間ドラマ」という言葉を使ったあとに、古い情報を拡散することは止めてくれるよう、ウォイトに強く求めた[46]:1。そして、数学的な証拠に基づき反論されたならば潔く受け入れるが、その反論は望月の主張にも等しく適用されるであろう、と述べた[46]:1。

数論の結果
2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した[84][85][86]。

>>52
>「what relations are A and B?」
を肯定文に変換すると
A and B are what relations.
であり、これはSVC文型（what relationsが主格補語）なので A and B ＝ what relations の関係になる。
よってA,Bが何らかの関係を表す語でない限り間違い。高1からやり直し。

>>58
>文系あたまの君は
>英語のレベルが高いね
SVCなどの5文型は高校1年生で習いますよ　文系理系関係無いです

>>58　１は言い訳しかしないダブスタ君

そもそも英語ができないなら日本語で聞きなよ
AIはどうせ自動翻訳するから

１って馬鹿なの？

１はそもそも言語能力が低いと思われる
日本語も正しく読めない

１をAIを使いこなせないのは以下の２点が原因だろう

・そもそもいい質問ができない
・質問の回答を読んで理解した上で再質問することができない

それなｗ

日本語ペラペラの日系アメリカ人にできない英語でしゃべりかけるようなもんやなｗ

いない間に話が随分進んでいるが、
作図可能数でコンパスで描く円周の長さは超越数πである
作図可能かどうかを問う円積問題はπが
超越数なることを示されることで解決した

AIは対話ツールです
ツッコミ入れるつもりで使うのがデフォルト（笑）

AIは対話ツールです
ツッコミ入れるつもりで使うのがデフォルト（笑）

だから、幾何的直観に基づけばγや √2γ は作図可能数といっていた訳だが

じゃ、寝る

だから、作図可能なら作図してみてといっていた訳だが

>>67の訂正：
作図可能数でコンパスで描く円周の長さは超越数π
→ 作図可能数でコンパスで描く円周の長さは超越数2π

γの解析は各正の整数nに対して定まる
1＋1/2＋…＋1/n−log(n＋a) a＞−1
による解析を要する

じゃ、寝る

>>71
ガロア理論で出て来る作図可能性の問題の理論では、
円周 2π が作図可能かどうかの問題は解決出来ない

>>60-66
ありがとね

・英語能力が低いは あたり
・大学入試で 英語が伸びなかったんだ
・というのは 英語を理屈で解こうとしたんだが・・
・大学に入ってから 英語は世界で一番例外が多い言語と知った
・つまり、”ノルマン・コンクエスト”という事件で フランスに支配されたときに 仏語が背理二重言語になった
・そして 入試は主に例外を出題する傾向があるのだった
・古文もそうで 現代語では解釈できないところが出題される傾向があるんだ
・合格してから知った。だったら 例外を洗い出して勉強すべきと反省しました
・一方、数学は例外はあまりないんだ。なので、得点は伸びたね　（＾＾；

>>73
>ガロア理論で出て来る作図可能性の問題の理論では、
>円周 2π が作図可能かどうかの問題は解決出来ない

なんか日本語すべっていると思ったら
おっちゃんかな？
お元気そうでなによりです
スレ主です

ところで 円周 2π が作図可能 自身は 作図できるけど
この 円周 2πを 直線に伸ばした作図とか
あるいは 実数2πが 代数的数でない つまり 超越数であることの証明は
ちょっと 骨が折れるってことね

そういえば 円周率の東大入試とかあったね

https://manabitimes.jp/math/880
高校数学の美しい物語
円周率が3.05より大きいことの7通りの証明 2026/01/23

目次
正八角形を用いた円周率の評価
周の長さを用いた円周率の評価
面積による円周率の評価
積分を用いた円周率の評価
マクローリン型不等式を用いた証明

>>74
１の数学は大学入試がピーク

理屈抜きの規則暗記勉強じゃね

>>59
Grok AI >>38 への 赤ペン先生 つづき

囲碁将棋のような形勢判断

１）ショルツェ氏の文書SS に 表だって賛意を示す数学者皆無（”radical simplifications”が外道）
　また Stix氏は ショルツェ氏から離脱
２）望月氏側は 勢力拡大の一途
　セミナーとかやっているし、論文も例の5人論文とか 周忠鵬の論文とか
　ジョシさんは、望月氏のアイデアは良いが証明不十分と言って ショルツェ氏の”radical simplifications”には批判的

要するに アンチは増えないし いまや 実質ショルツェ氏只一人
一方IUT賛同者は増えている

これは、天動説とか 地学の大陸移動説、天文の拡大宇宙論や 宇宙誕生のビッグバン説と同じだ
賛同者は増え、アンチは増えない （繰り返すが いまや ショルツェのおっさん只一人）

問題は、IUT布教の教本で しっかりしたものがないんだ
尊師望月氏が「つまみ食いで理解するな！」とかいうから 布教本が遅れている

その前に コンピュータ証明が決着するかしれない（もちろん正しいと）
とにかく 形勢は我にあり！ ですｗ　（＾＾

>>76
>１の数学は大学入試がピーク
>理屈抜きの規則暗記勉強じゃね

おれの主義は 下記だよ
大沢・岡
『数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、
行き詰るはずはないのである。 岡潔　『一葉舟』(角川ソフィア文庫　 2016)』

楽になるために 前に進むんだ （＾＾
巨人の肩だよ 巨人の肩

(参考)>>33
https://rio2016.5ch.net/test/read.cgi/math/1770774727/777
https://www2.math.kyushu-u.ac.jp/~joe/math/symp/index.html
大沢健夫先生集中講義 神本 丈のホームページ2019 九州大学
タイトル: 解析接続の問題に現れる解析と幾何
講義録 https://www2.math.kyushu-u.ac.jp/~joe/math/symp/ohsawa.pdf
数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、
行き詰るはずはないのである。 岡潔　『一葉舟』(角川ソフィア文庫　 2016)

https://ja.wikipedia.org/wiki/%E5%B7%A8%E4%BA%BA%E3%81%AE%E8%82%A9%E3%81%AE%E4%B8%8A
科学者アイザック・ニュートンが1676年にロバート・フックに宛てた書簡[2]の以下の一節で知られるようになった。
私がかなたを見渡せたのだとしたら、それは巨人の肩の上に立っていたからです。（英語: If I have seen further it is by standing on yᵉ sholders of Giants.[3][注 1]）

>>78
>おれの主義は

自分の主義を他人の言葉で語るヤツには自分がない（嘲）

僕の主義？

「数は存在しない　数学は所詮戯言」（＾_＾）

数学で自慢？　馬鹿か（嘲）

１は論理がないから数学が理解できない

しかし数学とは論理だと知らないから
自分が数学を理解できてないと自覚しない

ニホンゴワカリマセーンw
かくいう私も、教え子より英語が出来なかったという惨状w
でも、私が通う大学に合格してくれた(⁠^⁠^⁠)

趣味とは自分がしたいからすること

自分ではなにもせず他人がやったことだけ
検索して自慢するのは正真正銘の馬鹿

>>76
>１の数学は大学入試がピーク

ふっふ、ほっほ
おサルさんかい？ (>>34)

おサルさんの時代 1980年代の数学科は
「厳密こそが 数学だ」という時代だったろう
（>>29より 下記 渕野先生の
＜厳密だけが、数学ではない＞という話につながるのです
”数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
略 アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，略）

君に送る テレンス・タオの言葉下記
”2 中級 厳格な
　しかし、この中間段階で学生が行き詰まってしまうことがあります。これは、学生が優れた直感をあまりにも多く捨て去り、より直感的な非形式的なレベルではなく、形式的なレベルでしか数学を処理できなくなってしまった場合に起こります。このように行き詰まると、学生の数学論文を読む能力に影響を与える可能性があります”

　>>26 より
数学成熟度 Mathematical maturity https://en.wikipedia.org/wiki/Mathematical_maturity
(google訳)
進歩
数学者テレンス・タオは、数学的成熟度の進行の一般的な枠組みとして解釈できる3段階の数学教育モデルを提唱している。 [ 2 ]各段階は次の表にまとめられている。[ 6 ] [ 7 ]

2 中級 厳格な 上級学部から大学院初期まで

学生はこの段階で数学的形式主義を学びますが、これには通常、形式論理といくらかの数学的論理が含まれます。これは、数学的証明とさまざまな証明技法を学ぶための基礎となります。この段階は、通常、「高等数学への移行」コース、「証明入門」コース、または数学的解析や抽象代数の入門コースで始まります。

それには証明に触れることも含まれます。[ 8 ]この段階で反例に触れることは標準的であり、健全な数学的議論と誤った数学的議論を識別する能力が養われます。

これは、誤解を招く直感を排除し、正確な直感を高めるための重要な段階であり、数学的形式主義はこの段階を助けます

しかし、この中間段階で学生が行き詰まってしまうことがあります。
これは、学生が優れた直感をあまりにも多く捨て去り、
より直感的な非形式的なレベルではなく、
形式的なレベルでしか数学を処理できなくなってしまった場合に起こります。
このように行き詰まると、学生の数学論文を読む能力に影響を与える可能性があります。

>>83
１は中間段階すっとばせると思ってる？

でも、それはないよ

>>83
御大の「小さなミスに目くじらを立てすぎると、考えるべきことが考えられなくなるのではないか。」というお言葉は、この話につながるかもしれませんね(⁠^⁠^⁠)

>>85
そもそも考えるべきことが何だかわからんレベルの素人に、OTの説教は無意味

OTはヒトを見る目が皆無

数学板の歴史を知るために過去を遡ろうとしましたが、うまく見つかりませんでした。
そういえばOTSさんのスレを探すのを忘れていたので、それを探して一段落しますかね。

そもそも１のミスは小さなミスではなく根本的に分かってないミス

もう数学は諦めて囲碁将棋でもしてなさいっていうこと（笑）

んじゃ、流れで一報を。
STさん、藤井さんが2つのタイトルでカド番に追い込まれましたよ。
我ながら、実に自然な流れだw

>>89
（ニコ） (^^)君
ありがとうございます
スレ主です

下記ですね
しかし 男子テニスでは フェデラーとか 追い込まれてから １セットを取らせず勝つとかあるから・・
永瀬拓矢さん 王将戦は取れるかもですね レーティング差とあと3戦中1つ入れれば良い
増田康宏さん いまA級か 知らなかったが凄いです。こちらは微妙ですが 頑張って欲しいですね
森下さんの弟子でね。師匠はタイトル取れなかったが 増田さん 取れるといいですね

(参考)
https://ja.wikipedia.org/wiki/%E5%A2%97%E7%94%B0%E5%BA%B7%E5%AE%8F
増田 康宏（ますだ やすひろ、1997年11月4日 - ）は、将棋棋士。森下卓九段門下。
勉強法
「詰将棋は将棋の上達には関係ない」という詰将棋否定派だった。子供の頃は詰将棋を解いていたが、三段時代に止めてからは解いていなかった[3]。
しかし、2022年のインタビューでは好調な理由を聞かれ「最近、詰将棋を解くようにしたんですけど、それが効果あったかもしれません」と答えた[18]

https://kishibetsu.com/2025R/1307.html
藤井聡太　名人・竜王・王位・棋聖・王将・棋王
2025 年度　レーティング
48 戦 36 勝 12 敗　(0.750）
48 2月17日 2079 -10 2069 ● 先 永瀬拓矢 1982 1992 第75期王将戦 タイトル戦 第4局 対戦 ●○●●
51 3月1日 2075 -13 2062 ● 先 増田康宏 1835 1848 第51期棋王戦 タイトル戦 第3局 対戦 ●○●

永瀬拓矢
第75期王将戦　タイトル戦 七番勝負
第5局　3月8日
第6局　3月18日
第7局　3月25日
持ち時間
タイトル戦：8時間

増田康宏
第51期棋王戦　タイトル戦 五番勝負
第4局　3月15日
第5局　3月29日
持ち時間
タイトル戦・挑戦者決定トーナメント：4時間

https://www.yomiuri.co.jp/igoshougi/20250918-OYT1T50126/
「永世竜王」渡辺明九段、来年３月末まで休場…前十字靭帯損傷の術後障害
2025/09/18

>>90
増田さんは少し前から、「東の天才」と言われていたと思います。

>>84
>１は中間段階すっとばせると思ってる？
>でも、それはないよ

大体は >>28 seoさん 方式
”様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです”

あと 飯高さん>>31 下記 に近いかな
大学の専門書を見た記憶はないが
大学への数学を高2から読み始めて 2年分やりました

当然数IIIとかは先取りで、そこにはちょっと 大学数学の知恵みたいなのが コラムであった
e^iθ＝cos θ＋isin θも そこで知った
それ以前に 加法定理は 下記ゴロで 「サイタコスモスコスモスサイタ」でやってましたけど
それ読んで 大数方式にしました。このとき 『数学はやればやるほど簡単になるはずであり・・ と知った（＾＾

大学への数学 2年読むと力が付きましたが 学コンは”ムズスギ”でスルーでした （＾＾
何かのコラムで（青チャートかも） 非アルキメデス付値とかあってね 大学入学後 p進付値とかで これかと
イプシロンデエルタは、高校でやって 不完全性定理も高校で
線形代数の 3x3行列 までは、中学と高校で終わっていた

大学1年で 図書館に入り浸って 数学セミナーと数理科学誌と bit誌を過去10年分バックナンバー読んだ
一般の線形代数などは、ここで。集合論やZFCは これで。ベクトル解析は 数理科学だったか
勿論、図書館の専門書も読みましたよ

学部の講義はちゃんと出席しましたよ
大学卒業後も 数学セミナー、数理科学誌 bit誌 は、立ち読みか その月で面白い号を買っていました
佐藤超関数とかは、ここですね
おまえは 工学部だから数学科で習うことを知らないだろうと言われてもねぇ・・ 普通に知っているのですよ・・
”理解？”ふっふ、ほっほ 自分の理解なんて 人に説明するものではないｗ。院試の口頭試問ならともかくもｗｗ　（＾＾；

(参考)
http://math.ｓａｋｕｒａ.ne.jp/?action=common_download_main&upload_id=1374
飯高茂先生に聞く
さくらインターネット 2013/11/22
—まずは，先生の生い立ちについて，県立千葉高校出身ということは伺っていますが・・・
数学の教員室の書棚にあった大学の専門書を見るのが楽しくて，友達と通いましたが，「うるさい，お前ら帰れ」と怒られたことがありました。私の心酔していた先生によると「入試問題は大学の先生が作る。大学で使う本の著者の気持ちがわかれば，入試問題を作る先生の気持ちもわかり，解けるようになる。」ということで，そこにあった様々な数学の本を読みました。
吉田洋一先生の「微分積分学」は対数の定義を 1/x の積分でやっているのを面白いと思いました。
これで，入試問題が解けるようになる予定だったのですが，解けない問題もあって変だなぁと。

https://www.hmg-gen.com/sankakukousiki.pdf
三角関数No1. 「三角関数の公式」河見賢司
有名なゴロ合わせとしてsinの加法定理は「サイタコスモスコスモスサイタ」

デエルタ

>>91
>増田さんは少し前から、「東の天才」と言われていたと思います。

（ニコ） (^^)君
ありがとうございます
スレ主です

増田さんは、藤井さん関連で知りました
杉本師匠が いろいろ気を使って 奨励会の藤井さんを関東の棋士と対戦させに連れて行って
そのときに 増田さんに軽くひねられて 増田さんから「大して強くない」と思われたらしいが
急に強くなって 2017年 ”6月26日に行われた竜王戦本戦1回戦で5組優勝の増田康宏に勝ち、神谷広志が30年近く保持していた28連勝の記録を抜き、デビューから無敗のまま歴代最多連勝記録を更新した（29連勝）[9]（詳細は「藤井聡太#その他記録」参照）。”
とありますね https://ja.wikipedia.org/wiki/%E8%97%A4%E4%BA%95%E8%81%A1%E5%A4%AA
そこから あっという間に抜かれた（途中 竜王戦では藤井さんに土を付けた対局がありましたが）

増田さん タイトル期待しています （＾＾

>>94
永瀬さんは早くから、藤井さんを研究相手にしていたような気がします。
おっと、板違いの話はこの辺で…w

>>93
>デエルタ

ありがと
ローマ字変換つかっているので 化けたか

>>92 タイポ訂正

イプシロンデエルタは、高校でやって 不完全性定理も高校で
　↓
イプシロンデルタは、高校でやって 不完全性定理も高校で

補足
高2当時、”厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もある”>>24 渕野昌

の典型の数学科出身教師が 微積を教えていて
二言目には ほんとうは イプシロンデルタ、イプシロンデルタ というので
自学自習で 図書館の本で 勉強しました
そのときどこまで分ったかは不明ですが・・（詳しく思い出せない）
まあ >>28 seoさん 方式
”様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです”
で 馴れれば なんということもない

つまり理解はしていない
最も嫌われる半可通かと

>>96
そういう事情だったんですか。
字面が面白いなと、毎回思ってましたよw

◎永久機関　完成版（くろがねの船 Iron ship）

鉄の船は浮力により水に浮かぶ。
しかし、船底に穴が空けば沈む。鉄の密度（1cm3当りの重さ）が水より大きいからである。

鉄で出来た立方体の容器（6面のうち底だけは無し）の上蓋を開けると水に沈む。
沈んだ後に上蓋を閉じ、空気を入れると浮力により浮かぶ。

浮力は非常に強力であり、1m3の立方体の容器なら1トンf（1000kgf）の力で発電機を回すことができる（アルキメデスの定理）。
普通乗用車一台を持ち上げるほどの強い力なので、膨大な量の電力を生み出すことができる。

発電機を回しながら容器が水面近くに浮上したら、再び上蓋を開けるとまた水に沈む。

以上を繰り返すことで、火力発電どころか原発よりも効率の良い発電を行うことができる。

上蓋の開閉は、内外の圧力差がゼロなので、僅かな力で行うことができる。
空気を入れるときも、ノズルが鉛直上向きになっていればノズルの内側の空気が浮力で引っ張られるので、僅かな力でよい。
よって、それらを差し引いてもエネルギー収支は大幅にプラスとなる。j

>>92
・大学への数学≠大学数学
・オイラーの公式も、exp(x)の定義lim(n→∞)(1+x/n)^nから即出ること
・君の数学理解は、単に公式の簡便な記憶術に尽きている
・文章の述語は略さない　舌足らずな文章は書かないこと
・言葉だけいくら知っても理屈を知らないのでは分かった内に入らない
・線形代数で、3×3までと、4×4から先を区別する理由は全くなし
・数セミ、数理科学、bitの濫読は安直学生の泥縄勉強法
・専門書も証明読まずに公式だけ拾い読みするのは安直学生のすること

>おまえは 工学部だから
>数学科で習うことを知らないだろう
>と言われてもねぇ・・
>普通に知っているのですよ・・

わかってないとわかってない人がいうこと
言葉だけ知ってても理屈知らないんじゃ無意味

>”理解？”ふっふ、ほっほ
>自分の理解なんて 人に説明するものではない。
説明できないから答えられない
みんな承知してますよ　うっしっし（＾_＾

>院試の口頭試問ならともかくも
キミは院試受けても落ちるから心配ご無用！

>>97-100
>つまり理解はしていない
>最も嫌われる半可通かと

それって 個人の感想ですね by ヒロユキ
”気づき”ってあるでしょ？
「あの定理をここで使えないか？」と
まだ 証明までは行ってないが 勘が働くということだね
それを否定するから 数学ができない体になる

>そういう事情だったんですか。
>字面が面白いなと、毎回思ってましたよw

大学＆院試が終わったら
基本 出題範囲は無い
そこが分らないと
社会人失格ですね

>>自分の理解なんて 人に説明するものではない。
>説明できないから答えられない

集中講義や市民講演会 自分の理解をそのまま吐き出しても仕方ない
相手を想定して 話す順番を決める
だが、５ｃｈでそれをするには 余白が少ない by フェルマー （＾＾

>>101
>>101
>「あの定理をここで使えないか？」という
>”気づき”ってあるでしょ？

・・・とかいう君
いままでにどんな気づきがあったの？

>まだ 証明までは行ってないが
>勘が働くことを否定するから
>数学ができない体になる

・・・とかいう君
いままでにどんな勘が働いたの？どんな風に数学できたの？

>>101
＞大学入試＆院試が終わったら
＞基本 出題範囲は無い

試験に毒されてる？

>>101
>集中講義や市民講演会
>自分の理解をそのまま吐き出しても仕方ない

君の理解って、他人の言葉の丸暗記なの？

>>101
>”気づき”ってあるでしょ？
>「あの定理をここで使えないか？」と
>まだ 証明までは行ってないが 勘が働くということだね
AIに聞いた方が早いので半可通の勘はクソの価値も無い。

そっちのアルキメデスの原理の話か。
一般にはそちらが有名か。

>>106
>そっちのアルキメデスの原理の話か。
>一般にはそちらが有名か。

ご苦労様です
スレ主です

(google検索)
アルキメデスの著作『方法』
AI による概要
アルキメデスの『方法』（The Method of Mechanical Theorems）は、古代ギリシャの天才アルキメデスが、てこの原理（機械的方法）と無限小（不可分）の概念を用いて、図形の面積や体積を求める「発見の過程」をエラトステネスに宛てた手紙形式で記した著作です。近代数学の積分法に先駆けた画期的な内容であり、1906年に「アルキメデス・パリンプセスト」として再発見されたことで知られます

著作のポイント
内容: 放物線の切片、球、円柱の体積など、多くの幾何学的問題を機械的・物理的手法（てこ、重心）で証明。
方法: 図形を極小の要素（不可分）の集合とみなし、バランスをとることで面積や体積を算出。
厳密性: この方法自体は厳密な証明と見なされていなかったが、後により正式な「取り尽くし法」で証明。
歴史的経緯: 長らく失われた「幻の書」とされていたが、修道院の祈祷書に上書きされていた写本がオークションで見つかり、現代になって解読された

この著作は、アルキメデスがどのようにして彼自身の定理を導き出したのか、その思考プロセスを明らかにする貴重な資料となっています。

https://ja.wikipedia.org/wiki/%E6%96%B9%E6%B3%95_(%E3%82%A2%E3%83%AB%E3%82%AD%E3%83%A1%E3%83%87%E3%82%B9%E3%81%AE%E8%91%97%E6%9B%B8)
方法 (アルキメデスの著書)

https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AB%E3%82%AD%E3%83%A1%E3%83%87%E3%82%B9%E3%83%BB%E3%83%91%E3%83%AA%E3%83%B3%E3%83%97%E3%82%BB%E3%82%B9%E3%83%88
アルキメデス・パリンプセスト

https://www.iwanami.co.jp/book/b265981.html
岩波科学ライブラリー　
アルキメデス『方法』の謎を解く
斎藤　憲 著 2014/11/07
https://www.greekmath.org/kensaito/publication_addenda/archimedes_2014.html

https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AB%E3%82%AD%E3%83%A1%E3%83%87%E3%82%B9
アルキメデス（希: Ἀρχιμήδης、英語: Archimedes、前287年? - 前212年）

>>102-105
おサル >>34
饒舌だね
ご苦労さんｗｗｗ　（＾＾

>>108
ID:l3MneKux が言わなかったこと

Q.いままでにどんな気づきがあったの？
A.何もなし

Q.いままでにどんな勘が働いたの？
A.何も働かず

Q.どんな風に数学できたの？
A.何もできず

Q.試験に毒されてる？
A.試験の点数を取ることだけが人生の全てだった

Q.君の理解って、他人の言葉の丸暗記なの？
A.丸暗記以外にどんな理解があるんだ

アホなおサルに贈る

　>>83
君に贈る テレンス・タオの言葉下記
”2 中級 厳格な
　しかし、この中間段階で学生が行き詰まってしまうことがあります。これは、学生が優れた直感をあまりにも多く捨て去り、より直感的な非形式的なレベルではなく、形式的なレベルでしか数学を処理できなくなってしまった場合に起こります。このように行き詰まると、学生の数学論文を読む能力に影響を与える可能性があります”

　>>26 より
数学成熟度 Mathematical maturity https://en.wikipedia.org/wiki/Mathematical_maturity
(google訳)
進歩
数学者テレンス・タオは、数学的成熟度の進行の一般的な枠組みとして解釈できる3段階の数学教育モデルを提唱している。 [ 2 ]各段階は次の表にまとめられている。[ 6 ] [ 7 ]

2 中級 厳格な 上級学部から大学院初期まで

学生はこの段階で数学的形式主義を学びますが、これには通常、形式論理といくらかの数学的論理が含まれます。これは、数学的証明とさまざまな証明技法を学ぶための基礎となります。この段階は、通常、「高等数学への移行」コース、「証明入門」コース、または数学的解析や抽象代数の入門コースで始まります。

それには証明に触れることも含まれます。[ 8 ]この段階で反例に触れることは標準的であり、健全な数学的議論と誤った数学的議論を識別する能力が養われます。

これは、誤解を招く直感を排除し、正確な直感を高めるための重要な段階であり、数学的形式主義はこの段階を助けます

しかし、この中間段階で学生が行き詰まってしまうことがあります。
これは、学生が優れた直感をあまりにも多く捨て去り、
より直感的な非形式的なレベルではなく、
形式的なレベルでしか数学を処理できなくなってしまった場合に起こります。
このように行き詰まると、学生の数学論文を読む能力に影響を与える可能性があります。

3 高度な 厳格化後 大学院後期以降
この段階では、学生はより直感的な考え方に戻ります。これは、厳密さを重視する以前の初期の段階に似ていますが、誤解を招くような直感は排除されているため、学生はより非公式なレベルで確実に推論できるようになります。数学的形式主義の吸収により、学生は数学的な健全性に対する本能的な感覚を身に付けます。これにより、学生は数学的な議論の直感的な概要を突き止めることができ、それを後で正式な証明に変換できます。形式的な厳密さに洗練された直感が注入されるため、問題解決の効率が最適化されます。この理想的な状態では、すべてのヒューリスティックな議論は自然にその厳密な対応を示唆し、逆もまた同様です。

タオは次のようにアドバイスしています。

したがって、厳密な数学的思考に十分慣れたら、その主題に関する直感を再検討し、新しい思考スキルを使用して、直感を捨てるのではなくテストし、改良する必要があります。

厳密さと理論の確固たるスキルを身につけた数学の学生は、視点が数学に対するより包括的なパノラマ的見方へと移り、最終段階へと移行します。

>>110
＞学生が優れた直感をあまりにも多く捨て去り

そもそも優れた直感がある、というのが幻想

ここの１がいい証拠　何の直感もない

アホなおサルに贈る

君には 下記
渕野昌：”厳密性を数学と取りちがえるという勘違い”
加藤文元氏：メンタルピクチャー
Terence Tao：“big picture”

君には
この意味が解らなかったらしいね
思うに ｗ大数学科で >>110
”2 中級 厳格な
　しかし、この中間段階で学生が行き詰まってしまうことがあります。これは、学生が優れた直感をあまりにも多く捨て去り、より直感的な非形式的なレベルではなく、形式的なレベルでしか数学を処理できなくなってしまった場合に起こります。このように行き詰まると、学生の数学論文を読む能力に影響を与える可能性があります”

このステージ2の 冒頭で 即詰み
「直観を捨てろ！！」 おサル「はい 直観を捨てました。厳密思考を学びます！」
で 詰んでしまったオトコｗ （＾＾

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

加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
IUTに欠落しているのは、メンタルピクチャー＆形式化図式か
(参考)
https://note.com/katobungen/n/nccba3ef014f6
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日

＜“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.
略す
https://terrytao.wordpress.com/career-advice/
Career advice Terence Tao

>厳密だけが、数学ではない
を「厳密でなくてもよい」と都合よく誤読するサル

>>111
>＞学生が優れた直感をあまりにも多く捨て去り
>そもそも優れた直感がある、というのが幻想
>ここの１がいい証拠　何の直感もない

ふっふ、ほっほ
だからさ
君は 文系アタマなんだよ

１）きみの”ここの１がいい証拠　何の直感もない”
　と
　テレンス・タオ：>>110”新しい思考スキルを使用して、直感を捨てるのではなくテストし、改良する必要があります”
　とは 全然つながってないｗ
　（おれなんかを 例示に引用するのがヘン。人へのマウント癖が出てるだけ （＾＾）

２）『そもそも優れた直感がある、というのが幻想』という話もヘンだ
　世界の数学天才 タオが 「直感 大事だ」というのに
　オチコボレのアホが 『優れた直感がある、というのが幻想』と反論するのかい？
　だれが見ても あほなオチコボレさんだから
　『優れた直感が無いんだろう？』という
　単純な事実の陳述と解釈されるだけ■

>>115

＞おれなんかを 例示に引用するのがヘン。
１ごときがここに書くのがおこがましいわ

＞『優れた直感がある、というのが幻想』と反論するのかい？
実際１にはないだろ。それがいい証拠

永遠に黙れよ　ド素人

１にとって理解可能（？）な直感

オイラーの公式とリーマン球面（笑）

楕円関数と楕円曲線は無理でした（笑）

>>115
>世界の数学天才 タオが 「直感 大事だ」というのに
>　オチコボレのアホが 『優れた直感がある、というのが幻想』と反論するのかい？
直観は大事
と
サルに優れた直観は無い
は何ら矛盾しない

"「私は類体理論を理解する機会がこれまで一度もなかったのですが、これからは挑戦してみます。」
マキシム・コンツェビッチ IHES、フランス"
か
ふー （＾＾

(参考)
https://ivanfesenko.org/?page_id=80
News – Ivan Fesenko
Essential Algebraic Number Theory, World Sci. Publ. 2026, 284pp.; the simplest presentation of class field theory included

amazon
代数的整数論のエッセンシャル・ ファミリー版
イヴァン ・フェセンコ（著者）
社説レビュー
レビュー
「次の夏学期に代数的整数論の授業を受講します。その時、あなたの本、とても良さそうなので、ぜひ活用させていただきます。」
クリストファー・デニンガー ミュンスター大学、ドイツ

「私は類体理論を理解する機会がこれまで一度もなかったのですが、これからは挑戦してみます。」
マキシム・コンツェビッチ IHES、フランス

出版社 ‏ : ‎ World Scientific Publishing
発行日 ‏ : ‎ 2026年2月28日
印刷ページ数 ‏ : ‎ 280ページ

>>119　訳も分からず🐎🦌騒ぐ

年を取るとアウトプットが多くなる人もいるかもしれませんが、いつまでもインプットをするぞという気持ちを持ち続けるのは、大切なんじゃないでしょうか。

>>121
>年を取るとアウトプットが多くなる人もいるかもしれませんが、いつまでもインプットをするぞという気持ちを持ち続けるのは、大切なんじゃないでしょうか。

これは（ニコ） (^^)君かな
スレ主です

なんか 茫洋とした 5五中央位取りみたいな カキコですなｗ （＾＾

１）>>119 マキシム・コンツェビッチ
　「私は類体理論を理解する機会がこれまで一度もなかったのですが、これからは挑戦してみます。」
　1964年8月25日 生まれ で、2026年で62歳ね
　コンツェビッチから ”挑戦してみます”と言われる フェセンコさん 凄くね？ おっと ロシア繋がりではあるな（＾＾
２）年をとっても アウトプットは 御大か
　私ら ５ｃｈ落書きが アウトプットですｗｗ
３）インプットは、>>78 巨人の肩 ＆ ”数学はやればやるほど簡単になる”の実践です （＾＾；
講義録 https://www2.math.kyushu-u.ac.jp/~joe/math/symp/ohsawa.pdf
数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、
行き詰るはずはないのである。 岡潔　『一葉舟』(角川ソフィア文庫　 2016)

(参考)
https://ja.wikipedia.org/wiki/%E3%83%9E%E3%82%AD%E3%82%B7%E3%83%A0%E3%83%BB%E3%82%B3%E3%83%B3%E3%83%84%E3%82%A7%E3%83%93%E3%83%83%E3%83%81
マキシム・コンツェビッチ（ロシア語：Макси́м Льво́вич Конце́вич, 英語：Maxim Kontsevich, 1964年8月25日 - ）は、ロシア出身の数学者、理論物理学者。IHÉS教授。専門は代数幾何学、微分幾何学、トポロジー

>>122
>私ら ５ｃｈ落書きが アウトプットです

"ら"は不要
コピペ下痢💩垂れ流してるのは１只一匹

>>122
5五角とか良いじゃないですかw
棋士の好きな一手とか面白いですよ？
玉が隅に入る一手（よく1万円に例えられる）とか、5三桂成（不成？）とか。