21/02/20 18:04:50.25 c8yOLip1.net
>>34
キムチ好きですか？
K-POP好きですか？
韓流ドラマ好きですか？
私？上から順にYes、No、Noですが何か？
38:complete idiot
21/02/20 18:06:51.75 c8yOLip1.net
ま、でもこんなんだったら人類滅びるね
いいんじゃね？自業自得で
39:complete idiot
21/02/20 18:10:20.15 c8yOLip1.net
現代の殺人率は高いよ
もちろん一番の原因は戦争だけどね
戦争は殺人だから
40:complete idiot
21/02/20 18:11:31.20 c8yOLip1.net
ID:8luvRSjFはふへへへへへへとかいいながら
核ミサイルのボタン押しちゃう人なんだろうな
41:１３２人目の素数さん
21/02/20 18:14:28.48 8luvRSjF.net
>>37
同じだね。ただし、おれはベビメタなんかも全然興味ないｗ
K-POPは興味はないが、かかっていても別に不快ではない。
韓流ドラマはウソが多そうだ。「不滅の李舜臣」とかね。
つまり、韓国人こそ貴方の嫌いな偏狭なナショナリストなんだなｗ
42:１３２人目の素数さん
21/02/20 18:16:24.38 8luvRSjF.net
>>40
なんでそう思う？ ひとを無差別に殺す兵器なんて
使っていいわけないだろう。
「核の均衡」の上に平和が成り立ってるという事実は
別にそれで構わないと思ってる。
43:１３２人目の素数さん
21/02/20 18:23:02.19 8luvRSjF.net
ベビメタ野郎は、ヘビーメタルが「白人の音楽」ということは知ってるの？
ウソだと思うなら、黒人に訊いてみなよ。
「あんな単調なリズムの音楽なんてクソだ」と言われると思うｗ
44:１３２人目の素数さん
21/02/20 19:15:47.81 Z8PgJDTw.net
>>26
＞ 3月にドイツ Oberwolfach で新たな #IUTABC カンファレンス。Stixもオーガナイザーで参加
Homotopic and Geometric Galois Theory
これかな？
星裕一郎先生も、引っ張り出されたらしいね
URLﾘﾝｸ(twitter.com)
星裕一郎 ツイッター
@hoshiyuichiro
·
2月18日
（研究集会関連 1/4）
招待いただいたOberwolfachの集会は，何度か参加自体をお断りしてきたのですが，その後の先方からの交渉・説得により，結局，講演を行うことにしました．例えばそこでの私の講演に何か意義があるのか等，色々と疑問はありますが，そのような諸々を棚上げにして，折れてみました．
(deleted an unsolicited ad)
45:１３２人目の素数さん
21/02/20 19:28:54.37 Z8PgJDTw.net
>>44 追加
下記より
” and Hoshi-Mochizuki-Minamide,
the construction of arithmetic operads ”
とありますな、ワッハッハｗｗｗ
（参考）
URLﾘﾝｸ(www.mfo.de)
The Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Homotopic and Geometric Galois Theory
7 Mar - 13 Mar 2021
ID: 2110a
Organizers
Benjamin Collas, Bayreuth
Pierre Dèbes, Villeneuve d'Ascq
Hiroaki Nakamura, Osaka
Jakob Stix, Frankfurt
Public Abstract URLﾘﾝｸ(www.mfo.de)
46:.pdf Abstract A fundamental idea in studying the absolute Galois group of a field is to make it act on geometric objects such as Galois covers, étale cohomology groups and fundamental groups. The following research topics emphasize this seminal idea: (a) Galois covers, G-torsors and their parametrizing families, (b) motivic Galois representations, (c) anabelian towers of fundamental groups. Striking advances have recently shed new light on the whole topic: (c) in Anabelian Geometry: the successful introduction of methods from étale homotopy theory (Schmidt-Stix) and from motivic A1-homotopy theory for moduli stacks of curves (Collas), the import of operads (Fresse-Horel) which echo the Galois techniques of Pop and Hoshi-Mochizuki-Minamide, the construction of arithmetic operads for Hurwitz moduli spaces (Westerland-Wickelgren).
47:１３２人目の素数さん
21/02/20 20:24:23.41 c8yOLip1.net
>>43
特に問題ないけど？
48:complete idiot
21/02/20 20:25:23.87 c8yOLip1.net
>>45
人名が書いてあるだけでIUTが正しいなんて書いてないけど
英語読めないんだ・・・
49:complete idiot
21/02/20 20:29:07.06 c8yOLip1.net
>>42
>「核の均衡」の上に平和が成り立ってる
それは事実ではなく妄想だよね
均衡なんて考えない人がボタンを押す危険は常にあるよ
>ひとを無差別に殺す兵器なんて使っていいわけないだろう。
韓国人だけ差別して殺す兵器なら喜んで使うんだ・・・
やっぱ殺人大好きなんだ・・・
50:complete idiot
21/02/20 20:39:01.70 c8yOLip1.net
>>41
＞韓国人こそ貴方の嫌いな偏狭なナショナリストなんだな
正しくは「韓国人にも排外的ナショナリストがいる」だね
決して「全ての韓国人が排外的ナショナリストである」ではないな
それは「全ての日本人が排外的ナショナリストである」でないのと同じだよ
51:complete idiot
21/02/20 20:41:41.00 c8yOLip1.net
力で平和は実現できない
力は人類を滅ぼすよ
他人に対する不信が跳ね返って自分を殺すから
人間ってどうして馬鹿なんだろう
52:１３２人目の素数さん
21/02/20 20:50:04.02 Z8PgJDTw.net
>>26
＞スティックもブロムナード組に入ったね。
＞ショルツ完全孤立！IUT完全勝利！
情報ありがとう
確かに、一昨年だったかにも類似の情報あったね
つまり、Stix氏はショルツェ氏とは一線を画すってことですね
今年の4本のIUTの国際会議は、本来は昨年に終わっている予定だった
その最初の会議（4月か5月だったか）には、Stix氏が参加者名簿に載っていた
だが、途中で消えたんだけど
しかし、ドイツ Oberwolfachの会議だし、
Organizersだから
名前が消えることはちょっと考えられないね
つまり、2年ほど前から
Stix氏はショルツェ氏とは一線を画すっていう状態にあった
そういうことですね
53:１３２人目の素数さん
21/02/20 21:07:22.66 Z8PgJDTw.net
>>45
>The following research topics emphasize this seminal idea: (a) Galois covers, G-torsors and their parametrizing families, (b) motivic Galois representations, (c) anabelian towers of fundamental groups.
>Striking advances have recently shed new light on the whole topic:
>(c) in Anabelian Geometry: the successful introduction of methods from étale homotopy theory
>(Schmidt-Stix) and from motivic A1-homotopy theory for moduli stacks of curves (Collas), the import
>of operads (Fresse-Horel) which echo the Galois techniques of Pop and ,
>the construction of arithmetic operads for Hurwitz moduli spaces (Westerland-Wickelgren).
”Striking advances have recently shed new light on the whole topic:”
ですね
”Hoshi-Mochizuki-Minamide”は、該当しそうなのは下記二つ
（>>5より）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一郎の論文
(抜粋)
１）Explicit estimates in inter-universal Teichmüller theory (with Shinichi Mochizuki, Ivan Fesenko, Arata Minamide, and Wojciech Porowski) RIMS Preprint 1933 (November 2020): (PDF).
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
２）Group-theoreticity of numerical invariants and distinguished subgroups of configuration space groups (with Arata Minamide and Shinichi Mochizuki) RIMS Preprint 1870 (March 2017): 修正版: (PDF).
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
（引用終り）
ここで、”Striking advances have recently shed new light on the whole topic:”に該当するのは、”November 2020”の１）”Explicit estimates in inter-universal Teichmüller theory”ですね
”March 2017”は、ちょっと古いですね
たぶんね
54:１３２人目の素数さん
21/02/20 21:20:00.96 Z8PgJDTw.net
>>52
追加下記ご参考
2018年からの流れですね
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Mathematisches Forschungsinstitut Oberwolfach
Report No. 17/2018
DOI: 10.4171/OWR/2018/17
Mini-Workshop: Arithmetic Geometry and Symmetries
around Galois and Fundamental Groups
Organised by
Benjamin Collas, Bayreuth
Pierre Dèbes, Villeneuve d’Ascq
Michael D. Fried, Billings
15 April – 21 April 2018
Abstract. The geometric study of the absolute Galois group of the rational
numbers has been a highly active research topic since the first milestones:
Hilbert’s Irreducibility Theorem, Noether’s program, Riemann’s Existence
Theorem. It gained special interest in the last decades with Grothendieck’s
“Esquisse d’un programme”, his “Letter to Faltings” and Fried’s introduction
of Hurwitz spaces. It grew on and thrived on a wide range of areas, e.g. formal
algebraic geometry, Diophantine geometry, group theory. The recent years
have seen the development and integration in algebraic geometry and Galois
theory of new advanced techniques from algebraic stacks, p-adic representations and homotopy theories. It was the goal of this mini-workshop, to bring
together an international panel of young and senior experts to draw bridges
towards these fields of research and to incorporate new methods, techniques
and structures in the development of geometric Galois theory
P5
3. Galois Anabelian and Homotopical Geometry
Schmidt and Stix presented their joint work: they showed how to use étale
homotopic methods and Mochizuki’s work to deduce the existence of anabelian
Zariski-neighbourhoods in smooth variety of any dimension. Schmidt first explained the necessary requirements and difficulties in Artin-Mazur-Friedlander
pointed-unpointed étale homotopy theory, then Stix presented the proof based on
Tamagawa’s idea of Jacobian approximation of rational points via the existence of
a certain retract.
55:１３２人目の素数さん
21/02/20 21:32:44.89 Z8PgJDTw.net
>>53
思うに
第一線の一流研究者は
いまや、ショルツェ氏はなど眼中にない
まったく問題にしていないようです
みんな、ポストIUTに向けて走り出したと思う
IUTは現在完了から、過去になりつつある
未来を見ましょう
IUTは完了形として、オープンな問題は何か？
56:１３２人目の素数さん
21/02/20 21:38:57.40 Z8PgJDTw.net
>>54
ショルツェ氏はショルツェ氏として
自分が信念をもって、正しいと思うことを主張した
あれで良かったと思う
数学ですから、それでいいのです
そうして、議論して数学は進歩していくのです
右顧左眄、キョロキョロと空気ヨミヨミKYする
それ日本人らしいけど、それは、数学とは違うでしょうね
57:１３２人目の素数さん
21/02/20 22:05:28.98 Z8PgJDTw.net
>>54
>IUTは完了形として、オープンな問題は何か？
例えば
（>>5より）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一郎の論文
(抜粋)
１）Explicit estimates in inter-universal Teichmüller theory (with Shinichi Mochizuki, Ivan Fesenko, Arata Minamide, and Wojciech Porowski) RIMS Preprint 1933 (November 2020): (PDF).
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Abstract.
We also obtain an explicit estimate
concerning “Fermat’s Last Theorem” (FLT) - i.e., to the effect that
FLT holds for prime exponents > 1.615 ・ 10^14 - which is sufficient to
give an alternative
58: proof of the first case of Fermat’s Last Theorem. (引用終り) 個人的には、”1.615 ・ 10^14”のところで、もっと改良できそうな気もするんだよね 下記のABC予想 wikipediaでは、"指数が 6 以上の場合は直ちに証明される (Granville & Tucker 2002)[注 5]"などとある 「指数が 6」は無理としても、”1.615 ・ 10^14”は、もうちょっとなんとかできて、PCの数値計算に乗るくらいになるといいね https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3 ABC予想 脚注 注釈 フェルマーの最終定理 ただし指数が十分大きい場合（どの程度大きければよいかは K(ε) に依る）。定理自体は（ABC予想とは独立に）ワイルズが証明した。ある K(ε) が具体的に求まれば、有限個の例外を直接計算することにより、原理的にはすべての指数 >= 4 に対して証明が可能である。ε = 1 のとき K(1) = 1 という予想もあり、この仮定の下で、指数が 6 以上の場合は直ちに証明される (Granville & Tucker 2002)[注 5]。望月らは、フェルマーの最終定理の別証明を与えたとプレプリントで公表している[27]。 5^ ABC予想が K = 1 かつ ε = 1 で正しければ、互いに素な自然数 A, B, C が A + B = C を満たすとき C < (rad ABC)2 が成り立つ。互いに素な自然数 a, b, c が an + bn = cn を満たすと仮定すると、an, bn, cn は互いに素より、A = an, B = bn, C = cn を代入して c^n< rad a^nb^nc^n)^2 が成り立つ。一般に rad x^n= rad x=< x であるから、 rad (a^nb^nc^n)^2=< (abc)^2<(c^3)^2=c^6 となる。ゆえに cn < c6, c > 1 より n < 6。n = 3, 4, 5 については古典的な証明があるので定理が証明される (山崎 2010, p. 11)。 出典 27^ a b SHINICHI MOCHIZUKI; IVAN FESENKO, YUICHIRO HOSHI,ARATA MINAMIDE, AND WOJCIECH POROWSKI (2020-11-30). Explicit Estimates in Inter-universal Teichm¨uller Theory (Report). 京都大学数理解析研究所
59:１３２人目の素数さん
21/02/20 22:59:01.00 +fNNIrIw.net
>>43
だからBABYMETALはメタラーたちの差別と偏見にダイレクトに晒され、下手なパフォーマンスを見せたら小便入りのペットボトルを投げつけてやる！と息巻いてた大男たちの目の前に放り出された
実際、彼らはペットボトルを用意して待機してた
その修羅場で説得力のあるパフォーマンスを見せ付け、実力でねじ伏せたんだよ
それを16歳にしてやり遂げた
世に「ソニスフィアの奇跡」と言われ伝説になってる
2014年7月のことだった
ドラマを超えたドラマであり、作り物の脚本でも嘘に見えてしまうほどの史実を創造したんだよ
マジで一切脚色無しでドラマ化、映画化できるドラマを持ってるのがBABYMETALなのだ
ソニスフィアの奇跡のまとめ記事
URLﾘﾝｸ(ochiboomboom.com)
60:complete idiot
21/02/21 06:33:54.88 mjvHpeEO.net
んー、実は白人もみなロコリンなんだよｗ
ま、SUちゃんの歌もダンスもスバラシイけどね
61:complete idiot
21/02/21 06:35:34.46 mjvHpeEO.net
>>51
なに喜んでるんだろ？
ヨーロッパで�
62:sわれる「公開裁判」に「被告」として呼び出されたのに マゾなのかな？
63:complete idiot
21/02/21 06:37:58.28 mjvHpeEO.net
>>54
ま、IUT詐欺は過去の事件だろうね
だれもあれが正しいとは思ってない
今度のOberwolfachは墓への埋葬の儀式だね
御愁傷様
64:complete idiot
21/02/21 06:39:17.54 mjvHpeEO.net
>>55
望月は下手にPRIMS掲載なんて小細工しなきゃよかったのに
あれで面目失墜したね 馬鹿なことをしたもんだよ
65:complete idiot
21/02/21 06:41:07.15 mjvHpeEO.net
それにしてもεδも正則行列も分からん素人が
数論幾何に興味もっても全く理解できないのに
なんでこのひとはそんなに狂うんだろうね
よっぼど不遇の人生だったのかな？
66:１３２人目の素数さん
21/02/21 06:44:01.93 mjvHpeEO.net
{a,b}∈{{a,b},{c,d}}だけど
{a,b}⊂{{a,b},{c,d}}じゃないことは
理解できたかな
67:complete idiot
21/02/21 06:58:31.44 mjvHpeEO.net
アルキメデスの性質を前提すれば
0.999…=1
となることは理解できたかな？
68:complete idiot
21/02/21 07:00:20.63 mjvHpeEO.net
逆行列の存在
⇔行列式が0でない
⇔行列内の全ての行ベクトル（そして全ての列ベクトル）が線型独立
となるのは理解できたかな？
69:complete idiot
21/02/21 07:01:59.38 mjvHpeEO.net
実数の基礎も線型代数の基礎も怪しい素人が
現代数学の最先端を理解することなんて
ありえませんからぁ~ 残念！！！
70:１３２人目の素数さん
21/02/21 08:29:12.95 HYETa8wd.net
>>56
>個人的には、”1.615 ・ 10^14”のところで、もっと改良できそうな気もするんだよね
>下記のABC予想 wikipediaでは、"指数が 6 以上の場合は直ちに証明される (Granville & Tucker 2002)[注 5]"などとある
>「指数が 6」は無理としても、”1.615 ・ 10^14”は、もうちょっとなんとかできて、PCの数値計算に乗るくらいになるといいね
明示公式の論文は、下記のDupuy氏も出しています
”more transparent, modifiable, and user friendly”（特に” modifiable”）
などとある
ABC予想 wikipedia記事の「コンピューティングによる成果」（数値計算）を見ると、
”1.615 ・ 10^14”は、もうちょっとなんとかできるのでは？
と思ったりします
望月IUTの一歩先へ
いろいろ組み合わせれば、” modifiable”ではないかと（南出先生が、2分を6分にして成功したように）
今後の進展を期待したいですね
（>>6より）
URLﾘﾝｸ(arxiv.org)
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO FROM MOCHIZUKI'S COROLLARY 3.12
TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020.
Abstract.
In particular, for an elliptic curve in initial theta data we show how to derive uniform Szpiro
(with explicit numerical constants). The inequalities we get will be strictly weaker than
[Moc15b, Theorem 1.10] but the proofs are more transparent, modifiable, and user friendly.
All of these inequalities are derived from an probabilistic version of [Moc15a, Corollary 3.12]
formulated in [DH20b] based on the notion of random measurable sets.
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
目次
1 証明の試み
2 定式化
3 得られる結果の例
4 コンピューティングによる成果
コンピューティングによる成果
2006年、オランダのライデン大学数学研究所は、さらなる abc-triple を発見しようと、Kennislink科学協会と共に分散コンピューティングシステムのABC@Homeプロジェクトを立ち上げた。たとえ発見された例または反例が ABC予想を解決することができな�
71:ｭとも、このプロジェクトによって発見される組み合わせが、予想と整数論についての洞察に繋がることが期待されている。 q は上記で定義した abc-triple (a, b, c) の質 q(a, b, c) である。このとき、c の上限によって、質 q は以下のような分布を取る。 2012年9月現在、ABC@Homeは2310万個の3つ組を発見しており、当面の目標を 1020 を超えない c についての全ての abc-triple (a, b, c) を見つけることとしている[35]。
72:complete idiot
21/02/21 08:43:56.50 mjvHpeEO.net
>>67
いくらPCで計算したって証明にならない
ってことが理解できないのかな？
もしかして数は有限個しかないと思ってる？
73:１３２人目の素数さん
21/02/21 08:52:48.65 HYETa8wd.net
>>59
>なに喜んでるんだろ？
>ヨーロッパで行われる「公開裁判」に「被告」として呼び出されたのに
また、妄想の病気が出ています
お薬飲みましょうねｗ
Fラン数学科修士卒さん
よほど、ゼミでいじめられた記憶があるのでしょうね
修士レベル（の落ちこぼれ）で終わって、本当の数学の議論までは経験できなかったのでは？
本当のプロの数学の議論までは、だめな素材を熱心に議論することはありません！
熱心に議論するのは、そこに数学的な真実が含まれているときのみです（「だめなものはだめ」の一言でおわりです）
Oberwolfachに呼ばれるのは、そういうことです。3月のOberwolfachでの会議の結果を見れば、明白でになるでしょう
74:１３２人目の素数さん
21/02/21 09:15:16.81 HYETa8wd.net
>>68
>いくらPCで計算したって証明にならない
>ってことが理解できないのかな？
また、妄想の病気が出ています
お薬飲みましょうねｗ
修士レベル（の落ちこぼれ）で終わって、本当の数学の研究までは経験できなかったのでは？
本当のプロの数学の研究でも、数値計算で見当をつけることは重要です
古くは、ガウスが楕円関数を発見した背後には、数値計算がありました
リーマン予想にあたって、リーマンはゼータのゼロ点の数値計算をしていますよ（下記）
（参考）
URLﾘﾝｸ(www2.tsuda.ac.jp)
数学史シンポジウム報告集
URLﾘﾝｸ(www2.tsuda.ac.jp)
第13回数学史シンポジウム(2002.10.19〜20) 所報 24 2003
URLﾘﾝｸ(www2.tsuda.ac.jp)
ガウスの算術幾何平均をめぐって 西和田公正 2002.10.20
URLﾘﾝｸ(club.informatix.co.jp)
空間情報クラブ｜株式会社インフォマティクス
リーマン予想｜リーマンゼータ関数 零点の謎
4月 25, 2017 2月 3, 2021
URLﾘﾝｸ(club.informatix.co.jp)
驚異のリーマン・ジーゲルの公式
1859年、リーマン予想の発表の7年後の1866年に40歳でリーマンはこの世を去りました。それから50年以上経て、“事件”が起こります。
ジーゲルの手によって、リーマンが行った埋もれていたゼータの計算が甦ることになります。ジーゲルは驚くべき洞察力でリーマンに迫っていきました。そして、ついにその解読に成功し、リーマン・ジーゲルの公式と呼ばれるようになる公式を発表しました。
これ自体、深い結果であり、リーマンゼータの零点計算に驚異的な威力を発揮する公式となります。この公式のおかげで、1935年にはTitchmarshとComirieによって1041番目までの零点がリーマン予想を満たしていることが証明されました。
この公式は現在でも非常に強力なものとしてリーマンゼータの零点探査に役立っています。
75:１３２人目の素数さん
21/02/21 09:24:39.24 mjvHpeEO.net
>>70
あなたの場合、薬では治らないみたいなんで
数学板を見ないのが一番ですね
76:１３２人目の素数さん
21/02/21 09:26:49.93 mjvHpeEO.net
>>70
>本当の数学の研究までは経験できなかったのでは？
εδと線型独立という「本当の数学
77:」の入口で入門できなかった人へ 御愁傷様(-||-)
78:１３２人目の素数さん
21/02/21 09:28:38.52 mjvHpeEO.net
>>70
>数値計算で見当をつけることは重要です
線型独立も分からん人が、いくら計算しても
なぜ連立方程式の解が存在しないのかの
見当なんかつきませんよ
御愁傷様(-||-)
79:１３２人目の素数さん
21/02/21 09:28:46.51 HYETa8wd.net
>>53
＞Mathematisches Forschungsinstitut Oberwolfach
ご参考
URLﾘﾝｸ(ja.wikipedia.org)
オーバーヴォルファッハ数学研究所（オーバーヴォルファッハすうがくけんきゅうじょ）は、南ドイツのオーバーヴォルファッハ（英語版）にある数学研究所。数学者のヴィルヘルム・ジュース（英語版）によって1944年9月に設立された。世界中から数学者や科学者が共同研究のためにやってきて、多様なトピックに毎週ワークショップが行われている。
目次
1 所長
2 オーバーヴォルファッハ賞
3 関連項目
オーバーヴォルファッハ賞
オーバーヴォルファッハ賞はヨーロッパの35歳以下の若手数学者の革新的な偉業に対しておよそ3年ごとに授与されている。
受賞者
1991 Peter Kronheimer
1993 Jörg Brüdern and Jens Franke
1996 Gero Friesecke and Stefan Sauter
1998 Alice Guionnet
2000 Luca Trevisan
2003 Paul Biran
2007 ゴ・バオ・チャウ
2010 Nicola Gigli and László Székelyhidi Jr.
80:１３２人目の素数さん
21/02/21 09:30:13.39 mjvHpeEO.net
>>70
＞ガウスが楕円関数を発見した背後には、数値計算がありました
三角関数もおぼつかない人に楕円関数なんて
🐎の耳に念仏、🐖に真珠
御愁傷様(-||-)
81:１３２人目の素数さん
21/02/21 09:31:46.21 mjvHpeEO.net
>>70
＞リーマンはゼータのゼロ点の数値計算をしていますよ
複素関数の初歩も知らん人がゼータなんて
🐎の耳に念仏、🐖に真珠
御愁傷様(-||-)
82:１３２人目の素数さん
21/02/21 09:31:55.37 HYETa8wd.net
>>73
>御愁傷様(-||-)
他人をディスっても
自分を正当化することはできない
という至極まっとうな定理が
理解できない
Fラン数学科修士卒の落ちこぼれ
あわれｗ
つーか、常識ないわな
あんたはｗｗ
83:１３２人目の素数さん
21/02/21 09:33:15.74 mjvHpeEO.net
>>74
オーバーヴォルファッハは、ドイツのバーデンヴュルテンベルク州のオルテナウ地区にある町です。
素人にはこれ以上の情報は無意味だから諦めて寝なさい
84:１３２人目の素数さん
21/02/21 09:37:04.56 mjvHpeEO.net
>>77
わけもわからずただ検索結果をコピペしても
ちっとも賢くならない
という至極まっとうな「常識」が受け入れられない
大学数学落ちこぼれの工学部卒
何にいらだってるのか知らないけど
あなたには数学は無理だから
きれいさっぱり諦めなって
御・愁・傷・様(-||-)
85:１３２人目の素数さん
21/02/21 09:38:39.62 mjvHpeEO.net
正直言って「正方行列の群」は致命的
こういう粗雑な人に繊細な現代数学は絶対無理
御・愁・傷・様(-||-)
86:１３２人目の素数さん
21/02/21 09:39:35.33 HYETa8wd.net
>>71
>あなたの場合、薬では治らないみたいなんで
>数学板を見ないのが一番ですね
それ、一番自分に当てはまっているよ
数学科修士の落ちこぼれは、常識がないね
あんた、前スレで1日100レスくらい
投稿していたじゃん
ヒマかい？
無職のヒキコモリさんだろうね
維新さんの時代は
数学科は一般の”就職”とは、縁遠かったんじゃね？
で、無職のヒキコモリさんか
生まれる時代が、もう少し遅ければ、金融とかAIで活躍できたかもね
87:１３２人目の素数さん
21/02/21 09:44:38.92 mjvHpeEO.net
>>81
＞常識がないよ
それ、∈もεδも線型独立も知らない、君だよキ・ミ
全部大学１年の
88:前期レベルの話なんだけどな なにやってたの？君
89:１３２人目の素数さん
21/02/21 09:46:36.80 mjvHpeEO.net
>>81
＞ヒマかい？
それ、平日の昼間から書き込みしてる、君だよキ・ミ
窓際族？典型的なブルシット・ワーカーだね
なにやってたの？君
90:１３２人目の素数さん
21/02/21 09:48:11.53 mjvHpeEO.net
>>81
＞数学科は一般の”就職”とは、縁遠かったんじゃね？
数学科じゃないので知りませーんｗ
工学部って数学できなくても就職できちゃうんだね？
マジで、仕事なにやってたの？
91:１３２人目の素数さん
21/02/21 09:50:49.41 mjvHpeEO.net
>>81
＞生まれる時代が、もう少し遅ければ、金融とかAIで活躍できたかもね
そんなの大した数学できなくてもOKじゃね？
なんだ君、スキルないからスキルが欲しかったんだ
じゃ、確率論でも機械学習でも勉強すればよかったのに
ガロア理論なんて意味ないよ
しかも理解できなかったんでしょ？
無駄に時間を浪費したね
１年ダメだったら諦めなよ マジで
92:１３２人目の素数さん
21/02/21 09:54:13.23 mjvHpeEO.net
何かを勉強しても頭に入らない場合
１．方法が間違ってるので方法を変える
２．どうやっても駄目ならそもそも自分のやりたいことか見直す
３．どうも違うようだと感じたら潔く諦める
まったく方法も見直さず、自分のやりたいことかどうかも見直さない
そういうヒトは頭が悪いというかおかしいと言わざるを得ないですね
御・愁・傷・様(-||-)
93:１３２人目の素数さん
21/02/21 09:58:31.87 mjvHpeEO.net
∞圏の人はプログラマーだったのかな？
自分のやってることになんか意義を見つけたかったんだろうな
でもたいていのシステムは∞圏とかいう以前の
クソつまんないことばっかだからなｗ
三角関数どころか二次方程式すら解かない
対数が出てきたらスゲェと驚くレベル
ま、「プログラマー」にならなくてよかったよ
（SEも広義の「プログラマー」なんで一緒ｗ）
94:１３２人目の素数さん
21/02/21 10:00:44.71 HYETa8wd.net
>>69
>Oberwolfachに呼ばれるのは、そういうことです。3月のOberwolfachでの会議の結果を見れば、明白でになるでしょう
補足
思うに、実際は、Zoomとかウェブ会議でやるのではと思いますが
まだ、新型コロナウィルス騒動が治まっていないので
95:１３２人目の素数さん
21/02/21 10:02:43.62 mjvHpeEO.net
高尚なプログラムは、全部趣味で作ったものばかり
EXCELのシートも、仕事で使った奴より
特殊相対論の計算したヤツのほうがはるかに面白い
はっきりいってサラリーマンの仕事は大学出てなくても務まる
だから線型代数が全然分かってない人でも全然OK
ま、でも分かってたほうが仕事できるとは思うけどね さすがに
96:１３２人目の素数さん
21/02/21 10:04:52.52 HYETa8wd.net
>>87
>ま、「プログラマー」にならなくてよかったよ
>（SEも広義の「プログラマー」なんで一緒ｗ）
数学科修士卒だが、無職のヒキコモリになるのがいいかｗ
「プログラマー」でも、SEでも、ちゃんと職を持って働くのが良いか？
答えは明白
常識があれば、すぐ分かる話だが、分からないという維新さん、あわれｗｗ
97:１３２人目の素数さん
21/02/21 10:07:00.31 mjvHpeEO.net
>>88
自分が理解できない数学の心配する暇があったら
自分の心配したほうがいいよ マジで
線型代数が分かってないと統計はできないね
回帰分析はともかく、多変量解析とか因子分析とかで
おかしな状況になったことすら理解できない筈
別に自分で逆行列だの対角化だのしなくてもいいけど
理屈が分かってないとアウト
そういうヒトがお偉いさんだと説明しても理解しねぇから困るんだよね
さすがにうちの職場にはそこまで酷い馬鹿はいないけどｗ
98:１３２人目の素数さん
21/02/21 10:09:19.91 mjvHpeEO.net
>>90
職にはついてるよｗ
＞「プログラマー」でも、SEでも、ちゃんと職を持って働くのが良いか？
いやー、プログラマーとかSEとかなんて、ほんとツマンナイよ
ま、でもあなたにはムリだから大丈夫ね
だってプログラム書けないでしょ
99:１３２人目の素数さん
21/02/21 10:14:28.41 mjvHpeEO.net
別のスレッドで、A井N
100:子氏をやり玉に挙げてたけど （ま、あの人なんかK池Y合子に似てるからボクもニガテだけど） 文章が読めない奴には、中高レベルの数学も無理ってのは本当だよ 文章が読めないってのは根っこのところだから付け刃では全然ダメ しかも５ｃｈあたりで「ま、オレには関係ないけどな」とかいってる奴 に限って全然文章読めてないｗ ま、国語教育の根本的欠陥だね
101:１３２人目の素数さん
21/02/21 10:24:03.41 mjvHpeEO.net
一方でIUTガー、グロタンディクガー、ガロアガーっていうヒトが
他方で金融が、AIガーって思いっきり金まみれの生臭いこというのがオカシイ
多分本質は後者の生臭いほうで、前者はただのエエカッコしいなんでしょうなあ
でも実際はどっちも駄目 ま、国語ができないんじゃ何読んでも理解できないしね
102:１３２人目の素数さん
21/02/21 10:28:49.47 mjvHpeEO.net
ま、Set A氏は数学に興味持たないほうがいい
だって∈の初歩すら誤解してるって、ありえないよ
いやほんとマジで酷いって
旧帝大どころか地方国立大でもあり得ない
もうFランク大学卒か高卒レベル
恥ずかしいどころじゃないね 即、焼身自殺だよ
103:１３２人目の素数さん
21/02/21 11:20:58.25 HYETa8wd.net
>>92
>職にはついてるよｗ
ああ、哀れな素人氏1）が以前言っていたが
小学生の塾で算数を教えているんだって？
それ良いと思うよ
天才秀才は、「こんなこともわからんのか」と思いがち
だが、維新さんみたく、落ちこぼれの方が
落ちこぼれの生徒の気持ちが分かって
いいかもしれないね
頑張れよ
注1）
ｽﾚﾘﾝｸ(math板:1番)
ケーキの問題とサル石
1哀れな素人2021/01/06(水) 21:43:27.18ID:X1VYkdlB
104:１３２人目の素数さん
21/02/21 11:31:37.12 HYETa8wd.net
>>96
補足
・算数教えるには良いだろうが
・人生訓としては、反面教師で
・非常識人間かも
おれが親なら、その塾辞めさせるだろうね
維新さんが、極左アナーキストだと分かったらね
105:１３２人目の素数さん
21/02/21 11:57:36.57 eczVjtfs.net
童貞・サヨク・アイドルオタの暇人が日々暴れてるスレと聞いてやってきました
106:１３２人目の素数さん
21/02/21 13:10:20.19 HYETa8wd.net
>>96
>ああ、哀れな素人氏1）が以前言っていたが
>小学生の塾で算数を教えているんだって？
＜補足＞
この話は、何年か前だから
いまどうだか不明
というか、維新さんの極左アナーキストとしての性格を考えると
長続きするかどうか
それは結構疑問かもね
107:１３２人目の素数さん
21/02/21 13:11:24.07 HYETa8wd.net
>>98
いらっしゃい
またーりしていってください
108:１３２人目の素数さん
21/02/21 15:13:37.68 HYETa8wd.net
>>59
>ヨーロッパで行われる「公開裁判」に「被告」として呼び出されたのに
>>60
>だれもあれが正しいとは思ってない
>今度のOberwolfachは墓への埋葬の儀式だね
>>61
>望月は下手にPRIMS掲載なんて小細工しなきゃよかったのに
>あれで面目失墜したね 馬鹿なことをしたもんだよ
やれやれ
よくも、まあ、それだけペラペラと、口から出まかせを
ほんとサイコパスだね（>>4）
話は全く逆
１．ヨーロッパで行われる講演にご招待され
２．Oberwolfach側は、IUTが正しいと認識しているからのご招待でしょ
３．PRIMS掲載は当然のことだよ。査読は別だよ。そして、査読でもOKが出た
109:１３２人目の素数さん
21/02/21 15:37:35.80 mjvHpeEO.net
>>96
>小学生の塾で算数を教えているんだって？
誰の話？
110:１３２人目の素数さん
21/02/21 15:39:00.69 mjvHpeEO.net
>>97
ああ、君は、微積分や線型代数を算数のように教えてほしかったんだね
具体的に何がどう理解できなかったんだい？
111:１３２人目の素数さん
21/02/21 15:41:03.59 mjvHpeEO.net
>>99
＞極左アナーキスト
コミュニストってアナーキスト嫌いだよね
112: 権力掌握の障害だから ファシストと大して変わんない極右だよね
113:１３２人目の素数さん
21/02/21 15:53:26.69 mjvHpeEO.net
>>101
＞IUTが正しいと認識しているからのご招待
理解もできないものを正しいと認識することはないよ 絶対に
理解できないから招待した もちろん誤りが露見する可能性もある
つくづくおめでたいねえ 愛国極右ファシスト君
114:１３２人目の素数さん
21/02/21 15:55:17.36 mjvHpeEO.net
>>98
絶倫・ウヨク・ソープマニアが何か用？
115:１３２人目の素数さん
21/02/21 15:57:16.64 mjvHpeEO.net
ま、金融ガー、ってまっさきにいっちゃう人は
金の亡者だから、反資本主義とか脱成長とか
目の敵にするよね
でも、そんなあんたも、いつか負けて素寒貧になるから
それが資本主義の怖さなんだよ ギャンブルと同じ
116:１３２人目の素数さん
21/02/21 16:13:23.92 mjvHpeEO.net
URLﾘﾝｸ(dic.nicovideo.jp)
＞サヨクとは、正面からマルクス主義的な社会革命を標榜することはなく、
ふーん、じゃ、ボクはサヨクじゃないな
マルクスがいう意味での社会革命は必要だと思ってるから
ただそれは暴力によるものではないけど
＞「平和・国際協調・人権・民主主義・環境保護」
＞といった口当たりのよいスローガンを掲げて活動する思想・立場のことを言う。
ウヨクたちは
戦争・世界征服・ヒエラルキー・独裁主義・環境破壊
といった野蛮な行為が大好きなのかい？
神になろうとすると破滅するよ マジで
117:１３２人目の素数さん
21/02/21 16:17:55.46 mjvHpeEO.net
ま、とにかく、Set Aは
大学一年の微積分と線型代数から
やりなおしな
数学が好きだといいはるんならね
いやなら数学嫌いってことだから
数学板から去ったほうがいいね
気が狂うよ
118:１３２人目の素数さん
21/02/21 16:22:53.96 mjvHpeEO.net
もし、サヨクが
「暴力革命で資本主義体制を打倒し
そのかわりに元の資本主義体制よりも酷い
独裁体制を築く一党独裁主義者」
をさすなら、ボクもサヨクは大嫌いだけどねｗ
119:１３２人目の素数さん
21/02/21 17:43:39.67 mjvHpeEO.net
工学部卒でもできる、逆行列算出法
１．
行列の各項を抜き出して
a11 x_1 +…+ a1n x_n = y_1
…
an1 x_1 +…+ ann x_n = y_n
とおく
２．左辺について消去法を適用する
たったこれだけｗ
消去法が成功した場合
x_1 = b11 y_1 +…+ b1n y_n
…
x_n = bn1 y_1 +…+ bnn y_n
となるが、右辺の係数を抜き出した行列が逆行列
120:１３２人目の素数さん
21/02/21 19:27:06.03 HYETa8wd.net
>>111
・いま、A君とB君が論争しているとしよう
・A君は理論Xが分からないのです。それをゴマカスために、「B君は、理論Yを理解していない！」と主張する
・しかし、だれがどう考えても、例え、それが数学でなくディベートであったとしても、「自分の理論Xの無理解」のゴマカシのため、「他人の理論Yの無理解」を言い募っても、全く筋違いの主張ですね
・さて、A君をどう考えるべきか？ 単なるアホでしょ！
・数学以前に、ロジック（論理）が分かってないし、「自分の論理破綻」に気づかないどアホでしょうね
そりゃ、
121:数学で落ちこぼれになるはずだわ、A君
122:１３２人目の素数さん
21/02/21 21:47:04.18 HYETa8wd.net
>>51
(補足)
SS文書からStixが抜けたとしたら？
SS文書の信頼性は、半減ですよね
いや、信頼性ゼロでしょうね
いま、そうなりつつある
123:１３２人目の素数さん
21/02/22 01:48:39.48 wsx1jonA.net
そう言えば猿石は数学畑じゃなくて情報学畑の出か
流石に使用頻度の低いextremelyはエクストレムリーと仮名当てせずにエクストリームリーと書いていた様だが
発音としてもイクストルィリィだから自然と言えば自然だが｡
124:１３２人目の素数さん
21/02/22 08:04:11.15 MJyyMEOC.net
>>112
＞「自分の理論Xの無理解」のゴマカシのため、
＞「他人の理論Yの無理解」を言い募っても、
＞全く筋違いの主張ですね
ええ、自分の∈の誤解を隠蔽するために
「おまえだってIUTわかってないじゃん」
というのは筋違いっていうか 馬鹿ですね
125:１３２人目の素数さん
21/02/22 08:07:43.13 MJyyMEOC.net
>>114
＞extremelyは
＞エクストレムリーと仮名当てせずに
＞エクストリームリーと書いていた様だが
発音記号・読み方
/ekstríːmli(米国英語), ɪˈkstri:mli:(英国英語)/
アメリカとイギリスでアクセントに違いはあるようですが
発音自体はi:「イー」ですねぇ
・・・シャレじゃありませんよ
126:１３２人目の素数さん
21/02/22 08:08:48.21 MJyyMEOC.net
>>116
>発音としてもイクストルィリィだから
西野太郎氏？
127:１３２人目の素数さん
21/02/22 08:11:18.30 MJyyMEOC.net
＞ロジック（論理）が分かってない
・・・とおっしゃるSet Aさんに質問
「a,bが集合なら、a∈b⇔a⊂b」
ってどういうロジックから導かれるんですか？
128:１３２人目の素数さん
21/02/22 08:13:27.73 MJyyMEOC.net
「a,bが集合なら、a∈b⇔a⊂b」
Set A氏がドヤ顔でそういいきった瞬間
私はすわっていた椅子からズッコケましたｗ
いままで、いろんなトンデモ発言を目にしてきましたが
これほどスゴイものは目にしてきませんでした
こんな人でも国立大学に入れちゃうって
スゴクないですか？ ニッポン
129:１３２人目の素数さん
21/02/22 08:18:18.62 MJyyMEOC.net
まあ、∈と⊂が同じと思っちゃう人なら
「∈の無限降下列があってもOK」
っていっちゃうだろうなとは思いました
ちなみにZから⊂を使った無限降下列は簡単にできます
Z⊃２Z⊃４Z⊃…
だからって∈でも同じようにできるわけじゃないですけどね
130:１３２人目の素数さん
21/02/22 08:20:23.54 MJyyMEOC.net
>>113
>信頼性ゼロでしょうね
「a,bが集合なら、a∈b⇔a⊂b」発言の後
Set A氏の発言の信頼度は確実に０になりましたね
131:１３２人目の素数さん
21/02/22 08:26:03.62 MJyyMEOC.net
「a,bが集合なら、a∈b⇔a⊂b」
とかいっちゃう人じゃ
「選択公理で全ての集合は整列可能で
整列集合には超限帰納法が使えるから
選択公理は超限帰納法と同値」（ドヤぁ）
っていっちゃうんでしょうね
ま、数学者でも上記のようなトンデモな誤りを平気で口にしちゃってるって
とある集合論研究者が指摘してましたけどね
URLﾘﾝｸ(fuchino.ddo.jp)
（ｐ６を参照）
132:１３２人目の素数さん
21/02/22 08:37:28.43 MJyyMEOC.net
ちなみに
URLﾘﾝｸ(fuchino.ddo.jp)
では、松坂和夫の選択公理から整列定理を導く証明はゴチャゴチャしててわかりにくい
集合論の専門家でもなんでもない人は、ただツェルメロの証明をそのまま写して
それで事足れりとして涼しい顔してるんなら、そんな教科書は有害無益だ
とまでいってますね ま、「有害」はともかくとして少なくとも「無益」でしょうね
（既存の定理の簡潔な証明が、数学の成果として認められないのはもったいない）
133:１３２人目の素数さん
21/02/22 12:47:37.33 2h8YFOrF.net
>>123
インスタン�
134:gンのyoutube 今日はアップしないのか？
135:１３２人目の素数さん
21/02/22 15:34:13.50 /YQb9Wp7.net
>>123
猿石は、話題そらしに必死だな
136:１３２人目の素数さん
21/02/22 15:46:50.66 MJyyMEOC.net
Set A君は間違いからの視線そらしに必死ですけど
数学嫌いなら数学板読まなきゃいいのに
137:１３２人目の素数さん
21/02/22 15:48:11.41 MJyyMEOC.net
面白いこと発見した
数学板のトップから書き込みすると規制にひっかかるけど
最新５０に移動して書き込みするとできちゃう
138:１３２人目の素数さん
21/02/22 21:18:14.34 mv3QHkFS.net
>>52
南出 新 （みなみで あらた）先生、DRコース入学で結構苦労されたみたい
星 裕一郎先生と比べるとよく分かりますね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月研究室の大学院生
南出新（みなみで あらた）
2011年03月 京都大学 数学科 卒業
2013年03月 京都大学大学院 修士課程 数学・数理解析専攻 修了
2013年04月～09月 京都大学数理解析研究所 研究生
2013年10月 大阪大学 数学専攻 博士課程 入学
2014年03月 大阪大学 数学専攻 博士課程 中退
2014年04月 京都大学大学院 博士課程 数学・数理解析専攻 入学
2017年03月 京都大学大学院 博士課程 数学・数理解析専攻 修了
学位論文：
Indecomposability of Various Profinite Groups Arising from Hyperbolic Curves PDF URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2017年04月～2019年03月 京都大学数理解析研究所 研究員
2019年04月～ イギリス・ノッティンガム大学・オックスフォード大学 Invited Research Visitor
星裕一郎
2004年03月 東京工業大学 数学科 卒業
2006年03月 京都大学大学院 修士課程 数学・数理解析専攻 修了
修士論文：
Fundamental groups of log configuration spaces and the cuspidalization problem
PDF URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2006年04月 京都大学大学院 博士課程 数学・数理解析専攻 進学
2007年04月 京都大学 数理解析研究所 基礎数理研究部門 助教
2009年07月 京都大学 数理解析研究所 博士学位 (論文博士) 取得
学位論文：
Absolute anabelian cuspidalizations of configuration spaces of proper hyperbolic
curves over finite fields PDF URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2011年12月 京都大学 数理解析研究所 無限解析研究部門 講師
2011年12月 2011年度井上研究奨励賞受賞
2017年12月 京都大学 数理解析研究所 無限解析研究部門 准教授
139:１３２人目の素数さん
21/02/22 21:25:27.91 mv3QHkFS.net
>>128
数学科修士で
落ちこぼれた人、いましたねｗ
南出先生は、1年でリカバーして
いまや、明示公式の論文で大ホームランをかっ飛ばす人
凄いですね
落ちこぼれ維新さんとは大違いですｗｗ
140:１３２人目の素数さん
21/02/22 23:57:59.28 MJyyMEOC.net
>>129
ん、証明読めないパクチー？
南出論文はCor3.12を前提したもの
Cor3.12の証明はしてない
残念でした パクチーSet A
141:１３２人目の素数さん
21/02/23 10:10:41.06 RLePkY5e.net
>>130
>南出論文はCor3.12を前提したもの
>Cor3.12の証明はしてない
「維新さん」こと、おサル（又はサル石、>>4ご参照）
数学科修士の落ちこぼれが、何をとち狂っているの？
南出論文は、下記の通りIUTを全面的に書き直している
Cor3.12も、 “µ6-version” にバージョンアップしています
その過程で、IUTのI～IV全部を見直しています
南出論文を読むと、望月IUTが何をやろうとしているのかが、良く分かります。おすすめです
なお、参考(>>5より) http://www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文 (抜粋) 1．<“µ6-version”の発端> P7 One fundamental observation - due to Porowski - that underlies the theory of the present paper is the following: n satisfies the conditions (1), (2) if and only if n = 6 2．<“µ6-version”の詳細> P1 Contents 3. µ6-Theory for [EtTh] 22 4. µ6-Theory for [IUTchI-III] 25 5. µ6-Theory for [IUTchIV] 32 P32 Theorem 5.1. (Log-volume estimates for the “µ6-version” of Θpilot objects) in the situation of the “µ6-version” of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6] 3．<なお、楕円曲線 y2 = x(x - 1)(x - λ)が、多用されています > P5、P7 (Definition 1.7.) 、P34 (Corollary 5.2. (Construction of suitable µ6-initial Θ-data)) など （まとめ） 1．南出論文はCor3.12を前提したものではありません。 2．Abstractより” In the present paper, we obtain various numerically effective versions of Mochizuki’s results. In order to obtain these results, we first establish a version of the theory of ´etale theta functions that functions properly at arbitrary bad places, i.e., even bad places that divide the prime “2”. ” とあります 3．[EtTh]からIUTを全部見直しています 4．南出論文には、IUTのエッセンスが凝集されていると見ました。わずか50ページの南出論文を読んでから、それと対比しながら必要に応じてIUTを読めば良いと思います。 （私は、チラ見しただけで、これが当たっているかどうかは、分かりません。でも、50ページくらいだから南出を読んで損はないでしょう。なお、私はIUTは読めませんのでｗ、判断は各自にお任せします）
143:proper class Z
21/02/23 11:10:59.21 QjVv+PIN.net
>>131
＞南出論文は、下記の通りIUTを全面的に書き直している
＞Cor3.12も、 “µ6-version” にバージョンアップしています
誤 Cor3.12も、
正 Cor3.12成立による、数値評価の箇所も、
論文読まずに嘘書くのは犯罪
＞1．南出論文はCor3.12を前提したものではありません。
南出論文はCor3.12を前提している
＞2. Abstractより
”In the present paper, we obtain various numerically effective versions of Mochizuki’s results.
In order to obtain these results, we first establish a version of the theory of
´etale theta functions that functions properly at arbitrary bad places, i.e.,
even bad places that divide the prime “2”. ”
とあります
そこはCor3.12を前提した上での話
悪いが、君は全然論文読めてない
＞3．[EtTh]からIUTを全部見直しています
肝心のCor3.12は全く見直してない
＞4．南出論文には、IUTのエッセンスが凝集されていると見ました。
正則行列も理解できない落ちこぼれには何も見えんよ
＞私は、チラ見しただけで、これが当たっているかどうかは、分かりません。
線型代数の基礎も理解できない君にはチラ見すらできんよ
もちろん完全に外してる 数学は完全に諦めろ
論理的な思考ができない君には数学は不可能
＞私はIUTは読めませんので
線型代数の教科書も読めないのだから当然
悔しかったら正則行列の条件くらい理解したまえ
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
144:１３２人目の素数さん
21/02/23 11:38:48.44 RLePkY5e.net
>>131
> 3．[EtTh]からIUTを全部見直しています
下記ですね
”[EtTh] S. Mochizuki, The Etale Theta Function and its Frobenioid-theoretic Manifestations, Publ. Res. Inst. Math. Sci. 45 (2009), pp. 227-349.”です
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 遠アーベル幾何、圏の幾何
[19] The Etale Theta Function and its Frobenioid-theoretic Manifestations. PDF NEW
145:!! (2008-12-12) Comments NEW !! (2016-07-12) Related expositions NEW!! (2015-04-26) Responses to Questions on Frobenioids (cf., especially, Questions 3, 8, 23, 24) NEW!! (2015-12-06) http://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Etale%20Theta%20Function%20and%20its%20Frobenioid-theoretic%20Manifestations.pdf THE ETALE THETA FUNCTION AND ITS FROBENIOID-THEORETIC MANIFESTATIONS Shinichi Mochizuki December 2008 Abstract. We develop the theory of the tempered anabelian and Frobenioid-theoretic aspects of the “´etale theta function”, i.e., the Kummer class of the classical formal algebraic theta function associated to a Tate curve over a nonarchimedean mixedcharacteristic local field. In particular, we consider a certain natural “environment” for the study of the ´etale theta function, which we refer to as a “mono-theta environment” - essentially a Kummer-theoretic version of the classical theta trivialization - and show that this mono-theta environment satisfies certain remarkable rigidity properties involving cyclotomes, discreteness, and constant multiples, all in a fashion that is compatible with the topology of the tempered fundamental group and the extension structure of the associated tempered Frobenioid. Contents: §1. The Tempered Anabelian Rigidity of the Etale Theta Function ´ §2. The Theory of Theta Environments §3. Tempered Frobenioids §4. General Bi-Kummer Theory §5. The Etale Theta Function via Tempered Frobenioid
146:１３２人目の素数さん
21/02/23 11:45:19.67 RLePkY5e.net
>>133
望月 2008～2009年はこんな感じです（下記）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 感想・着想
2009年02月11日
・IUTeichの論文を昨年の7月から執筆しているが、最近の進捗状況について
報告する。まず、2008-03-25の報告（過去と現在の研究を参照）では、
この理論を二篇の論文に分けて書く予定であると書いたが、この半年
余りの間、（論文一篇の長さが100ページを大幅に超過しないように）
理論を三篇の論文に分割して書くことに方針を変更した。現時点で
考えている題名は次の通りである：
IUTeich I: Construction of Hodge Theaters
IUTeich II: Hodge-Arakelov-theoretic Evaluation
IUTeich III: Canonical Splittings
このうち、IUTeich I は（イントロを除いて）一通り書き終わっていて、
IUTeich IIを書き始めているところである。これまでのペースで作業が
進めば、（2008-03-25の報告で予定した通り）2010年末までに一通り
書き終わる見通しであるが、もちろんこれについては現時点では何も
保障できない。
IUTeich I では、
(a) Frobenioid I, IIの理論
の他、
(b) Etale Thetaの理論
や
(c) Absolute Topics IIIの理論
の、非自明ながら比較的表面的な部分を、本質的な形で利用したが、
IUTeich II では、(b)の最も深い部分を使う予定である。一方、
IUTeich III では、(c)の最も深い部分を適用する予定である。
147:１３２人目の素数さん
21/02/23 11:48:39.48 RLePkY5e.net
>>134
追加
「星裕一郎氏との共同研究」凄いですね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 感想・着想
2008年06月11日
・組合せ論的カスプ化（前回04月09日の報告を参照）の論文が完成した
（論文を参照）。この論文では、properな双曲的曲線の場合、配置空間
の次元が2から1に下がるときの単射性は証明されていないが、論文が
完成した後で、星裕一郎氏との共同研究でこの単射性を証明することが
できそうになった。この共同研究が完成すると、松本氏の定理のproper
な場合への拡張ができたことになる。この展開で特に面白いと思うのは、
スキーム論の枠組に留まる限りとてもできそうな感じがしなかったproper
な場合が、スキーム論に「パターンのヒント」を得ながらスキーム論の
枠組の外にある組合せ論的な理論を適用することによってすんなり解決
できたこと。即ちこの展開は、正に「IU幾何の精神」の有効性のよい例に
なったと思う。
組合せ論的カスプ化の論文では、GT（＝Grothendieck-Teichmuller群）
に含まれる「対称性」が、（次元が下がったときの配置空間の幾何的
基本群の外部自己同型群の）全射性の証明では重要な役割を果たす。
最近、興味深いことに、このGT的対称性を使うことによって、p進局所体
上の絶対遠アーベル幾何において、初となる副pのGC（＝Grothendieck
予想）型の定理を証明できることに気付いた。簡単な議論だが、そろそろ
IUTeichの論文の執筆を再開したいと思うので、いつ書くことになるか
分からない。
148:１３２人目の素数さん
21/02/23 11:51:10.29 RLePkY5e.net
>>135
追加の追加
”松本眞氏の有名な「単射性定理」”の松本眞先生は、いま広島大ですね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 感想・着想
2008年04月09日
・「combGC」（＝「Grothendieck予想の組合せ論版」--- 2007年の論文を
参照）を適用することによって、松本眞氏の有名な「単射性定理」（＝
1996年のCrelleの論文のTheorem 2.2）の「組合せ論版」ができそう。
これは２つの意味において興味深い展開だと思う。まず、第一に、
「Grothendieck予想型」の定理の＊応用＊になっているところが面白い。
第二に、証明では、「combGC」は一種の＊「canonicalな分裂」＊を
構成するのに使うのだが、IUTeichにおいても、遠アーベル幾何は正に一
種の「canonicalな分裂」を構成するのに使うことを連想させるところ
がある。（最近の「過去と現在の研究の報告」を参照。）特に、この
「canonicalな分裂」が、松本さんの議論における「スキーム論から
生じる」という性質の「代役」を果たしているところが、IUTeichとの
類似性を更に感じさせるものである。因みに、この「GCのようなもの
がもたらす分裂＝半単純性」という現象の原型は、「center-freeな
群Gと任意の群Hに対して、HのGによる拡大と、HによるGへの外作用は
同値である」という事実だと思う。
149:１３２人目の素数さん
21/02/23 11:56:04.59 RLePkY5e.net
>>136
ご参考
URLﾘﾝｸ(www.math.sci.hiroshima-u.ac.jp)
まつもと まことのホームページ
URLﾘﾝｸ(ja.wikipedia.org)
松本 眞（まつもと まこと[1]、1965年2月18日[2] - ）は、日本の数学者。広島大学大学院理学研究科教授。専門は疑似乱数、数論幾何、組合せ数学、位相幾何学。優れた疑似乱数生成法であるメルセンヌ・ツイスタを考案したことで知られる。
1990年京都大学数理解析研究所助手。1995年 京都大学博士（理学）。論文の題は「Galois representations on profinite braid groups on curves (曲線上のプロファイナイト組紐群へのガロア表現)」[4]。
150:１３２人目の素数さん
21/02/23 12:30:56.8
151:6 ID:QjVv+PIN.net
152:１３２人目の素数さん
21/02/23 12:31:41.10 QjVv+PIN.net
>>134
結局Cor3.12が全然分かってないね
153:１３２人目の素数さん
21/02/23 12:33:16.32 QjVv+PIN.net
>>135
自分が全く理解できないことコピペして空しくないのかな？
線型代数で落ちこぼれた「肉体労働者」君は
154:１３２人目の素数さん
21/02/23 12:34:42.22 QjVv+PIN.net
>>136
スキームどころか多様体も分かってない人が
いったいなにを粋がって吠えてるんだろう
155:１３２人目の素数さん
21/02/23 12:35:13.22 QjVv+PIN.net
>>137
チンドン屋ってみっともないね
156:１３２人目の素数さん
21/02/23 12:40:26.09 QjVv+PIN.net
ああ、くだらん
157:１３２人目の素数さん
21/02/23 12:40:41.46 QjVv+PIN.net
ほんと、くだらん
158:１３２人目の素数さん
21/02/23 12:40:52.56 QjVv+PIN.net
マジで、くだらん
159:１３２人目の素数さん
21/02/23 12:41:13.84 QjVv+PIN.net
愛国馬鹿が国を亡ぼす
160:１３２人目の素数さん
21/02/23 12:41:58.77 QjVv+PIN.net
無能な奴が、国にすがって愛国馬鹿になる それで国が破滅する
161:１３２人目の素数さん
21/02/23 12:43:44.16 RLePkY5e.net
>>131
>（私は、チラ見しただけで、これが当たっているかどうかは、分かりません。でも、50ページくらいだから南出を読んで損はないでしょう。なお、私はIUTは読めませんのでｗ、判断は各自にお任せします）
私のチラ見の見解としては
１．まず、先に南出論文を読む
２．次に、IUT IVですね
３．その後、お好みにより、IUT I～IIIを読む
あるいは、準備論文なりを読む
４．なお、望月 出張講演 URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
の「宇宙際タイヒミューラー理論への誘（いざな）い」なども平行して読む
こんな感じが、いいと思います
日本人は、「宇宙際タイヒミューラー理論への誘（いざな）い」などを読めるのが、アドバンテージですね
あと、本気で読もうという、数学科の人は、いろいろ人に聞くのがいいと思います
（そういう意味では、複数人で読むのがいいかも）
162:１３２人目の素数さん
21/02/23 13:03:45.50 MKXbm+iY.net
>>74
いまいちパッとしない人が多くね？
163:１３２人目の素数さん
21/02/23 13:39:55.72 RLePkY5e.net
>>149
オーバーヴォルファッハ賞 受賞者のこと？
私には、「2007 ゴ・バオ・チャウ」しか分からない
彼は、下記 「2010年 - フィールズ賞」なので、その前2007年受賞は意味ありですね
あとは、なんとも言えない
但し、オーバーヴォルファッハ賞の意味付けですよね
まあ、賞をもらった人は、アカデミックポストをゲットするには役立つでしょうね
URLﾘﾝｸ(ja.wikipedia.org)
ゴ・バオ・チャウ
受賞歴
2004年 - クレイ研究賞（ジェラール・ロウモンと共同受賞）
2010年 - フィールズ賞
164:１３２人目の素数さん
21/02/23 13:41:44.62 RLePkY5e.net
>>149
＞>>74
＞いまいちパッとしない人が多くね？
オーバーヴォルファッハ賞
受賞者のこと？
私は、「2007 ゴ・バオ・チャウ」しか分からない
彼は、下記 「2010年 - フィールズ賞」なので、その前2007年受賞は意味ありですね
あとは、なんとも
但し、オーバーヴォルファッハ賞の意味付けですよね
まあ、賞をもらった人は、アカデミックポストをゲットするには役立つでしょうね
URLﾘﾝｸ(ja.wikipedia.org)
ゴ・バオ・チャウ
受賞歴
2004年 - クレイ研究賞（ジェラール・ロウモンと共同受賞）
2010年 - フィールズ賞
165:１３２人目の素数さん
21/02/23 13:43:51.88 RLePkY5e.net
連投スマン
なんか、書き込みエラーで、再書き込みしたら、ダブった（＾＾；
166:１３２人目の素数さん
21/02/23 13:51:56.03 ym/Sy0Jv.net
>>147
阪大を中核に国立大学卒の知性崩壊を体現するスレに住み着くなよ。
バカが伝染するで。
167:１３２人目の素数さん
21/02/23 14:51:57.44 QjVv+PIN.net
>>148
＞私のチラ見の見解としては
∈の意味も間違う馬鹿の見解には意味がない
168:１３２人目の素数さん
21/02/23 14:53:32.12 QjVv+PIN.net
>南出論文
Cor3.12を前提した論文なので
Cor3.12の正しさは理解できない
169:１３２人目の素数さん
21/02/23 14:54:40.42 QjVv+PIN.net
>IUT IV
Cor3.12が出てきた後の論文を読んでも
Cor3.12のの正しさは理解できない
170:１３２人目の素数さん
21/02/23 14:57:02.76 QjVv+PIN.net
>IUT I～III
Th3.11まで理解しても、
Cor3.12に全然つながらないので
読んでもCor3.12の正しさが保証されない
こんな論文通す査読は正真正銘の詐欺
171:１３２人目の素数さん
21/02/23 14:58:08.25 QjVv+PIN.net
>「宇宙際タイヒミューラー理論への誘（いざな）い」
アイデアの源が理解できても
肝心の正当化ができてないので
読んでも無駄
172:１３２人目の素数さん
21/02/23 14:59:49.05 QjVv+PIN.net
>日本人は、…などを読めるのが、アドバンテージですね
無意味な念仏を読めることのどこがアドバンテージなんだか
自国のことはなんでもかんでも優れてる、といいたがる愛国馬鹿には困ったもの
173:１３２人目の素数さん
21/02/23 15
174::03:22.02 ID:QjVv+PIN.net
175:１３２人目の素数さん
21/02/23 15:04:51.96 QjVv+PIN.net
その愛国馬鹿は
「皇室のY染色体は”縄文系”だ」
と吠えまくっている
（正確にはD1a2aというハプロタイプだと主張している）
176:１３２人目の素数さん
21/02/23 15:06:24.25 QjVv+PIN.net
そしてその根拠として
「第113代 東山天皇の男系子孫 複数名から採取された口腔内粘膜の解析」
を持ち出すが、どこの誰のものか氏名も出さす、そもそもデータすら示さない
177:１３２人目の素数さん
21/02/23 15:07:50.25 QjVv+PIN.net
このウソの付き方が
「ABC予想はIUTで証明された」
という愛国馬鹿にそっくり
肝心の箇所の根拠が全然ない
178:１３２人目の素数さん
21/02/23 15:09:11.32 QjVv+PIN.net
そもそも、なぜ天皇のY染色体が縄文系だといいたいのか分からんが
どうやら、韓国系（O1b2）でも、中国系（O2）でもないといいたいらしい
179:１３２人目の素数さん
21/02/23 15:11:32.07 QjVv+PIN.net
愛国馬鹿は、天皇が縄文系とほざく一方で、
アイヌが縄文系であることは徹底的に否定しようとする
アイヌはオホーツク人であって、しかしながら
今のアイヌにD1a2aが多いのは
日本人の男系子孫だからだというのである
180:１３２人目の素数さん
21/02/23 15:14:47.17 QjVv+PIN.net
しかし、その言い草は全くおかしい
もしアイヌの男系が日本人に置き換わったなら
O1b2やO2が全くないわけがないからである
小集団による創始者効果はありえるが
その場合、日本人で非常に近いタイプが見つかる筈
しかしながら、そのようなものは見つかってない
181:１３２人目の素数さん
21/02/23 15:16:27.50 QjVv+PIN.net
愛国馬鹿は結論が決まっていてそれを正当化するために
物事を捻じ曲げるので物言いが気持ち悪いほど不自然である
真実でなく願望に生きる人は精神的に異常と言わざるを得ない
182:１３２人目の素数さん
21/02/23 15:17:57.62 QjVv+PIN.net
人類はそもそもアフリカ発祥であって
数万年前に他の地域に出て行って繁殖したに過ぎない
その程度の「短い時間」では種として分化するには全く不十分である
183:１３２人目の素数さん
21/02/23 15:19:17.10 QjVv+PIN.net
見た目と言葉の違いで、他の集団を排斥するのは
サル並みの野蛮な行為であって 完全な犯罪行為であり
そのような馬鹿は完全に屠殺されるべきである
生きるに値しないし 有害無益な畜生である
184:１３２人目の素数さん
21/02/23 17:20:44.68 RLePkY5e.net
>>148
南出論文、
Promenade in IUT、
望月先生の米カリフォルニア大からの出張講演招待、
Oberwolfachの集会（Stix氏もオーガナイザー）
そして、今年の４本の国際会議 URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
プロ数学者たちは、ショルツェ氏を問題にせず
IUTの次のステップに向けて
歩み始めています
185:１３２人目の素数さん
21/02/23 18:05:02.81 QjVv+PIN.net
>>170
いまだにショルツェに反論できない負け犬の遠吠えか
186:１３２人目の素数さん
21/02/23 18:06:07.72 QjVv+PIN.net
南出論文はCor3.12を証明してませんからぁ 残念（斬）
187:１３２人目の素数さん
21/02/23 18:07:05.48 QjVv+PIN.net
Promenade in IUTに参加しても、
IUT認めたことになりませんからぁ 残念（斬）
188:１３２人目の素数さん
21/02/23 18:08:11.11 QjVv+PIN.net
カリフォルニア大が出張講演に招待しても
IUT認められたことになりませんからぁ 残念（斬）
189:１３２人目の素数さん
21/02/23 18:09:14.58 QjVv+PIN.net
Oberwolfachの集会に呼ばれたからって
StixがIUT認めたってことになりませんからぁ 残念（斬）
190:１３２人目の素数さん
21/02/23 18:10:23.30 QjVv+PIN.net
IUTは正しいといくら喚いたって
日本の数学が世界一になるわけじゃありませんからぁ 残念（斬）
191:１３２人目の素数さん
21/02/23 18:11:20.17 QjVv+PIN.net
εδも線型独立も∈も分からん馬鹿が
IUTとかいっても利口にはなりませんからぁ 残念（斬）
192:１３２人目の素数さん
21/02/23 18:12:54.40 QjVv+PIN.net
いくらボクは大阪大工学部卒といったって
∈で馬鹿発言したら数学的には白痴ですからぁ 残念（斬）
193:１３２人目の素数さん
21/02/23 18:15:49.6
194:9 ID:QjVv+PIN.net
195:１３２人目の素数さん
21/02/23 18:17:25.08 QjVv+PIN.net
そういう意味ではA新聞のIとかいう記者も罪深い
まあ、ああいうヒトたちは騒ぎになればいいと思ってるんだろう
正真正銘の変質者といったほうがいいな（侮蔑）
196:１３２人目の素数さん
21/02/23 18:57:21.35 RLePkY5e.net
>>170
Gkun Dirichlet L関数の零点とIUT
URLﾘﾝｸ(kaken.nii.ac.jp)
宇宙際幾何学のさらなる展開
研究代表者
山下 剛 京都大学, 数理解析研究所, 講師 (70444453)
研究分担者 望月 新一 京都大学, 数理解析研究所, 教授 (10243106)
研究期間 (年度) 2015-04-01 – 2020-03-31
研究課題ステータス 完了 (2019年度)
配分額 *注記
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2019年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2018年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2017年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2016年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2015年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
研究成果の概要
研究分担者の望月氏により、宇宙際Teichmuller理論を虚数乗法を持つ楕円曲線にも拡張できることが分かった。これにより、宇宙際Teichmuller理論とDirichlet L関数の零点の間に初めて数学的な関係が生まれた。これは今後、宇宙際幾何学のさらなる発展としてのゼータ関数の零点への研究の大きな最初の一歩とみなせる。
研究成果の学術的意義や社会的意義
ゼータ関数の零点の研究は極めて困難であるが、宇宙際Teichmuller理論によるabc予想の証明においてはいわゆる「一元体上の微分」に相当する現象が起こっているため、宇宙際幾何学の手法によるアプローチは有力であると思われる。今回、宇宙際Teichmuller理論とDirichlet L関数の零点の間に関係が生まれたことはゼータ関数の零点の研究にとって大きな第一歩である。ゼータ関数の零点に関するRiemann予想はクレイによって挙げられている21世紀に解決すべき7つの問題の1つであり、まだRiemann予想までの道のりは遠いが最初の第一歩を踏み出せたことは社会的意義も大きいと感じる。
2019 実績報告書 研究成果報告書 ( PDF ) URLﾘﾝｸ(kaken.nii.ac.jp)
197:１３２人目の素数さん
21/02/23 19:22:31.91 QjVv+PIN.net
>>181
バカはコピペしかできないｗ
198:１３２人目の素数さん
21/02/23 19:22:52.98 QjVv+PIN.net
バカは文章が読めない
199:１３２人目の素数さん
21/02/23 19:24:24.93 QjVv+PIN.net
例えば「x,yが順序数であれば、x∈y⇔x⊂y」と書いてあったとする
200:１３２人目の素数さん
21/02/23 19:25:17.08 QjVv+PIN.net
そして「選択公理の下で、全ての集合は整列できる」と書いてあったとする
201:１３２人目の素数さん
21/02/23 19:26:49.55 QjVv+PIN.net
バカはそこで”推論”する
「なるほど、全ての集合は整列順序がつくから「順序数」だ
だからa,bが集合なら、「順序数」だからx∈y⇔x⊂yだ」
202:１３２人目の素数さん
21/02/23 19:27:42.81 QjVv+PIN.net
さて、>>186の”推論”のどこが誤りか？
203:１３２人目の素数さん
21/02/23 19:29:00.28 QjVv+PIN.net
確かに選択公理のもとで集合は整列集合にできるが、
その際の順序関係は”∈”によるものではない
204:１３２人目の素数さん
21/02/23 19:29:43.10 QjVv+PIN.net
一方、順序数は、”∈”による順序で整列されている
205:１３２人目の素数さん
21/02/23 19:31:10.18 QjVv+PIN.net
>>188と>>189の違いを認識せずに
>>186のような馬鹿推論をすると馬鹿な結論に至る
しかしこんな結論の反例に気づけないのは大馬鹿者といっていいｗ
206:１３２人目の素数さん
21/02/23 19:51:40.06 XhSNOnsw.net
結局IUTではabc予想を証明できなかった
207:ってことなんかな
208:１３２人目の素数さん
21/02/23 20:13:16.81 QjVv+PIN.net
>>191
そうですね
望月はある不等式（Cor 3.12）が成り立てばABC予想も成り立つと示した
一方、上記の不等式が成り立つことの証明には成功しなかった
IUTは望月の意気込みも空しく「壮大な失敗作」として忘れ去られるだろう
209:１３２人目の素数さん
21/02/23 20:17:40.29 QjVv+PIN.net
素人が陥る誤り
「整列順序の＜を＞に反転させたものは、やはり整列順序」
有限順序数では成り立つが、ωではもはや成り立たない
210:１３２人目の素数さん
21/02/23 20:42:40.76 wm1f6FTc.net
(3/4)「復元」の手技は，少なくとも私のすぐ近くの「遠アーベル関係者」にとっては，特段目新しいものではないです（一方，数理研を一歩出れば，議論の大部分が目新しいでしょう）．強いて言うならば，Belyiの忠実性定理の帰結そのものが「復元」に組み込まれている点は，多少珍しいと言えるでしょう．
211:１３２人目の素数さん
21/02/23 20:49:19.29 qoK3wmdD.net
ヒエッ一人で50回近くレスしてるやつおるやんけ…
212:１３２人目の素数さん
21/02/23 21:49:48.74 HHB2MXAM.net
そういやＩUT論文を出版するという話はどうなったの？
間違いであることが明らかになりもうバカらしくてやる気がなくなったかな。
213:１３２人目の素数さん
21/02/23 22:04:20.70 cDqwM4Vn.net
春なので4月頃でしょう
214:１３２人目の素数さん
21/02/24 07:50:53.27 DJscRLHQ.net
>>148
1．ショルツェ氏はいう、「Cor3.12までは、自明なことしか書いていない。Cor3.12の証明が分からない」と
2．しかしながら、だれが考えても、”Cor3.12までは、自明なことしか書いていない”が、おっとこどっこい勘違い
3．Cor3.12の証明は、IUTのI～IIIまでを使って成立するものだよね。IUTのIとかIIとかIIIのCor3.11までが”全て自明”とか、そこから勘違いじゃね？
4．そういう勘違いをもとに、「Cor3.12の証明が分からない」と言ったとて、そりゃ あなたの「”Cor3.12までは、自明」の勘違いが原因じゃね？
望月先生は、「顔を洗って出直せ」といったとかｗ
215:１３２人目の素数さん
21/02/24 08:10:12.66 g7j/Y73h.net
可算選択公理で例えるなら、有限回の選択ならZFの中で可能だが、だからといって
「ゆえに、この作業を可算無限回繰り返せば、
添え字の集合が可算無限でも選択関数が作れる
(ZFの中で可算選択公理が公理ではなく定理として得られる)」
とは言えない。
ショルツにとっての Cor3.12 までの内容は、「有限回の選択ならZFの中で可能である」
に相当するものであり、そんなことは自明だったのだろう。ところが、Cor3.12 でいきなり
「ゆえに、この作業を可算無限回繰り返せば、添え字の集合が可算無限でも選択関数が作れる」
というステップが登場し、いや、それはおかしいと。
しかし、実際のIUTは「〇〇公理」と整備されているわけでもないので、
おかしい部分を正確に言語化することもできない。そんな感じだろう。
216:１３２人目の素数さん
21/02/24 08:24:06.96 DJscRLHQ.net
>>199
望月IUTが選択公理を否定しているだって？
妄想妄想
お薬をどうぞｗ
217:１３２人目の素数さん
21/02/24 08:41:14.75 g7j/Y73h.net
>>200
ツッコミの仕方が全て的外れ。
まず「選択公理」じゃなくて「可算選択公理」ね。
次に、>>199の
＞「ゆえに、この作業を可算無限回繰り返せば、
＞ 添え字の集合が可算無限でも選択関数が作れる
＞ (ZFの中で可算選択公理が公理ではなく定理として得られる)」
の部分では、可算選択公理を否定しているのではなくて、
可算選択公理が「公理ではなく定理として得られる」と言っている。
これは「公理の否定」とは意味が全く違う。
次に、「望月IUTが選択公理を否定している」のではなくて、
「可算選択公理に例えるなら、こういうことだろ」っていう話。>>199の冒頭に
＞可算選択公理で例えるなら、
と明記してあるしな。結局、>>200はツッコミの仕方が全て的外れ。だめだこりゃ。
218:１３２人目の素数さん
21/02/24 08:48:13.28 eavifJXy.net
>>198
>Cor3.12までは、自明
Th3.11までは、自明�
219:@じゃね？ >IUTのIとかIIとかIIIのCor3.11までが”全て自明”とか、 >そこから勘違いじゃね？ ド素人の妄想じゃね？
220:１３２人目の素数さん
21/02/24 08:52:56.95 eavifJXy.net
>>199
その喩えだと
「望月のIUTが不十分」
ってことになるけど、それでいいの？
要するに
「ZFだと可算選択公理すら導けない」
っていってるよね？
つまり
「IUTだとCor 3.12は導けない」
っていってるようなもんだよね？
自爆？
221:１３２人目の素数さん
21/02/24 08:57:18.57 eavifJXy.net
>>199
>実際のIUTは「〇〇公理」と整備されているわけでもないので、
>おかしい部分を正確に言語化することもできない。そんな感じだろう。
「公理」を正確に言語化できない時点で、論文としては不成功
それが数学だよ わかる？ ド素人君
222:１３２人目の素数さん
21/02/24 08:59:52.86 g7j/Y73h.net
>>203
それでいいんだよ。俺はIUTに懐疑的な立場だからな。
223:１３２人目の素数さん
21/02/24 09:00:40.44 g7j/Y73h.net
>>204
だから、不成功で構わんのだよ。俺はIUTに懐疑的な立場だからな。
224:１３２人目の素数さん
21/02/24 09:06:25.81 eavifJXy.net
ああ、>>199は ID:g7j/Y73h か
道理でスッキリしてるとおもったよ
225:１３２人目の素数さん
21/02/24 09:07:10.44 g7j/Y73h.net
より直接的に言えば、こういうこと。
・ IUT は Cor3.12 において、ZFCから逸脱した未知の公理Ａに基づく
何らかの操作Ｂを行っている(と推測される)。
・ Cor3.12 で躓いている数学者は軒並みそこで躓いているが、
公理Ａ自体が明確に言語化できているわけではないので、
操作Ｂがおかしいことを厳密な言い方で指摘することができていない。
・ Cor3.12 に躓かずに素通りできてしまった数学者は、
操作Ｂが未知の公理Ａに基づかなければ不可能であることに気づいておらず、
操作ＢがZFCの中で行える普通の操作だと勘違いしている。
また、操作Ｂはそのような勘違いを誘発する構造をしている。それはちょうど、
「有限回の選択ならZFの中で可能なのだから、それを可算無限回繰り返せば、
添え字の集合が可算無限でも選択関数が作れるじゃん(ZFの中で)」
という勘違いに似ているものと推測される。
・ 結局、現状では ZFC＋未知の公理Ａ を仮定しなければ IUT は機能しない(と推測される)。
そして、ZFC＋未知の公理Ａ が公理系として無矛盾なのかはもちろん不明。
もし矛盾してたら IUT 全体が崩壊してしまう。
そして、その前に「公理Ａ」が何なのかすら言語化できていない。
226:１３２人目の素数さん
21/02/24 09:12:32.41 eavifJXy.net
>>199の喩えは的確 >>200のツッコミは全然トンチンカン
やっぱり ID:DJscRLHQ は日本語が読めてない
この人には大学数学は初歩から全く理解できないだろう
227:１３２人目の素数さん
21/02/24 10:23:20.62 eavifJXy.net
>>208
>・ IUT は Cor3.12 において、
> ZFCから逸脱した未知の公理Ａに基づく
> 何らかの操作Ｂを行っている(と推測される)。
「ZFCから逸脱してる」かどうかはともかくとして
操作を正当化する「概念」を構築するための公理
が十分でない、とは思うね
>・ Cor3.12 で躓いている数学者は軒並みそこで躓いているが、
> 公理Ａ自体が明確に言語化できているわけではないので、
> 操作Ｂがおかしいことを厳密な言い方で指摘することができていない。
”Not Even Wrong"という状態ですね
だからといってrightとはいえませんけどね
>・ Cor3.12 に躓かずに素通りできてしまった数学者は、
> 操作Ｂが未知の公理Ａに基づかなければ不可能であることに気づいておらず、
> 操作ＢがZFCの中で行える普通の操作だと勘違いしている。
> また、操作Ｂはそのような勘違いを誘発する構造をしている。
「ZFCの中で行える」かどうかはともかくとして
操作を正当化するための概念を構成する公理が整ってないと意味ないね
群とか圏とか抜きにして、準同型とか関手とか考えるようなもの
>・ 結局、現状では ZFC＋未知の公理Ａ を仮定しなければ IUT は機能しない(と推測される)。
> そして、ZFC＋未知の公理Ａ が公理系として無矛盾なのかはもちろん不明。
> もし矛盾してたら IUT 全体が崩壊してしまう。
> そして、その前に「公理Ａ」が何なのかすら言語化できていない。
「ZFC＋」は抜きにして、公理が足りてないね
しかもそれを埋めたところで無矛盾でないかもしれない
望月氏は楽観的だけど、他の人は（弟子も含めて）もう懐疑的なんじゃないかな
正直プロムナードの参加者もIUTをトレースする気はないでしょ
Cor 3.12が正当化できればいいんで、別にIUTに拘る必要はない
そしてIUTとは独立の正当化が成功すれば、ABC予想の解決者は
望月ではなく別の人になるね そりゃみんな血眼になるね
228:１３２人目の素数さん
21/02/24 11:04:43.86 PXsEolJh.net
一言でいえば、ショルツェ氏と同じ間違いをしていると思うよ
１．選択公理の例えは、例えでしかない。その例えが、きちんとIUTの具体的なロジックに適合しているという証明がない限り、数学の議論にはならない
（
229:本気で、「きちんとIUTの具体的なロジックに適合しているという証明」が書けるなら、論文にして公開しなよｗ） ２．ショルツェ氏も同じ。例えば、こういうモノドロミーを考えたら矛盾が起きるという だが、下記のwoitブログでは、Dupuy氏との議論で、”extremely difficult notion of a Hodge theater”とか ”However, these long discussions are all about interpretations. ”と Hodge theaterが難しいからと、解釈に逃げて、最後は ”I’m happy to continue any further discussions by e-mail.”（Peter Scholze says: May 1, 2020 at 4:42 pm）と、裸足で逃げ出す ３．数学の定義と論理は、何通りもの解釈を許さないようにできているもの。「解釈の問題」に逃げ込むのは、なんだかね ４．あと、SS文書のもう一人Stix氏が離脱しかかっていることに、ご注目。 （>>51） Stix氏の離脱がはっきりしたら、SS文書は紙くずですよ。Oberwolfach 7 Mar - 13 Mar 2021 が終われば、はっきりしますよｗ つづく
230:１３２人目の素数さん
21/02/24 11:06:15.19 PXsEolJh.net
>>211
つづき
（参考）
URLﾘﾝｸ(www.math.columbia.edu)
（woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
Peter Scholze says:
April 30, 2020 at 3:32 am
Reading the IUT papers, however, you are presented with some extremely difficult notion of a Hodge theater, together with a highly non-obvious notion of isomorphisms of such: Isomorphisms do not preserve nearly as much structure as you would expect them to, and this is by design as Mochizuki points out. So I find it very hard to “guess” what something like a surrounding “theory” might be. For all I can see, Hodge theaters fit neither into the framework of “structures” as used in the wikipedia entry URLﾘﾝｸ(en.wikipedia.org)(model_theory) you linked to, nor the topos-theoretic framework of Caramello. (Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set. I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters, the problem being the very lax notion of isomorphisms of Hodge theaters.)
However, these long discussions are all about interpretations. Regarding the mathematics proper: I stand by the claim made in our manuscript, and have indicated the proof above.
（終わり）
以上
231:１３２人目の素数さん
21/02/24 11:25:40.01 eavifJXy.net
>>211
＞数学の定義と論理は、何通りもの解釈を許さないようにできているもの。
IUTはそうなってないね 理解できない素人には分からないだろうけど
232:１３２人目の素数さん
21/02/24 11:30:17.57 eavifJXy.net
>>211
＞こういうモノドロミーを考えたら矛盾が起きる
その指摘が違うなら正面から論破すればいいのに
ショルツを感情的になじるだけで裸足で逃げたね
望月とかいう人は
233:１３２人目の素数さん
21/02/24 12:15:21.13 PXsEolJh.net
>>213
＞＞数学の定義と論理は、何通りもの解釈を許さないようにできているもの。
＞IUTはそうなってないね
じゃ、そう指摘しなよ、論文書いて。５ｃｈで言っても数学にはならんさｗ
>>214
＞その指摘が違うなら正面から論破すればいいのに
＞ショルツを感情的になじるだけで裸足で逃げたね
＞望月とかいう人は
すり替えだな
Dupuy氏との議論で、
裸足で逃げたのは
ショルツェ氏だよ
234:１３２人目の素数さん
21/02/24 14
235::03:07.76 ID:eavifJXy.net
236:１３２人目の素数さん
21/02/24 16:50:06.65 PXsEolJh.net
>>216
>それより、君が１通りの解釈とやらを示したら？ 論文で
１．まったく不要だな。
２．そもそも、望月氏はSS文書に逐一反論している。
SS文書は２回出ている。その２回とも反論し、３度目のSSの回答なし。
そのことは、玉川先生が昨年４月の記者会見で、名言している。「望月反論に回答無し」だと
３．望月氏はその後、ホームページに詳細説明の文書を何通かアップしている。また、補強の論文も書いている
４．望月氏を支持する文書多数。その最右翼が、>>3のPromnade in IUT URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
さらに、Dupuy氏のarXive投稿や、Joshi氏の論文もある
５．予定だが、Oberwolfachの集会（3月）があり
6月頃から４本のIUTの国際会議がある
６．プロ数学者のターゲットは、過去の望月IUTから、
”Hoshi-Mochizuki-Minamide”（>>45より）(明示公式)へ移っている
俺たち素人は、その動きを見ていればいいんだ
今年中に、IUTの成否はだれの目にもはっきりするだろう
>IUTも理解できないのにただCor3.12に食いつく他人に用はないだろ
IUTのホッジシアターが、”extremely difficult notion of a Hodge theater”とか
woitブログで白状したのは、ショルツェ氏ですよ
なんだ、”notion of a Hodge theater”が分かってない？
そりゃ、3.12が分からんはず
そもそも、「3.12までは自明だ」と、豪語したのはだれ？
237:１３２人目の素数さん
21/02/24 17:16:15.38 uwykwOBH.net
>>217
>２．そもそも、望月氏はSS文書に逐一反論している。
最後の反論で、Faltings’ theorem (Shafarevich conjecture) applied to the Weil restrictionを通常のFaltings’ theoremと勘違いしたという話があったはず
回答というか講義になってしまうから、SSは回答しなかったんだろう
>IUTのホッジシアターが、”extremely difficult notion of a Hodge theater”とか
woitブログで白状したのは、ショルツェ氏ですよ
>>212を見てもわかる通りホッジ劇場が分からないという話ではない