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を見てもわかる通りホッジ劇場が分からないという話ではない
238:１３２人目の素数さん
21/02/24 17:56:31.65 eavifJXy.net
>>217
>>君が１通りの解釈とやらを示したら？ 論文で
>まったく不要だな。
というか不能でしょ
>望月氏はSS文書に逐一反論している。
でもモノドロミーの件についてはなにも反論できてないね
要するに公理が足らないのに補えない
>SS文書は２回出ている。その２回とも反論し、３度目のSSの回答なし。
望月はなにも反論できないと明らかになったから コメントの必要がなくなった
>俺たち素人は、その動きを見ていればいいんだ
>今年中に、IUTの成否はだれの目にもはっきりするだろう
…君、いいかげん愛国依存症から抜け出したほうがいいよ
恥かくだけだよ
239:１３２人目の素数さん
21/02/24 18:05:55.10 eavifJXy.net
>>199から選択公理を抜きにしても、比喩として的確かもしれんね
「任意の自然数ｎについて成立するから、極限順序数ωでも成り立つ」
「0.9<1,0.99<1,0.999<1,… だから、0.999…<1」
明らかに飛躍があるのに、当人は連続してると思ってる
これは論理が分かってない証拠だな
数学者は論理が分かってる、というのは、実は幻想
木村某とかいう数学者の「無限のスーパーレッスン」が
集合論研究者からみるともう初歩的誤り連発なのに
まったくトンデモ扱いされないのが
「純粋数学帝国主義」による「集合論・数理論理学虐待」
だとフッチーノ氏も嘆いてたな
某数学者はその昔「多様体愛護協会�
240:vなんてつくってたが 個人的には「論理学愛護協会」を作ったほうがいいんじゃないかな
241:１３２人目の素数さん
21/02/24 18:13:25.14 eavifJXy.net
木村某曰く
「順序数について、超限帰納法が適用できる」
「選択公理の下で、全ての集合は整列できる」
↓
「すべての集合は「順序数」だから、超限帰納法が適用できる」
Set A曰く
「x,yが順序数であれば、x∈y⇔x⊂y」
「選択公理の下で、全ての集合は整列できる」
↓
「a,bが集合なら、「順序数」だからx∈y⇔x⊂yだ」
数学者も専門外だとド素人と同レベルだと露見・・・
242:１３２人目の素数さん
21/02/24 23:36:18.06 DJscRLHQ.net
>>4
おサルこと、維新さんは、
ほんと、サイコパスだね
ああ言えばこういう
こう言えばああいう
そういうディベートみたいな議論はうまいね（数学の議論とは異質のね）
さすがサイコパスのお猿だ
だがね、結局その態度が、数学の落ちコボレにつながり（ロジックが切れ切れ屁理屈だよね、それってｗｗｗ）
人生の落ちこぼれにつながる（屁理屈で人を言い負かして、信頼を失い、人間関係が壊れるよね）
そして、結局、世間から相手にされない、無職のヒキコモリか
まあ、今年はっきりしますがな
つーか、進行形だよ
Promenade in IUTの大行進が、始まっています
243:１３２人目の素数さん
21/02/25 07:29:33.52 l/M/iSHN.net
>>222
>まあ、今年はっきりしますがな
>つーか、進行形だよ
>Promenade in IUTの大行進が、始まっています
愛国馬鹿の妄想乙
244:１３２人目の素数さん
21/02/25 07:31:56.54 l/M/iSHN.net
>>222
>まあ、今年はっきりしますがな
愛国馬鹿のいう「今年」は永遠に来ない
245:１３２人目の素数さん
21/02/25 07:32:53.46 l/M/iSHN.net
>>222
>つーか、進行形だよ
Cor3.12の証明もできないのに何が進行してるんだか
246:１３２人目の素数さん
21/02/25 07:35:36.58 l/M/iSHN.net
>>222
>Promenade in IUTの大行進が、始まっています
弟子ですらCor3.12の証明が理解できず
単に予想として利用してるだけ
これじゃPromenade in Mochizuki's inequalityだな
247:１３２人目の素数さん
21/02/25 07:38:44.44 l/M/iSHN.net
戦争に行きたくない「愛国者」たち…
URLﾘﾝｸ(www.gentosha.jp)
国際政治学者 藤原帰一東大教授曰く
「靖国参拝などへの支持は右翼が強くなったというより
『日本は良い国と思いたい』気分から生まれているのではないか」
248:１３２人目の素数さん
21/02/25 07:39:57.91 l/M/iSHN.net
>>228
自民党の総裁候補三人の秋葉原駅頭での街頭演説をを聴き
安倍、谷垣ら候補者と握手した誠実で優しそうな私大学生は、
改憲、集団的自衛権、再軍備等の肯定派です。
しかし、では徴兵制の可能性を考えるかとの質問には、
考えたこともない、戦争に参加するのは嫌だ
とあっさり答えるのです。
249:１３２人目の素数さん
21/02/25 07:41:17.87 l/M/iSHN.net
>>228
どうも「常識」として蔓延しつつある「右傾化」「保守化」は、
相当に「気分的」「観念的」なものでしかないようです。
韓国や台湾では「常識」である、
嫌だけど国のためなら兵役へ赴いて当然、覚悟はしている
という決然たる覚悟にはまずお目にかかれません。
250:１３２人目の素数さん
21/02/25 07:44:37.32 l/M/iSHN.net
生きづらい若者と年をとれない中年がすがる
「ウヨク」という麻薬
URLﾘﾝｸ(www.gentosha.jp)
『生き地獄天国』（太田出版）という書があります。
女流作家雨宮処凛がその青春の彷徨を綴った自伝エッセイで、
「超国家主義『民族の意思』同盟」という右翼団体へ参加し、
維新赤誠塾というバンドを組み「ミニスカ右翼」と呼ばれる姿が、
この本のクライマックスです。
アトピーといじめに
251:苦しめられ、 両親には優等生であることを強要された少女時代から、 ビジュアル・バンドのグルーピー、リストカット、自殺未遂を経て、 美大浪人、人形アーティスト志望で上京、 「ガロ」系マンガ、元オウム信者、パフォーマー、バックパッカーらが うじゃうじゃたむろする中央線沿線のいわゆるサブカル文化へ浸り、 バンドを組み、そして右翼闘士に。 そんな半生記のなかに、 「私にとっては、右翼も左翼も死体写真集もサブカルチャーだったからだ」 という一文がありました。
252:１３２人目の素数さん
21/02/25 07:46:17.35 l/M/iSHN.net
>>230
他人との折り合いの悪さや肥大した自意識から、
居場所を狭め承認欲求を抱えてアイデンティティを模索する若者は
いつの時代にもいます。
殊に豊かさが大衆的に享受される世の中では、
かつてなら特権階級のものだったこうした苦悶もまた大衆化します。
雨宮のごとき少年少女は日々生まれ、
自らが自らである証を実感したくて、
サブカルチャーを追い、さらには新宗教カルトや過激で異形な政治活動にも
魅惑されてゆくでしょう。
253:１３２人目の素数さん
21/02/25 07:49:37.70 l/M/iSHN.net
>>231
自分個人の生きにくさを世の中全体がゆがんでいるせいにして、
世の中が変われば幸せでおもしろい日々が私にも来ると信じる。
自分自身の矮小さ脆弱さを、民族だの階級だの革命だのといった
偉大な使命へ自分を委ねている自覚で乗り超えた気になる。
「新世紀エヴァンゲリオン」のヒット以来、
自分の危機と世界全体の危機とがシンクロしてゆく物語を
「セカイ系」と呼びますが、
「右翼」「左翼」に代表されるイデオロギーはもとより
「セカイ系」だったのかもしれません。
254:１３２人目の素数さん
21/02/25 08:05:59.67 pYr0FQSU.net
>>222
(引用開始)
そういうディベートみたいな議論はうまいね（数学の議論とは異質のね）
さすがサイコパスのお猿だ
だがね、結局その態度が、数学の落ちコボレにつながり（ロジックが切れ切れ屁理屈だよね、それってｗｗｗ）
人生の落ちこぼれにつながる（屁理屈で人を言い負かして、信頼を失い、人間関係が壊れるよね）
そして、結局、世間から相手にされない、無職のヒキコモリか
(引用終り)
1．サイコパスの維新さん、あんたは、議論している相手を攻撃するサイコパス性格だよね
2．前スレでも、議論の相手を攻撃して、1日100レスくらい書いていたね（相手は私ではないよ）
旧ガロアすれでも、似たことがあった（狂犬とイヌコロ論争だったね）
3．ここはIUTスレだよ。あんた、アンチIUTならそれでいいけどさ、議論の相手を攻撃してばかりでさ
いまIUTで起きていることが、全然理解できていないじゃん
4．あんたの脳内時計は、2018年のSS文書から進んでいない
Promenade in IUTの大行進とか、理解できない、理解しようとしない
5．いまIUTで起きていることは
「望月氏が正しく、ショルツェ氏が間違っていた」という仮定をおけば、全て説明がつく
6．逆に、「ショルツェ氏が正しい」と仮定したら、いま起きていることは、全く説明がつかないよね
もう少し冷静に考えたら良さそうに思うが
サイコパス性格だと、それが出来ないんだろうね
哀れだね
255:１３２人目の素数さん
21/02/25 08:10:43.93 l/M/iSHN.net
>>233
＞「望月氏が正しく、ショルツェ氏が間違っていた」
愛国馬鹿の妄想
256:１３２人目の素数さん
21/02/25 08:11:26.95 l/M/iSHN.net
>>233
＞冷静に考えたら良さそうに思うが
冷静に狂う馬鹿
257:１３２人目の素数さん
21/02/25 08:14:36.61 l/M/iSHN.net
>>233
＞「ショルツェ氏が正しい」と仮定したら
「ショルツェが間違ってる」という主張を、望月は論理的に成し得なかった
したがって、数論幾何学者がＩＵＴを認めない、という今の状況がある
京大数解研の会議への参加は、ＩＵＴの承認を意味しない
そんなのは�
258:､国馬鹿の妄想でしかない
259:１３２人目の素数さん
21/02/25 08:17:33.42 l/M/iSHN.net
いいかげんSet Aは
「自分は数学ができる天才ではなかった」
という自分だけの危機を愛国フェスティバルで
発散してごまかすのはやめたほうがいい
あんたは所詮怠惰で無能なただの人
勉強しない人が数学ができるようになるわけがない
検索は勉強でもなんでもない ただの自己満足
いいかげん気づこうな 人生が終わる前に
260:１３２人目の素数さん
21/02/25 08:18:51.15 l/M/iSHN.net
>>233
＞議論している相手を攻撃
ウソツキはこの世に生きる資格がない
261:１３２人目の素数さん
21/02/25 08:19:11.05 l/M/iSHN.net
死にたくないなら正直であることだ
262:１３２人目の素数さん
21/02/25 08:20:15.34 l/M/iSHN.net
>>233
>1日100レス
●チガイスレッドは埋めるに限る
●チガイも埋めるに限る
263:１３２人目の素数さん
21/02/25 08:21:12.74 l/M/iSHN.net
SetAよ 「セカイ系」パフォーマンスは他所でやってくれ
264:１３２人目の素数さん
21/02/25 08:22:00.81 l/M/iSHN.net
エヴァのアスカはいらない
乃木坂の齋藤飛鳥だけで十分だ
265:１３２人目の素数さん
21/02/25 08:22:31.48 l/M/iSHN.net
朝の埋立、ひとまず終了
266:１３２人目の素数さん
21/02/25 11:42:06.53 FgjT3jEb.net
気違い =ID:l/M/iSHN が荒らしてるね。なんなんだこいつ？
文系のアホか？
267:１３２人目の素数さん
21/02/25 15:13:49.19 VIpdxiJ5.net
>>244
>気違い =ID:l/M/iSHN が荒らしてるね。なんなんだこいつ？
>文系のアホか？
ID:l/M/iSHNさんは、この人は、いわゆる維新さん(>>4)
数学板全体では、おサル＝サイコパス＊）のピエロ、不遇な「一石」、哀れな素人氏は”サル石”と呼ぶ
自称東大数学科出身
私の見るところ、どこかFラン数学科修士卒です。無職無収入で引きこもりの期間が長かったようです（が、今は働いているかも）
小学生のときに、遠山啓氏の「数学入門」を読んだそうで、それでFラン数学科へ進んだようですね
（余談ですが、小学生で遠山啓氏の「数学入門」読めた程度、「自分は数学天才」と勘違いしたのでしょうね）
維新さんの時代は（彼の年齢は推定50～60歳）、数学科など出ても、Fランだと高校数学教師がせきのやま
彼はアカデミックポストについて、数学研究者に成りたかったみたいですが、夢かなわず
その恨みつらみで、数学議論にかこつけて、すぐ人身攻撃に走るのです
「お前は数学ができない」「お前には数学は無理だ」とかね
こっちは、別に数学の（アカデミック）プロなど目指していないのにね
なんだかね（こっちは、自分が数学ができるとも思っていないし）
それに、IUTみたいな難しい数学を心底理解しようという気もない
でも、IUTは数学史上の珍事だと思っています
余りにも、時代を超越した望月IUT論文
2012年に投稿されるも、世界の一流数学者たちが「読めない」「分からない」の大合唱
2018年に、大天才ショルツェ氏から、ダメ出しをくらう望月IUT
が、どっこい、2020年4月のIUT査読OK（アクセプト）の”あっと驚く”記者会見、大逆転
おもろい
ヤジウマとして
見ていて、楽しいｗｗ
それだけなのですがねぇ～ｗｗｗ
268:１３２人目の素数さん
21/02/25 17:38:49.76 VIpdxiJ5.net
>>245
（引用開始）
でも、IUTは数学史上の珍事だと思っています
余りにも、時代を超越した望月IUT論文
2012年に投稿されるも、世界の一流数学者たちが「読めない」「分からない」の大合唱
2018年に、大天才ショルツェ氏から、ダメ出しをくらう望月IUT
が、どっこい、2020年4月のIUT査読OK（アクセプト）の”あっと驚く”記者会見、大逆転
おもろい
ヤジウマとして
見ていて、楽しいｗｗ
（引用終り）
20世紀から連綿とつづく
日本(RIMS) 数論幾何の系譜と伝統
伊原スクール－中村・玉川・望月のグロタンディーク予想解決ー望月IUTーその先に 星ー南出（ABC明示公式の解決）
素晴らしいじゃないですか！
もっと言えば、高木類体論や、小平先生の系譜でもある
素晴らしいじゃないですか！！
日本人の誇りですね
269:１３２人目の素数さん
21/02/25 19:11:54.96 l/M/iSHN.net
>>245
ID:pYr0FQSU=ID:VIpdxiJ5は集合(Set)Aと呼ばれてる
その昔文献のリンクを張りそこなって
自分のPCのディレクトリをさらしたときに
"seta"と書いてあったのが由来
当人は大阪大工学部卒とかいってるが
数学に関してはFラン大卒並の無知無恥ぷりん
長年ガロア理論のスレを立ててたが
教科書を頭からキチンと読む忍耐力がないので
何年かかっても正規部分群さえ正しく理解できず
ガロア理論の基本定理すら誤解したまま自爆した
実に哀れな奴である
そのくせ、やたら自惚れが強く
「自分は式を眺めただけで、直感で理解できる！」
と思ってるらしく、拾い読みした文章だけで推論して
「わかったぁぁぁぁぁ！！！」
と吠えまくるが、正しかった試しがない
εδもダメ、正則行列もダメ、
♪ダーメダメダメ、ダメ人間 ダーメ人間（大槻ケンヂかｗ）
っていうくらいわかってない
270:１３２人目の素数さん
21/02/25 19:13:56.61 l/M/iSHN.net
>>245
>こっちは、別に数学の（アカデミック）プロなど目指していないのにね
あたりまえだ
大学１年の数学で落ちこぼれた劣等生が
数学のプロになれるわけなかろうが！ｗ
>こっちは、自分が数学ができるとも思っていないし
あたりまえだ
大学１年の数学で落ちこぼれた劣等生が
数学ができると思うほうがおかしいわ！ｗ
>IUTみたいな難しい数学を心底理解しようという気もない
だったら興味もつなよ オチコボレ君
>でも、IUTは数学史上の珍事だと思っています
出たぁ！
なにかというとニッポン自慢をしたがる愛国馬鹿
そんなもんだから、全く理解できないくせに
「IUTは正しいィィィィィ！！！
世界に冠たる大ニッポン帝国！！！」
と狂賛しまくり
ついた綽名がIUT狂賛党員
>ヤジウマとして見ていて、楽しいｗｗ
>それだけなのですがねぇ～ｗｗｗ
違うだろ
なにもいいことがなかった人生の負け犬として
ニッポン自慢したくてたまらない
それがホンネだろ？
大学受験で負け（京大に入れず）
出世競争で負け（数学の初歩も分からん無能じゃ仕方ない）
自国自慢で他国民を馬鹿にして憂さ晴らし（ああみっともないｗ）
こんな負け犬にだけは、なりたくないもんですねえ・・・
271:１３２人目の素数さん
21/02/25 19:16:13.69 l/M/iSHN.net
>>246
>20世紀から連綿とつづく
>日本(RIMS) 数論幾何の系譜と伝統
>素晴らしいじゃないですか！！
>日本人の誇りですね
なんだ？この愛国馬鹿阿呆●違い野郎ｗｗｗｗｗｗｗ
272:１３２人目の素数さん
21/02/25 19:20:59.59 l/M/iSHN.net
何がしたいんだか分からない人 （１）
雨宮 処凛（あまみや かりん、1975年1月27日 - ）は、
作家、活動家。反貧困ネットワーク世話人、
『週刊金曜日』編集委員、厚生労働省ナショナル・ミニマム研究会委員、
「こわれ者の祭典」名誉会長。
2000年のデビュー前後は「ミニスカ右翼」と呼ばれた右翼活動家だったが、
後に「ゴスロリ作家」を称する左派系論者に転向した。
2006年以降はプレカリアート問題に取り組み、
格差・貧困問題をメインテーマとする。
日本ジャーナリスト会議賞を受賞している。
273:１３２人目の素数さん
21/02/25 19:22:08.69 l/M/iSHN.net
生い立ち
北海道滝川市出身。
1歳の時からアトピー性皮膚炎に悩み、
それが原因で思春期にいじめ、不登校、家出、自殺未遂の経験をもち、
10代後半にはヴィジュアル系バンド（XとBUCK-TICK、LUNA SEAなど多数）
の追っかけをくり返した。
その後、1996年からはMALICE MIZERのバックダンサーをつとめる。
大学受験では美大を2浪し、浪人中にアルバイトをしていたが、
数日で解雇されることが連続したため自暴自棄になり、
オーバードースで自殺未遂を経験した。
球体関節人形作家天野可淡の作品に傾倒し、
天野の仲間の吉田良に弟子入りしたが、
粘土をこねて人形を作る際にアトピー性皮膚炎が悪化し挫折、
リストカットを繰り返す日々が続いたという。
274:１３２人目の素数さん
21/02/25 19:24:13.61 l/M/iSHN.net
「ミニスカ右翼」、作家デビュー
20歳の時、自身の生きづらさから
「今の日本はおかしい」
という違和感に駆り立てられ、右翼活動に身を投じる。
たまたま読んだ『ゴーマニズム宣言』第3巻の鈴木邦男に
イベントの打上げで会ったのがきっかけ。
鈴木の著書を読み、そして出所したばかりの見沢知廉に会い、
2年間、右翼団体に属する。
右翼活動家（超国家主義『民族の意思』同盟）時代には、
ロックバンド「姫処凛」、「維新赤誠塾」、「大日本テロル」などを結成し
ボーカルをつとめた。
そのため、彼女のパンク・ファッションなどの外見と
従来の右翼に対するイメージのギャップから、
「ミニスカ右翼」として一時は話題になった。
元一水会顧問の作家、見沢知廉の弟子になる。
1999年以後、数回にわたって塩見孝也と北朝鮮に渡航し、
日本人拉致に関与したともされるよど号グループに会ったことから、
雨宮が8歳の時に起こった日本人拉致事件とのかかわりで
2003年、自宅に「ガサ入れ」を受けた。
自身の壮絶な体験をもとにした処女作『生き地獄天国』が注目を集め、
青少年の自殺やいじめをテーマに取り扱った作品を発表した。
また、映画の脚本も手がけており、
ドキュメンタリー映画『新しい神様』（監督：土屋豊）では
雨宮自身が主役として出演している。
275:１３２人目の素数さん
21/02/25 19:25:21.39 l/M/iSHN.net
右翼からの離脱、「ゴスロリ作家」へ
日本国憲法前文を読んだことがひとつのきっかけで、
右翼思想に疑問を抱くようになり、
2001年「大日本テロル」解散後は、
「（国家や皇族などに対して）依存してるだけで敬意が感じられない。
自分が目指していたのはこんなものではない」
と、右翼思想からは一定の距離を置くようになった。
のち、関係していた右翼団体からも脱退。
その後「生きづらさ」の原因の一つに新自由主義の拡大がある
と考えるようになり、自ら「左傾化した」と表明した。
本人は自らの社会に対するスタンスが根本的な転回を経たとは認識してはおらず、
「多くの人が生きづらい今のこの国（日本）は嫌だ」
という違和感はかつて右翼活動をしていたころと変わっていない、
或いは、「生存を求める」ことに右や左は関係ない、と語っている。
ロリータ・ファッションを好んで着用しており、
「ゴスロリ作家」と名乗っていたが、
2010年頃からはあまり着なくなった。
276:１３２人目の素数さん
21/02/25 19:27:27.35 l/M/iSHN.net
プレカリアート問題の論客
2006年以降『論座』・『週刊金曜日』・『しんぶん赤旗』・『思想運動』といった
革新系、左派・左翼系メディアへ寄稿し、左派系論者として活動をしている。
社会民主党の機関紙である『社会新報』にもコラムを掲載した。
同年から、新自由主義の拡大の結果増加した
277:プレカリアートの問題をテーマにした 取材、執筆活動に力を入れており、フリーターらによるデモや集会にも参加している。 そうした中から生まれた作品として、『生きさせろ! 難民化する若者たち』がある。 このような活動から、朝日新聞は雨宮を「プレカリアートのマリア」と呼んだ。 2007年7月18日放送の『筑紫哲也 NEWS23』「私の多事争論」で 「生きさせろ!」という題名のポエムを発表。 肺癌で入院中だった筑紫哲也の代役を務めている。 2007年12月21日号より、椎名誠の退任に伴い、 『週刊金曜日』編集委員を務めている。 2008年4月からは、『ビッグイシュー』日本版の支援組織 「NPO法人ビッグイシュー基金」の相談役も務めている。 新型コロナウイルス感染が拡大した2020年3月、 雨宮が世話人をつとめる「反貧困ネットワーク」の呼びかけで 「新型コロナ災害緊急アクション」が結成される。 貧困問題に取り組む36団体からなるこの緊急アクションのメンバーの一人として、 コロナによる困窮者支援に力を入れ、生活保護申請の同行などもしている。 また、コロナ禍ではペットとともにアパートを追い出され、 ホームレス化する人も少なくないことから、 ペット連れの困窮者を支援する「反貧困犬猫部」を結成。部長となる。
278:１３２人目の素数さん
21/02/25 19:28:43.30 l/M/iSHN.net
バンギャとしての活動
10代をバンギャとして過ごしたが、
2009年頃から「第二次ヴィジュアルブーム」が本人の中で始まり、
新宿ロフトのLooftopで連載「一生バンギャル宣言」を開始。
2011年には、新宿ロフトで
「雨宮処凛presents 『バンギャル ア ゴーゴー』」
を2回にわたって開催。
VOL.1の出演バンドはMix Speaker’s,Inc.とダウト。
VOL.2の出演バンドはBORN、ALSDEAD、defspiral
279:１３２人目の素数さん
21/02/25 19:31:51.97 l/M/iSHN.net
要するに目立ちたいんかな？ Set Aと全く同じで…
280:１３２人目の素数さん
21/02/25 19:53:13.74 E92Cjw59.net
刹那的に生き急いでる感じですかね
椎名林檎さんっぽい。。。
雨宮処凛、うん、似てる！
🍎 ｐｕｔ
ｙｏｕｒ
ｃａｍｅｒａ
ｄｏｗｎ
↖ｺﾚっぽぃ
281:１３２人目の素数さん
21/02/25 20:27:47.20 l/M/iSHN.net
そうきたか・・・
あんた、数学以外では冴えてるよな
椎名林檎はこれしか知らんけど・・・いい曲だｗ
URLﾘﾝｸ(www.youtube.com)
282:１３２人目の素数さん
21/02/25 20:31:45.81 l/M/iSHN.net
ちなみにV系の歌をなんもしらんコドモたちが唄い踊るとこうなる↓ｗ
URLﾘﾝｸ(www.youtube.com)
すぅ「V系って何？」
ひめ「知らずにやってたんかい！」
すぅ「じゃ、ひめたん知ってるの？」
ひめ「知らんｗ」
283:１３２人目の素数さん
21/02/25 20:44:16.44 E92Cjw59.net
∞
艸//)…sm…ﾄﾞｴﾑ…
**\
δδ
…ﾓｼｸﾊ…
。○
∞ 👠ﾋﾟﾝﾋｰﾙﾅｰｽ✨
´д`)σ゛ ﾅﾘﾀｨﾀｨﾌﾟ?
284: …ｷｨﾁｬｯﾀ… ﾇｼｻﾏ🐑ﾒ~ｻﾏ、ｺﾞﾒﾝﾅｻ~ｨ! ✨💫✨餅様✨🌟✨ ｳﾞｪﾘ-ﾐﾗｸﾙ!雨zing!! ∪ｧｩｪ-ｻﾑｯ!!! |。○ |=³🐑ｺﾞﾒﾝﾅｻ~ｨ!
285:１３２人目の素数さん
21/02/25 20:48:12.92 E92Cjw59.net
V系…
┌──┐
│ ▷ │
└──┘Vㄘゅｩｯ!ﾊﾞ-
↗ﾃﾞｽﾅ。
286:１３２人目の素数さん
21/02/25 21:00:29.35 pYr0FQSU.net
>>212
(引用開始)
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.
（終わり）
ショルツェ氏は、「Cor3.12までは、自明なことしか書いていない」と言いながら
”some extremely difficult notion of a Hodge theater”とのたまう
あれあれ？
「Cor3.12までは、自明なことしか書いていない」んじゃないの？
まあ、”Hodge theater”が分からないなら
Cor3.12の証明が分からなくても不思議なし！！