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
つづく

つづき
math_jinさん 情報早いな 尊敬しています
https://x.com/math_jin/
math_jin
ICM2030招致委員会
ICM2030 (International Congress of Mathematicians 2030) の招致・開催に向けて設置されました．本ページでは招致に向けた活動について情報共有を行います．
https://mathsoc.jp
午前11:26 · 2025年7月30日

(参考)
応援スレ67 ://rio2016.5ch.net/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次元空間内の曲面になる。その形を壺になぞらえたものである。
(引用終り)
つづく

つづき
(参考)
応援スレ67 ://rio2016.5ch.net/test/read.cgi/math/1653712154/866
>【検証】どうして望月新一はICM2022で何の賞もなかったの？
>「100%の自信をもって」アクセプトしたんだよね？
>「アリの這い出る隙間もないほど完璧な」査読を行ったんだよね？

１）囲碁将棋に例えると、難しい詰将棋があるとして、囲碁の人に説明しても理解されないが如し
（あるいは、逆に将棋の人に難しい詰碁を説明するが如し）
（一つ一つのロジックは単純でも、数十手以上とか長手数になると、その道のプロ以外には理解が難しいってこと）
２）21世紀の数学は専門が細分化されているから、遠アーベルというゲームのルールに疎いおっさん（ショルツェ氏）は
　遠アーベルの難しい詰将棋が理解できなかったんだ
　もっと言えば、説明の途中で時間切れになって、おっさん”プッツン”したんだ
（怒らせたやつが居たらしいね。どっちが先か知らんけどｗ）
３）で、中島氏は数年にわたる時間を、査読編集委員としてかけて、ようやく理解したんじゃないの？
　これを疑問に思うやつ、直接聞くか、聞ける知人にヒアリングしてもらえよ！ｗ
４）遠アーベルというゲームを、世界の一般数学者に分かってもらう努力が、求められる
　せめて、IUTの入口まで。そして、IUTに対する評価を確立すること
　これをオーガナイズするのが、中島総裁の仕事の一つだろう。それも含めての人選と見ている
追伸
・日本数学会が、5人論文に論文賞を！ 日本がリーダーシップ発揮を！！

つづく

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

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

つづき
参考
://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)の拡大を使ってラベルを貼る

https://ja.wikipedia.org/wiki/%E4%B8%80%E5%85%83%E4%BD%93
一元体（いちげんたい、英: field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、標数 1 の体に類似した対象についてはいくつか知られており、それらの対象もやはり用語を流用して象徴的に一元体 F1 と呼ばれている。なお、一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている

つづく

つづき
新一の「心の一票」 - 楽天ブログ shinichi0329/ （URLが通らないので検索たのむ）
math jin：（IUTT情報サイト）ツイッター math_jin （URLが通らないので検索たのむ）

(参考)（この中村博昭は、必読基礎文献です）
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.

つづく

つづき

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進曲線の理論ではフロベニウス自己準同型が担う。同様に、準フクシアンという条件は、積分条件によって置き換えられる。
(引用終り)
つづく

つづき
(参考)
https://hiroyukikojima.ｈａｔｅｎａblog.com/entry/20130424/1366809361
hiroyukikojima’s blog
2013-04-24
ＡＢＣ予想入門
今回、皆さんにお勧めしたい本は、黒川さんと小山信也さんの共著『ABC予想入門』PHPサイエンス・ワールド新書である。
黒川先生発案の絶対数学(F1スキーム理論）が、数学者コンヌを中心に大きく発展した。第二の進展は、京都大学数理解析研究所の望月新一氏によるabc予想解決宣言である。黒川さんによれば、望月氏もF1数学を使っているとのこと

(参考)＜追加 数論幾何入門の必読参考書＞
https://www.morikita.co.jp/books/mid/007891
数論幾何入門 森北出版
モジュラー曲線から大定理・大予想へ
東京大学准教授 博士（数理科学） 三枝洋一 (著)
《数論幾何学の世界をめぐるための格好のガイドブック》
整数論の問題を幾何学的手法で解く――それが数論幾何学と呼ばれる代数学の分野です。フェルマー予想をはじめ、志村-谷山予想、ラングランズ予想、佐藤-テイト予想、BSD予想、ヴェイユ予想といった魅力的な大定理・大予想を数多く備えながらも、その理論は非常に抽象的かつ難解であるがゆえに、これまで初学者への門戸は開かれていませんでした。
本書は、そんな数論幾何学の世界に足を踏み入れるための入門書です。抽象的な一般論ではなく、「モジュラー曲線」と呼ばれる具体例を軸に解説されているので、特別な予備知識がなくても数論幾何学の考え方が理解できます。
前半では主にモジュラー曲線について解説し、後半では上記の大定理・大予想の内容の理解を目指します。

つづく

つづき

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予想」）
つづく

sage

つづき

５）さらに Joshi氏 は、ショルツエ氏の Perfectoids を使った 新証明 Mochizuki's Corollary 3.12 を提案している（望月はダメだが、これが良いのだと）
（でも、ショルツエ氏と望月氏 両者から ダメ出しがあるらしい）
https://math.arizona.edu/~kirti/
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

ともかく、これらを 理解できる出来ないは別として
チラ見くらいはして 議論すべきですよ
そうしないと 議論が上滑りです
以上

つづく

つづき
＜icm 2026＞
https://arxiv.org/search/?query=icm+2026&searchtype=all&source=header
Showing 1–41 of 41 results for all: icm 2026

＜2012-09-21 檜山正幸さん、さすが 全然古くない＞
https://m-hiyama.ｈａｔｅｎａblog.com/entry/20120921/1348209872
檜山正幸のキマイラ飼育記 (はてなBlog) 2012-09-21
・テレンス・タオのコメント
圏論的、位相的な手法による対象の比較だけでなく、モデル論的な手法も有効なんじゃないか、といった話です。なんでここでモデル論が出てくるかと言うと、件の論文 Inter-universal Teichmuller Theory IV の第3節がモデル論っぽい内容だからです。
しかし、タオは次のようにも述べています
So perhaps all the set and model theory here is in fact something of a red herring as far as the application to ABC is concerned, and are primarily relevant for further development of Mochizuki's inter-universal geometry instead? (Among other things, this would render the issue of the non-conservative nature of Grothendieck set theory somewhat moot.)
"red herring" て何だ？ と辞書（英辞郎）を引いたら「人の気をそらすもの［情報］、おとり」。えっ？
・不思議な第3節
テレンス・タオが "red herring" と言った第3節、ここは不思議に読めます。ほんとに不思議な感じなんですが、第3節は、実例を除けば数論の知識は不要です。公理的集合論と圏論の基本的な知識があれば（おそらく）読み進めることができます。って、僕は結局ちゃんと読んでませんが、時間をかければ読めそうな感じがあります。
この第3節は、書きかけの教科書の一部のように唐突に終わってしまいます。
・Inter-universal理論と圏の幾何学
Inter-universalのuniverse（宇宙）とは何なのか、正確なところはわかりませんが、グロタンディーク宇宙かそれに近いものでしょう。
ある命題が、単一の宇宙だけでなく複数の宇宙で成立していることが分かれば、特定の宇宙においてよく知られた命題を他の宇宙でも主張することができ、それは新しい発見かもしれません。あるいは、宇宙Uで成立する命題は宇宙Wでも成立することが保証されれば、宇宙Uの固有の事実や知見を使って証明した命題がWでも使えることになります。
… って、レストランのドアが開いたときにただよってきた匂いを根拠にそのレストランのコース料理の紹介をするような真似をしているので、これ以上はやめます(苦笑)。
でも、望月新一さんが、数論の特定問題にアタックするための道具以上のナニカを開発しているのは確かでしょう。2005年に玉川安騎男さんによって書かれた「望月新一さんの数学」（http://mathsoc.jp/publication/tushin/1001/tamagawa2.pdf）のなかに：
最近の望月さんは, 自身のホッジ・アラケロフ理論の研究を大きく展開（転回？）させて, 圏論を基礎とする全く新しい幾何学の壮大な理論の構築とその数論的応用を精力的に研究されています.
と書かれています
・未来から来た理論
テレンス・タオがコメントをつけていたブログは、Jordan S. Ellenberg （http://www.math.wisc.edu/~ellenber/）が書いているQuomodocumque（http://quomodocumque.wordpress.com/）ですが、その記事に次の文章があります。
略す
つづく

sage

つづき

https://ja.wikipedia.org/wiki/%E7%87%BB%E8%A3%BD%E3%83%8B%E3%82%B7%E3%83%B3%E3%81%AE%E8%99%9A%E5%81%BD
燻製ニシンの虚偽（くんせいニシンのきょぎ）、またはレッド・ヘリング（英語: red herring）は、本来の問題から注意をそらし、論点をすり替える論理的誤謬を指す用語である。また、ミステリーや探偵小説などで、読者や登場人物を誤った結論へ導くために用いられる文学的手法を指す語でもある[1] [2]。
論理的誤謬
非形式的誤謬としての「燻製ニシンの虚偽」は関連性の誤謬の一形態である。相手に反論する際に、本来の問題（論点）から他の問題へと注意をそらしたり、無関係な論点を導入して推論を行う誤り[3] [4] [5]。「論点変更の虚偽」（Mutatio Elenchi）の同義語

勝手な Simplification
勝手な略図を作って「ここに、ギャップあり」で「元の論文の証明でも、ギャップがある」と
冷静に考えれば、勝手な略図でギャップを論じても 元の論文の証明がどうかは 全く別の話
ドイツの若き天才数学者は、この単純な ストローマン論法 に無知だった。若いから・・
https://it.wikipedia.org/wiki/Teoria_di_Teichm%C3%BCller_inter-universale
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予想や類似の予想の証明全体が誤りであり、修復不能である

つづく

つづき

不等式の反証は、2人の学者が重要ではないと指摘した IUT のいくつかの単純化にも依存しています。そのいくつかは粗雑で、ホッジ劇場を双曲曲線Xに抽象的に同型のより単純な曲線に置き換えたり、同一のオブジェクトを異なるものと見なす代わりにそれらの間の方程式を使用したりしています。特に、ホッジ劇場は、原点がないため、一度穴があいた楕円曲線から派生したデータのセットに過ぎません。2 人の学者はまた、彼らの意見では、基本群を扱うことが必須となる点はないため、IUT の多くの部分に対する遠アーベル幾何学は群論と等価であると付け加えました。次に、エタールのようなデータ ( D ) を、内部自己同型を除いて群として考えられる抽象的な位相群 π1 ( X )によって提供されるデータとほぼ定義しました。さらに、フロベニウス的な描像は、本質的に位相群π 1 (X)とモノイドへの作用から構成されるため、エタール的な描像の改良版であると大まかに説明されている。望月は過度の単純化は許されないと主張したが、二人の学者は彼の反論に納得できないと反論した
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3
ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと

＜grokipedia IUTにおける”宇宙”説明抜粋＞ （これ面白いぞ）
https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
Inter-universal Teichmüller theory
(google訳)
l≥5[ 1]この理論は算術構造の標準的変形に焦点を当て、非アルキメデス的対数シータ格子と遠ベル的再構成法を導入することで、スキーム理論的なホッジ・アラケロフ理論の限界を克服し、幾何学的オブジェクトの互換性のない「宇宙」間でデータを比較します。[2]この理論の核となる革新性は、「ホッジ劇場」の構築にあります。これは、多重放射表現と宇宙間同型性を容易にし、ディオファントス設定における高さと値を正確に制御することを可能にします。[1]

導入
定義と概要
IUTの重要な特徴は、その「宇宙間」特性である。これは、非アルキメデス的かつ遠アーベル的な手法を用いて、異なる算術データの「宇宙」（本質的には同一の基礎構造の異なるラベル付けまたは表現）間に、シータリンクなどの同型性を確立することを包含する。 [1]これらのリンクは、フロベニオイド理論的要素と対数シータ格子要素を橋渡しし、これらの宇宙間で算術的正則構造を比較することを可能にする。[1]

歴史的発展
望月氏の貢献
3部構成のシリーズ「絶対遠アーベル幾何学の話題」（2012年から2015年にかけてのRIMSプレプリント）で詳述されている。これは、数体上の真双曲曲線の基底体、関数体、および尖点化データを、それらのエタール基本群から復元するためのアルゴリズム的手法を提供する。これらの定理は、解ける閉包の全体的再構成アルゴリズムによって例示され、数論幾何 学への「モノ遠アーベル」アプローチを可能にし、IUT の宇宙間構造の直接の前身として、数体上の標準的な持ち上げと変形を強調しました。

つづく

つづき
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関係を生み出す
つづく

つづき

応用と影響
ABC予想の証明
{θj}固定パラメータに対する相対値
qこの比較から、ラジカルが
ラジアン( ab c )素因数の「多重放射状」分布を符号化する
a、b、c グローバルシータリンクは、これらの因子の対数体積が宇宙間変形の下で両立することを保証する。マルチラジアルアルゴリズムを適用してシータ値を並べ替えながら全体的なプロファイルを維持することにより、主張されている証明はこれらの評価の矛盾を制限し、それらを直接的に大きさに結び付けている。

この導出は、シータリンク領域における不確定性を制御するために、宇宙間枠組みに依存している。[28]

他の推測への影響
シータリンクを介したエタール基本群の標準分割を構築することにより、理論は数体上の双曲曲線上の有理点の高さに一様な境界を課し、ヴォイタの高さ不等式と一致し、固定種数の曲線に対して数値的に有効なバージョンを提供する。これらの進歩は、完全な切断予想を仮定せずに profinite 完備化の切断を再構成する宇宙間フレームワークに由来し、それによって次元 1 におけるヴォイタの予測の部分的な確認を提供する。
(引用終り)
以上
つづく

sage

つづき

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

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

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

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

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

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

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

つづく

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

つづく

つづき

数学成熟度 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三桂成（不成？）とか。

>>123
コピペ下痢とはよく言ったもんですねwww
正直私も難解すぎて、大半は消化出来ていません（汗）

私は冗談が好きですから、失礼を承知で書くこともしばしばありますから…。
（大体そういうときには自分を下げて書いているので、ご容赦をお願いしますねw）

>>124
5五角は角の睨みの機能を最大限に活用した手だからな
角の睨みがあると持ち駒の桂を盤上に打ったときに取れないから、
角と持ち駒の桂は攻める上で相性がいい

他にも飛車を受けに活用するう飛車の使い方もある

>>127
玉のコビンの話ですかね。
美濃囲いでは、特に気をつける事項かと。
ちなみに、筋違い角では動ける場所が1つ減ると思います。

飛車を受けに活用するう → 飛車を受けに活用する

>>131
下段飛車はおそらく守りのためにやるものかと思いますが（地下鉄飛車にも使える）、いま話されている飛車の使い方は知らないかもしれません（汗）

>>132
まあ、玉のコビンのことですな
筋違い角だと相手の持ち駒の角の打ち方に注意を払う必要がある
振り飛車にして右穴熊にするのは飛車を振るのに一手損になり、
角が馬になったときに守りに使いにくいから、
右穴熊は左穴熊に比べて余りいい囲いとはいえない

>>135
居飛車穴熊が猛威をふるっていた時期があると聞く。
STさん以外にも将棋を語れる人がいるんですね(⁠^⁠^⁠)
メインの数学の話で過疎ったら、つなぎに将棋の話をしようかなw
（あくまで将棋はサブ扱いです。）

将棋の話は将棋板でやれ
板の使い方も分からん3歳児ども

>>137
ハーイw

>>135-136
みなさん ありがとう

１）まず『5五の龍』（ごごのりゅう）：つのだじろうによる将棋をテーマとした漫画作品
　「週刊少年キング」（少年画報社）に1978年から1980年まで連載された
　愛蔵版では中原誠[1]や大内延介、中公文庫コミックス版では羽生善治らが推薦文を寄せている
　https://ja.wikipedia.org/wiki/5%E4%BA%94%E3%81%AE%E9%BE%8D
２）居飛車穴熊は、田中寅さんの得意戦法でした（下記）
３）”振り飛車にして右穴熊にするのは飛車を振るのに一手損になり”は、戦前（1945年以前）から言われていたが
　大山さんが ”振り飛車”で バリバリ勝って流行らせた
　大山さんは、将棋連盟の会長とかを長くやって 序盤研究の時間が取れなくなって それを振り飛車で補ったという
　即ち、”振り飛車”＋”美濃囲い” で 玉が固くしておくと 序盤では勝負が決まらない
　そこで 大山さんが中盤から終盤で 力で抜け出す戦法だったみたいです
　いま AIの影響で振り飛車は減ったと言われていますね （＾＾

(参考)
https://ja.wikipedia.org/wiki/%E7%94%B0%E4%B8%AD%E5%AF%85%E5%BD%A6
田中 寅彦（たなか とらひこ、1957年4月29日 - ）
棋風
全盛期は独創的な序盤戦術により作戦勝ちを収めることが多く、「序盤のエジソン」の異名を持つ。居飛車穴熊の「囲いの固さ重視」、飛車先不突矢倉戦法での「展開のスピード重視」という思想は、その後の序盤戦術の基礎となった[4]。
「居飛車穴熊」を現代戦法として再編・体系づけてプロ棋士の間に大流行させて本格的な対振り飛車攻略として定着させた[4]。裁判所が認めた「居飛車穴熊戦法の元祖」[注 1]。

>>137
>将棋の話は将棋板でやれ

こらこら
仕切るなバカ

私はSTさんにツッコミを入れようという気には、何故かならないんですよね。
ただ、OTSさんには突っ込まざるを得ない気持ちになる。
γが代数的無理数の証明をしている最中に、γが有理数になる証明は既にしたと聞いて、たまげましたからねw
（古参の方はもしかすると、薄々気づいていたのかもしれませんが。）

>>139
言われたらそばからw

>>140
ただ、STさんには強大な権力がありますからねw
どんぐり植えるの大変なんですよ（汗）

>>125
>コピペ下痢とはよく言ったもんですねwww
>正直私も難解すぎて、大半は消化出来ていません（汗）

今月の数理科学 楕円関数特集
立ち読みPDF 巻頭 楕円関数の魅力 桂利行先生 下記
へー と思いました・・
いま手元にあります （＾＾

https://www.saiensu.co.jp/search/?magazine_id=1&latest=1
数理科学 2026年3月号 Ｎｏ.753
楕円関数
周期が織りなす豊穣な世界

＜立ち読みPDF＞
https://www.saiensu.co.jp/preview/2026-4912054690365/202603.pdf
巻頭 楕円関数の魅力 桂利行

特集
楕円関数の魅力 桂　利行
楕円関数入門 〜 ヤコビの楕円関数とワイエルシュトラスの楕円関数 〜 武部尚志
楕円関数と代数幾何学 〜 3次曲線の複素代数幾何学 〜 小木曽啓示
楕円関数と数論 三枝洋一
楕円函数とパンルヴェ方程式 坂井秀隆
楕円関数と可積分系概観 中村佳正
Weierstrass-Bakerの超楕円関数論 松谷茂樹
楕円曲線暗号 安田雅哉
楕円関数と数値解析 大浦拓哉
楕円関数と数理物理 山田泰彦

https://researchmap.jp/read0007854
桂 利行
https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E5%AD%A6%E8%B3%9E
代数学賞
2017年度
桂利行（法政大理工）：正標数の代数幾何学

>>140
バカは板の使い方も分からんおまえ

まあ添削合戦の軸しか、今のところまともにスレが動かないですからね（汗）
私が良い話題でも投下できる実力があれば良いのですが、今は将棋を封印して真面目に勉強中の身ですからね…。
御大からの「こんな話題で〜感心する。」というお言葉は、添削以外の建設的な議論軸も用意したらどうかというエールだと受け取っています。

いま東北大の院試を眺めていますが、2026年共通問題の大問2（2）の反例が両方とも浮かびません。
真面目な議論軸も試してみたいので、反例が見つかれば教えて頂きたいです。
（質問スレですべきと言われれば、この試みは諦めますw）
マンネリに感じたので、何か動いてみたくなりました。
（真のときの証明は大変でしょうから、それは結構です。平日でお仕事も大変でしょうから、何日かかっても構いません。）

>>149
どんなもんだい！？

>>150
http://www.math.tohoku.ac.jp/admission/old-exam.html
これの2026年共通問題の大問2（2）の反例探しです。
新しい風を取り入れたいので、少しだけご協力ください(⁠^⁠^⁠)

ゆっくりで大丈夫です(⁠^⁠^⁠)
次の土日くらいでも良いくらいですw

あまりにも数学板のビッグネームに頼りすぎですからね（汗）
例えばこんな感じで、おふたりの負担を緩和していきたいですね(⁠^⁠^⁠)

それじゃあSTさん、数学科の方がお考えになっている間に、将棋談議といきますか！
な〜んちゃってw

キモチワルイ

私がなのか、それとも考えすぎて気持ち悪いのか…。

w, w' を任意にとる。F, F'をw,w' のファイバーとする。ZがハウスドルフでF,F'は有限集合だから開集合U,U' をF⊂U、F'⊂U' 、U∩U' = φ と選べる。 G = f(Uᶜ), G'=f(U'ᶜ) とすれば、w∉G、w'∉G'、 G∪G' = W

>>157
ファイバーですか？
ちょっと調べないと分からないですね…。
考えれば分かるかもしれませんが、それは（�@）,（�A）のどちらか教えて頂けると有り難いですね…。

>>151-153
>http://www.math.tohoku.ac.jp/admission/old-exam.html
>これの2026年共通問題の大問2（2）の反例探しです。
>新しい風を取り入れたいので、少しだけご協力ください(⁠^⁠^⁠)

（ニコ） (^^)君
いいね
どんどんやってね　（＾＾；

下記に問題貼るよ
ところで、「反例探し」と仰るが
”偽であるならば反例をあげ・・”だよ
偽と推定した理由は？　（それ手がかりだね）

(参考)
http://www.math.tohoku.ac.jp/exam/questions/2026_R8_kyotsu.pdf
令和8年度東北大学大学院理学研究科数学専攻入学試験問題
数学　共通問題
令和7年8月21日（9時30分から12時まで）

2 以下の問いに答えよ．

(2) Z をハウスドルフな位相空間とし，Wを位相空間とする．f:Z→Wは全射であ
　り，かつ，任意のw∈W に対しf−1({w})が有限集合であるとする．このとき，以
　下の(i), (ii) の命題はそれぞれ真であるか．真であるならばそのことを証明せよ．
　偽であるならば反例をあげ，実際に反例になっていることを証明せよ．
　(i) f が連続な開写像であるならば，Wはハウスドルフ空間である．
　(ii) f が閉写像であるならば，W はハウスドルフ空間である．

　ここで，写像f:Z →Wについて，
fが開写像であるとはZの任意の開集合Uに対しf(U)がW の開集合であることをいい，
fが閉写像であるとはZの任意の閉集合Fに対しf(F)がWの閉集合であることをいう．

>>158
（i）,（ii）のどちらか

>>159
詳しく話すと、私は反例を見つけることが出来ませんでした。
だから私は真と判断を下すしかないのですが、他の方に真の証明を書いて頂くのは長くなるから控えました。
偽の証明は反例を挙げれば良いので比較的に楽かと思い、試しにお頼みしてみました。

>>155
もし私が気持ち悪いのなら、真剣に身を引くことも視野に入れる。
私が気持ち悪いという前提で話を進めるが、貴方は数学的帰納法のスレでとんでもない言葉遣いをしていないか？（これは相手も中々だったので、何とも言えなくもあるが…。）
私は貴方とおそらく2回揉めていると思うが、最初は早く身を引かなかった私が悪かった。
ただ2回目は、どう考えても貴方の方がしつこかったはず。

セタさんやトイレさんからはパフォーマンス性を感じるが、貴方には遊び心が感じられない。
だから、私はしばらく大人の余裕を見せるために演技をしてみようと思う。
これでも不快な感じが続くようだったら、私はスッパリと辞めるから宜しく。

>>155
あなたは数学科にいたのなら、同級生とバトルして険悪になった過去とかは無いのか？
もし心当たりがあるのなら、何年か越しの反省をしたらどうなんだ？
あなたは古参で私は新人だから、貴方に辞めてとは言えないから安心して下さい。

キモチワルイ

>>164
分かった、辞めるわ。
そういうところが御大の逆鱗に触れるんだと思うよ？
せっかく話しかけてくれる人もできたが、こんな奴がいたんじゃやってられない。
セタさん・トイレさん、今までありがとうございました。
あと、将棋の話をしてくれた方が誰なのか分かりませんが、その方もありがとうございました。
私はネット向きの性格をしていない自覚があるので、この辺で辞めときます。
色々楽しかったです、勉強のヒントを貰えたので一人で頑張ります！

キモチワルイ

>>166
自分が間違っていても謝れない人間に、何言われても響かないね。
こちらは何度も折れて、妥協の限界に達した。
日本数学会にたてついた経歴に誇りを持ち、堂々と生きて行ってくださいwww

>>165
>将棋の話をしてくれた方が誰なのか分かりません
それ、おっちゃんです

>>141
>ただ、OTSさんには突っ込まざるを得ない気持ちになる。
>γが代数的無理数の証明をしている最中に、γが有理数になる証明は既にしたと聞いて、たまげましたからねw
>（古参の方はもしかすると、薄々気づいていたのかもしれませんが。）
ここに書いたγの有理性の証明は間違っていたw

>>168
やはり、おっちゃんさんでしたか。
γの話は大体説明して貰えたので、事情は把握できています。
せっかく冬眠から覚めて面白くなってきたところでしたが、目の敵にされるのでは私もこちらでは活動出来ません。
イライラして勉強に手がつかなくなるのは本末転倒なので、この辺りでお別れです。
飛車の受けの続きが気になりましたが、聞けなくて残念です。
セタさんと二人で頑張って下さいね、応援しています！

>>149　
いい試み　
案の定スレッドがストップ　
理由は・・・お察しください（笑）

>>159
１、案の定、問題だけコピペして回答できず

ハウスドルフ空間の定義も知らん
素人の１に答えられるわけがない（笑）

>>170
良いじゃないですか、試してみるのも。
普通の議論でスレが動かないのなら、もう居る意味は無いのかと。
私は他人をやりこめるのは趣味じゃない。
だから、ここに居るべき人間ではなかったということです。

でも、数学をきちんと勉強している人を、この目で見れたのは良かったです。
今まで張り合いのある人が少なかったので、かなりやる気がでました。
それなりに意味のある活動だったので、感謝しています。

ヘタレなので、真っ先にAIに訊いてみた
正しいかどうかは、読んで確認してな（笑）
だが、１、貴様には絶対無理
あきらめて囲碁将棋してろ（笑）

ーーー
結果
(i) 偽
(ii) 真

反例

合格体験記にもあるように、問題(1)の商空間をほぼそのまま使うのが最も自然です。
(1)で出てきた Y （実数の2本のコピーを0以外で同一視した空間の商）はハウスドルフでないことが知られている（多くの教科書に載ってる有名な反例）。
で、射影 π : X → Y は連続
開写像（Xの位相の定義から）
全射
各点の原像は 1点 または 2点（0の2点だけ同一視されてる） → 有限

なのに Y はハウスドルフでない。→ これが (i) の完璧な反例。だから (i) は偽。

>>174
最後にこれだけは確認しておきますw
ファイバーとか言ってたやつも気になりますからね。

>>172
＞普通の議論でスレが動かないのなら、もう居る意味は無いのかと。

うん、健全な君はここにいてはいけない　馬鹿になるから

ここは数学できないヤツ同士が
「おまえのほうがもっと出来ないだろ」
と足を引っ張り合う場だった、と

１もγもそして自分も・・・同じ穴の貉（自虐！）

>>175
AIに表記の揺れがあるので確認するけど
これって２つの直線の原点0以外をベタっとくっ付けるっていうことでOK？

ああ、くだらない（思いつかないお前が言うな（笑））

>>174
（2）は（1）を利用する問題だったのかもしれませんね。
良いこと聞いたかもしれません(⁠^⁠^⁠)

>>177
（1）を解いていたら、すぐ気づいたかもしれませんよ。
あまり平日の夜遅くに出す問題じゃなかったんですよw

>>177
ああ、(1)でこの空間が出てくるのね。納得

（1）
OR を R のユークリッド位相の開集合系とする．X = R × {1, −1} とする．
X の位相 OX を
OX = {(U × {1}) ∪ (U′ × {−1}) | U, U′ ∈ OR}
と定める．
X 上の同値関係 ∼ を，p, q ∈ R, s, t ∈ {1, −1} に対し
(p, s) ∼ (q, t) ⇔ (p, s) = (q, t) または p = q ∈ R \ {0}
と定める．Y = X/∼ とおき，標準的射影を π : X → Y とおく．
π の定める Y上の商位相を OY とおく．
位相空間 (Y, OY ) はハウスドルフ空間であるかどうか，理由とともに答えよ．

>>174
最後に良い情報をありがとうございました。
これで、はればれ卒業できますよ(⁠^⁠^⁠)
といっても、この板にはいるかもしれませんよ？w

>>179
(1)を見ると、"God demn!！!"って叫びたくなるね

院試受けずに院に潜り込んでよかった(笑)

入試受けずに大学に潜り込んだヘタレより(笑)

>>176
www
謙虚になられましたね、最後に良い一面を垣間見ました。
セタさん・乙さんに宜しくお伝え下さい。（バリバリ見てる）

>>182
へぇ、そんなこと出来るんですね。
私は院試が簡単な年に入学したので、落ちずに済みましたよ。

>>181
いい情報

ここの板はオチコボレしかいない

１）大学１年の微積と線形代数の理論が分からず全部すっとばした１
２）解析は苦手で不等式の向きも取り違える有様なのに、なぜかγの無理数判定の問題にとりつかれたγ（仮名）
３）大学３年のガロア理論がチンプンカンプンで、「おれは間違ったところに来ちまった」と情報科学に転向した某

>>176
君がいうように、ここにいるなら勉強などに
時間を費やした方がためになるな
経験則として、君の主張は筋が通っている
だが、他人をやり込めることの件については、バカマジメになるなよ

>>183
私はもともと謙虚なんですよ（笑）
>>184
私立なら・・・なんでもありです（こら）

>>186
告白しますが・・・１をやり込める口実で、実数論と線形代数の復習してました！（笑）

>>186
最近はパフォーマンスとして結構見られるようになってきたのですが、私と揉めている人との間にはもはや数学の存在は無いんですよ、これがw
私は誰とも争う気はないと公言しても、どうしても衝突してしまう。
これは単純に、人間性の反りが合わなすぎるということなんです。
私のことを嫌っている人がいるスレで、私は幅をきかせられるほどメンタルは強くないです。
だから、先輩を立てて私はおいとましますね。
私はこの板にはいるつもりなので、たまに見つけたら声を掛けて下さいね(⁠^⁠^⁠)

>>188
ここに来てモチベーションを上げる方法は、何でもありだなと思うようになりましたw
なんか良い知識があったら、声を掛けて下さい。
おそらく質問スレ等に出没しますw

お仕事がお有りの方は、遅れないようにお気をつけ下さい。
セタさんはいつまでも寝てて良いですからw

>>189
一応γの無理性(超越性)や有理性の問題について調べてみたが、
γの無理性(超越性)や有理性の問題は
とてつもなく難しい問題だというから、
もしかしたら、γの無理性(超越性)や有理性の問題には
手を出さない方がいいかも知れない
私も時々暇つぶしにここに来るので、完全にここを去る訳ではない

>>192
私が濃度について発言したら御大が肯定されていましたが、代数的数よりもはるかに超越数というのは多いのです。
だから確率的に考えると、γは超越数であると考えている数学者が多いのです。
今後γに関する証明を続けるおつもりなら、このあたりの事情を考慮されると良いと思います。

>>192
他の皆さんは乙さんの冬眠を望まれていないと思うので、証明発表の頻度は上げていかれると喜ばれると思います。

>>174
(引用開始)
ヘタレなので、真っ先にAIに訊いてみた
正しいかどうかは、読んで確認してな（笑）
ーーー
結果
(i) 偽
(ii) 真
反例
合格体験記にもあるように、問題(1)の商空間をほぼそのまま使うのが最も自然です。
(1)で出てきた Y （実数の2本のコピーを0以外で同一視した空間の商）はハウスドルフでないことが知られている（多くの教科書に載ってる有名な反例）。
で、射影 π : X → Y は連続
開写像（Xの位相の定義から）
全射
各点の原像は 1点 または 2点（0の2点だけ同一視されてる） → 有限
なのに Y はハウスドルフでない。→ これが (i) の完璧な反例。だから (i) は偽。
(引用終り)

ありがとう
スレ主です

”(ii) 真”は、ありかな？と
ちょっと思ったよ
「反例探して見つからない」というから・・
そして 自分でも 『これ反例ある？』と思ったし
だから >>159の”偽と推定した理由は？　（それ手がかりだね）”と書いたんだ

で、（ニコ） (^^)君 去るのも残るのも 自由勝手だが
”偽と推定した理由は？（それ手がかりだね）”について
何か書いて おくれ （＾＾

追伸
合格体験記：>>174より
”問題(1)の商空間をほぼそのまま使うのが最も自然”
　↓
”各点の原像は 1点 または 2点（0の2点だけ同一視されてる） → 有限
なのに Y はハウスドルフでない。→ これが (i) の完璧な反例。だから (i) は偽。”

へー
(i) と(ii) との関連は、チラッと浮かんだけど(開写像 vs 閉写像)
誘導問題まで閃かなかったよ（というか (i)も私には同じ程度に難しそうだった）

問題(1)
　↓
問題(2)
の誘導
という問題の造りかよ
全く気付かなかった（おれには当たり前だがｗ）
さすが 卓越大だね （＾＾

>>193
確率的には、γは超越数(無理数)である可能性が極めて高いが、
物理的に考えれば、殆ど起きない事象ではあるが
現実に生じている宝くじが当たることを否定できないことと同様に、
確率的に殆ど起きない事象であるγが有理数であることを否定することはできない

>>195
私は反例が全く思い浮かばなかったので、真とするしかない状況でした。
長くなる真の証明を他の方に頼むのは憚れるため、簡単そうな偽になる反例を挙げるお願いくらいはしてもよいかと考えました。（真だと思う方は、解答しなくて良い旨を書いた気がします。）
ファイバーの証明は理解できませんでしたが、トイレさんがAIで処理された解答なら、（1）を数日前に考えた私にも分かりそうです。
最後に私の勉強を助けて貰えて良かったです(⁠^⁠^⁠)

>>195 追加

問い(1)を下記に引用する

(参考)>>159より
http://www.math.tohoku.ac.jp/exam/questions/2026_R8_kyotsu.pdf
令和8年度東北大学大学院理学研究科数学専攻入学試験問題
数学　共通問題
令和7年8月21日（9時30分から12時まで）
2 以下の問いに答えよ．
(1) OR をRのユークリッド位相の開集合系とする．X =R×{1,−1}とする．Xの
位相OXを
OX ={(U ×{1})∪(U′×{−1}) | U,U′ ∈ OR}
と定める．X上の同値関係∼を，p,q∈R,s,t∈{1,−1}に対し
(p, s) ∼ (q,t) ⇔ (p,s) = (q,t) または p =q ∈R＼{0}
と定める．Y = X/∼とおき，標準的射影をπ:X → Y とおく．πの定めるY
上の商位相をOY とおく．位相空間(Y,OY)はハウスドルフ空間であるかどうか，
理由とともに答えよ．
(引用終り)

”理由とともに答えよ”か？
わざとか？ >>159の(2)同様に
『真であるか．真であるならばそのことを証明せよ．
　偽であるならば反例をあげ，実際に反例になっていることを証明せよ』
とすれば？

まともに証明書くの難しいのかね？　（＾＾
”理由”ね、”理由”が定義されとらんぞ おい 卓越大よ　ｗ（＾＾；
まあ、誘導であることを ぼかしたのか？ｗ

>>197
（ニコ） (^^)君 ありがとう

>私は反例が全く思い浮かばなかったので、真とするしかない状況でした。

だったら 最初からストレートに そう書いたらいいじゃん　（＾＾
ひねりすぎ ですよ

>>196
一等が当たる人は、現に存在しますもんね。
γが有理数だったら、どなたかに言うことを聞かせても良いと思いますよ？
あれだけ否定されたんですからw

>>199
新しい試みでしたからね。
そうして、今の状況に至るというw
上手くいかなくても、試してみるというのは大切だと思いますよ。
果たしてこのスレは今後どうなるかわかりませんが、ビッグな新人が現れることを願っていますよw

>>193
γの超越性(無理性)と有理性の問題については、
γの超越性(無理性)の視点とγの有理性の視点の両方から
慎重に考えてみるのが一番いいかも知れない

>>199 追加

ついでに答えて
　>>198の問い(1)と　(2)の(i)は 解けてたの？
私には どちらも サッパリですが・・（＾＾

>>202
とりあえず私の見解は、超越数をオススメします。
（一番オススメするのは証明をハナから諦めるということですが、それでは周りの方は落胆するかもしれないですw）
その分野（実数論？）がお好きかもしれませんが、ガラっと分野変更しても面白いのかもしれません。
（またイチから勉強するのは、時間がかかるかもしれませんが…。）

>>203
（1）は納得したような覚えがあります。
（2）は2つとも反例が見つかりませんでした（汗）
つまり（i）は間違えていて、（ii）は勘が当たっていたということですね。

>>204
γの超越性(無理性)と有理性の問題は超越数論の問題だから、
一応解析数論ということになるらしい
ただ、γはeやπなどと同様に微分積分で出て来る数学定数で、
ハウスドルフ次元やフラクタルなどの視点から
超越数や代数的無理性、有理数を実解析的に扱う方法などもあるから、
何の分野に属するかということは一概にいえない

>>205
（ニコ） (^^)君 ありがとう スレ主です
了解です

私見のチラ見では
>>198の問い(1)は、実数Rの性質 ハウスドルフについて
問題の直積と 同値関係〜とで 遺伝するという話でしょうね
おそらくですが・・（＾＾

細かいところは、サッパリ追えていませんが・・（＾＾
”理由”は、それを 直積 同値関係〜 分っています！ とアピールする如く書く
ってことか

>>206
へー、そうなんですか。
まあ、発表のスピードや目を引く感じなことを大切にして、今後頑張られたら良いかと思います。
奇想天外さが乙さんの真骨頂だと思うので、期待しています。
ここはちょくちょく覗きにくるつもりですから、良いもの見せて下さいね(⁠^⁠^⁠)

>>207
多分そうです！
もう居なくなるからノリで答えますw
もう追及されてもへっちゃらですからねwww

>>207
真面目に答えると、（0,1）と（0,-1）をそれぞれ含む開集合を取ると、上手く分離できないというのが理由だったかと思います。（数日前にやったので、うろ覚えです。）

>>192
AIに訊いてみた結果

オイラー・マスケローニ定数 γ（約 0.57721...）の有理性/無理理性は、
現在（2026年時点）でも未解決の超有名なオープン問題です。

π や e の無理数証明が比較的「早く」終わったのに対し、
γ は300年近く経っても誰も決め手となる証明を出せていません。

なぜこんなに難しいのか、そしてこれまでどんな手法が試されてきたのかを、
歴史的・技術的な流れでざっくりまとめます。

主な試みと手法の歴史（大まかな時系列）

時代 代表的な人物・成果
主な手法・アプローチ
結果・限界

18世紀 Euler, Mascheroni
定義そのものの数値計算（調和数 - ln n の極限）
ただの値の計算。無理数かどうかは全く触れられていない

19世紀 Legendre, Shanks など
Euler-Maclaurin公式を使った高精度計算
数十〜数百桁計算できたが、無理性には全く関係なし

1950年代 A. Шидловский (Shidlovsky)
E-関数とG-関数の理論（Siegel-Shidlovsky理論の延長）
γ と Gompertz定数 δ の少なくとも一方が無理数

1970〜80年代 Deuring, Ramachandra, 等
ディオファントス近似 + γ の特殊な積分表示や級数表示
下からの無理数測定（irrationality measure）が弱いまま

1990年代〜 M. Hata (1990年代後半〜2000年代)
ディオファントス近似 + Padé近似 + Bessel関数やStieltjes積分を使った高速収束級数
γ の無理数測定を μ(γ) ≤ 7.6063... 程度まで改善（2020年代初頭時点で最良記録付近）

2000年代 Rivoal, Zudilin, Ball-Rivoal, 等
Apéry的アプローチの変形、Beukers型3重積分アプローチのγ版試み
ζ(3) 以降の無理数証明の手法をγに応用しようとしたが、決定打には程遠い

2010年代 T. Rivoal (2012)
同上 + より洗練された線形
γ と Gompertz定数 δ の少なくとも一方が超越数

2010〜2020年代 M. Ram Murty, Nesterenko系のアプローチ、複数人
γ を含む複数の定数の同時超越性、複数ゼータ値との関係、自動証明支援ツール活用
部分的な超越性結果はあるが、γ単独の無理数性は依然として開いたまま

seperable でないスキームの構成法の代表やわな
もちろん大学院受けるならこれくらいは即答できんとダメやわな

>>195
>”(ii) 真”は、ありかな？とちょっと思ったよ
>「反例探して見つからない」というから・・
>そして 自分でも 『これ反例ある？』と思ったし
>(i) と(ii) との関連は、チラッと浮かんだけど(開写像 vs 閉写像)
>誘導問題まで閃かなかったよ
>（というか (i)も私には同じ程度に難しそうだった）
>全く気付かなかった（おれには当たり前だがｗ）

そもそもハウスドルフ空間の定義も知らん１には無理

>>198
>”理由とともに答えよ”か？
>わざとか？
>『真であるか．真であるならばそのことを証明せよ．
>　偽であるならば反例をあげ，実際に反例になっていることを証明せよ』
>とすれば？
>まともに証明書くの難しいのかね？
>”理由”ね、”理由”が定義されとらんぞ

「理由とともに答えよ」が
「証明つきで答えよ」だと読めん
１には数学系大学院は無理

>>207
>私見のチラ見では
>問い(1)は、実数Rの性質 ハウスドルフについて
>問題の直積と 同値関係〜とで 遺伝する
>という話でしょうね

全然トンチンカン

>>210が述べた通り
「（0,1）と（0,-1）をそれぞれ含む開集合を取ると、上手く分離できない」
これが全て

もし、R＼{0}ではなくR＼(-ε,ε)ならハウスドルフ

>おそらくですが・・
>細かいところは、サッパリ追えていませんが・・

１は↓を百回音読すること（笑）

>>212
>seperable でないスキームの構成法の代表
>もちろん大学院受けるならこれくらいは即答できんとダメ

>>207
＞直積 同値関係〜 分っています！ とアピールする如く書く

ハウスドルフの定義は全然分かってません、とバレて、１、予想通り不合格

御愁傷様(^^)/~~~

数学におけるハウスドルフ空間（ハウスドルフくうかん、英: Hausdorff space）とは、
異なる点がそれらの近傍によって分離できるような位相空間のことである。

定義
X を位相空間とする。
X 上の任意の相違なる2点 x, y に対して、U ∩ V = ∅ であるような
x の開近傍 U および y の開近傍 V が必ず存在するとき、
Xはハウスドルフ空間であるといわれる。

---
上記の定義を踏まえて、問題（1）の(0,1)、(0,-1)それぞれのいかなる開近傍をとっても
その共通集合が空集合になり得ない　だからハウスドルフじゃなーい

いわれてみればアホみたいに簡単だった・・・ＯＴＬ

行列式0の正方行列にもランクの違いがある

自分がランクｎ−１くらいだとすると
１は文字通りランク１くらい

どの成分も０じゃない癖に
２行目以降が全部、最初の行のスカラー積
みたいな（笑）

>>167
間違いとは？

>>212-214
ふっふ、ほっほ
スレ主です

>そもそもハウスドルフ空間の定義も知らん１には無理

まあ、ここは試験場ではないｗ
試験場外なので
試験場にスマホ持ち込みと同じなのだ　（＾＾

ハウスドルフ空間：異なる点がそれらの近傍によって分離できるような位相空間
https://ja.wikipedia.org/wiki/%E3%83%8F%E3%82%A6%E3%82%B9%E3%83%89%E3%83%AB%E3%83%95%E7%A9%BA%E9%96%93

>seperable でないスキームの構成法の代表

ワードサラダ！！ｗｗ
ハウスドルフ： 異なる点がそれらの近傍によって分離できる
つまり seperable である！！
スキーム (数学)は （ https://ja.wikipedia.org/wiki/%E3%82%B9%E3%82%AD%E3%83%BC%E3%83%A0_(%E6%95%B0%E5%AD%A6) ）
いまの場合、完全にトンチンカンｗｗ （＾＾

>私見のチラ見では
>問い(1)は、実数Rの性質 ハウスドルフについて
>問題の直積と 同値関係〜とで 遺伝する
>という話でしょうね

ここを 補足すると
この問い(1)で、聞かれていることは ごく初歩的なことだという認識を持つべし
次に、院試の答案と 一般数学論文とは 真逆なのだよ
つまり 一般数学論文は、プロ数学者の常識は書かないのが普通だ
一方 院試の答案は、自分のアピールとして
”位相の基本部分 分かっています！”
を さらっと書くべし（時間配分に配慮しながら）

なので 答案としては
まず
・位相空間(Y,OY)はハウスドルフ空間であるかどうか について Yes と表明する
・次に ハウスドルフの定義を書く ”異なる点が近傍によって分離できる位相空間”だと
・そして 実数Rが ハウスドルフであると述べる（知ってますのアピール）
・次に OR 開集合系から構成される位相OXも ハウスドルフであると述べる（略証あればベスト）
・X上の同値関係〜の標準的射影 の商位相 OY も ハウスドルフと述べる（略証あればベスト）
そして 結論を再度述べる
位相空間(Y,OY)はハウスドルフ空間である■
と締める

略証部分は、私には書けないので略した（カンニングすれば書けるだろうが（＾＾）
ここは ”理由”と緩めてくれているので
時間配分との兼ね合いだね
時間なければ、ゴールに向かって走るしかない（途中は粗くてもやむなし）
以上

>>210
>真面目に答えると、（0,1）と（0,-1）をそれぞれ含む開集合を取ると、上手く分離できないというのが理由だったかと思います。（数日前にやったので、うろ覚えです。）

理由付け おかしくない？
(0,1）と（0,-1）
　↓
{0,1}と{0,-1} （問題文より）
でしょ？
開区間 (0,1）でなく 2点集合 {0,1}

？ で >>174より
”合格体験記にもあるように、問題(1)の商空間をほぼそのまま使うのが最も自然です。
(1)で出てきた Y （実数の2本のコピーを0以外で同一視した空間の商）はハウスドルフでないことが知られている（多くの教科書に載ってる有名な反例）。
で、射影 π : X → Y は連続
開写像（Xの位相の定義から）
全射
各点の原像は 1点 または 2点（0の2点だけ同一視されてる） → 有限
なのに Y はハウスドルフでない。→ これが (i) の完璧な反例。だから (i) は偽。”

真逆読んだか （＾＾
　では >>219 もとい 書き直し
なので 答案としては
まず
・位相空間(Y,OY)はハウスドルフ空間であるかどうか について No と表明する
・次に ハウスドルフの定義を書く ”異なる点が近傍によって分離できる位相空間”だと
・そして 実数Rが ハウスドルフであると述べる（知ってますのアピール）
・次に OR 開集合系から構成される位相OXも ハウスドルフであると述べる（略証あればベスト）
・X上の同値関係〜の標準的射影 の商位相 OY は ハウスドルフでないと述べる(?)（略証あればベスト）
そして 結論を再度述べる
位相空間(Y,OY)はハウスドルフ空間ではない■
（＾＾；

>>219の追加 もとい 書き直し

(引用開始)
>seperable でないスキームの構成法の代表
ワードサラダ！！ｗｗ
ハウスドルフ： 異なる点がそれらの近傍によって分離できる
つまり seperable である！！
スキーム (数学)は （ https://ja.wikipedia.org/wiki/%E3%82%B9%E3%82%AD%E3%83%BC%E3%83%A0_(%E6%95%B0%E5%AD%A6) ）
いまの場合、完全にトンチンカンｗｗ （＾＾
(引用終り)

発言
取り消す
出題が ハウスドルフの否定なので ”seperable でない”は 正しい
とすると ”スキームの構成法の代表”は 合っているかも・・（＾＾

>>221
>とすると ”スキームの構成法の代表”は 合っているかも・・（＾＾

下記
”グロタンディークのEGAやマンフォードの「Red Book」など初期の文献にはスキームという用語で前スキームのうちで特に点の分離性を満たすものをさしているものもある”
とあるから グロタンディークのEGA、マンフォードの「Red Book」
では ”seperable でないスキーム”は 無かったんだね

なるほど
なので ”seperable でないスキームの構成法の代表”は、判断保留だな （＾＾

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%82%AD%E3%83%BC%E3%83%A0_(%E6%95%B0%E5%AD%A6)
スキーム (数学)
アフィン・スキーム
Spec(A) は以下のようにして局所環付き空間の構造を持つ。その構造も込めてアフィン・スキーム（affine scheme）とよばれる
スキーム
アフィン・スキームの貼り合わせとして得られる局所環付き空間を前スキームまたは単にスキームとよぶ。
グロタンディークのEGAやマンフォードの「Red Book」など初期の文献にはスキームという用語で前スキームのうちで特に点の分離性を満たすものをさしているものもある。

>>220 補足
　>>199 より
実数R ：ハウスドルフ
↓
X =R×{1,−1} 位相OX
↓
Y = X/∼ 位相空間(Y,OY) ：ハウスドルフでない
という流れで

答案としては
この流れを解析して
ここで
ハウスドルフ→ハウスドルフでない
の転換が起きた
その理由は かくかくです
と書け！ ってことでしょう

まあ、卓越大の院試を受ける人には 基本かも
私には ムズで 位相空間本を カンニングしないと
書けません （＾＾

>>219-221
１こと現代数学の系譜 雑談 ◆yH25M02vWFhP
毎度恒例の一人相撲でオウンゴール

ハウスドルフ空間の定義が全然わかってませんでしたぁ！（笑）

>>222
「点の分離性を満たす＝ハウスドルフ」ではないよ
ザリスキ位相、知ってる？

>>223
＞私には ムズで 位相空間本を カンニングしないと書けません
理解してない人にはカンニングも無理

もう大学１年の数学で落ちこぼれた君は
大学数学きれいさっぱり諦めて
囲碁将棋でも打ってなさい

>seperable
separable
できない英語を無理して使うな

separableとseparated

>>224
おサルさん >>34
赤ペン先生 ありがとう

>「点の分離性を満たす＝ハウスドルフ」ではないよ
>ザリスキ位相、知ってる？

なるほど
「点の分離性を満たす＝ハウスドルフ」は 滑っているかもね
口頭試問なら ツッコミあるかも
ザリスキ位相は、知っているが あまり分かってない
が ザリスキ位相を聞いたことがある（知っている）
と 聞いたことががない
は、実社会では 大きな差を生むことがあるよ

>>205 戻る
>（2）は2つとも反例が見つかりませんでした（汗）
>つまり（i）は間違えていて、（ii）は勘が当たっていたということですね。

後知恵だが
卓越大としては
問(1)を誘導として
(2)の（i）につなげて 問(1)との関連に気づけば 得点で
(2)の（ii）が、一番ムズ

受験テクニックとしては
大問を見たら 誘導だと思って
頭から解くべしか
そして (2)の（i）（ii）は、
受験テクニックとしては どちかが 成立で どちらかが不成立だと
という目で見るのが正解かもですね （＾＾

”大学への数学”ふうに書けば
問(1)と (2)の（i）は、完答したい
(2)の（ii）も 基本問題です と評されるかも

採点基準で (2)の（ii）の Yes or Noに配点あるかもなので
Yes と書いて 証明を途中まででも書いたら 部分点もらえる？

採点基準次第か・・
解答への時間配分戦略ですなｗ （＾＾

>>218
あなたの方がどう考えてもしつこく見えたことだよ。
ちなみに私が2回目に乙さんの過去について貼ったのは、貴方以外にも利用したい人がいるかもしれないから貼ったんだよ。
無限小のピクチャーを書いてって、セタさんに何回尋ねたか覚えているかい？
スレを見返さないと思い出せないくらい、無理矢理聞き出そうとするもんじゃあないよ。
個人の自由に帰属しそうな事柄を、数学ができるといった理由で無理強いができるスレなのなら、私はここを喜んで抜けよう。
私には一切謝罪は不要だが、周りの方が気を使って下さっていることに関しては、何か一言あるべきなんじゃないのかい？

>>206
>separableとseparated

御大か
巡回ありがとうございます （＾＾

”separableとseparated”
卓越大 院試受験者は よく勉強しましょう
試験場へは スマホ持ち込み厳禁です！

>>227
>ザリスキ位相を聞いたことがある（知っている）と 聞いたことががないは、
>実社会では 大きな差を生むことがあるよ

１、好例のみっともない言い訳

もう永遠に黙れ

>>228
ありがとう （＾＾

>>227
＞受験テクニックとしては

１の数学理解は高校レベルの計算術で止まってます

>>228
＞私はここを喜んで抜けよう。

そのときは１も一緒に連れて行ってあげて

どこにいくの？　囲碁将棋板がいいと思うんだけど

>>225
あなたは他の方がお膳立てした状況を、ただただ消費しているだけのように見える。
敵対しているとはいえ、盛り上げているセタさんや乙さんに、1ミリくらい敬意を持っても良いんじゃないか。（トイレさんは、セタさんのお道化具合を評価されている節もある。）
このスレの絶妙なバランスについて何も理解する気がないのなら、私は居る意味を感じないから辞めます。
あとは貴方の判断に委ねようと思います。

>>231
当然のことですよ(⁠^⁠^⁠)

>>230
ホイヨ　（＾＾
正しいかどうか
マユツバで読んでねｗ

(google検索)
ザリスキ位相 について 分かり易い 説明は？
AI による概要
ザリスキ位相（Zariski topology）は、代数幾何学における最も基本的な位相（空間の繋がりの定義）です。
一番分かりやすい説明は、「多項式の解（＝ゼロ点）になる集合を『閉集合』と決めた、少し変わった空間の捉え方」です
https://mathoverflow.net/questions/21502/what-is-the-zariski-topology-good-bad-for
以下にポイントを絞って解説します。

1. ザリスキ位相の「直感的な」イメージ
通常の空間（ユークリッド空間）では、円や直線など「形がくっきりしているもの」を閉集合と呼びます。
一方、ザリスキ位相では、「代数方程式 f(x,y,・・)=0
の解」になっている集合をすべて「閉集合」と呼びます。

何が閉集合？：略 （円）や 略 （放物線）など、多項式で表せる図形。
特徴：通常の位相に比べて開集合が非常に少ない（閉集合が非常に多い）。
物理的イメージ：ザリスキ位相の空間は、「スカスカ」で「ほとんどの部分がくっついている」不思議な空間です。2つの空でない開集合が、必ずと言っていいほど交わります

2. なぜそんな位相が必要か？
通常の距離（近さ）で連続性を議論する位相では、代数方程式の本質的な性質をうまく捉えられないからです。
目的：多項式の世界（代数）と、空間の図形的な構造（幾何）を完璧に結びつけるため。
利点：代数的に定義された方程式の解の集合において、連続的な性質を自然に扱うことができます

3. 具体的な例：複素数平面 C の場合
1次元の複素数平面（直線）にザリスキ位相を入れると、以下のようになります。
閉集合：有限個の点集合（例: {1,i,-1} ）か、平面全体。
開集合：有限個の点を取り除いた集合（補集合）。
この空間は「コファイナイト位相（余有限位相）」と呼ばれます。1点を除外しただけの集合も開集合になってしまうため、点と点が非常に密着しているイメージになります。

4. ザリスキ位相の性質
ハウスドルフ空間ではない：2つの異なる点があったとき、それらを交わらない「開集合（近傍）」で分離できません
既約性（Irreducible）：ザリスキ位相の閉集合は、それ以上「2つの閉集合」に分割できない（既約）という特徴を持っています（より正確には、どんな代数多様体も既約閉集合に分解できる）
まとめ
ザリスキ位相は、「距離（近さ）」を無視して「方程式の解か否か」だけを重視する、代数幾何学のための特注な空間構造です。
閉集合 = 代数多様体（方程式の解集合）
特長 = スカスカ、密着、非ハウスドルフ
代数多様体やスキーム（環のスペクトル）を勉強する際に必ず出てくる概念です。

https://ja.wikipedia.org/wiki/%E3%82%B6%E3%83%AA%E3%82%B9%E3%82%AD%E3%83%BC%E4%BD%8D%E7%9B%B8
ザリスキー位相
Wikipedia
代数多様体のザリスキ位相は、多様体の代数的部分集合の全体を閉集合系とする位相である。複素数体上の代数多様体の場合には、ザリスキ位相は通常の位相よりも粗く、任意の ...
多様体のザリスキ位相
アファイン多様体
射影多様体
現代の定義

>>233
将棋は今の感じで封印するので、却下ですねw
この板にはとりあえず居ますよ。
とにかく、私と敵対している方の判断待ちです。

「やめる」と言ってやめられないのは病気だよ。
わたしは hmPpvZAm は精神疾患、気〇がい病棟の手前にいると思っている。
昨晩、あなたと言い合いしていたひとではない。

まったく悪意はないのだが、もう一人の方が「きもちわるい」と言ったのは
正直、分からなくはない。様々な経緯からして。

>>238
二人良くないと思っている人がいるのなら、完全に辞めます。
貴方みたいに、伏せ字をしないと書けないようなことを書く人がいるのならねw
もう一切書かない、今までありがとうございました。

キモチワルイ

>>238
本当に最後に一言だけ。
やめられなかったのは、気をつかってくれているような人がいるように思えたから。
引き取める感じが皆無なら、前のときにスッパリ辞めていたさ。
これで特に言い残したこともないです、さようなら。

特定の数が超越数か代数的かさらに有理数かを
確率で考えるのは

>>243
それを否定すると御大も否定することになる。
私に本当に辞めてほしいのなら、私の話題は今後一切挙げなくて良いから。
最後にスレの足並みくらい揃えられるよね？
宜しくお願いします。

>>228
>あなたの方がどう考えてもしつこく見えたことだよ。
なんでそれが間違いなの？　意味不明

>ちなみに私が2回目に乙さんの過去について貼ったのは、貴方以外にも利用したい人がいるかもしれないから貼ったんだよ。
だからなに？　俺は俺の意見を言ったまでだけど意見言っちゃダメなの？　言論封鎖したいの？

>無限小のピクチャーを書いてって、セタさんに何回尋ねたか覚えているかい？
いちいち覚えてないけどそれが何か？

>スレを見返さないと思い出せないくらい、無理矢理聞き出そうとするもんじゃあないよ。
なんでそんなことあなたに指示されないといけないの？　あなたは何者？

>個人の自由に帰属しそうな事柄を、数学ができるといった理由で無理強いができるスレなのなら、
いつ俺が個人の自由を毀損したの？　俺は俺の意見や希望を言ったまで　言っちゃダメなの？　言論封鎖したいの？

>私はここを喜んで抜けよう。
じゃあ抜ければ？　あなたが抜けようが抜けまいがあなたの自由じゃん
俺としては無駄口でスレを薄めて欲しくないけどね　後から検索するとき手間が増えるから　でもそれは俺の希望であって、俺の希望をあなたが聞くかどうかはあなたの自由　何言ってんの？

>私には一切謝罪は不要だが、
謝罪すべきことがあると？　それは何？

>周りの方が気を使って下さっていることに関しては、何か一言あるべきなんじゃないのかい？
なんでそんなことあなたに指示されないといけないの？　あなたは何者？

どうでもいいけど　とにかくこれだけ言っとく

無駄口でスレ薄めるのは迷惑

>>245
きっと「ごめん」の3文字を言うと、命を取られる呪いでもかけられているのだろうw
「スマン」の3文字でも良いんだけどねw
日本数学会に投書するのが嫌なのなら、身近な御大にでもたてつけば？
そして見事にやりこめられれば良いw
全ては身から出た錆、私が居なくなってからよく噛み締めると良い。

>>246
まあこれは正論だから受け入れよう、もう辞めるから一々考える必要も無くなるよ。

>>245
自分は指示されたくなくて、私に自由に言えるのは矛盾していると思うがね。
まあ、貴方に正論を言ったところで、聞き入れてもらえないのは十二分に分かった。
私が辞めるのに十分な理由だ。
私を批判したい気持ちは分かるが、消えようとしているところに、矢継ぎ早に批判するのは辞めてくれ。
私が消えるのに掛かる時間は、貴方の態度にかかっているから宜しく。

>>249
（ニコ） (^^)君
ありがとうございます

その上で 老婆心ながら
　>>34に
"おサル＝サイコパス＊）のピエロ"
とアップしているように

相手は ”サイコパス”で 常人ではない！
そこを忘れないように
”サイコパス”を 常人と間違うと
自分のメンタルをやられてしまうので ご注意を

私 スレ主は
そこを わきまえているので
「ああ いつものことだね」
と思うだけです （＾＾；

>>250
ネットに向いてない人が無理していたから、こうなるんですよ。
必然の結果です。
お互い顔が見えていたら言えないようなことは極力書きたくない。
辞め際の批判合戦も見苦しいから、スパッと辞めることにご協力ください。
これは最後の私からのお願いです。

>>247
この基地外は何を言ってるの？　意味不明すぎて草しか生えん

>>247
>私が居なくなってからよく噛み締めると良い。
早く居なくなってくれないかなぁ　居なくなるなる詐欺かよｗ

>>252
それやると長引くよw

>>253
黙っていたら居なくなれる。
もう私に誰も話しかけなくて良いw
態度を一貫したまえ。

>>255
>無限小のピクチャーを書いてって、セタさんに何回尋ねたか覚えているかい？
>スレを見返さないと思い出せないくらい、無理矢理聞き出そうとするもんじゃあないよ。
君、居なくなる宣言何回したか覚えているかい？
スレを見返さないと思い出せないくらい、無理矢理居座るもんじゃあないよ。

>>256
理由はきちんと言った。
気にしてくれていそうな人が居るように思えたから、前回は思い留まったと。
さっきもセタさんにアドバイスを頂いたから、レスを返したまで。
批判をされたら反論しないといけなくなるから、言いたいことがあるのならまとめて言って下さい。
私が居なくなっても、私の批判をしていると感じたら出てくるから、後付けで文句は言わないように。
とりあえず、言いたいことを全て言ったら、そこからは私に一切触れないで下さい。
スレが薄まるのが嫌なんでしょうから。

>>237
>将棋は今の感じで封印するので、却下ですねw

スレ主です
私は 以前 囲碁板と将棋板にスレを立てて
やってました
それらは いまは dat落ちしていまいましたが

囲碁で
https://medaka.5ch.net/test/read.cgi/gamestones/1289888572/
プロジェクト発進〜囲碁棋譜データベース〜　その3
があって

そこから過去スレへ（その2のリンクは見つからず）
https://kako.5ch.net/test/read.cgi/gamestones/1094780409/
プロジェクト発進〜囲碁棋譜データベース〜
0588名無し名人
2006/03/19(日) 06:13:17ID:HaFT9aHm
棋譜でーたべーす/BBS 63 ひらがなで放置してる(日本名で不明な）棋士のリスト
http://wiki.optus.nu/igo/index.php?cmd=2chbbs&cmds=read&bord=igobbs&key=1137802669
180 名無し名人さん [ 2006/03/19(Sun) 00:06 ] あと、どのくらい残ってるのでしょう？
181 Yo-da◆7jAqFvYU [ 2006/03/19(Sun) 00:18 ]あい172件ですね、またあげときますー
http://wiki.optus.nu/igo/mod/img/025.zip
でこのzipを開くと、次だ
doiarimasa,どいありまさ
fujisakitsugumitsu,ふじさきつぐみつ
略

0763名無し名人
2006/06/09(金) 23:11:57ID:2WOaW7nZ
Yo-daさんは、本当にすごい
この人にかかると、なんでも実現されてしまう（＾＾；
http://wiki.optus.nu/igo/index.php?cmd=2chbbs&cmds=bbs&bord=igobbs
4 Yo-da◆7jAqFvYU [ 2006/06/07(Wed) 09:43 ]
要望があったー検索時に日付をフリーテキストで入力に対応しました
http://wiki.optus.nu/igo/index.php?cmd=kif&cmds=query3
フォーマットはXXXX-XX-XXな形式にしか対応してませんがーSQLにそのまま投げるのでー8桁日付（XXXXXXXX）とかは通るようです＾＾；
(引用終り)

とかあって
私も 一兵卒として Yo-daさんの 棋譜でーたべーす構築に協力しました
上記 zip中の 英字の名前を 漢字表記に直す作業ですが（囲碁の場合）

将棋は 当時2chに貼られた 棋譜を取り込んだようで
最初から 漢字名でした

それが いまの将棋DB2と碁DBに受け継がれた
碁DB中に へんな英字の名前（日本人）がありますが 名残です
（いまとなっては だれか不明。そのときに 江戸時代の本因坊とか棋士で分かる名前を
　上記のプロジェクト発進〜囲碁棋譜データベース〜 で 調べてアップして 取り入れてもらった）
（いまは、それがもとになって いろんな 棋譜データベースがありますね）

(参考)
https://shogidb2.com/
将棋DB2はプロ棋士、コンピューターの棋譜が鑑賞でき、ユーザー同士でコミュニケーションできる新しい棋譜データベースサービスです

https://godb.shogidb2.com/ja/
碁DBは世界中のあらゆる囲碁の棋譜を集めたデータベースサイトです。江戸時代の古典の棋譜から最新の棋譜、ネット碁まで、あらゆる棋譜を掲載しています

>>257
>スレが薄まるのが嫌なんでしょうから。
はい、なので早く黙って去って下さい

>>259
もう批判は無いのですね？
私に触れなければ出てきません。
かたく誓います、それでは。

>>260
（ニコ） (^^)君 ご苦労様です
スレ主です

さて
・おかげ様で あほサル>>33 サイコパス＊）の正体の実証が出来て 助かりましたよ （＾＾
・それから どんなお仕事で 数学がどう使われるのか 存じませんが
　”ザリスキ位相”について >>236 に書きましたが
　「ザリスキ位相を聞いたことがある（知っている）と 聞いたことががない
　は、実社会では 大きな差を生むことがある」
　つまり 重要キーワードさえ 掴めば そこから掘り下げることができる
　どこまで 深く掘れるか？ おそこは 数学成熟度次第 Mathematical maturity https://en.wikipedia.org/wiki/Mathematical_maturity >>26
・そして 今回の東北大 院試 >>159
　http://www.math.tohoku.ac.jp/exam/questions/2026_R8_kyotsu.pdf
　>>174で ”ヘタレなので、真っ先にAIに訊いてみた”だった
　それも 悪くはない。が ”ファイバー”(>>157-158 ) ？ どこへ行ったの？ おっさんよ

まあ、そういう時代だってことですね
まあ、また気が向いたら いつでも書いてください。歓迎しますよ　（＾＾

>>261
まず来ないので、私っぽい人を見かけたら声でも掛けて下さいね(⁠^⁠^⁠)
それではまた！

>>244
カッテナオモイコミキモチワルイ

>>261 タイポ訂正

どこまで 深く掘れるか？ おそこは 数学成熟度次第 Mathematical maturity
　↓
どこまで 深く掘れるか？ そこは 数学成熟度次第 Mathematical maturity

さて
>>227 補足
>>受験テクニックとしては
>１の数学理解は高校レベルの計算術で止まってます

院試の裏事情は 御大が詳しいだろうが・・（＾＾
詳しく明かすわけにはいかないだろう・・

昔から 現代数学誌には 院試問題の記事が出ていますね
いままでの断片情報をまとめると

１）院試の時期は ９月ころ 夏休み明け
２）試験問題作成は 春ころからでしょうかね
３）問題作成と同時に 模範答案と採点基準を作る
４）採点は 最低２名で 複数で手分けして
　但し 同じ答案を二人で別々にやって 採点官の個人差やえこひいきを無くすとかも聞いたことがある
（答案用紙の名前欄は 見えないようにする。そして「こんなヘンテコ答案どう採点します？」の議論もあるとか）
５）その上で、白紙答案には０点しかつかないのは自明で
　なので時間が余れば、超ムズ問にチャレンジもあり。
　>>227 "採点基準で (2)の（ii）の Yes or Noに配点あるかも"は それです

まあ、そんな受験テクニックに走るのは 最後の最後であって
正道は ちゃんと合格答案書ける勉強が先ですがね　（＾＾