Inter-universal geometryとABC予想(シン応援スレ) 92 (190ﾚｽ)
上下前次1-新
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
41: 06/13(土)09:17 ID:TTzQJf42(41/46) AAS
つづき
私のつくった下手くそな図
外部ﾘﾝｸ:imgur.com
「図解 関数の連続・不連続とε-δ」
とほぼ同じ図が 下記動画で出てきます （＾＾
下記より
”ユークリッド空間R上の連続関数の同値条件
[定理]連続関数の同値条件
関数 f:R→Rに対して、次は同値である
?fはR上で（ε-δ論法の定義により）連続である
省26
42: 06/13(土)09:17 ID:TTzQJf42(42/46) AAS
つづき
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新〜！”と絶叫したりするからです（＾＾； ）
( 外部ﾘﾝｸ:textream.yahoo.co.jp 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；外部ﾘﾝｸ:en.wikipedia.org Hyperboloid
Hyperboloid of two sheets ：画像ﾘﾝｸ[png]:upload.wikimedia.org
外部ﾘﾝｸ:ja.wikipedia.org 双曲面
二葉双曲面 ：画像ﾘﾝｸ[png]:upload.wikimedia.org
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）
省22
43: 06/13(土)09:18 ID:TTzQJf42(43/46) AAS
つづき
＜サイコパスのおサルのバカ発言＞
2chｽﾚ:math
2023年の古新聞を検索したので 下記貼るよ
アホサル は、私が「零因子行列のことだろ？知っているよ」と切り返したら
自爆して 即詰みになった。さすがに アホですなｗｗ （＾＾；
（次からテンプレへ入れる）
(参考)
＜ガロア第一論文と乗数イデアル他関連資料スレ2＞より
2chｽﾚ:math
省34
44: 06/13(土)09:19 ID:TTzQJf42(44/46) AAS
sage
45: 06/13(土)09:19 ID:TTzQJf42(45/46) AAS
つづき
過去スレ55 2chｽﾚ:math
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
省20
46: 06/13(土)09:20 ID:TTzQJf42(46/46) AAS
つづき
一句”不勉強 オチコボレのさばる 便所板”（字余り）
不勉強、言い訳だけは、いちょまえ
オチコボレ、言い訳だけは、一流だ （追加）
不遇な「一石」“鳥なき里のコウモリ”そのままで、“シッタカ”ぶりの、アナーキストのアホ男
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ
(参考)
省29
47: 06/13(土)10:30 ID:7xjR7MPK(1) AAS
テンプラ入りです
上下前次1-新書関写板覧索設栞歴
あと 143 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s