20/06/19 07:38:20.65 imq2ACd0.net
>>65
>何となく流れが見えてきた。
同意です
IUTをかじっていて、面白いと思ったのは
高木類体論から始まって
小平、谷山-志村、岩澤、玉川などなど
グロタン先生とか、ファルティングスなどなど
そういうのが、流れの中で出てきて
高い立場から俯瞰できるなと
そう
思いましたね（＾＾
79:現代数学の系譜 雑談
20/06/19 07:49:59.65 imq2ACd0.net
>>73
補足
”1984年にゲルハルト・フライはフェルマーの最終定理に対する反例 an + bn = cn からはモジュラーでない楕円曲線（フライ曲線）
が得られ、これは谷山?志村予想に対する反例を与えることになるというアイディアを提示”
でも、殆どの人は、「谷山?志村予想は難しい」と考えていた
（実際は、”谷山?志村予想”が先に解決されたのだが）
そこで、ABC予想を考えたみたい
つまり
多項式版のABC予想→多項式版のフェルマーの最終定理 の証明は、当時知られていた
そこで、”楕円曲線（フライ曲線）”を経由して、自然数版のABC予想を作ったお二人がいたようですね（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
フェルマーの最終定理
1984年にゲルハルト・フライはフェルマーの最終定理に対する反例 an + bn = cn からはモジュラーでない楕円曲線（フライ曲線）：
y2 = x(x ? an)(x + bn)
が得られ、これは谷山?志村予想に対する反例を与えることになるというアイディアを提示。
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
abc予想（abcよそう、英: abc conjecture, 別名：オステルレ?マッサー予想、英: Oesterle?Masser conjecture）は、1985年にジョゼフ・オステルレ（英語版）とデイヴィッド・マッサー（英語版）により提起された数論の予想である。
これは多項式に関するメーソン・ストーサーズの定理の整数における類似であり、互いに素でありかつ a + b = c を満たすような3つの自然数（この予想に呼び方を合わせると）a, b, c について述べている[1][2]。
80:１３２人目の素数さん
20/06/19 09:19:03.74 3OKw5Gzv.net
>>73
εδも理解できないド素人が、高い立場から俯瞰とか何言ってんだ
便所の裏の青いダンゴムシがｗｗｗｗｗｗｗ
URLﾘﾝｸ(dangomushi1.com)
81:１３２人目の素数さん
20/06/19 11:37:26.45 aIy+XZ+J.net
>>70
わたしは分かりませんが、それらしき話なら
URLﾘﾝｸ(eprints.lib.hokudai.ac.jp)
に書いてあるみたいです。
82:１３２人目の素数さん
20/06/19 11:41:09.29 aIy+XZ+J.net
>>73
IUTは難しい。素人が楽しめる要素は皆無と思います。
まず正しいかどうかが問題で、仮に正しいとして数学者でも使いこなせるのかという問題もある。
素人向けに書かれたブンゲン本はワケワカでモヤモヤしか残らない。
自分はBelyiの定理と遠アーベル幾何についてのこの解説
URLﾘﾝｸ(www.jstage.jst.go.jp)
で十分ですね。
83:１３２人目の素数さん
20/06/19 11:43:17.24 8IY/yyJh.net
このスレってディオファントス幾何に詳しい人いますか？
84:現代数学の系譜 雑談
20/06/19 12:17:31.34 E0c2IjwE.net
>>78
＞このスレってディオファントス幾何に詳しい人いますか？
５ｃｈにそういうのを期待しても、期待外れに終わると思うが
それでも
本スレに（下記）なにか書いてみるのはありと思うよ
Inter-universal geometry と ABC予想 53
ｽﾚﾘﾝｸ(math板)
（このスレでは、そういうのは見たことないな）
むしろ、本気なら mathoverflow に 翻訳ソフトを活用して
投稿する方がいいかも（＾＾；
85:現代数学の系譜 雑談
20/06/19 15:36:23.63 E0c2IjwE.net
>>77
>IUTは難しい。素人が楽しめる要素は皆無と思います。
そんなことはない
というか、個人の受け止めの問題でしょ？
いまどき、ノーベル賞だって、物理だ化学だ医学だと
本気で突っ込めば、ド素人が理解するのに、何年もかかるでしょう
新型コロナだって同じだ
理解してから対処しようなんて話なら
対処する前に、感染してしまうでしょうよ
完全な理解より前に、不完全な理解でも対処しなければならないこと、世の中沢山ある
ちょうど、医学ド素人の小池なんとかという人が
エジプト�
86:ｩカイロかの大学を卒業したらしいけど 東京の新型コロナの対策の最高意思決定者がごとく IUTなんて、細部に拘れば 理解に100年かかるでしょ？ｗ（＾＾ 新型コロナに同じでしょうよ 新型コロナと同じように考えれば良い 目の前に、新型コロナとIUTと、同じように訳の分からないものが二つある 細部を分かろうとすれば、切りがない でも、目の前の現実として、対処しなければならない そういうことって 世の中、山ほどあるよ（＾＾；
87:現代数学の系譜 雑談
20/06/19 15:42:42.19 E0c2IjwE.net
>>80 補足
要するに、細部に拘って
全体的な理解から入ろうとしない
それって、落ちこぼれた
数学屋さんの
一番弱いところかもね
フランスの数学者で
政治家になった人多数いる
多分そういう人たちは
全体的な
大所高所の理解が
出来る人たちと思いますよｗ（＾＾；
88:１３２人目の素数さん
20/06/19 18:26:53.93 3OKw5Gzv.net
>>80-81
εδのような初歩の論理も理解できん奴が大所高所？ｗｗｗｗｗｗｗ
コイケって関西人だろ？あんなバイタ、熨斗つけて返してやるよ
あ、ヤマモトタロウも関西人かｗ
89:１３２人目の素数さん
20/06/19 18:33:23.50 guIjyQEP.net
どうでもいいから誰か大所高所から分かりやすく解説してくれ
90:１３２人目の素数さん
20/06/19 20:19:10.98 3OKw5Gzv.net
＞誰か
正しくは「◆yH25M02vWFhP以外の」誰か
91:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/20 21:13:59 OXXW5633.net
IUTを読むための用語集資料集スレ
ｽﾚﾘﾝｸ(math板)
を立てました
IUTを読むために、用語や資料その他を集めます
このスレでは、しばしば、議論や雑談で流れてしまいますので（＾＾；
92:１３２人目の素数さん
20/06/20 21:15:03 ep4rDk8N.net
>>85
ブログでやれよ 馬鹿
93:１３２人目の素数さん
20/06/20 23:38:08 K3ezM8Av.net
もっちさま、ゲイとかどこで言われたんだろう？
アメリカかな
日本だと未婚=ゲイとはならないよな
94:現代数学の系譜 雑談
20/06/21 06:27:59.16 W0WIc7wX.net
>>82
>コイケって関西人だろ？あんなバイタ、熨斗つけて返してやるよ
>あ、ヤマモトタロウも関西人かｗ
ミスター維新かな？
だれか、関西弁でカキコしたことに
過剰反応して、突然「維新に投票した？」とか質問したんだったよね
関西に過剰反応する性格なんだろうね
東京に親子三代棲んでいる？
それがヒキコモリのご自慢かな？ｗ（＾＾
95:１３２人目の素数さん
20/06/21 07:54:29.95 GwEILF3Y.net
>>77の記事読んで考えたら、幾何学的な基本群とガロア群が
"複雑に絡み合ってる"とか、「復元」の意味が分かってきた。
96:１３２人目の素数さん
20/06/21 08:02:02.22 GwEILF3Y.net
もっちの基本的業績として「復元アルゴリズム」があって
それを使ってディオファントス幾何的帰結を得るための論理が
IUTだと思う。それが正しいかどうかを読み込む気はないが
「原理的に可能なのか？」を考えることには意味はあるだろう。
ショルツとスティックス（そして他の研究者達）はそんなことは考えた上でダメと言ってるわけだろう。
97:１３２人目の素数さん
20/06/21 08:28:58.96 GwEILF3Y.net
>ディオファントス幾何
あまり興味がない、というか、古くからある超激戦地で
そんなところに身を埋めようと思ったことはない
という感じ。でもフェルマーとか誰でも一度は興味は持つよね。
エンリコ・ボンビエリ著
"Heights in Diophantine Geometry"をツマミ読みしようと思ってる。
ボンビエリの名は「平均素数定理」などで聞いたことあったけど
フィールズ賞受賞者だというのはウィキペディアで初めて知った笑
日本にはこういう幅広く・
98:息長く仕事するタイプの超一流数学者って あんまりいない気がする。
99:１３２人目の素数さん
20/06/21 08:40:52.08 GwEILF3Y.net
昔別の掲示板で、「一生かかってもワイルズの証明を理解することが夢」
と言ってたひとがいたな。そのくらいフェルマーの最終定理というのは
昔は数学徒の夢だったんだな。
ちなみ加藤和也著の『解決!フェルマーの最終定理』は
一般向けながらブンゲン本とは比較にならない名著だと思う。
楽しい挿絵や鶴女房の話も出てくる。
100:１３２人目の素数さん
20/06/21 08:45:53.20 hoayWjrE.net
>>88
＞東京に親子三代棲んでいる？
三代じゃなく五代
高祖父（祖父の祖父）＊＊＊＊が
明治＊年に東京＊＊の＊＊町に住んでいたことは
東京都公文書館にある沽券地図（土地所有者の氏名が掲載された地図）
で確認済
単に東京都内とか２３区内とかいってるのではない
旧東京１５区内に住んでいたということ
URLﾘﾝｸ(ja.wikipedia.org)
これがどういうことかわかるか？ｗ
101:１３２人目の素数さん
20/06/21 08:48:52.41 hoayWjrE.net
>>90
ショルツは「原理的にはともかく、望月のやり方は論理的におかしい」といってる
そして望月もそのとりまきも、論理的に問題ないという説明ができてない
RIMSがなぜPRIMS掲載に固執するのかは知らんが
はっきりいってRIMSの自爆行為
102:１３２人目の素数さん
20/06/21 09:55:40.49 hoayWjrE.net
セタが応援スレを放棄したのは結構なことだ
新コピペスレでコピペ書き込みに埋もれて悶えてろｗ
103:現代数学の系譜 雑談
20/06/21 11:05:00.61 W0WIc7wX.net
>>93
＞これがどういうことかわかるか？ｗ
ミスター維新こと、おサルか（＾＾
それにどんな数学的意味があるのか？
さっぱり分からない
かつ、証明ができないだろうなｗ
そもそもが
江戸が いつから江戸が知らないが
徳川が、秀吉の命で、浜松から、関東（いまの江戸）に国替えになった
要するに、そもそも、浜松から行った人が基本でしょ
その上で、家康は、江戸の町を発展させるために、関西を含む全国各地から、人を移住させた
（例：新しい漁法が関西から佃島に移住してきた漁師を中心に盛んになっていった（下記））
もちろん、自分の意思で江戸へ移住した人も多数だろう
そして、明治維新で江戸から東京になり、さらに多くの人が、東京に移住した
親子五代というと、30年間隔として、概算150～120年だろうか
いま2020年だから、1900年前後に東京に住み始めた？
その前は、どこに居たんだ？ おいｗｗ（＾＾；
（参考）
URLﾘﾝｸ(urayasu.weebly.com)
浦安の歴史と風土の再発見 ★2016.10.27発行★ 「人情たっぷり浦安ことば」 ～浦安の方言とその世界～
URLﾘﾝｸ(urayasu.weebly.com)
ふるさと浦安文化つうしん
浦安歴史探訪
第2回 江戸前と海
(抜粋)
浦安に人が住みついたのは、今から８５０年をさかのぼる鎌倉時代の初めといわれているが、その頃は 海辺で塩を焼いたり、魚や貝を獲ったりの，原始的でのんびりした生活をしていたらしい。
浦安に限らないが、江戸時代より前の関東の漁業は、比較的幼稚な漁法で行われており、貝とりも漁船を使わない「岡っ掘り」であった。
本格的に発達するのは天正１８年（１５９０）の徳川家康の江戸入府以来のことだといわれている。
家康の積極的な都市建設で、江戸の人口は急増し、蛋白源である魚類の需要も増大したことにより、新しい漁法が関西から佃島に移住してきた漁師を中心に盛んになっていった。
佃島(中央区)は、隅田川の河口にあって、江戸時代には佃島の先は房州まで海であった。
つづく
104:現代数学の系譜 雑談
20/06/21 11:05:21.65 W0WIc7wX.net
>>96
つづき
江戸前についてはいろいろな説があるが、「東京湾水土記」の著者高橋在久氏が、漁撈習俗調査で浦安の長老醍醐峰次郎氏から聞いたという「東は中川の延長のミオと、西は品川宿からお台場の線を連ねた北側の海、を代々江戸前と呼んだ」という
魚河岸は当初幕府に納められた魚類の残余を、市中一般に販売したことに始まる。
その後、江戸の繁栄策として郷藩三河の出身者に魚類販売の利権を与え、日本橋北詰から荒布橋に至る河岸一帯の市場に設けて、各地から入荷する魚貝類のうちの優れたものを、すべて公儀御用としてこの市場で扱わせた。そのため、河岸の隆昌は日を追って盛んになり，日本橋界隈は魚貝専門の店のみでなく関連する店などで大商店街が形成されていった。日本橋にあった「魚河岸」は、大正１２年（１９２３）の関東大震災で壊滅した。
その後、震災後の復興計画で整備されていた築地界隈に移転、昭和１０年（１９３５）に開業、今日に至っている。
(引用終り)
以上
105:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/21 11:14:15 W0WIc7wX.net
>>89-92
ID:GwEILF3Yさん、どうも
ABC予想入門 黒川小山（下記）は、ご一読お薦めです（本格的に数学を勉強した人で無いと、あまり読めないと思うが）
IUTを読むための用語集資料集スレ
ｽﾚﾘﾝｸ(math板:14番)-15
URLﾘﾝｸ(www.php.co.jp)
ABC予想入門 PHP 2013/03/18
著者 黒川信重≪東京工業大学教授≫／小山信也≪東洋大学教授≫著
>ショルツとスティックス（そして他の研究者達）はそんなことは考えた上でダメと言ってるわけだろう。
正確には、ショルツ氏ですね。フィールズ賞取ったので、その尻馬多数
スティックス氏は、静かに考慮中と見ました。
その他、ケドラヤ氏などは、プレス発表があったからと、”すぐに どうこう はない”と様子見
海外の数論研究者の多くは、ケドラヤ氏と同様と見ています（＾＾
まあ、IUTは成立でほぼ間違いない
（小さなギャップはあるかもしれないが、ショルツ氏のいうような「原理的にダメ」はないでしょうね）
106:現代数学の系譜 雑談
20/06/21 12:55:08.02 W0WIc7wX.net
>>96
>江戸が いつから江戸が知らないが
これか
URLﾘﾝｸ(ja.wikipedia.org)
江戸
目次
2 歴史
2.1 徳川氏以前の江戸
歴史
徳川氏以前の江戸
「江戸」という地名は、鎌倉幕府の歴史書『吾妻鏡』が史料上の初見で、おおよそ平安時代後半に発生した地名であると考えられている。
平安時代中期（930年代頃）に成立した『和名類聚抄』にはまだ江戸と言う地名は登場せず、豊島郡に「湯島郷」「日頭郷」、荏原郡に「桜田郷」が存在したと記されている。湯島郷は現在の文京区湯島、日頭郷は同�
107:謠ｬ日向、桜田郷は千代田区霞が関の旧称である桜田であったと推定されている。江戸は元々は湯島郷もしくは日頭郷に属する小地名であったと考えられている[4]。後述の江戸氏は、他の武士の名乗りと同様に江戸を所領としていたために「江戸」と称した考えられるため、江戸氏が歴史上登場する平安時代末期には既に江戸という地名が存在したと言える[4]。 地名の由来は諸説あるが、江は川あるいは入江とすると、戸は入口を意味するから「江の入り口」に由来したと考える説が有力である。また、「戸」は港町の名称に用いられる例が多いことから、「江の港」とする説[注 2][5]もある。あるいは、江戸の近郊にあったとされる今津・亀津・奥津という地名が、現在では今戸・亀戸・奥戸と称されている事から、「江の津」とする説[4]もある。当時の江戸は、武蔵国と下総国の国境である隅田川の河口の西に位置し、日比谷入江と呼ばれる入江が、後の江戸城の間近に入り込んでいた。 江戸の開発は、平安時代後期に武蔵国の秩父地方から出て河越から入間川（現荒川）沿いに平野部へと進出してきた桓武平氏を称する秩父党の一族によって始められた。12世紀に秩父氏から出た江戸重継は、江戸の地を領して桜田の高台に城館を構え（のちの江戸城）[6]、江戸の地名をとって江戸太郎を称し、江戸氏を興す。 重継の子である江戸重長は1180年に源頼朝が挙兵した時には、当初は平家方として頼朝方の三浦氏と戦ったが、後に和解して鎌倉幕府の御家人となった。
108:１３２人目の素数さん
20/06/21 12:57:35.43 wTX43HZG.net
あえてショルツという単語を使わないけど、
何故cor 3.12にギャップがあると言われてるのに証明をより詳細に書かないの？
理解してるなら書けるよね
109:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/21 15:33:18 W0WIc7wX.net
>>100
１．調べたところ、cor 3.12の証明は、初稿より3ページくらい増えている
２．あえてショルツという単語を使うが、ショルツがいうのは、単なるギャップではない
根本的にダメで修正不能だという
３．しかし、「単なるギャップではない 根本的にダメで修正不能」なる論文が
しかも、２年前に文書で指摘されたものが、査読が通るはずもない
４．だから、普通に考えれば、ショルツ氏の勘違いでしょ
かつ、woitブログでも、Dupuy氏にやり込められていた
（実際、Dupuy氏は、arXive投稿で、SS文書はダメと公表した。）
110:１３２人目の素数さん
20/06/21 16:00:03.74 hoayWjrE.net
>>96
意味といったが、数学とは無関係
江戸が東京に改名したのは１８６８年
西暦で書いたのはまだ明治になる前だから
（元号だと慶應４年 １８６８年１０月２３日に明治に改元）
云っとくが先祖が東京に住んでいたことが分かる
最古の記録は明治６年（１８７３年）
沽券地図の作成年がそうなっているから
これがどういう意味（※）かわかるか
※まったく非数学的 どうせ貴様には数学はムリだから数学は一切忘れろｗ
111:１３２人目の素数さん
20/06/21 16:01:20.44 28PmPXQa.net
>>101
初稿より増えてることは知っているが、それでギャップが埋まったというのは聞いたことがない
ショルツが否定してもギャップを埋めて他の数学者が認めればよいのに、なぜ理解者たちは誰一人証明を詳しく記述しないんだろうな
112:１３２人目の素数さん
20/06/21 16:03:26.00 hoayWjrE.net
>>101
＞「単なるギャップではない 根本的にダメで修正不能」なる論文が
＞ しかも、２年前に文書で指摘されたものが、査読が通るはずもない
だからRIMSの査読はインチキ というのが正常な精神の持ち主の考え
＞ だから、普通に考えれば、ショルツ氏の勘違いでしょ
全然フツウでない 完全にキチガイの考えｗ
113:１３２人目の素数さん
20/06/21 16:10:21 hoayWjrE.net
>>103
＞なぜ理解者たちは誰一人証明を詳しく記述しないんだろうな
望月自身も含めて、誰一人「理解者」がいないから
望月自身、ショルツの指摘が理解できてないんだろう
しかし、どうせ相手がワカランチンなだけだと
多寡をくくって理解しようとしない
弟子は、誰も師匠の論文を理解できてない
だから、ショルツの指摘に対して、
どこをどう補完すればいいか見当もつかない
玉川は、最初から諦めてる
ブンゲンは、啓蒙本書いて金儲けできればいいと思ってるｗ
柏原は、RIMSのお偉いさんだから記者会見に出席したが
正直巻き込まれたくないと思ってる
森は、ショルツを引っ張り出したおかげで逃げ切れた
114:１３２人目の素数さん
20/06/21 16:14:15 hoayWjrE.net
>>102
＞その前は、どこに居たんだ？ おい
それがわからないので困っているｗ
実は江戸時代からいたわけではないことは調査済みだｗ
本籍が東京だから、本籍でもともとの出身地を知ることはできない
貴様の数学の能力はほぼゼロだから、数学については一切尋ねないが
それ以外は一応常識があると思って、質問してやろう
貴様ならどうやって調べる？
115:１３２人目の素数さん
20/06/21 16:38:51 hoayWjrE.net
ちなみに
・戸籍（正確には除籍）はたどれるところまでたどった
そこで分かった最古の本籍地で、地籍地図、沽券地図
（いずれもデジタルアーカイブがある）を調べて
本籍地の土地を所有していたことをつきとめた
・珍苗字じゃないので、苗字から出身地を特定することは不可能
・都会人の常として、言い伝えの類は一切なし
（だいたい高祖父の名前だって戸籍を調べて初めてわかったくらい）
116:１３２人目の素数さん
20/06/21 18:34:18.28 63tnNVv5.net
>>98
日本でもわかっている人がいるんだね。
117:１３２人目の素数さん
20/06/21 23:10:22.73 gGtft9fk.net
スレ主って仕事何してるの？
118:現代数学の系譜 雑談
20/06/22 07:36:25.30 Ds9PXTTk.net
>>106
>貴様ならどうやって調べる？
おれの場合は、おやじの本家ってのがあって
亡くなった後に、ルーツを尋ねて、挨拶に行ったんだ
そしたら、仏壇に過去帳というのがあってね
それを取り出して、こう書いているって、見せてくれた
あと、NHKファミリーヒストリーという番組があって
見たこと無いかな？
ここでも
”先祖の旦那寺にある人別帳を含む古文書などをもとに取材を重ねる”などとあるよ
URLﾘﾝｸ(ja.wikipedia.org)
『ファミリーヒストリー』（FAMILY HISTORY）は、NHK総合テレビジョンにて2008年から放送されている、ドキュメンタリー番組である。
概要
各界で活躍する人々の父母や先祖がいかに生き抜いてきたかを日本国内外や関連人物へ取材し、VTRと視聴する本人の感想で番組は構成される。
ゲストの選定にあたっては、事前の調査を行うことは一切ない。出演者が応諾した後、委任状を得た上で戸籍を取得し、先祖の居住先などを調査。その後は、ひたすら地道に周辺人物や、先祖の旦那寺にある人別帳を含む古文書などをもとに取材を重ねる。[要出典]
119:現代数学の系譜 雑談
20/06/22 07:46:15.46 Ds9PXTTk.net
>>103
>初稿より増えてることは知っているが、それでギャップが埋まったというのは聞いたことがない
>ショルツが否定してもギャップを埋めて他の数学者が認めればよいのに、なぜ理解者たちは誰一人証明を詳しく記述しないんだろうな
加藤文元氏が、どこかで言っていたが
ＩＵＴはいろいろ手を入れて、以前より分り易くなったと
・まあ、ＲＩＭＳ及び国内外のＩＵＴ
120:理解者たち（一応こうしておく）は、分り易くなったであって、ギャップはもともと無かったってこと（そういう主張でしょ） ・ショルツ氏は、woitブログでも自白しているが、望月IUTの定義が難しいなどという。つまり、お得意のモノドロミーの反例なるものは、IUTの定義を理解せず書きましたってことだな ・その他の主に海外数論屋たちは、IUTは難しすぎるってことであって、つまりは Cor3.12が理解できないであって、「ギャップあり」と言ったのは、上記のSSだけなのです
121:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/22 08:01:36 Ds9PXTTk.net
>>111 補足
躓き方というのは、百人百様であって
だから
証明をいじくるよりも
分り易い解説がいると思うし
玉川先生にも、説明責任が出来たと思う
玉川先生にIUT解説書いてほしいな
122:１３２人目の素数さん
20/06/22 08:27:17.43 nbRw5Tvx.net
もっちは遠アーベル幾何についての実績はあるが
ディオファントス幾何についての実績は（おそらく）ない。
これがすべてを物語ってる。
玉川氏に解説できるのは遠アーベルまででしょ。
遠アーベルは比較的新しい分野で世界の研究者の本気度も不明なのに対して
ディオファントス問題は流行ってる流行ってないに関わらず
数論・代数幾何の底流において常に最重要問題としてあったわけでしょ。
ガウス整数論の主要部は2次のディオファントスだし
ヴェイユの学位論文がモーデルの定理でモーデル予想の解決にも最後まで執念を燃やしていた
グロタンはフェルマーを解くために代数幾何を始めた(?)みたいな発言も聞いたことあるし
ワイルズは谷山・志村予想がフェルマーにつながると知って（他の重要な）
研究をすべて放擲して打ち込んだ、しかも秘密裡にしていたなど。
本気度が凄いわけで、世界における研究者の層にも雲泥の差がある。
つまりこれはどういうことかというと、証明に必要な要素が揃ってるかどうかは
おそらくその道の達人達には分かってしまうだろうということ。
123:１３２人目の素数さん
20/06/22 08:42:57.89 nbRw5Tvx.net
遠アーベルに話を戻すと
「幾何学的な基本群とガロア群が複雑に絡み合ってる」と
「復元」の意味は分かりましたかね？
124:１３２人目の素数さん
20/06/22 08:49:29.80 nbRw5Tvx.net
本スレにもありましたが、今日はブンゲン氏から出版前に削除した
「幻の3ページ」の公開があるそうです。
海外への悪口に終わらず重要な内容が含まれてるといいですね。
125:１３２人目の素数さん
20/06/22 09:53:11.07 Y41gHdUu.net
>>111
概念が分かりやすくなった、とか
ギャップはないと思ってる、とか
そんなことは全く関係がなく、数学の証明であれば絶対に詳述できる
だから四の五の言わずに書けばいい
理解してもらいたいと思っており、自身がcor 3.12の証明を理解しているのなら、書かない理由がまったくない
126:現代数学の系譜 雑談
20/06/22 13:49:48.56 dqlDH/E2.net
>>116
>そんなことは全く関係がなく、数学の証明であれば絶対に詳述できる
>だから四の五の言わずに書けばいい
>理解してもらいたいと思っており、自身がcor 3.12の証明を理解しているのなら、書かない理由がまったくない
全く、かつ完全に同意です
さらに、私見では、woitブログでだれかも書いていたかもだが
もっと、従来の数学用語とIUT語との対訳辞書も可能だろうし
もっと、概念や用語を整理して分かり易くできると思っている
（歴史的にみて、新規の数学の理論が出たあと、だいたい分かり易く整理されたり、拡張されたりするもの（例：ガロア理論））
そのうえで
１．”cor 3.12の証明だけを”が、ちょっと無理かも
∵ cor 3.12の証明には、定理3.11が必要で、・・（無限降下法ｗ）・・、定義1.01が分からないと証明の理解は無理。よって、全般的に手入れが必要でしょ、多分。普通の数論学者が読めるようにするためには
２．”普通の数論学者が読めるように”は、あと何年もかかるだろう
そこで、トップ五指くらいの数論学者が、分かるように、玉川御大が、まず何か（なんでも）書けば良い
自分が、「なぜIUTの査読を通したのか？」を、A4で10枚くらい（含む、SSがなぜダメなのかを入れて）
３．IUTの国際会議が、予定されていたが中止になった。いずれそれはやるとして、プレミーティングをTV会議で、玉川レポートをネタにトップ五指か十指でやって、それをYoutubeででも流せばいいんじゃない？
本番の会議は、新型コロナの治まった来年やるとしても。
127:現代数学の系譜 雑談
20/06/22 14:04:02.44 dqlDH/E2.net
>>113
>もっちは遠アーベル幾何についての実績はあるが
>ディオファントス幾何についての実績は（おそらく）ない。
ほいよ
ディオファントス幾何＝数論幾何
ディオファントス幾何⊃Hodge-Arakelov理論など（下記）
でしょ
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 論文
数論幾何一般
[1] The Geometry of the Compactification of the Hurwitz Scheme. PDF Comments NEW !! (2017-08-18)
[2] On Semi-Positivity and Filtered Frobenius Crystals. PDF
[3] Correspondences on Hyperbolic Curves. PDF Comments NEW !! (2016-07-16)
[4] Extending Families of Curves over Log Regular Schemes. PDF
[5] Noncritical Belyi Maps. PDF Comments NEW !! (2016-07-16)
[6] Arithmetic Elliptic Curves in General Position. PDF NEW !! (2009-02-17) Comments NEW !! (2016-07-16)
遠アーベル幾何、圏の幾何
[1] The Profinite Grothendieck Conjecture for Closed Hyperbolic Curves over Number Fields. PDF Comments NEW !! (2012-12-20)
[2] A Version of the Grothendieck Conjecture for p-adic Local Fields. PDF
略
[31] Group-theoreticity of numerical invariants and distinguished subgroups of configuration space groups. PDF
NEW !! (2017-04-08)
楕円曲線のHodge-Arakelov理論
[1] The Hodge-Arakelov Theory of Elliptic Curves: Global Discretization of Local Hodge Theories. PDF
略
[8] Anabelian Geometry in the Hodge-Arakelov Theory of Elliptic Curves. PDF
128:現代数学の系譜 雑談
20/06/22 14:08:57.55 dqlDH/E2.net
>>113
>これがすべてを物語ってる。
>玉川氏に解説できるのは遠アーベルまででしょ。
>遠アーベルは比較的新しい分野で世界の研究者の本気度も不明なのに対して
>ディオファントス問題は流行ってる流行ってないに関わらず
>数論・代数幾何の底流において常に最重要問題としてあったわけでしょ。
ほいよ
玉川先生は、下記
自称「私の専門は、非常に大ざっぱに言うと整数論、 もう少しきちんと言うと数論幾何（学）ということになります。」だってよ
あんまり、なめた書き方すると、怒られるよｗ（＾＾；
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
玉川安騎男（たまがわあきお）
［研究分野の紹介］
私の専門は、非常に大ざっぱに言うと整数論、 もう少しきちんと言うと数論幾何（学）ということになります。
数論幾何（arithmetic geometry）というのは、 簡単に言ってしまえば整数論と代数幾何の中間に位置する分野で、 数論的な体 （代数体、有限体、局所体など） の上に定義された代数多様体を研究する学問です。 したがって、私が専門を整数論としているからといって、 いわゆる代数的整数論や解析的整数論などを中心に研究しているとは 思わないで下さい。
私自身は、一般的な代数多様体を研究しているわけではなく、 主に代数曲線を研究しています。 （但し、代数曲線から派生して出てくる多様体もあわせて研究しています。） 特に、代数曲線の被覆あるいは基本群を数論幾何的に研究する ということに力を入れており、 この方面では、代数曲線の（数論的）基本群から元の曲線を復元するという 「遠アーベル幾何（anabelian geometry）」 に関する結果をこれまでにいくつか証明しています。
同じ研究所の望月新一教授も、この遠アーベル幾何�
129:､究しています。 （望月さんからのメッセージは こちら です。） 私の研究活動についてもう少し詳しく知りたい方は、 「京都大学数理解析研究所要覧」から抜粋の こちら をご覧下さい。 （注：こちら のリンク切れている。自分で検索頼む）
130:現代数学の系譜 雑談
20/06/22 14:15:13.99 dqlDH/E2.net
>>114
>遠アーベルに話を戻すと
>「幾何学的な基本群とガロア群が複雑に絡み合ってる」と
>「復元」の意味は分かりましたかね？
過去スレにアップした記憶があるな
要するに、中村－玉川－望月による
グロタンディークのセクション予想解決がその典型例でしょ
それをもっと発展させて、ABCに適用できるディオファントス不等式の理論を作ったのです。これ即ちIUTでしょ（＾＾；
（>>119 （玉川）「代数曲線の（数論的）基本群から元の曲線を復元するという 「遠アーベル幾何（anabelian geometry）」 に関する結果をこれまでにいくつか証明しています」とあるよ）
131:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/22 14:19:29 dqlDH/E2.net
>>115
>本スレにもありましたが、今日はブンゲン氏から出版前に削除した
>「幻の3ページ」の公開があるそうです。
>海外への悪口に終わらず重要な内容が含まれてるといいですね。
まあ、そうですけど
私は、玉川先生に期待しています
プレス発表の記者会見の人として
説明責任を果たしてもらいたい
「なぜ、IUTを査読OKにしたのか？」
海外の数論トップ五指（除く、フェセンコ先生、Dupuy先生、Joshi先生、Emmanuel Lepage先生）クラスに向けた説明をば
132:１３２人目の素数さん
20/06/22 17:16:02.81 uX0UxKsn.net
>>115
>今日はブンゲン氏から出版前に削除した
>「幻の3ページ」の公開があるそうです。
今見たが・・・
URLﾘﾝｸ(kadobun.jp)
>海外への悪口に終わらず重要な内容が含まれてるといいですね。
海外への「悪口」のみで数学的内容はゼロだったな
全く予想通りだけど
>望月教授が自分のアイデアについてレクチャーするべきだ
>という意見について、私は完全に同意しますし、
あたりまえだ、同意しなかったら、もはや数学者じゃない
>彼自身も実際そうしてきた・・・
それで理解されないなら、望月の完全な敗北だな
望月が白人にどんな恨みがあるのか知らんけど
理解されないなら数学者としては負けだよ マ・ケ
133:１３２人目の素数さん
20/06/22 17:17:29.63 uX0UxKsn.net
>>117
>”cor 3.12の証明だけを”
"だけ"はどこから出てきた？
さて、本題
>cor 3.12の証明には、定理3.11が必要で・・・
ショルツは、定理3.11は自明だといってる 知らんのか？
つまり、cor3.12の証明には、
望月が今まで書いていないこと
を書く必要がある
>”普通の数論学者が読めるように”は、あと何年もかかるだろう
年数で解決できると思うのは、考えなしのド素人だけだろう
>玉川御大が、まず何か（なんでも）書けば良い
無理だな だって理解してないんだろ？ｗ
>自分が、「なぜIUTの査読を通したのか？」を、
>A4で10枚くらい（含む、SSがなぜダメなのかを入れて）
玉川が査読者なら、そうすべきだが
ちがうのなら、何も書きようがないだろうな
いずれにせよ査読者が
「なぜIUTの査読を通したのか？」
を書くべき
（なお、A4で10枚とかいうのは数学を知らぬド素人の戯言）
>>121
なんで玉川に期待するのか知らんけど、無駄
134:１３２人目の素数さん
20/06/22 17:31:31.08 uX0UxKsn.net
>>110
返答 有難う
うちも、本家はあるんだが、
残念ながら東京に出てきてからの本家
さらに、寺も東京にあるので
（じいちゃんの墓も本家の墓もそこにある）
東京に来てからのことしかわからん
どうだ、東京に出てくるってそういうことなんだぞｗ
本家の人は知ってるか？ いやぁどうだろうな？
もしわかってたら、なんかしら言い伝えがある筈だが
なんも聞いてない
本家で知ってるのはじいちゃんのイトコの＊＊さんという人だが
さすがにもう亡くなって、いまは息子さんの代になってる
父親宛に年賀状が来るから名前も住所も知ってるが、
私は会ったことはない
ファミリーヒストリーは知ってる あれは面白い
135:１３２人目の素数さん
20/06/22 17:44:41.36 GQyoFUuT.net
>>122
悪口というか愚痴だな
数学界では京都の名はあまり有名ではないのか
136:１３２人目の素数さん
20/06/22 18:47:29.14 uX0UxKsn.net
>>125 ま、あんなクソ文、書くのはバカだね ブンゲンって終わった人なんだな
138:１３２人目の素数さん
20/06/22 18:49:20.95 GQyoFUuT.net
>>126
そんなに嫉妬しなくても…
139:現代数学の系譜 雑談
20/06/22 21:01:25.39 Ds9PXTTk.net
>>122
ありがとう、カドブンのカトブンかな？（＾＾
（参考）
URLﾘﾝｸ(kadobun.jp)
カドブン 20200622
独占！ 初公開！ 『宇宙と宇宙をつなぐ数学 IUT理論の衝撃』の幻の3ページとは？
(抜粋)
宇宙際タイヒミュラー（IUT）理論の、世界で唯一の解説書として話題の『宇宙と宇宙をつなぐ数学 IUT理論の衝撃』には、第1章の最後に幻の3ページが存在しました。著者の加藤文元さんが、校了直前に削除した内容とは？ 刊行から1年を経て、今回、初めて公開します！
同時公開のインタビューと合わせてお読みください。
ある欧米の数学者が、IUT理論の論文に関する問題について論じた、ある人のブログへの返信で、次のように述べています。「何百ページにもおよぶ解説を書くよりも、望月はABC予想の証明にいたる新しいアイデアについて（ボンやパリやボストンなどで）一回か二回レクチャーする必要がある」
望月教授が自分のアイデアについてレクチャーするべきだという意見について、私は完全に同意しますし、彼自身も実際そうしてきたことは、すでにいままで述べてきた通りです。しかし、なぜその場所がボンやパリやボストンでなければならないのでしょうか？
単に、例としてこれらの都市をあげただけならば、なぜ論文の著者自身がいる京都が真っ先に出てこないのか不思議でなりません。
URLﾘﾝｸ(kadobun.jp)
カドブン インタビュー 20200622
URLﾘﾝｸ(kadobun.jp)
出版直前に削除した「幻の3ページ」を公開!! IUT理論唯一の解説書『宇宙と宇宙をつなぐ数学 IUT理論の衝撃』 著者、加藤文元さんインタビュー
(抜粋)
今回、著者の加藤文元さんは、書籍であえて削除した内容を公開することに決めました。
なぜ削除し、なぜいま公開するに至ったのでしょうか。その思いを、加藤さんに直撃インタビューしました。
当該の箇所は、カドブンにて同時公開します。
学問的ではない議論
―どのような批判が多いのでしょうか。
加藤：議論の中で主に語られていることの一つが、望月さんがこの理論を広めるために講演をしていない、努力していない、というものです。私はその考えに対して、強い違和感を覚えます。
140:現代数学の系譜 雑談
20/06/22 21:09:32.86 Ds9PXTTk.net
>>124
(引用開始)
うちも、本家はあるんだが、
残念ながら東京に出てきてからの本家
さらに、寺も東京にあるので
（じいちゃんの墓も本家の墓もそこにある）
東京に来てからのことしかわからん
本家の人は知ってるか？ いやぁどうだろうな？
もしわかってたら、なんかしら言い伝えがある筈だが
なんも聞いてない
(引用終り)
それは、まあ、数学でいう証明みたいなもので
「こうじゃないか（もしわかってたら、なんかしら言い伝えがある筈）？」
ではなく
過去帳を見せて貰う
あるいは、お寺に手土産持って（あるいはお布施（万より上）を包んで）
「実は、ご先祖のことを調べているが、お寺に記録が残っていないでしょうか？」と聞いてみるとか
ご本家に「東京に来る前はどこに？」とちゃんと聞いて見る（これも手土産ありで）
というようなことを、ちゃんとやってみる値打ちあるよ
つまり、万一空振りでも、それでお寺とかご本家とかの繋がりできるし（あるいは強くなる）
普通は、行けば行ったなりのことはあって、「やっぱり行って良かった」という場合が多いよ
それは、繰返すが、数学の証明と同じで
分かっているようでも、「ちゃんと証明してみる」ってことは、無駄ではなく必要なことなんだよね
多分
141:現代数学の系譜 雑談
20/06/22 21:25:17.59 Ds9PXTTk.net
>>128
(引用開始)
ある欧米の数学者が、IUT理論の論文に関する問題について論じた、ある人のブログへの返信で、次のように述べています。「何百ページにもおよぶ解説を書くよりも、望月はABC予想の証明にいたる新しいアイデアについて（ボンやパリやボストンなどで）一回か二回レクチャーする必要がある」
望月教授が自分のアイデアについてレクチャーするべきだという意見について、私は完全に同意しますし、彼自身も実際そうしてきたことは、すでにいままで述べてきた通りです。しかし、なぜその場所がボンやパリやボストンでなければならないのでしょうか？
単に、例としてこれらの都市をあげただけならば、なぜ論文の著者自身がいる京都が真っ先に出てこないのか不思議でなりません。
(引用終り)
１．来て、レクチャーしてほしい（ボンやパリやボストンなどで）と言われたら、 なんとか都合つけて、行けば良いんじゃ無い？
２．普通行くでしょ？ デフォルト（通常）は、「行くよ」の一手でしょ。「行かない」と断るのが異例ですよ
３．昔アインシュタインを日本に呼んだ故事があるのに同じですよ
URLﾘﾝｸ(ja.wikipedia.org)
アルベルト・アインシュタイン
6.2 日本での講演
日本での講演
1922年（大正11年）、「出版業界きっての立役者」と名を馳せた改造社創業者・山本実彦は、同出版社および雑誌「改造」が日本に招致したバートランド・ラッセル、マーガレット・サンガーに次ぐ「世界的名声人士」として、懇意になっていたアインシュタイン博士を妻エルザとともに日本に招待することにした。
集まった歓迎の群集や新聞記者の様子を見て、当時のドイツ大使館は「凱旋行進のようだ」と本国に報告している。17:00三宮駅発の汽車で京都に向かい、その夜は京都の都ホテルに宿泊した。翌18日、9:15発の特急で東京に向かい、19:20東京駅着。駅には歓迎の群集が押し寄せ、投宿する帝国ホテルに到着するのに通常は車で5、6分程度のものの、相当の時間が必要だったと記録されている。
一般講演は入場料3円（オペラの上等席に匹敵）で、結局、東京市2回と仙台市・名古屋市・京都市・大阪市・神戸市・福岡市で各1回の計8回行われ、14,000名ほどの聴衆を集めた。
142:１３２人目の素数さん
20/06/22 22:15:57 Ti5B7R3y.net
加藤さんは海外に出張するから数学はお金がかかると仰っておられた
ご自身でボンやパリやボストンには行かれないのだろうか？
143:１３２人目の素数さん
20/06/23 05:35:32 aLWzoHO/.net
>>118
>ディオファントス幾何＝数論幾何
ではないよ。当たり前でしょ。
ディオファントス幾何は昔からあるんだよ。
ロスの定理とかも含まれてる。
スキームとか使うのが数論幾何だろう。
>ディオファントス幾何⊃Hodge-Arakelov理論
もっちの意図としてはそうかもしれないが、ディオファントス幾何的に
意味のある結果を導いていないなら認められないだろう。
少なくとも現状、ディオファントス幾何に必要不可欠な一理論とはなっていない。
144:１３２人目の素数さん
20/06/23 05:40:25 aLWzoHO/.net
>>120
一方において、遠アーベル幾何⊂数論幾何ではあるだろう。
遠アーベルにおいて基本的な対象である数論的基本群π_1(C)は
典型的な数論幾何において定義される対象だから。
しかし、>>77の解説記事読めば分かるが
数体k上の代数曲線Cの基本群について成立する完全系列
1→π_1(C_k~)→π_1(C)→G_k→1
において、π_1(C_k~)は大体古典的な基本群（の副有限完備化）で
G_kはガロア群なんだから、古典的 というか原始的な対象による説明も持つ。
「子供のデッサン」とかは正にそういうことなんだろう。
ま、貴方に「自分の言葉による説明」を求めるのも愚かだけど。
145:１３２人目の素数さん
20/06/23 05:45:31 aLWzoHO/.net
ブンゲン本は数学的な解説本としてはさっぱりだが
ネタ的にはいろいろ面白いことが書いてある。
たとえば、p.135では「論理だけでは数学はできません」と言い
「自然であることや、他の事実と見事に整合していることなどから
得られる、もっと直観的な「腑に落ちる」というタイプの理解」
「直観的で全体像把握型の認識も必要」と書いている。
ならば、ダブスタに陥ることなくIUTに対してもそのスタンスを取るべきだろう。
少なくとも、ディオファントス幾何における結果を導いている以上
ディオファントス幾何的な辞書で翻訳
146:した説明は可能なはず。 もっちが欧米に呼ばれたら、当然そういう説明を求められると思う。 それで何で行きたくないかと言えば、「逃げている」と取られても仕方ないんでは。
147:現代数学の系譜 雑談
20/06/23 07:01:58.85 nKssTr8/.net
>>132-134
１．あなたの意見は、基本的には同意だよ
２．但し、根本的に異なるのは、あなたはIUTが不成立だと思っている。ショルツ氏の尻馬組だね
一方、私は、IUT査読完了の方に乗ってる。柏原＆玉川の尻馬組だよ
３．”ディオファントス幾何＝数論幾何 ではないよ”ってのが、何を言いたいのか意味ワカラン（＾＾；
ディオファントス幾何≒数論幾何 とでも書けばいいのかい？
４．話を、IUTの成否に戻すと
１）IUTは”読めない”という人が大半
２）その中で、ショルツ氏が、IUTは「おれ様モノドロミーで反例構成できた。だから、単なるjギャップでなく、根本的に不成立だ」と言った
SS文書は、Stixとの共著だが、実際発言（ブログなどで）をしているのは、ショルツ氏のみ。Stix氏は沈思黙考中です。
３）IUT成立派は、記者会見の柏原＆玉川と査読者複数人に加え、woitブログでバトルしたDupuy氏、Joshi氏、フェセンコ氏など、海外にも複数人いるよ
４）国内にも、積極支持派は、何人かいるでしょ
５）だから、IUTが成立していることは、ほぼ間違いないってことだと思うよ
148:現代数学の系譜 雑談
20/06/23 07:03:43.53 nKssTr8/.net
>>135 タイポ訂正
２）その中で、ショルツ氏が、IUTは「おれ様モノドロミーで反例構成できた。だから、単なるjギャップでなく、根本的に不成立だ」と言った
↓
２）その中で、ショルツ氏が、IUTは「おれ様モノドロミーで反例構成できた。だから、単なるギャップでなく、根本的に不成立だ」と言った
（jが余計（＾＾；）
149:現代数学の系譜 雑談
20/06/23 07:11:32.75 nKssTr8/.net
>>135 補足
＞ ２）その中で、ショルツ氏が、IUTは「おれ様モノドロミーで反例構成できた。だから、単なるjギャップでなく、根本的に不成立だ」と言った
いま、というか4月から5月の時点で、IUT不成立と数学的に主張したのは、ショルツ氏ただ一人
woitブログのアンチIUTの人は、ショルツ氏の尻馬組だ。ショルツ氏が撤退したら、数学的意見はパッタリですｗ
そして、ショルツ氏は撤退した。あとはe-mailで言い残したが、その後議論が続いているとは、思えない
仮に、議論が続いていても、Dupuy氏は「SS文書はダメ」ということを、arXiveに投稿しているから、ショルツ氏は議論に勝てないでしょうね
（ショルツ氏が議論に勝てば、Dupuy氏のarXiveに投稿は修正されるだろう）
150:現代数学の系譜 雑談
20/06/23 07:12:37.19 nKssTr8/.net
>>137 タイポ訂正
（ショルツ氏が議論に勝てば、Dupuy氏のarXiveに投稿は修正されるだろう）
↓
（ショルツ氏が議論に勝てば、Dupuy氏のarXive投稿は修正されるだろう）
分かると思うが（＾＾；
151:１３２人目の素数さん
20/06/23 07:55:44.19 2f72qG2Y.net
もっちはSkypeで欧米人に説明してます
152:１３２人目の素数さん
20/06/23 08:20:13.16 7fLWe8yZ.net
>>129
絶対に尋ねない、とはいってないｗ
ただ、東京に来る以前のことが知りたいのに
東京に来て以降の菩提寺の過去帳を見ても
東京に来る以前の過去が分かる可能性は
まず期待できないな
つまり、オトシモノをした場所以外のところを
必死に探しても見つかる可能性がないってこと
数学の証明も同じことだよ
εδのキモを知りたいのに、
全く無関係な一般化ばかり
見ても無駄ってことｗ
＞分かっているようでも、
＞「ちゃんと証明してみる」ってことは、
＞無駄ではなく必要なことなんだよね
じゃ、セタ君は、真っ先にεδによる関数fの連続性の定義と
「fがxで連続
⇔xに収束する任意の数列x_nについて、f(x_n)はf(x)に収束」
が同値であることを完璧に証明してみせようね
無駄ではなく必要なことだよ 工学部卒にもね（ビシっ！！！）
153:１３２人目の素数さん
20/06/23 08:26:59.18 7fLWe8yZ.net
>>135-136
セタがなぜIUTの正当性に固執するのか分らんが
ただの愛国馬鹿かもしれんな
国立大学卒にはこの手の愛国馬鹿が少なくない
国立大学の教育がどうとかいうことではなく
「国」というものを「神」のごとく考え
その国が作った大学に受かっただけで
「オレ様は神に認められた存在だ！」
と自惚れる
154:馬鹿がいるってこと 国なんて暴力団と同じなのになｗ （戦争なんて暴力団の縄張り争いみたいなもんｗ）
155:１３２人目の素数さん
20/06/23 08:32:42.55 7fLWe8yZ.net
>>137-138
望月はショルツに論駁できてない
（RIMSのIUT論文受理は全くの暴走）
そしてデュピュイは望月の論文を理解してない
（当人がTwitterで、”もし理解できたらそう答える、オレを信じろ”と言い放ったｗ）
単に、ショルツの指摘は、IUTそのものの誤りの指摘ではない、といってるだけ
（しかし、デュピュイ自身、望月論文に基づいてショルツの指摘の「誤り」を
指摘できるわけではないから無意味）
ショルツだけでなくデュピュイも「望月論文にはデッカイ穴がある」と思ってる
デュピュイは自分のやり方でその穴を埋めようと思ってるんだろう
つまり、望月にとって、ショルツだけでなくデュピュイもまた「敵」
156:１３２人目の素数さん
20/06/23 09:35:09.73 pmIhiuoU.net
>>134
文元氏、数学についてなんも分かってないんだな
望月氏はそんなことはないだろうが
157:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/23 10:02:18 ack77tVS.net
>>140
>ただ、東京に来る以前のことが知りたいのに
>東京に来て以降の菩提寺の過去帳を見ても
>東京に来る以前の過去が分かる可能性は
>まず期待できないな
工学では、現場＆現物＆現実という
まずは、きちんと、現場＆現物＆現実と押さえる。これが基本でしょ
考えるのも大事だがね
>つまり、オトシモノをした場所以外のところを
>必死に探しても見つかる可能性がないってこと
まず、東京（江戸かも）に出て来た時間（年月日）とか場所とか、
とにかくそこの事実をきちんと、出来るだけ多く、かつ正確に把握すること
そこが、原点でしょ？
（例えば、お寺に親戚関係の情報があれば、その親戚に尋ねるとかできるし）
原点があやふやじゃね
工学的には、おいおいって感じですよ
158:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/23 10:08:53 ack77tVS.net
>>142
>望月はショルツに論駁できてない
>（RIMSのIUT論文受理は全くの暴走）
あんたが言っても
説得力ゼロ
あんた、柏原先生や玉川先生より上のつもり？
159:現代数学の系譜 雑談
20/06/23 10:27:50.37 ack77tVS.net
>>141
>ただの愛国馬鹿かもしれんな
話は、逆
あんた、大学の左翼くずれでしょ？（＾＾
だから、昔左翼用語で「日帝」とかいう言葉があったけど、アンチ「日帝」気分でIUTを語っているでしょ？ｗ
>国立大学卒にはこの手の愛国馬鹿が少なくない
あるときは、東大卒を名乗り
あるときは、フランスの高等院（グランゼコール）卒を名乗る
しかして、その正体は、どこか名も無い大学の数学科修士の数学落ちこぼれ、無職＆引きこもり
URLﾘﾝｸ(ja.wikipedia.org)
多羅尾伴内
同時期に製作されていた東映時代劇における千恵蔵の十八番となった「遠山の金さん」シリーズとは互いに影響を及ぼしあってゆく。
遠山の金さんが多羅尾伴内のごとく次々と変装をするかと思えば、多羅尾伴内は事件の大団円において遠山奉行のお白洲を思わせるような一段高い所から悪人どもの罪を裁き、金さんが桜吹雪の刺青を露わにするがごとくに多羅尾伴内は変装をかなぐり捨てて正体を現わすという具合である。
東映･金田一耕助シリーズの『三つ首塔』（昭和31年、比佐脚本）でも、千恵蔵が演じる金田一耕助は僧侶に変装し、大団円でパッと変装をかなぐり捨てて金田一の正体を現わしている。
URLﾘﾝｸ(ja.wikipedia.org)
グランゼコール
160:現代数学の系譜 雑談
20/06/23 10:34:39.42 ack77tVS.net
>>140
(引用開始)
じゃ、セタ君は、真っ先にεδによる関数fの連続性の定義と
「fがxで連続
⇔xに収束する任意の数列x_nについて、f(x_n)はf(x)に収束」
が同値であることを完璧に証明してみせようね
無駄ではなく必要なことだよ 工学部卒にもね（ビシっ！！！）
(引用終り)
その話は、下記のスレでやっている
おサルたち、おバカの話を楽しんで見ていますよｗ（＾＾；
（参考）
純粋・応用数学（含む
161:ガロア理論）2 https://rio2016.5ch.net/test/read.cgi/math/1592578498/
162:１３２人目の素数さん
20/06/23 10:49:53.39 7fLWe8yZ.net
>>144
＞東京（江戸かも）に出て来た時間（年月日）とか場所とか、
＞とにかくそこの事実をきちんと、出来るだけ多く、かつ正確に把握すること
＞そこが、原点でしょ？
時期は
・明治６年発行の沽券地図に先祖の名前が載っていたことから
明治６年より以前であること
・幕末の地図には名前が載っていなかったことから
おそらく明治維新以降であること
とわかる
また東京に出てきた後の場所は既に特定されているが
知りたいのは東京に出てくる前の出身地だから
わかったところで意味がない
で、なぜお寺に拘るのかわからんが、
実は今の寺に墓が出来た時期は昭和以降
明治初期からあったわけではない
だから時系列的に全然後
したがってそこで何かが必ず分かると期待するほうがおかしい
君のいうことのほうが工学的にも全く見当違い
あんた、モノ作ったこと、ないだろ？
163:１３２人目の素数さん
20/06/23 10:53:49.92 7fLWe8yZ.net
>>146
>>ただの愛国馬鹿かもしれんな
>あんた、大学の左翼くずれでしょ？
いや、学生時代は、政治活動なんかしてないよ
そんな暇も関心もなかったし
164:１３２人目の素数さん
20/06/23 10:56:48.35 7fLWe8yZ.net
>>147
＞その話は、下記のスレでやっている
デキてないｗ
ま、∈と⊂の区別すらできない、論理的思考力ゼロのセタ君に
「εδによる関数fの連続性の定義」と
「fがxで連続⇔xに収束する任意の数列x_nについて、f(x_n)はf(x)に収束」が
同値であること
の証明なんて到底できないことは明らか
（いっとくけど、これ大学１年の解析学なら必ず出される問題だから
デキない時点で落ちこぼれ決定だけどねｗ）
165:１３２人目の素数さん
20/06/23 11:11:14.58 lYV8dSuo.net
(数学に関係なくて恐縮ですが…
東京本家の檀家のご当主様から、東京本家の菩提寺のご住職様に、東京本家の檀家になられた初代の方についての紹介状が出身地の同宗派の菩提寺から送られて来てないか、有れば確認させて欲しい旨をお話頂くのが一番すんなり江戸時代以前の菩提寺の過去帳には辿り着き易いかと…)
166:１３２人目の素数さん
20/06/23 11:22:44.80 7fLWe8yZ.net
>>151
長いよｗ
東京の寺といっても墓を作るだけなので、
江戸時代以前の繋がりは必要ない
東京では簡単に過去は断ち切られる
過去を捨てたい人には都合がいいが
過去をほじくり返したい人には都合が悪いｗ
167:現代数学の系譜 雑談
20/06/24 16:17:34.74 o/pgoU2Q.net
>>152
・お寺（宗教）も、一つの見方としては、一種のビジネスと考えられる
日本の宗教観の一つに、祖先（家）崇拝があって、祖先を大事にする習慣がある
・お寺としても、その需要に応じる方が良いのであって、つまりは檀家のご先祖の記録を保持して、檀家を繋ぎとめる
江戸幕府が、キリシタン対策として、鎖国と同時に檀家制度がそれ
・従って、お寺に祖先の情報が残っている可能性が大かなと思う（江戸幕府の政策による）
・但し、東京は米軍の空襲があったから、そこがどうかだがね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
檀家制度（だんかせいど）とは、寺院が檀家の葬祭供養を独占的に執り行なうことを条件に結ばれた、寺と檀家の関係をいう[1]。寺請制度（てらうけせいど）、あるいは寺檀制度（じだんせいど）ともいう。江戸幕府の宗教統制政策から生まれた制度であり、家や祖先崇拝の側面を強く持つ[2]。
168:現代数学の系譜 雑談
20/06/24 16:48:06.03 o/pgoU2Q.net
>>150
>「εδによる関数fの連続性の定義」と
・その話は、下記のスレでやれば良いと思うが
（というよりも、”純粋・応用数学”スレ１は、もともとガロアスレ復活のための布石であって、その２
169:でそれが実現したわけなのだが（＾＾） ・「εδ マンセー！、εδサイコー！」については、私は批判的です！ｗ（＾＾ ・つまり、20世紀まで、上記の「εδ マンセー！、εδサイコー！」思想が、日本教育界には色濃く残っていたように思う （個人的には、高校２年時代、確か旧帝数学科出身の教師が、「高校数学では、ゴマカシているが、本当は”εδ ”」とか何度もいうから、高校時代に勉強しました（＾＾） ・で、成人してから、ノンスタ（超準解析）と出会って、「な～んだ」（下記ご参照）と思った ・あと、思うに、複素関数論では、ワイエルシュトラス＞＞リーマン という昔の時代風潮があったと思う しかし、21世紀の視点では、圧倒的に リーマン＞＞ワイエルシュトラス でしょうね ・そんなこんなで、「εδ マンセー！、εδサイコー！」については、私は批判的です 「εδ」単独ではなく、もっと位相とか、ノンスタ（超準解析）、フィルター、ネット、圏論の極限とか、総合的に理解すべき概念だろうと ・それについては、おバカを泳がせながら、下記スレでやっていくつもりですよｗ（＾＾； （参考） https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90 超準解析 超準解析は1960年代に数学者アブラハム・ロビンソンによって創始せられた。[6][7] 彼は次のように記述している： [...] 無限に小さいあるいは無限小の量という概念は我々の直観に自然に訴えかけるように見える。何れにせよ、無限小の使用は、微分学・積分学の黎明期において、広く普及した。相異なる2つの実数の差が無限に小さくなることはないという [...] 異論に対して、ゴットフリート・ライプニッツは、無限小の理論は理想的数――それは実数と比較して無限に小さかったり無限に大きかったりするものであるが、後者（訳注：実数）と同じ性質を有する――の導入を含意するものであると主張した。 ロビンソンはこのライプニッツの連続性の原理（英語版）は移行原理（英語版）の先駆けであるとしている。ロビンソンは次のように続ける： つづく
170:現代数学の系譜 雑談
20/06/24 16:48:29.15 o/pgoU2Q.net
>>154
つづき
しかしながら、彼も、彼の弟子たちや後継者たちも、このようなシステムに繋がる合理的な進展（訳注：そのような原理を合理化するもの）を得なかった。その結果、無限小の理論は徐々に評判を落としてゆき、最終的には古典的な極限の理論に取って代わられた。[8]
ロビンソンはさらに次のように続ける：
本書では、ライプニッツのアイデアが完全に正当なものであり、古典解析やその他の多くの数学の分科に対する新奇で実りあるアプローチに繋がることを示す。我々の方法の鍵は、現代モデル理論の基盤にある、数学の言語と数学的構造との間の関係の詳細な分析によって齎される。
1973年、直観主義者アレン・ハイティングは超準解析を「重要な数学的研究の標準モデル」だと賞賛した。[9]
（参考）
純粋・応用数学（含むガロア理論）2
ｽﾚﾘﾝｸ(math板)
(引用終り)
以上
171:１３２人目の素数さん
20/06/24 17:51:35.20 rera5qsq.net
超準とか圏論とか、暇人の数学」だかね。
172:１３２人目の素数さん
20/06/24 18:52:09.77 20Eet5cd.net
>>154
＞εδ マンセー！、εδサイコー！
εδが理解できなかった負け犬の幻聴
だいたい「マンセー」とかどこの嫌韓ＤＱＮだよｗ
お前、大阪で朝鮮学校の奴らにケツの穴でも＊＊られたのか？ｗ
＞個人的には、高校２年時代、確か旧帝数学科出身の教師が、
＞「高校数学では、ゴマカシているが、本当は”εδ ”」
＞とか何度もいうから、高校時代に勉強しました
でもちっとも理解できずにザセツした、とｗ
だいたい高２とか遅ぇよｗ
俺は小学生で遠山啓の「数学入門」読んでたから
そこでεＮとか覚えたよ コーシーさすがだな、とｗ
＞成人してから、ノンスタ（超準解析）と出会って、「な～んだ」と思った
εδがどうしても理解できず、ノンスタにすがったと
こういうヤツに限ってノンスタを初歩から誤解して
わかったつもりになってる🐎🦌野郎なんだよなｗ
＞複素関数論では、ワイエルシュトラス＞＞リーマン という
＞昔の時代風潮があったと思う
ねぇよ。どこからワイエルシュトラスがリーマンより上とか出てくるんだよ
この池沼がｗ
＞しかし、21世紀の視点では、圧倒的に リーマン＞＞ワイエルシュトラス でしょうね
アホｗｗｗ 19世紀以降一貫してリーマン＞＞ワイエルシュトラス
複素関数も全然分からんバカが口からデマカセの嘘ほざくなｗ
＞「εδ」単独ではなく、もっと位相とか、フィルター、ネット、圏論の極限とか、総合的に理解すべき概念だろう
εδも分らんバカに位相もフィルターもネットも圏論も全く理解できねぇって
実際、任意の開集合で、って書いてあるのに
開集合一個だけもってきて、逆像も開集合だから連続
とかバカまるだしなこといってるトンデモは貴様だろ（嘲）
述語論理の∀も分らんバカに
ノンスタ（超準解析）が分かるわけねえだろｗ
173:１３２人目の素数さん
20/06/24 18:53:57.44 20Eet5cd.net
＞純粋・応用数学（含むガロア理論）2
群論の基礎である正規部分群の定義も間違えるバカに
ガロア理論なんか理解できるわけないから諦めろ
🐎ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ🦌
174:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/24 23:01:18 b5EBywaq.net
>>157
>アホｗｗｗ 19世紀以降一貫してリーマン＞＞ワイエルシュトラス
>複素関数も全然分からんバカが口からデマカセの嘘ほざくな
おサルの妄言より、おれは下記だな。19世紀は詳しくないがね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ベルンハルト・リーマン
(抜粋)
リーマンの数学の影響
19世紀には 複素解析の基礎づけもリーマン幾何学も正当な評価を得ていなかった
複素解析の分野では、カール・ワイエルシュトラスがリーマンの複素解析の基礎づけに使ったディリクレの原理にギャップがあることを指摘したため、多くの数学者が疑念を共有するようになった
その一方で、シュワルツは幾何学的方法によってリーマンのギャップを解消する交互処理法を導入し、フックスは特異点のまわりでの解の解析接続を研究するためにリーマンの方法を利用するようになった
また、クラインはリーマンの複素解析に関する論文を発表し、この分野での研究を促していった
1900年、ヒルベルトは（ワイエルシュトラスが批判した）ディリクレの原理の問題を解消し、その後、ヘルマン・ワイルがリーマン面を1次元複素多様体として厳密に定義し、さらにディリクレの原理を直交射影の原理として再定式化することで、リーマンの複素解析での業績は再評価されることになった
ポアンカレはリーマンが示した位置解析のアイデアを発展させ、トポロジーを体系的に研究した
また、ポアンカレとケーベは写像定理を一般化した一意化の定理をそれぞれ独立に証明した
カール・ジーゲルはリーマンの遺稿を分析することで、リーマン予想に関するリーマンの研究の中に、すでにその後の研究を先取りする内容が含まれていることを発見した
クラインはリーマンの複素解析を支持したが、エルランゲン・プログラムとの違いからリーマン幾何学に対しては否定的な姿勢をとった
リーマン幾何学の研究はリーマンが晩年に滞在していたイタリアで発展していった
リーマン自身はリーマン幾何学の計算技法を十分に与えなかったが、それを補うテンソル解析がエウジェニオ・ベルトラミ、トゥーリオ・レヴィ＝チヴィタによって発展させられた
この分野はアインシュタインの相対性理論の登場によって注目されることになる
175:現代数学の系譜 雑談
20/06/24 23:14:49.03 b5EBywaq.net
>>157
＞俺は小学生で遠山啓の「数学入門」読んでたから
＞そこでεＮとか覚えたよ コーシーさすがだな、とｗ
遠山啓の「数学入門」か
なんか、そんなのあったな
読んだことないけど、表紙くらい見たような記憶あるな
おサルの小学生時代に数検（定）あったらよかったかもな
遠山啓の「数学入門」読んで、「εＮ」でスベッテ、コロンデ、オチコボレの道へかなｗ（＾＾
遠山啓の「数学入門」ってさ、それ おそらく19世紀の数学観に毒されていると思うぜ（＾＾；
参考
URLﾘﾝｸ(www.su-gaku.net)
2019年12月10日
公益財団法人 日本数学検定協会
大学レベルの最難関階級
数学検定１級に小４の９歳が最年少合格
2019年10月27日実施の個人受検調査結果
176:１３２人目の素数さん
20/06/25 01:10:57.06 VoPbegd2.net
>>160
で、いつになったら、εδを排した、位相空間とかだけ使った多様体上のリッチフローの理論の構築法示してくれるのさ。
連続性が定義できる程度じゃ全然足りないよ。
多様体上の非線形PDEなんだから、せめて種々のSobolev空間や埋め込みのコンパクト性とか、熱方程式の解の正則性とかやってくれないと。
177:１３２人目の素数さん
20/06/25 08:42:27 JL09yEkV.net
>>159
なんだ、セタ、リーマンに嫉妬してんの？ｗ
＞19世紀は詳しくないがね
おまえは20世紀も21世紀も詳しくないだろ
シロウトがクロウトぶるな
このバカ・アホ・タワケ・ダラズ・ホンジナシ・タクランケｗ
178:１３２人目の素数さん
20/06/25 08:46:54 JL09yEkV.net
>>160
ああ、少年セタの住むド田舎には岩波新書なんか売ってる本屋無かったのかｗ
俺は東京にいたから、岩波新書なんか珍しくなかったぞｗｗｗ
179:１３２人目の素数さん
20/06/25 08:49:02 JL09yEkV.net
>>161
セタ君には到底無理でしょう
「任意のｘで成り立つ」ことをいうのに
「勝手に選んだｘで成り立つ、Q.E.D」とか
書いちゃう人ですからｗｗｗｗｗｗｗ
工学部ってこんなバカばっかりなんですかね
ひどい、ひどすぎる・・・
（※埼玉銘菓「十万石饅頭」のCMのナレーションのトーンで）
180:１３２人目の素数さん
20/06/25 12:26:44.50 CbA2ube/.net
未解決問題を一切解決できない人間に人の間違いを批判することはできないよ
181:１３２人目の素数さん
20/06/25 12:27:52.39 CbA2ube/.net
それから、私は理工学部卒だ。これも他者と同時に馬鹿にしているものと考えられるが
182:１３２人目の素数さん
20/06/25 13:24:10.70 JL09yEkV.net
>>165
頭おかしい
>>166
どこの大学だ？(嘲）
183:１３２人目の素数さん
20/06/25 13:30:37.95 JL09yEkV.net
ID:CbA2ube/
なんだ数学科じゃねえじゃんｗ
セタ同様、数学的には存在しないも同じｗ
184:１３２人目の素数さん
20/06/25 13:45:23.81 CbA2ube/.net
>>167
頭は正常そのもの
早稲田大学理工学部応用物理学科卒業
未解決問題の証明論文は論文誌には載らない2
ｽﾚﾘﾝｸ(math板)
>>168
未解決問題を3問解決したが
185:１３２人目の素数さん
20/06/25 18:29:18.12 JL09yEkV.net
>>170
＞早稲田大学理工学部応用物理学科卒業
数学科以外は数学的にはバカｗ
＞頭は正常そのもの
精神病者に病識はない
あんた幻聴聞こえるんだろ？
確実に統合失調症だから
186:１３２人目の素数さん
20/06/25 18:30:21.22 JL09yEkV.net
応用物理学科とやらで取得した
数学の科目書いてみ？
ないだろ？ｗ
187:１３２人目の素数さん
20/06/25 18:56:23.16 CbA2ube/.net
>>170
私が数学科出身に解けない未解決問題を解決したという事実を認めることができない数学科出身
がいたら、それこそ大問題だと思うが
>>171
は？
188:１３２人目の素数さん
20/06/25 20:53:31.95 JL09yEkV.net
>>172
解決できてない
数学科出身者なら分かるｗ
ばぁぁぁぁぁぁぁぁぁぁかｗ
189:１３２人目の素数さん
20/06/25 22:29:44.63 CbA2ube/.net
>>173
190: >>2にある論文には何の反証もない
191:１３２人目の素数さん
20/06/26 00:12:14.31 vfxGDXn/.net
もっちーーー！
おやすみ///
192:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/26 07:43:44 zl2qUDG1.net
>>168
>なんだ数学科じゃねえじゃんｗ
>セタ同様、数学的には存在しないも同じｗ
１．数学科出身を自慢することは、おそらく無価値
∵ 数学科の9割は数学オチコボレ。アカデミックポスト 無理
２．数学科出身で５ｃｈ数学板に粘着している者は、もっと無価値
∵ 数学科 オチコボレ中の 最底辺のオチコボレであるｗ
QEDｗ（＾＾
193:１３２人目の素数さん
20/06/26 09:30:36 Scw1pfsN.net
>>174
このスレの>>2ではなかった
194:１３２人目の素数さん
20/06/26 14:06:16.26 ClgA7ekN.net
>>176
数学しかできないのに数学で落ちこぼれてしまったらどうなるのだろう？
195:現代数学の系譜 雑談
20/06/26 16:37:06.60 sEwrMRpn.net
>>178
＞数学しかできないのに数学で落ちこぼれてしまったらどうなるのだろう？
１．世の中いろんな食い扶持を稼ぐ方法はあるよ
２．例えば、小島 寛之氏のように、文系の経済学へ転向するのもありでしょ
３．世の中、やり直しの方法はいろいろあるぜよ
４．世の中、先天的な才能だけではなく、後天的に獲得する能力もいろいろあるでよ
５．そういうのを、考えれば良いんだよ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
小島 寛之（こじま ひろゆき、1958年 - ）は、日本の経済学者、数学エッセイスト。専門は経済理論[1]。帝京大学教授。2008年に東京大学より経済学の博士号を取得した[1]。
略歴
東京都生まれ[要出典]。東京大学理学部数学科卒業。中学生のときから数学者になることを夢見ていたが、東京大学大学院理学系研究科数学専攻(現数理科学研究科)の大学院入試に3度落第したため、数学者への道を諦め、塾講師となり、中学生に数学を教えた[2]。
市民講座で宇沢弘文の講演を聴いたことを契機に東京大学大学院経済学研究科へ進学。同大学博士課程満期退学。[要出典]
帝京大学経済学部専任講師 (2000年-2004年)、同助教授 (2004年-2010年)を経て、2010年より帝京大学経済学部教授[1]。
2008年に東京大学より経済学の博士号を取得した (論文博士)[1]。
196:１３２人目の素数さん
20/06/26 17:22:52.59 uG7mJFnj.net
>>176 >>179
大学１年の解析学のしょっぱなのεδで落ちこぼれた
工学部の🐎🦌がなんかわめいてるなｗｗｗ
↓🐎🦌の戯言
ｽﾚﾘﾝｸ(math板:53番)
>系 1.45. 写像 f : R → R が連続であるための必要十分条件は, 次が成り立つこと:
>∀U : 開集合, f^(-1)(U) : 開集合.
ｽﾚﾘﾝｸ(math板:71番)
>問題 1.41. 次を示せ:
>(1) f : R → R : x → 2x は x = 0 で連続,
>逆像を考える
>開区間
>y ：＝（-1,+1）の逆像は
> ↓
>ｘ ＝（-1/2,+1/2）
>であるから”逆像が開集合”成立！
>QED ｗ（＾＾；
◆yH25M02vWFhP セタは
「∀U : 開集合」も間違う
正真正銘の白痴(idiot)!
ある開集合について逆像が開集合だと示しても何の意味もない
いかなる開集合についても逆像が開集合だと示しては
197:じめて証明となる この場合 >y ：＝（-ε1,+ε2）の逆像は > ↓ >ｘ ＝（-ε1/2,+ε2/2） を示し、さらに任意の開集合が開区間の無限和であることを示して はじめて証明したことになる この程度の論理も分らんバカが作ったモノなんか危なくて使えない 至る所に欠陥があるからなｗ
198:現代数学の系譜 雑談
20/06/26 17:41:40.16 sEwrMRpn.net
>>180
数学落ちこぼれのおサルが、必死で笑える
おサル、スレ違いだよ
小話：”吾輩は数学科出身である”（ｂｙ ナツメちゃん）
ネ コ：吾輩は数学科出身である
ナツメ：じゃあ、どこかの大学教授だな？
ネ コ：残念ながら、そうではない
ナツメ：じゃ、高校数学教師？
ネ コ：残念ながら、そうではない
ナツメ：じゃ、なんの仕事をしているの？
ネ コ：残念ながら、”仕事はまだない”
チャンチャンｗ
お後がよろしいようでｗ（＾＾；
199:１３２人目の素数さん
20/06/26 19:15:50.04 uG7mJFnj.net
>>181
仕事はしているよ
窓際族の貴様よりはるかに有意義な仕事をな！（ビシっ）
耄碌爺のセタは死ね
200:１３２人目の素数さん
20/06/26 23:26:00.10 bo37v2BK.net
モッチー、逃げ恥の大ファンだよね...
やっぱり救われたのかなぁ。
>「君の名は。」「逃げ恥」が高齢童貞・処女を救う
URLﾘﾝｸ(bunshun.jp)
201:１３２人目の素数さん
20/06/26 23:33:10.56 vfxGDXn/.net
ヒラマサに自己投影して、ガッキーみたいな笑顔の素敵なプロ彼女みたいな美人が向こうからホイホイ来てくれたら幸せだろうな
でもやってることは少なくとも最初は偽装結婚の税金泥棒の詐欺じゃねぇ？と思う
扶養控除を詐欺り、扶養手当を詐欺り、年金を詐欺り
まぁ同居してるからセーフなのか
モッチーは「結婚できない男」をしっかり見た方がいい
たぶん桑野とほぼ一緒だろw
202:１３２人目の素数さん
20/06/26 23:34:49.12 ClgA7ekN.net
>>179
数学科を出てIT土方になるも代入のイコールを受け入れることができなくて
挫折という話を思い出した
数学が普遍の真理であるかのように学生時代に洗脳されてしまって数学者になれなかったら
廃人も同然なんじゃないか
203:１３２人目の素数さん
20/06/26 23:43:01.74 oWJ0m8Dg.net
>>185
2045年のシンギュラリティで
AIがリーマン予想を解くから、
そのとき洗脳からから覚める。
204:１３２人目の素数さん
20/06/27 19:39:50.93 lm4fgWxc.net
>>185
>IT土方になるも代入のイコールを受け入れることができなくて挫折
>という話
そんなヤツいるの？
205:１３２人目の素数さん
20/06/27 21:32:05.29 PcfE0hnd.net
そんなアホがいるとは思えん。
イコールを代入記号だと思いこんでる馬鹿なエンジニアなら
いても不思議ではないが。
206:１３２人目の素数さん
20/06/28 04:14:40.70 GNnWSYjY.net
もともとは数式処理システムのMathenaticaの高校生向けチュートリアルでまず最初に定義式の:=と代入の=について触れてたな。
207:１３２人目の素数さん
20/06/28 07:14:34 s9y8etZF.net
誰が？
208:１３２人目の素数さん
20/06/28 09:02:31 62SdHH60.net
コンピュータ言語で代入が = で、比較が == ってのは正直設計ミスだろ。
C言語で EOF まで転送しようとして
while(c = getchar()) if(c = EOF) break;
と間違っても、文法上は間違いはないからすんなりコンパイルできる。
まあ、ワーニングは最近のコンパイラでは吐き出すが。
ところがこれは紛らわしいで、極めて間違いを発見しにくい。
FORTRANでも 100行までの命令を200回実行しようとして
DO 100 I=1.200
とミスすると、変数 DO100Iに1.2を代入しておしまいだ。空白を無視する設定だからな。
209:１３２人目の素数さん
20/06/28 10:13:10.94 5/G8e6zd.net
>>191
単純に使用頻度の問題だと思う。コーディングするときの手軽さ
210:現代数学の系譜 雑談
20/06/28 11:18:21.59 bfBvt+85.net
川平友規先生が、面白いことを書いているので、転送しておく
ｽﾚﾘﾝｸ(math板:421番)
（ URLﾘﾝｸ(www.math.titech.ac.jp) 川平友規 東工大）
URLﾘﾝｸ(www.math.titech.ac.jp)
多様体の基礎のキソ あとがき 川平 友規（多分 2017年ころ）
このノートのあとがきを書くことにした．
あるときふと，このノートの目標というか，目的というか，そういうものとしてぼんやりと意識していたことが，ふと言語化できた気がしたからだ．
-サルバドール・ダリが 20 代の頃，大嫌いだった建築家ル・コルビュジエと昼食で同席
する機会があった．そのとき，コルビュジェはダリに，「これからの建築はどうなると思うか，
君の意見を聞かせてもらえないかね」と訊ねた．ダリはすかさず，「やわらかくて毛深いものに
なるだろう」と答えた．住宅を「住む機械」とまで喩えたコルビュジェである．彼はダリの答
えに，苦虫を噛み潰したような顔をしたという．
さて私も同じことを，数学で予言したいと思う：
「これからの数学はもっと，『やわらかいもの』になるだろう．」
しかしその具体的な意味は，おそらくダリ自身がそうであったように，よくわからない．あくまで感覚的なものだ．
ダリが主張したのは，建築の構造が「やわらかいもの」になるという意味ではない．建築が「人間にとって，やわらかい」ものになるのだ．
数学も，その論理的厳密性や構造主義的性格が「やわらかく」緩んでしまうことは決して無
いだろう．しかし，われわれが数学に接するときに生じる感覚が，無機的で硬質なものから，は
るかに有機的で，「やわらかい」ものになるだろう．少なくとも，数学を理解する際のインター
フェイスとして，記号や論理以外の別の要素が重要視される日がおとずれる．その別の要素と
は，他ならぬ，人間という存在である．あいまいで，間違いやすく，信頼のおけない，人間という存在である．
ただし，数学が「毛深く」なるかはわからない．数学の「やわらかさ」に付随して，装飾的
で，ときには不快でもあるような要素が生み出されるかもしれない．
私のこのノートも，いまある数学者諸氏にとっては，すでに十分「毛深い」ものかもしれないが．
以上
211:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 11:29:42 bfBvt+85.net
>>185-192
うーん、その話、面白いね
>IT土方になるも代入のイコールを受け入れることができなくて挫折
IT土方の定義次第だが、大きく プログラマーと SE（システムエンジニア）と
で、SEなら、”代入のイコール”と無縁な仕事かもね
>もともとは数式処理システムのMathenaticaの高校生向けチュートリアルでまず最初に定義式の:=と代入の=について触れてたな。
そうそう
数学も時代で求められるものが違ってくるように思う
昔はπを何百桁まで計算するがエライって時代から
MathenaticaとかPython使いがエライってなって
数学のソフト使えないやつダメとか
> 2045年のシンギュラリティで
>AIがリーマン予想を解くから、
その前に、AIアシストを受けた 人が解くか
山下先生が、進化版IUTで解くかでは？（＾＾；
212:１３２人目の素数さん
20/06/28 11:31:31 62SdHH60.net
>>192
そうだと思うが、それでバグが入り込
213:むなら設計ミスだろ。
214:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 11:36:09 bfBvt+85.net
>>193 補足
>さて私も同じことを，数学で予言したいと思う：
>「これからの数学はもっと，『やわらかいもの』になるだろう．」
IUT 星と山下の差
星が、『やわらかいもの』を目指しているのに対して
山下は、そうではない
望月先生が、海外出張講演をしないのも
『やわらかい』語りが、まだ出来ないからじゃないかな？
現段階では、IUT論文を読んで貰うのが、理解の早道だと思っているんじゃないかな？
でも、査読が通った今、『やわらかい』語りが、求められていると思う
215:１３２人目の素数さん
20/06/28 11:38:14 d8p+/SSc.net
今求められてるのは3.12の証明ではないだろうか
216:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 11:40:41 bfBvt+85.net
>>195
>そうだと思うが、それでバグが入り込むなら設計ミスだろ。
まあ、そういう見方もあるけど
最初の高級言語 FORTRANが作られたときの
キーボード環境があまり複雑なことを打てない仕様だったかも
C言語は、FORTRANを受け継いだと思うんだ
当時のプログラムは、いまよりもっと単純だったろう
いまから思うと、もっと信頼性重視が良かったかも
なお、コンパイラのチェック機能を強化して、そういうエラーチェックできるかも
（それこそ、IA組み込み コンパイラとか ）
217:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 11:42:15 bfBvt+85.net
>>197
＞今求められてるのは3.12の証明ではないだろうか
いや、形式的には、3.12の証明は既にあるよ
求められているのは
１．3.12の証明が正しいことの証明ｗ（＾＾；
２．3.12の証明が正しいことの分り易い説明（＾＾
218:１３２人目の素数さん
20/06/28 11:43:51 d8p+/SSc.net
>>199
証明と主張するものはあるが証明がない
ギャップがあるから
219:１３２人目の素数さん
20/06/28 12:38:00 s9y8etZF.net
>>193
やわらかくて毛深い珍獣がなんか啼いてるなｗ
>>194
プログラマー：専門学校卒で実際にコードを書くヤツｗ
SE（システムエンジニア）：大卒のくせにコード書けないヤツｗ
ま、どっちも
Hoare Logicも、Curry-Howard correspondenceも
知らん時点で論外ですけどね
220:１３２人目の素数さん
20/06/28 12:44:16 s9y8etZF.net
>>196
やわらかさにも限度があるｗ
液状だとそもそも信頼性が保てない
望月の説明は、数学者が求めるレベルの固さがない
やわらかいほうでは素人をたぶらかすレベルのグズグズ状態
それじゃ全然意味ない
おそらく星も山下も肝心のところは分かってない
分かってたら、彼らも馬鹿じゃないから、
数学者が求めるレベルの説明ができる
221:１３２人目の素数さん
20/06/28 12:48:34 s9y8etZF.net
>>199
＞形式的には、3.12の証明は既にあるよ
ない
求められているのは
「3.12の証明と称するものの甚だしいギャップの補間」
しかし望月は補間できず、しかもそれすら認めたがらず
「自明だ」と言い張っている もはやトンデモ
222:１３２人目の素数さん
20/06/28 12:55:18.88 s9y8etZF.net
>>198
セタはgoto文排除の話すら知らない恐れありｗ
gotoが便利なのは🐕🐈でもわかるｗ
便利すぎるからキケンなのである
プログラムの構造化が要らないとかいうのは
プログラム検証を知らない野蛮人くらいのものである
（しかし世の中にはそういう野蛮人がいまだにウジャウジャいる
今後数学的帰納法が理解できないヤツはプログラミング禁止
とか法律で定めてほしいｗ）
223:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 15:14:47 bfBvt+85.net
>>199 補足
>いや、形式的には、3.12の証明は既にあるよ
ほいよ
いや、形式的には、3.12の証明は既にあるよ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY III: ¨
CANONICAL SPLITTINGS OF THE LOG-THETA-LATTICE
Shinichi Mochizuki
May 2020
P173
Corollary 3.12. (Log-volume Estimates f
224:or Θ-Pilot Objects) P174 Proof. We begin by observing that, since |log(q)| > 0, we may assume without loss P186 This indeterminacy has the effect of rendering meaningless any attempt to perform a precise log-volume computation as in (xi). 宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244783 P156 当然ですが, §8 で述べたとおり, 最終的には, “Fmod の多輻的な表示” は, これまで 議論してきた “多輻的に表示されたテータ関数やその特殊値” と直接的に関連付けられま す. §19 と §20 で議論したとおり, テータ関数やその特殊値の多輻的な表示は, 非自明な ラベルの管理をその前提としています. なお, 次のような観点があることも指摘しておきます. §17 の議論のとおり, テータ 関数に関する良い大域的な設定を準備しようとしますと, ラベルの管理の問題やテータ関 数が定義される被覆の問題から, “基本的な基礎体としての数体” が (F や Fmod ではな く) K となってしまいます. 一方, 我々が復元したい数体は Fmod です. したがって, これ から行われる数体の多輻的な表示は, 何らかの意味で, “数体の拡大 K/Fmod の降下情報” (つまり, “Gal(K/Fmod)”, したがって, 特に, “V(K) の Vmod 上の適当な置換たち”) と関 連する形で行われるべきです. 上の 2 つの議論を大雑把にまとめますと, 我々は, テータ関数やその特殊値の多輻的な表示のために行った Fx±l 対称性を用いた ラ ベルの管理 を破壊してしまうことなく, かつ, 数体の降下情報 に関連するラベル の管理のもと, 数体を表示しなければいけないということです. つづく
225:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 15:15:25 bfBvt+85.net
>>205
つづき
続・宇宙際 Teichmuller 理論入門 PDF (2018) （Indexあり） URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
P301
不定性 (Ind1), (Ind2), (Ind3) の作用による ‡ 0Θ 標対象の軌道の和集合の (“‡ の側”
の正則構造による) 正則包 (holomorphic hull - cf. [9], Remark 3.9.5) ([2], §12, の
後半の議論を参照) の行進正規化対数体積として定義しましょう. すると, 両立的同型
† 0RFrob~→ ‡ 0RFrob の存在から,
† 0Θ 標対象の対数体積は, vol(‡ 0Θ) 以下とならざるを得
ません. したがって, 結論として, 不等式
vol(‡ 0Θ) >= deg(‡ 0q 標対象)
が得られます.
§ 26. Diophantus 幾何学的不等式
宇宙際 Teichm¨uller 理論の応用として得られる “Diophantus 幾何学的不等式” の内
容は, 以下のとおりです ([10], Theorem A, を参照):
(引用終り)
226:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/28 15:18:27 bfBvt+85.net
>>205-206
3.12の証明とか
それに関する
星先生の和文説明はある
しかし、海外での納得者、ＩＵＴ賛同者がすくないのはその通り
まあ、これからですよ、理解者を増やすための活動
227:１３２人目の素数さん
20/06/28 15:22:28 w/4fBe03.net
>>193
面白い話だね。
人間の感性を無視して何かを構築しても、あまり人間の
役には立たない。なにかの助けにはなるとしても、決定
的に大きな役割は果たせないというのは感じるわ。
228:１３２人目の素数さん
20/06/28 15:26:43 s9y8etZF.net
>>205
＞形式的には・・・あるよ
証明と称する文字列＝「形式的」証明 というのが
形式的を誤解した馬鹿の戯言
望月がいくら証明だとわめこうが
バカでかいギャップがある記述は
証明ではない
◆yH25M02vWFhPよ、貴様にギャップが埋められるのか？
ん？工学部卒のド素人の貴様に埋められるのか（嘲）
229:１３２人目の素数さん
20/06/28 15:29:22 zMeGIoxo.net
>>208
斎藤毅によれば、グロタンディークはスキームXをただXとしか見ていなかったようだが
230:１３２人目の素数さん
20/06/28 15:29:50 s9y8etZF.net
>>207
で？>>205-206の日本語の文章のどこが
望月のニセ証明のギャップを埋める記述なんだ？
具体的に示してみろや この工学部卒のド素人が（嘲）
231:１３２人目の素数さん
20/06/28 18:34:32 apZmPGM9.net
>>198
わ、プログラムでもトンデモ
232:１３２人目の素数さん
20/06/28 20:51:59.43 lAmHZJpH.net
左翼のミスター維新がまた暴れてるのか。
233:１３２人目の素数さん
20/06/28 21:26:26.41 +VXxQ0ZM.net
なぞのIUT応援団長がコピペ単語を並べて呻いているな、隔離スレだし。
アセンブリも知らないだろうしC oqも無縁だしIUT B本math jinがお似合いだ
234:１３２人目の素数さん
20/06/29 06:37:07 GkGJv2T6.net
維新はウヨクじゃね？
235:１３２人目の素数さん
20/06/29 07:12:35.84 SG0hDOpp.net
>形式的には、3.12の証明は既にあるよ
証明と概要.概説.解説は異なる。
(リーマン予想について
アティヤが「形式的」な「証明」
を行い世界へ向けて講演したが、
アティヤを尊敬するも未だにリーマン予想といわれている)
236:現代数学の系譜 雑談
20/06/29 07:39:25.48 zK2xtwvj.net
>>208
>人間の感性を無視して何かを構築しても、あまり人間の役には立たない。
同感です
いまのIUTの状況に、二重写しですね
>>210
>斎藤毅によれば、グロタンディークはスキームXをただXとしか見ていなかったようだが
そうみたいですが
グロタンディーク先生は、あまりにも浮き世離れしているというか、まあ、岡潔先生に似ているかも
浮き世に生きている我々の参考にはならないかも
新井 紀子先生の方が、一般人には参考になると思いますね
URLﾘﾝｸ(www.kinokuniya.co.jp)
紀伊國屋書店
数学は言葉
新井 紀子【著】
内容説明
困ったことに、数学語は数学や科学だけで使われている言葉ではないのです。論理的とよばれているありとあらゆる分野で、数学語が共通語として使われているのです。というわけで、この本の目的は、「数学語を第二言語として身につける」です。言語の本ですから、「ナマモノ」の数学に出てくる補助線の引き方やつるかめ算など数学技能については勉強しません。三平方の定理やオイラーの公式のような有名な定理もやりません。その代わりに、数学の文法と和文数訳、数文和訳、そして数学の作文法を勉強します。
目次
１ 定義とは何か
２ 数学の文法
３ 和文数訳
４ 数文和訳
５ かたちから言葉を見る
６ 証明とは何か
７ 数学の作文
８ 終章―ふたたび古代ギリシャへ
著者等紹介
新井紀子［アライノリコ］
一橋大学法学部卒業。イリノイ大学数学科博士課程修了。理学博士。現在、国立情報学研究所教授、社会共有知研究センター長。専門は数理論理学、情報
237:科学、教育工学。情報共有基盤システムＮｅｔＣｏｍｍｏｎｓを開発、学校などでも簡単に使いこなせる情報共有システムをめざしている。その一方で、専門の論理学を活かして算数・数学の著作にも多数取り組む（本データはこの書籍が刊行された当時に掲載されていたものです） ※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
238:現代数学の系譜 雑談
20/06/29 07:48:50.05 zK2xtwvj.net
>>211
おサル＝維新は、面白な
おまえさん、人のつもり？
数学では、ドクターないと、人扱いされないって、自分の言葉だったろ？（＾＾
１．4月3日に、柏原＆玉川先生が、「IUTの証明は正しいと思ってもらって良い」「査読は完了」と会見を開いた
２．当然、凡人に分かるようなギャップはない
３．4月3日後に、「ギャップあり」と喚いた人一人。言わずと知れたショルツ氏だが、公言した人は只の一人のみ
（4月3日以前には、SSで二人だった）
４．もし私がギャップを見つけたら、５ｃｈなんかに書かずに、実名投書するけどね。ギャップの指摘が正しいなら、ヒーローでしょ！ｗ（＾＾；
（ギャップの修正ができたら、もっと凄いよねｗｗｗ）
239:１３２人目の素数さん
20/06/29 08:16:12.04 8S5rGRrU.net
IUTはダメだって。
IUT=もっちの俺様ワールドだけど、主要結果として主張していることは
abc予想という紛れもないディオファントス問題で
世界には研究者の分厚い層がある。この研究者たちは
もっちの証明を全く認めていないだろう。
RIMSは世界の笑い者だよ。
240:１３２人目の素数さん
20/06/29 16:43:41 GkGJv2T6.net
>>218
◆yH25M02vWFhPの輝かしい戦果！
１）任意の集合についてa∈b⇔a⊂bと断言し 大爆死ｗ
２）公理図式で任意の式を入れるところを公理に限ると断言し、大爆死ｗ
３）εδ論法でεは１未満に限ると断言し、大爆死ｗ
こんな大学１年の４月の数学で「死んだ」馬鹿が、
ＩＵＴどころかただのタイヒミュラー理論すら
わかるわけなかろうがｗｗｗｗｗｗｗ
241:１３２人目の素数さん
20/06/29 16:45:47 GkGJv2T6.net
セタは以下の本、読んだの？
もし読んだんなら、>>220であげたような
馬鹿丸出しな発言は決して出てこない筈なんだがね
URLﾘﾝｸ(www.kinokuniya.co.jp)
紀伊國屋書店
数学は言葉
新井 紀子【著】
目次
１ 定義とは何か
２ 数学の文法
３ 和文数訳
４ 数文和訳
５ かたちから言葉を見る
６ 証明とは何か
７ 数学の作文
８ 終章―ふたたび古代ギリシャへ
242:１３２人目の素数さん
20/06/29 16:47:35 GkGJv2T6.net
🐎🦌のセタは
「円周率とは何か？」
という質問に脊髄反射で
自信満々こう答えるだろうな
「３．１４！！！」
何がどう間違ってるかわかるか？
いっとくけど、小数点以下2桁で打ち切ったことじゃないぞｗ
243:１３２人目の素数さん
20/06/29 17:00:43 dURyYhlp.net
3.1415926535897932384626まで暗記してれば一生大丈夫だと思ってる
大事なのは次数であって有効数字なんて二桁あれば御の字だ