19/05/18 22:42:52.63 s8g9J3vq.net
次のKほらー CD予想
古都の大学研究所 廃墟で古びたほらーの書
が 発見された。
夜中に若者が 度胸試しに行くと 古井戸から
きもいラベルとゾンビウィルスが大量に湧いてきた
701:１３２人目の素数さん
19/05/18 22:47:07.88 SdSGhofh.net
若い人がIUTに賭けてもそれはそれでいいんじゃないかなあ
それで失敗するか成功するかわからないけど他人のことだし
本当に力のある人は最初のテーマがどうであれいずれ成果を出すよ
初期に参入した人達が数学的には成功しているようには見えないが
アカポスという点ではうまくゲットできてるのは確かだ
702:１３２人目の素数さん
19/05/18 23:06:41.04 qiW9wlNH.net
ところでキミは防衛大学や宗教大学に就職したいかい？
703:１３２人目の素数さん
19/05/18 23:21:24.01 b6VLXQPB.net
>>672
確かに！！
てかモッチーって元々数論的小平スペンサーとか狙ってたんだっけ？
704:１３２人目の素数さん
19/05/18 23:26:50.67 b6VLXQPB.net
>>672
確かにとか言ったけど、やっぱわからん
IUTでは環構造やら色んな付加構造の違いを計算してると思うけど、所謂変形理論であるようなコホモロジーの消滅云々とかじゃくて、フロベノイド(？)とか使ってやってるわけでしょ
705:１３２人目の素数さん
19/05/18 23:57:30.54 LLk/xkON.net
>>662
>>666
出典ありがとうございます。自分は初見でした
望月さんのバックグラウンドからしたら、実は近いタイヒミュラー理論と遠アーベル幾何学を結びつけたいのは
至極真っ当ですけどね。ただ、他の人はもっと直接ホッジ理論の大域版を考えるとか、アラケロフ理論の
問題点をDurovのように（今は抽象ナンセンス的に不十分と考えられてますが）改善しようとする、
という方向で考えたほうが健全でしょうね。IUTでBSD予想が証明されたらこの見方はやめて完成降伏しますが
ついでにぶっちゃけると、遠アーベル幾何学というのはグロタンディークがもし復活したら、
より巨大なビジョンに昇華しようとするのではないかと思いますね
IUTがやりたかったのは環論のある種の一般化だけど、今グロタンディークが現役で甦ったらIUTとは違う形で
基本群を一般化して、更に遠アーベル幾何学の「数論的背景」を考察して高次元に一般化するでしょう
この二つが可能である示唆は断片的には出てきているけど、まだはっきりしていない
具体的に考える上でゼータ関数論が導きとして極めて重要なのは間違いないですけどね
706:１３２人目の素数さん
19/05/19 08:36:55.09 GE+LjdtO.net
>>671
日本人がどうとか言うより
類体論とか岩澤理論とかラングランズが数学の王道だから
そこから大きく外れていくような数学はいずれ淘汰される
707:１３２人目の素数さん
19/05/19 09:45:53.29 EMqs27FG.net
>>656
＞妄想乙ってわざわざ日本まで来て告げてくれた
ハハハ、 そうだね。
もしSSがはっきり宣告しなければ、今頃日本じゃIUTは証明されたのに認められずフィールズ賞をとれない悲劇、
っていうふうに捻じ曲げられていたろうな。
708:１３２人目の素数さん
19/05/19 11:36:32.69 7tmLYTzu.net
>>681
それはないな
そもそも年齢的に無理だし
妄想乙
709:１３２人目の素数さん
19/05/19 14:06:54.40 eQdykDAc.net
>>679
それは貴方の夢であってグロタンディークの夢ではない
710:１３２人目の素数さん
19/05/19 14:11:50.10 KHcXfR7Y.net
IUTがスキーム論のようにABC以外にもいろんな数学の問題が解ける強力な理論なら
フィールズは年齢で対象外でもアーベルでもチャーンでももらえるだろ
真偽のほどはともかくABC特化型の癖の強い理論っぽいような
大きな賞を取らせようと思ったら周辺の研究者がその理論を発展させないとダメ
711:１３２人目の素数さん
19/05/19 14:58:33.56 Nstz4HDy.net
>>680
体感ですけど、数学の最近の王道(あるいは流行り病)は数理物理ではないでしょうか。若い人なんて思考停止で呟いてますし。(理論物理は進展もアカポスもまず無いのに、物理学者より少ないポストの数学者がこれを研究したがるのは本当に謎です。)
あと「類体論とか岩澤理論とかラングランズ」ってあなた本当に理解してますか。チョイスがおかしいでしょ。
最初の2つはwell-knownだし、後者は、保型表現の側で散発的に結果が出てるだけだと思います。誰も真剣に扱ってないと思いますよ。こんなで淘汰がどうだって数論(幾何)の研究者の人生をかけたギャグか何かですか。
712:１３２人目の素数さん
19/05/19 15:03:53.45 7ujl1V4u.net
むしろ逆
物理のようなもう掘りつくされた鉱山に魅力を感じる人はいない
713:１３２人目の素数さん
19/05/19 16:31:01.01 vcTuqXho.net
>>685
数理物理は数学じゃなくて応用数学じゃろ
類体論は非可換化、ラングランズは高次元化
まだまだやることが山ほどあるんじゃよ
714:１３２人目の素数さん
19/05/19 17:22:50.32 KHcXfR7Y.net
非可換類体論もラングランズも課題はたくさんあるのはわかってるが
そこまで勉強してたどり着いて何か新しいことができる院生が何人いるか
勉強したけどそこでおしまいという秀才もたくさん見たのでなんとも
数理物理のアイデアで何か数学やるというのもミラー対称性あたりから
たくさんあるがその方面で結果出してる人の数が多いわけじゃない
IUTがどうであれ勉強できてそこで新しい結果出せる人は少ないのでは
715:１３２人目の素数さん
19/05/19 17:55:45.42 Oxy/1Had.net
>>687
やる事と出来る事は違います。そもそも高次元、非可換化って幼児でも考えそうな事やって楽しいんでしょうか。この手の話題ってほぼほぼ縛りプレイでまず解決しませんよね。それが魅力というなら角川出版から本でも出されたらどうでしょう。
716:１３２人目の素数さん
19/05/19 17:59:04.68 9f4CB5aQ.net
それこそScholzeが局所ラングランズで活躍してんじゃん
近いうちにlocalな方は完全決着つくと思うよ
717:１３２人目の素数さん
19/05/19 18:08:13.03 00W2Kgvz.net
＞IUTがどうであれ勉強できてそこで新しい結果出せる人は少ないのでは
Go先生の次回作にご期待ください
718:１３２人目の素数さん
19/05/19 18:57:44.51 TocTEO+F.net
>>690
それじゃ、Scholzeの活躍と解決について研究して出版すればいいんじゃない。B先生と競争だな！
719:１３２人目の素数さん
19/05/19 19:31:29.18 ccjULybX.net
> 角川出版から本でも出されたらどうでしょう
角川バカにされすぎw
720:１３２人目の素数さん
19/05/19 19:42:54.39 KHcXfR7Y.net
今の時代は幻冬舎だな
721:１３２人目の素数さん
19/05/19 20:03:06.55 GdorOdBd.net
数学書は数学書専門の出版社から出すべき。普通の出版社では校正とか無理だろ。シュプリンガーからヘンな本が出ることもあるが。
722:１３２人目の素数さん
19/05/19 20:09:12.73 o2hoKFSD.net
>>685
加藤先生ですか？
723:１３２人目の素数さん
19/05/19 20:13:21.16 GdorOdBd.net
純粋数学で行き詰まった数学者がMathematical Physicsに行くことがある。40歳過ぎたグロたんとか。最近のKimも。
724:１３２人目の素数さん
19/05/19 20:13:30.13 kzzc3Qm0.net
それで思い出して調べたら加藤五郎先生去年引退してたのか
悲しいな
725:１３２人目の素数さん
19/05/19 20:32:54.71 ccjULybX.net
公文のCMなんかに出るという手もある
726:１３２人目の素数さん
19/05/19 20:51:35.35 9R+xMLMb.net
Bみたいにカルチャースクールで線形代数の講師をやるとか
727:１３２人目の素数さん
19/05/19 21:37:19.17 c3iKIw0I.net
>>685
数学者が物理で本当に求められてるのは、解析を踏まえたグローバルアナリシスからリーマン幾何学のような
新しい基盤を量子論に提供することなんだけど
トポロジーばっかだと思いませんか。悪いとは言わないしコンツェビッチくらいならそれも見事だが
大抵の数学者はどう見ても頓珍漢なやる気出してる感がある
728:１３２人目の素数さん
19/05/19 21:43:58.03 c3iKIw0I.net
現状としては
代数幾何学的なアプローチのラングランズ理論はともかく
代数幾何学直球ど真ん中からのゼータ関数論→ほとんど謎
セルバーグゼータ関数とリーマンゼータ関数の関連性→ほとんど謎
解析直球ど真ん中からのゼータ関数論、加法問題→ほとんど謎
解析に対する深い洞察からの量子数学→ほとんど謎
局所体や関数体のように統一的で効率的な大域、代数体の幾何学→ほとんど謎
729:１３２人目の素数さん
19/05/19 21:51:21.28 7KgINP0I.net
ミラクルシンカー投げてやるぜ
730:１３２人目の素数さん
19/05/19 22:04:34.92 iTLpdaGA.net
>>696
加藤先生は類体論至上主義だからそんなこと言わんでしょう
731:１３２人目の素数さん
19/05/19 22:04:45.62 bAL09For.net
>>702
謎多過ぎわろ
732:１３２人目の素数さん
19/05/19 22:12:52.85 FCbZiYvJ.net
>>692
M枝Iマイ辺りがいつか書くでしょ
733:１３２人目の素数さん
19/05/19 22:21:14.66 PVTsFDCo.net
ID:c3iKIw0I
謎の解析マンセー汁がほとばしっとる。
734:１３２人目の素数さん
19/05/19 22:30:50.15 c3iKIw0I.net
>>683
まあそうなんだけど、元々の一番狙いだったWeil予想ですら代数幾何学の頂点ではなく、その先=Hasse-Weilが
未だに曇りがかってるのは凄いわ。DAGよりダイレクトに数論に行くんじゃないかなと妄想してしまう
735:１３２人目の素数さん
19/05/19 22:34:23.07 M9XExga+.net
数学の現状は ハッタリだらけ
RHまであと10歩 by ゼータ
1/2の予兆が見えた by IUT
ABC予想はIUTの構築より論文が査読中ても
解決した by IUT
物理の一般相対論では、アインシュタイン
のアイデアは元々 大学時代 講義で聞いた
ガウスの曲面論です。
736:１３２人目の素数さん
19/05/19 22:53:41.87 KHcXfR7Y.net
まとめると今求められている数学は
高次元・非可換なIUT幾何の上の確率解析を使ったリーマン予想の解決だな
737:１３２人目の素数さん
19/05/19 22:57:16.84 PVTsFDCo.net
NS方程式の厳密解とか言い出す方がトポロジストよりアタマ悪そうなんだけどね。
738:１３２人目の素数さん
19/05/19 23:08:35.12 M9XExga+.net
>>710
なるほど、千里の道も一歩からだね。
逆方向でも 地球は丸いからw
739:１３２人目の素数さん
19/05/19 23:14:57.19 mZWQEqV2.net
ゴールが後ろにあったとか
740:１３２人目の素数さん
19/05/19 23:19:40.25 PVTsFDCo.net
最悪のケースがあるからこそランダムウォークは基本群の空間の情報ぜんぶ持ち合わせてるんだけどね。
741:１３２人目の素数さん
19/05/19 23:43:21.46 MNAZxpPY.net
IUTは現状では話にならないでしょう。宇宙際の宇宙際性（inter-universality）そのものが疑問に付されているのですから
圏論に望月流の「種の理論」を組み込んで、突然変異(mutation)で「同じだが微妙に異なる」、「微妙に異なるが同じ」という論理
そもそも前提となる宇宙際性（inter-universality）についての基礎理論を最終節で独立したように書く方がおかしい
SSも当然そのことを理解した上で説得力がないとして切り捨てていると思う
742:１３２人目の素数さん
19/05/19 23:56:17.64 MNAZxpPY.net
B本は久々に目が腐るような本だったけど（マスパワー動画の方がマシ）、ある意味でIUTコミュニティの現状を表している
対称性について小学生レベルの話を例を変えて3～4回も書きページを水増ししている一方で、Θリンクについては始めから
存在しているように書いている。Θリンクの形成過程が宇宙際幾何学が宇宙際（inter-universal）である最大の特徴であるにもかかわらず
要するに、IUT陣営が数学コミュニティに対して説明すべき本質的な部分を、Bも同じく説明していない
肝心かなめの部分を説明しようとしない（できない）。IUT理解者というのはこういう人達なんだなと
まあ、怪しげな論法だから望月本人以外の「理解者」は説明するのは怖いのだろうな
743:１３２人目の素数さん
19/05/20 00:21:32.51 +1WAc3a7.net
>>702
最後のはIUTがやっている（やろうとしている）ことですね。しかし正しいとしても不等式しか導き出せないのであまり使えない
下から2番目もIUTが今後の拡張として考えていることでしょうね。メタファー止まりですが
他は全部IUTとは関係ないですね
この程度でどうしてパラダイム・シフトなんて言葉を使えるのかと。どの面下げて、どの口で言えるのかと不思議に思う
744:１３２人目の素数さん
19/05/20 00:32:19.17 sdMM3BRu.net
>>710
確率解析とか聞くとなんやら気持ち悪いんだが
要はユニタリ表現や非可換調和解析のことやろ？
745:１３２人目の素数さん
19/05/20 13:17:26.46 fqRA3UOz.net
最近Gは名前すら上がらんけどどうしてんの？
取り巻きからすら外されてるのか？
746:１３２人目の素数さん
19/05/20
747:14:42:55.67 ID:JEqjk1Bj.net
748:１３２人目の素数さん
19/05/20 16:32:39.77 2r/mcfUO.net
>>719
生涯サーベイ書く服役中
749:１３２人目の素数さん
19/05/20 17:06:38.33 AGraftgm.net
>>720
具体的に何がどう未解決なのかあんたがわからんだけでしょ。補完できないからムカッときてる
例えば量子論の基礎について、物理で頻繁に使われるAと基本的と予想される概念Bの関連性がわかっていないけど
埋められないでしょ
文句ばかり言ってるけど、「他人を貶すより自分のレス」をしたらって散々書いてるのに一向に書かないねw
自分は何も書かないのに貶して賢い競争をしたがってる人間は頭悪くないのかね？
恥を晒しても物を言うだけ、まだBのがマシだよ
750:１３２人目の素数さん
19/05/20 17:13:46.41 AGraftgm.net
例えばフロベニウス持ち上げの微分に対応する計算がIUTTではどう表現されているのか？
何故絶対遠アーベル幾何学には「絶対」が付いているのか？
702の未解決問題間の内容は関連性は何か？
賢いならそういう話を自分なりにレスしたら良いのに、何故か他人のレスを貶してマウンティングっていうね
怒りとかではなくて残念としか言いようがないね
751:１３２人目の素数さん
19/05/20 18:52:01.85 7CHWLthj.net
>>720
最初はペル型の志村多様体の話と思うんですが「ともかく」で済まされムカつきました。
私が物理、数理物理を全くフォローしてないのであなたの例え話も正直全くわかりません。
概念Bとはなんですか。GとMもあるんでしょうか。勉強してきます。
752:１３２人目の素数さん
19/05/20 20:01:29.27 GjKzfPJG.net
>>723
で、君はどうしてやらないの？
753:１３２人目の素数さん
19/05/20 21:51:23.11 XjJ37d/K.net
ほとんど謎の解析マンセー厨房に過剰反応しすぎじゃねーの？
754:１３２人目の素数さん
19/05/20 23:04:45.73 J77e15l1.net
>>725
やらないのって踏み込まないのって意味？そこまでは語る必要ないし、ごく一般的な話をすべきでしょ
解析マンセーも何も、代数幾何じゃ通用しそうにない基本問題が実際あるんだから仕方ない
数論でもそういう問題はあるが、物理の基礎に解析がいらなくなる見通しでもあるのか？w
755:１３２人目の素数さん
19/05/20 23:31:22.60 XjJ37d/K.net
実際現実の空間が離散的だったら解析は大ウソな近似手法になっちゃうからねえ。
PDEくんもきっと信者う。
756:１３２人目の素数さん
19/05/20 23:40:16.44 J77e15l1.net
おまけに、素朴に考えるとラングランズの意味も未だにはっきりしていないだろ。誰にもわからんはずだ
ドリーニュ、佐藤ー久賀のヴェイユ予想とラマヌジャン予想の一本釣りみたいに全て収まれば楽でいいけどな
解析のほうが優位とかではなくて、色々全体像がわからないのだから軽視しようがないという事だな
757:１３２人目の素数さん
19/05/20 23:46:35.13 +1WAc3a7.net
ちょっとIUTに寄り添って考えてみると、なぜノイキルヒ・内田ではなく単遠アーベルなのかということなんですね
望月の言葉でいえば、なぜ双遠アーベルではなく単遠アーベルによる復元が必要なのかということ
これは関数体ならノイキルヒ・内田のような双遠アーベルでもいいが、数体なら単遠アーベル的復元が必要ってこと
で、結果としてどういうものが構成されるかというと、同じ宇宙（人形でもいい）が幾つも並列に作られるのではなく、
ほとんど同じだが微妙に異なる入れ子式の宇宙（マトリューシカ人形）が作られるということ
758:１３２人目の素数さん
19/05/20 23:55:08.06 +1WAc3a7.net
>>702氏の「ほとんど謎」にこだわる人がいるようだけど、これって普通にやってることだよ
こんなことできたらいいな、こんなことを考えてみたいな、というのがあるけど実際取り組んでみると、
恐ろしく難しい、ツールが足りないということになる
B本は本当にゴミみたいな本だけど、パズルの例えは悪くはなかったと思う
完成図を知った上でパズルを組み立てるのか、完成図を知らず多数のピースしかない状態で組み立てるのかという話
759:１３２人目の素数さん
19/05/21 00:04:28.30 e1VwFiPk.net
iutは横に置いておいて、単遠アーベル（taag）の研究自体に的を絞っても
スター先生しかフォロワーいないのか
760:１３２人目の素数さん
19/05/21 00:26:03.99 mtULy2M4.net
Gがサーベイが更新されていて見てきたけど、相変わらず理解者たちは他者に対して説明する努力をするつもりはないようだ
IUTコミュニティというより、IUTコミュ障、IUT型コミュニケーション不全症候群という感じだね
Gのサーベイ最新版p.64より
-----------------
(If we use the language of species and mutations(cf. [IUTchIV,x3]), then we can rigorously formulate mono-anabelian statements
without mentioning the contents of algorithms).
-----------------
同上p.251より
-----------------
In this sur-vey, we avoid the rigorous formulation of the language of species and mutations (cf.[IUTchIV,x3]),
-----------------
“mutation”という語はこの2箇所しかないが、厳密な定式化ができているつもりならそこから単遠アーベルの効用を説明すればよいだろうに
そうすれば保守本流の数論幾何学者に無視されても他の分野から注目されるはずなのにね
彼らは数理論理学の話に持ち込みたいのではなく、むしろ逆でそれに触れられたくないのだろう
761:１３２人目の素数さん
19/05/21 00:50:37.33 65ILvwhZ.net
森田真生と並び称される加藤文元、その嫁（再履）のホルホル画像をご覧ください
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
762:１３２人目の素数さん
19/05/21 00:57:43.41 26MvR/HP.net
Science History: Einstein’s mathematician
Emmy Noether overcame sexism and antisemitism to become a towering mathematician – and Einstein’s friend. Jeff Glorfeld reports.
URLﾘﾝｸ(cosmosmagazine.com)
763:１３２人目の素数さん
19/05/21 01:02:48.43 w4uEzqQt.net
解析もこれから偏微分方程式から偏差分方程式の時代
確率差分方程式で差分ランダムウォークをp進解析すれば数論に使える
764:１３２人目の素数さん
19/05/21 02:18:17.85 26MvR/HP.net
スピーシーズとかミューテーションとか数論的ダーウィン主義みたいな。
765:１３２人目の素数さん
19/05/21 09:46:09.13 tRNt5PHR.net
>>728
近似はウソではない。緻密な近似はよく使える
君は時代遅れな観念に囚われた中世の人間と類似のメンタリティを持つ人物だ
766:１３２人目の素数さん
19/05/21 09:49:05.56 uuTuUCFn.net
>解析もこれから偏微分方程式から
偏差分方程式の時代
差分は 毎日 天気予報で世話になっているのにね
はあ～
767:１３２人目の素数さん
19/05/21 10:37:21.10 jeiYkSps.net
>>738 或る種の「剛性」がないと意味のあるエラー訂正なんてできないし中世にビザンチン将軍も勤まらないよねえ。
769:１３２人目の素数さん
19/05/21 11:25:50.05 uuTuUCFn.net
ネーターの定理は ラグランジアンが無限小
連続変換で 対称性がある時 オイラーラグランジュ方程式に保存則がある。
時間並進対称性(時間の一様性)からエネルギー
保存則 が導かれる、、。
770:１３２人目の素数さん
19/05/21 16:33:21.18 e+7N+LWR.net
>>741
君は望月がHA理論において「ラグランジアンのガロア理論版」を論じていると知ったらどう思うのかね？
ラグランジアンにガウス積分にリーマン面
どっかで聞いたことのある組合せだな
771:１３２人目の素数さん
19/05/21 16:45:19.02 Regytzty.net
>>742
ものは言い様だね
772:１３２人目の素数さん
19/05/21 17:57:58.67 e+7N+LWR.net
>>734
色々凄いね。気○い発言が散見される
773:１３２人目の素数さん
19/05/21 18:20:35.66 pcyhy5LJ.net
てかこれ、一般大衆にこんなに拡散して、あとさき考えなくても大丈夫なのか？
774:１３２人目の素数さん
19/05/21 19:00:18.39 EorkxTbA.net
【末路は悲惨】ポスドク問題と給料
URLﾘﾝｸ(iirou.com)
ポスドクはつらいよ 結婚式で親族ドン引き「え…無職なの？」
URLﾘﾝｸ(withnews.jp)
775:１３２人目の素数さん
19/05/21 19:30:09.55 e+7N+LWR.net
Gは>>733でblurring丸出しだしBの○はいい年して痛いしMは上から目線凄いし
浄化してくれるものが欲しいな
だが他方で、2000年頃の望月の文書見ているとまあ確かに天才的だなとは思う。ミステリー小説みたいな論文だ
776:１３２人目の素数さん
19/05/21 19:54:53.06 hpHogNwW.net
物理にはアイデアがいっぱいあるが、
そのままでは 数学にならないね。
多様体上の超対称性量子力学から
指数定理もそう
(物理の話だが 時間結晶の実験は面白い、
時間並進対称性の「自発的」破れ 、、)。
777:１３２人目の素数さん
19/05/21 20:01:47.21 mtULy2M4.net
>>747 以前リンクを貼り付けた「数論的log schemeの圏論的表示～」と同じく↓も面白いですよ
[13] Inter-universal Hodge-Arakelov Theory (京都大学数理解析研究所 2005年12月).
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(RIMS%20Kyoto%202005-12).pdf
（直リンできない場合は「出張・講演」を覗いて下さい）
“consider species, mutation”とか、“consider loops of mutations ("simulate a∈a")”とか書いてありますね
778:１３２人目の素数さん
19/05/21 20:25:54.21 mtULy2M4.net
IUT発表直後、エレンバーグのブログでタオが「ABC予想証明に関する限り最終節の内容はred herring（おとり、偽装）で、
最終節は今後の宇宙際幾何学の拡張に関連しているのではないか？」と書いていて、ほとんどの数学者もそう考えていたと思う
（ちなみにこのブログでロバーツは「Mは圏論に精通していないのではないか」と書いている）
しかし、red herringどころか「種の言語」や「突然変異」が同義反復的解決のための糸口であり、単遠アーベル輸送でおこる現象であり、
IUTの本質的部分だったということだね。そもそもInter-Universalという名称を採用した根本的な理由
779:は最終節の内容にある ABC予想に関心を持つ若い研究者たちはIUTをred herringと捉え、叩き台として利用すればいいと思う
780:１３２人目の素数さん
19/05/21 20:36:44.26 5jq5tMh/.net
あくまで噂だが、デュプ○がまた京都に来てるらしい。
781:１３２人目の素数さん
19/05/21 22:52:49.92 5/kbo+Er.net
ポスドクもドン引き、IUTもドン引き
782:１３２人目の素数さん
19/05/21 22:56:51.35 51jC2gzD.net
2019-01-30
大学院卒の半数以上が非正規！？ 悲惨な結果が判明！ 東大調べ
URLﾘﾝｸ(gakkou-nayami.hatenadiary.com)
大学院(博士課程)の悲惨な待遇は生活保護や刑務所の懲役刑未満という話
URLﾘﾝｸ(hajime77.com)
4割が借金300万円超え…大学院に進んだら一生ビンボー暮らしです
就職率は3割以下
URLﾘﾝｸ(gendai.ismedia.jp)
783:１３２人目の素数さん
19/05/21 22:58:26.07 jVs+PyoT.net
>733 結局(自称)理解者たちは肝心要の部分を詰めきれておらず、ssの指摘がごもっともっていうのがオチなんだろうな。
784:１３２人目の素数さん
19/05/21 23:05:44.42 ZGgLRO3h.net
今DupuyはRIMSに滞在してるでしょ
785:１３２人目の素数さん
19/05/21 23:29:27.20 26MvR/HP.net
Dupuyはイスラエル人か？
もっちーも母上はユダヤ系だっけ？
786:１３２人目の素数さん
19/05/21 23:45:29.86 yxvW2n5Y.net
>>750
凄い皮肉ですねw
まあ可読性が低いのは間違いないですよ。高度だとか準備理論の精通だとか読み手が馬鹿だとか
色々言われるけど、それだけじゃない
動機付けとしては一言で言えて、微分を一般化するという事です。それが理由でBuiumの弟子が興味を持った
微分を数論的に一般化すると共にフロベニウス持ち上げの一般化を議論する必要があるが、これらは実は
線形構造に基づいて定式化できないので、数論的な群構造で理論を構築する事にしたというのがHA理論から
IUTTまでの一貫した流れです
Frobenioidの動機はそういう微分の装置というわけです。最終的に加群を使っていますが、全体としては
微分を一般化し非線形な計算を行いたかったわけです
ここまでの動機の話では特に文句の付けようがないのですが、問題はその出力ですね
或いは数論的な微分の一般化はまさに変形に対応して、整数環で変形を計算するには環構造そのものは
確かに使えないのです。複素構造とは違い環自体の変形は環より抽象的な構造でしか記述できませんからね
では果たして、そのような目的をシンプルに達成するには何が必要なのか？
個人的には、ここで「何としても答えを出したかった」結果、押し切ってしまったのではないかなと思います
今世紀の数論幾何を占う根本問題ですから、そういう誘惑はあるでしょう
勿論この評が間違っている可能性は否定しませんが、そういう印象ですね
ある意味でホモロジー代数を非線形に一般化するための苦肉の策があのリンクによる格子なのです
787:１３２人目の素数さん
19/05/21 23:46:41.89 yxvW2n5Y.net
長くてすいませんw
ぼんやり打ってたら悲惨な文章になった
788:１３２人目の素数さん
19/05/22 00:03:05.89 +mexIE0Y.net
こんだけ修士だの博士だの行ったら悲惨になるよって言われまくっているのに
まんまと行って案の定討ち死んでいる奴って、自業自得と言わずしてなんなのか
789:１３２人目の素数さん
19/05/22 00:08:09.55 IIX1BbyC.net
B本売れてるのか
まともな数学書は誰も求めてないのか
世も
790:末だな
791:１３２人目の素数さん
19/05/22 00:15:09.21 vfA14a+U.net
>>757-758
いやいや、非常に明快な文章ですよ。一般的な話でよいと仰りつつ見事な要約です
フロベニオイドやエタール・テータ関数については受け入れられていますね
あと、デュピュイの件ですが彼はブイウムの教え子であると同時にポスドク時代はフルショフスキーの下にいたそうです
本人も遠アーベルとモデル理論を研究しているとHPに書いていますね。IUTの全てに関心を持っているようです
また、Mがブイウムやフルショフスキーの仕事を意識しているのは間違いないですね
＞個人的には、ここで「何としても答えを出したかった」結果、押し切ってしまったのではないかなと思います
同感ですね。フロベニオイドも一種の圏であるので圏同値を示すためクンマー理論を使う一方、数体を扱っているので
単遠アーベルを用いることになった。問題はここで生じているんですよね。ここで忘却関手やガロアの逆問題を
恣意的に利用しているように思われます。その説明（言い訳）として出てくるのがlanguage of speciesやmutationという・・・
792:１３２人目の素数さん
19/05/22 00:27:27.36 vfA14a+U.net
対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています
やはりディオファントス幾何でもABC予想に特化した理論ですよ。いや理論というより解法ですね
ABC予想証明は応用例にすぎず、IUTそのものが革新的だという言説は以ての外です
IAS研究員などはMのIUT論文にはABC予想証明について希望はないし、
IUTそのものも画期的なものではないと言い切っているぐらいです
793:１３２人目の素数さん
19/05/22 00:50:04.05 YIZfO5ND.net
>>762
＞対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています
どういうことか詳しく教えてくれませんか？
794:１３２人目の素数さん
19/05/22 01:30:59.13 vfA14a+U.net
>>763
かなり込み入った論法なので分かり易いところでは星の入門１のp.32～38を読んで見て下さい
対数リンクでも不定性が生じます。これがInd3（クンマー離脱不定性）です。ΘリンクのInd1と同じですね
ただ、対数テータ格子の非可換性については望月の主張と若干異なる記述がみられるので注意が必要です
とにかくややこしいことをやっているので、IUTに関心のある人には星の入門１は必読でしょうね
B本は肝心な所を完全に無視しており、あれではIUTの本当の面白さ（正否は別として）は分かりません
795:１３２人目の素数さん
19/05/22 01:45:12.38 vfA14a+U.net
失礼しました。IUTの略語ではInd1はエタール輸送不定性、Ind2とInd3はクンマー離脱不定性です
796:１３２人目の素数さん
19/05/22 05:00:10.03 k2RNA5fS.net
>>764
ざっと読みましたが、対数リンクの定義自体はシンプルですよね。
対数リンクというのは素点縞間の同型のこと。
対数リンクを複数回取ることで素点縞間の同型の無限列が得られるが、それによって生じる対数殻たちに関するlog-Kummer対応を考える。
そして、このlog-Kummer対応が上半両立性を満たすことしか確認することができないという事実によって考慮しなければならない不定性(Ind3)が生じると。
最終的には、テータ関数の特殊値により定義される数論的直線束の不定性(Ind1), (Ind2), (Ind3)による軌道の和集合の正則包の体積により楕円曲線のqパラメータにより定義される数論的直線束の次数が評価され、所望の不等式が得られる。
以上が私の大雑把な理解です。
対数リンクの構築(？)に無理があるとのことでしたが、どこに無理があるのかは私には読み取れませんでした。
どこに無理があるのでしょうか？
797:１３２人目の素数さん
19/05/22 09:00:44.29 tP4NKFNb.net
>>760
あの日は売れたよ
大雑把な理解や不正確な記述は数学ではないね
798:１３２人目の素数さん
19/05/22 09:13:41.47 9cIEAmIH.net
>>760
数学書が売れるわけが無い。これはいつの世だろう�
799:ﾆ透徹した事実だ 啓蒙書だから売れたんだよ。これもいつの世だろうと同じだ 世も末なのでは無く、必然の結果だ 世も末とかトンチンカンなことを言ってるおまえのほうがズレていることを知れ
800:１３２人目の素数さん
19/05/22 09:25:05.72 tP4NKFNb.net
宣伝本や洗脳本やスキャンダラス本は
啓蒙書とはいわない
801:１３２人目の素数さん
19/05/22 10:33:54.42 ELL6lWjy.net
言わないよな。2019年における人口の過半数がどうかは知らないけど。言って欲しくないな。
802:１３２人目の素数さん
19/05/22 11:00:18.10 b3q4bjnt.net
数論の本なら、
「モーデル-ファルティングスの定理」を
勧める。
「初等的」な証明に感動したもんね～
803:１３２人目の素数さん
19/05/22 13:43:55.50 IlbqDNo9.net
証明なんか証明土方の仕事だからどうでもいいが
そういう意味では望月も土方職人と言えなくもない
もっとも、証明が正しければの話ではあるのだが
804:１３２人目の素数さん
19/05/22 14:20:58.76 vfA14a+U.net
>>766
ああ、「無理をして」という私の書き方がまずかったですね。ギャップがあると言いたいわけではないです
むしろ工夫している。しかし、その代償として不等式しか出ないし、不定性も生じるということが言いたかったのです
805:１３２人目の素数さん
19/05/22 16:36:53.05 Gyu+1HpL.net
明治敵な低数なんぞちゃんちゃらおかしいわけね
806:１３２人目の素数さん
19/05/22 17:04:22.45 9OIINzUU.net
>>773
そういうことでしたか。
不等式しか出ないというのは
log-Kummer対応における対数殻間のKummer同型が対数写像との「両立性」を満たさないが「上半両立性」だけを満たすことにより
対数殻の次数(より一般には数論的直線束の次数)についての「等式」ではなく「不等式」が得られる仕組みとなっている
ということですよね。
個人的には不等式や不定性が生じるよう「工夫している」というより
「自然とそのような仕組みになっている」という印象を受けたのですが
ID:vfA14a+Uさんはどのあたりがどう工夫されていると思ったのですか？
807:１３２人目の素数さん
19/05/22 17:32:33.60 b3q4bjnt.net
横だが、
予想の結論が不等式だから
なんとか工夫して不等式をだしているとか、
808:１３２人目の素数さん
19/05/22 17:57:59.69 nrcI0A9U.net
じゃあ等式で出せるだろ
809:１３２人目の素数さん
19/05/22 18:00:45.51 tP4NKFNb.net
結論は不等式だからw
810:１３２人目の素数さん
19/05/22 18:02:21.74 gbBK7WS5.net
結局擁護派は大タコ揃い
811:１３２人目の素数さん
19/05/22 18:05:26.76 vfA14a+U.net
>>775
対数テータ格子を構成するためにΘリンクと両立するように工夫しているという意味ですよ。あと、
＞不等式や不定性が生じるよう「工夫している」
とは私も思っていません。所望の不等式は得られるけれども
結局は不等式しか得られないし、不定性が生じるということを私は強調しているだけです
とは言っても、そういった不定性を逆手にとって再初期化したりスウィッチング特性を利用することがIUTらしさだと思っています
まあ、対数リンクだけ取り出してを問題にしている人はいないと思いますけどね
812:１３２人目の素数さん
19/05/22 18:17:29.26 tP4NKFNb.net
SSレポートを始めから読む。
813:１３２人目の素数さん
19/05/22 18:50:26.13 9OIINzUU.net
>>780
なるほど、ご回答ありがとうございます。
＞対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています
＞やはりディオファントス幾何でもABC予想に特化した理論ですよ。いや理論というより解法ですね
の部分がどういう意味なのか気になって思わず質問してしまいました。
失礼しました。
814:１３２人目の素数さん
19/05/22 19:13:30.58 HRHdEclP.net
scholze at math.uni-bonn.de
conrad at math.stanford.edu
815:１３２人目の素数さん
19/05/22 21:17:33.84 bsWMXhXz.net
第四論文の基礎については、入れ子ループ構造についての話は当初は全くピンとこなかった
但し、「集合にはループ包含が成立しないがスケールのレベルを上げるとまた変わってくる」と言ってるけど、
これについては後に理解はできた
coricity（canonical splitting）←→ラベルの哲学という意味で決して言葉遊びではないと思うけど、
模索しなが�
816:迴曹｢てる感は否めないね それについて反論レポートにかなり本質が出ているけど、多様体や帰納的極限を例にしたラベルの弁護は 一見説得力があるんだけど、本当にIUTでの論証と同じような話と考えて良いのかどうかという問題もある
817:１３２人目の素数さん
19/05/23 00:55:45.60 /6/82kk4.net
IUT・Ⅳ最終節は、極論すれば「単遠アーベル的復元の論理学」、「“mysterious indeterminate isomorphism”の解明」、
「充満多重同型のトリセツ（取扱説明書）」のようなものだと思う
あくまで個人的な見解だけど、タオがかつて書いていたように「最終節はIUTのABC予想証明とあまり関係ない」と捉えるならば、
SSレポートのように「充満多重同型やラベルの使用は論理的に不必要・無意味」という主張、つまり単遠アーベル的復元は必要ない、
という主張をすんなり受け入れられると思う。それだけIUTの本質的部分が詰まっていると考えている
この辺のことはBもGもよく分かっていると思う、特にBは名前も出てくるし（拝聴している光景が目に浮かぶ）
私はどっちの味方しているのだろうね（笑）。現段階では「従えない」という考えなんだけど・・・
“taste/aesthetics”という語をあえて使えば、私もこういうのはあまり好きではない
818:１３２人目の素数さん
19/05/23 01:06:46.07 /6/82kk4.net
SSが行った「単純化」の意味を考えてみると、それは「充満多重同型やラベルの使用は論理的に不必要・無意味」という主張から来ているものであり、
当然これらの使用を認めれば単純化などできるはずがない。つまりSSレポートの脚注8にSSの主張の全てがあると言っても過言ではない
819:１３２人目の素数さん
19/05/23 01:11:15.73 wM1VXdR+.net
もうSSの話はいい。
もっちー先生が言うところの、「出鱈目な内容の残念な雑音」なんかどうでもいい。いつまで引っ張るんだ。
820:１３２人目の素数さん
19/05/23 01:20:35.95 UWapKZXD.net
パラダイム シフトとは
新地動説
「京都の私のまわりに世界が回る」
821:１３２人目の素数さん
19/05/23 01:31:35.74 qsJ1uarA.net
787がいつまで引っ張ってんだ
終わりなんだよ
822:１３２人目の素数さん
19/05/23 01:37:51.80 /6/82kk4.net
まあ、私の考えでは、IUTは正しいと考えている人たちこそ最終節の内容を精査すべきだということです
電波ブログや怪しげな宗教勧誘パンフレット以下の駄本で満足している騙されやすい人たちには関係ないことですが
823:１３２人目の素数さん
19/05/23 02:46:20.97 M01VN93I.net
ふざけんなっ
B本はjinさんがあれだけtwitterで褒めているんだからいい本に決まってるだろ！
824:１３２人目の素数さん
19/05/23 02:52:42.96 4oqUdbQM.net
大体今頃強弁してるのって石川の精神疾患とかドカタとかＢの嫁ぐらいだろ
アメリカのドメインからは直接見れないってだけでProxy使えば簡単にアメリカからでも見れるよ
てか、世界中で反論情報共有されちゃったのに対抗できるの？
強弁してると地獄見るんじゃない？
825:１３２人目の素数さん
19/05/23 03:24:10.73 zYILyzTE.net
03-3953-8555特別区人事・厚生事務組合更生施設けやき荘東京都 新宿区西落合１－１８－１８ 更生施設けやき荘
柳沢という「ひどく醜い女」が所長をやっている「犯罪施設 けやき荘」
佐藤という女の職員も大変、悪質な人物。
精神疾患で生活保護受給者を入所させて、入所者同士の虐めを放置。
同室で、入所のさいしおりにきちんと明記してある「室内で携帯の利用禁止」を破られていても「仲良しだから」と黙っていて、「
826:咳がうるさい」という「何々さんは嫌いだから」 という虐めの論理に基づく幼稚な言動は放置。 一方の入所者が一人の入所者に「ここが嫌だ」というのを職員に告げると誰が告げたかトラブル回避のために教えず。 トラブル回避は結構だが場合によっては「気に入らない」という個人的感情からくる訴えでも「感情的理由からくる訴えか否か」ジャッジせず。 そういう、いわば「虐め」(こういう類の虐めのみならず「無視」という典型的虐めも含め)放置と容認。 それで入所者が家を失っている(失っているから居るのだが)どういう立場の人間であれ｢精神的に辛い」状況下。 怒ったのを「暴れた」と表現(立派な虐めが行われた結果｢感情的になったら即警察、精神疾患の人は、｢虐めを受けたから、つい一瞬 カッとなって声を荒げてしまった、と謝罪しても済まない、精神科医が赴いて(警察に)理由も聞かず、適当な診察、まして数分の診察で分かるというのが、不可解)「壁を叩いた」 等話を盛って書類に虚偽の記載をしても、世間の｢働いている人間はまとも、まともな人間は嘘をつかない」という偏見と思い込みに基づいた無茶がまかり通る。 書類に、盛った記載をし、警察を呼んだ事実を後に正当化。 呼ばれた戸塚警察は「ルール違反」を怒号で解決しようとするも、マニュアル対応で精神科医を呼ぶ。
827:１３２人目の素数さん
19/05/23 03:24:34.45 zYILyzTE.net
そして、「ルール違反が原因ではなく、虐めを受けそれの結果、感情的になったら警察を呼ばれたという事実を警察が理解しておらず｢ルール違反」に関してそれこそ｢感情的な怒号を浴びせる」そして、精神科医の指示で入院。
結果的に自室がないというホームレス状態だから、入院先で住居探しをし、希望する物件に入居できず。
｢入院前」は、言いたい事が理解できて(ゆえに、ルール違反に関して怒鳴り散らすという言動に至る)←は戸塚警察の言動である。
「入院前」は「ルール違反について怒鳴る」つまり｢言いたい事は理解していた」
入院前は｢言っている事を理解」し治療を行った後の「入院後」は「言いたい事がわからなくなる」(戸塚警察がである)
精神疾患＝統合失調症という偏見。統合失調症の症状も様々である筈だが｢言動意味不明」にすれば「きちんと話を聞かなくって済む」という様子。又、｢精神疾者に対するあからさまな侮蔑や侮辱」も戸塚警察では当たり前の様子。
更に｢外出するな」等の暴言も見られた。
又｢他人の事などどうでもいい」｢事前に入院が決定していたのでは」「これからある精神科の精神科医を呼ぶ」(脅しだったようで来ず、｢精神科医」を医療従事者ではなく「怖がらせる道具」と思っているところに｢警察の精神科医観」が現れている)
けやき荘の側は、｢弁護士を」等後に電話で言いつつ、弁護士話の途中で電話を切り、電話自体を業務妨害であると言う。
虐めに遭った被害者の側が耐えられなくなるところまで精神的に追い込む。
第三者委員会とうも「設置してあるだけ」のようで、事実上何もせず。
この事実を理解した上で「足元を見てくる」
828:１３２人目の素数さん
19/05/23 03:24:53.64 zYILyzTE.net
追い込まれた結果、怒りの感情(虐めまで起こっていてけやき荘は、自宅退去者が入所する施設だからホームレス状況で普通の人でも不安な状況下で更に虐め)
を容認＆擁護＆推進。
被害者側が耐えられなく感情的になったら(そこまでけやき荘の側で追い込む)
精神疾患者は、警察沙汰になれば内容がなんであれ精神科医を呼ばれる＆生活保護受給者だから社会的地位が低い事につけこむ。
警察(管轄内の戸塚警察では、施設内のルールも知らないのに、ルール違反と決め付け怒号)
呼ばれた精神科医も休日だから無能な人間が来る。
その結果、精神科に収容されて、自宅退去の身だから引越しのさい、難儀するのを承知で社会的弱者を追い込む。
やっと引越しが出来ても入院中という劣悪な状況下だから、希望する物件に入居できず。
その旨に関して問い合わせたら、それを警察に業務妨害と訴える。
大変、悪質な施設。
829:１３２人目の素数さん
19/05/23 03:34:11.11 4oqUdbQM.net
大体今頃になって強弁してるのって石川の精神疾患とかドカタとかＢの嫁ぐらいだろ
出版担当とかもいるか
アメリカのドメインからは直接見れないってだけでProxy使えば簡単にアメリカからでも見れるよ
てか、世界中で反論情報共有されちゃったのに対抗できるの？
強弁してると地獄見るんじゃない？
否定派が正しければ訴訟起こされても不思議はないぐらい
830:１３２人目の素数さん
19/05/23 06:21:39.26 Rmmxmw6+.net
充満多重同型の具体例がよく分からんのだ
831:１３２人目の素数さん
19/05/23 06:48:07.47 cudtBCo2.net
Goサーベイの11ページより引用
Let C be a category.
We define a poly-morphism A → B for A,B ∈ Ob(C)
to be a (possibly empty) set of morphisms A → B in C.
A poly-morphism for which each constituent morphism is an isomorphism
will be called a poly-isomorphism.
If A = B, a poly-isomorphism A →B will be called a poly-automorphism.
We define the full poly-isomorphism A →B to be the set of all isomorphisms A →B.
832:１３２人目の素数さん
19/05/23 10:55:52.37 q2FLePRq.net
>>785
確かに絶対遠アーベル幾何、つまり基礎体を仮定しないという設定+実化はそこではかなり決定的なものです
ただスキームの宇宙の無限列というとはっきり言ってロジシャンも数学者も意外とよくわからないと思いますね
なのにそれについてのアクセスしやすいより初等的な解説がないのはかなり奇妙です
確かに望月氏が言うように、もう少し単純に考えて、絶対遠アーベル幾何の設定で様々な宇宙X_1～X_n
について考える、と言えばできそうに見える話ではあります。スキームXとYで関手を考える、というのは
普通にやっていることですからね
833:１３２人目の素数さん
19/05/23 11:30:32.59 q2FLePRq.net
少なくとも構成的直観に訴える書き方ができていないのはコミュニティの反応から明らかだし
Bombieriを含めて整数で変形理論の類似ができればなあ、なんてぼやいてる数論研究者は何人もいる
だがHA理論すらそうした研究者にもさして注目されてこなかった
一般的なフレームワークだけ聞いたらできそうであっても、本当にできているのかどうかは全く別の話だ
834:１３２人目の素数さん
19/05/23 20:00:50.41 qss9/5RD.net
代数解析のアイデアを中高生の問題から
明解に具体例で説明している。
日本より海外での評価が高い。
URLﾘﾝｸ(m.youtube.com)
835:１３２人目の素数さん
19/05/23 20:35:27.78 pgv8RdjE.net
×日本より海外での評価が高い
○日本でも海外でも評価が高い
だろ
836:１３２人目の素数さん
19/05/23 20:45:20.88 iEmEh8MV.net
何の進展もないし何の結果も出せないのはどうしてなの？
837:１３２人目の素数さん
19/05/23 21:58:49.87 Vj8iNyHx.net
間違ってるから
838:１３２人目の素数さん
19/05/23 22:42:35.79 /6/82kk4.net
>>797氏へ
>>798（私ではありません）だけ見たら普通に同型にしか見えませんよね。星の入門１でも同じ説明になっています
実際は、「体に関しては非同型、副有限群に関しては同型」というものです。これは単遠アーベル的復元による同型です
つまり、ノイキルヒ・内田のように2つの対象を比較して復元を論じているのではなく、単独の対象の絶対ガロア群から出発して
復元を論じるということです。ガロアの逆問題も絡んでいてどの�
839:謔､な体なのかも分からないのです さらに忘却関手を強調しており(forgetting the “histories of operations”)、再初期化できるミステリアスな同型です この“mysterious indeterminate isomorphism”がIUTにおいて中心的な役割を担っています ちなみに、SSは情け容赦なくこの同型を「不必要・無意味」として切って捨てました（MとHがSSを納得させられなかった）
840:１３２人目の素数さん
19/05/23 22:49:06.35 /6/82kk4.net
書き忘れてました
忘却関手(forgetting the “histories of operations”)を強調しているだけでなく、
単遠アーベル的復元によって生じる2つの不定性（クンマー離脱不定性、エタール輸送不定性）も生じているので、
充満多重同型は“mysterious indeterminate isomorphism”（エイリアン・コピー論文より）なのです
841:１３２人目の素数さん
19/05/23 23:13:54.01 /6/82kk4.net
>>799
実際、IUTを完成させるまでの着想をそのまま書いたという感じですね。で、突っ込まれたらこれで説明しようという感じです
現状のIUTに対する評価を考えると、これを整備して理解してもらうことから始めた方がいいのかなという感じです
アブストラクト読む限りでは手伝ってくれそうな数理論理学者もいるようなので上手くいけばいいですね・・・
842:１３２人目の素数さん
19/05/23 23:27:49.52 /6/82kk4.net
失礼しました
アブストラクトではなくAcknowledgementsでした
843:１３２人目の素数さん
19/05/23 23:59:12.71 4K7ltZ3j.net
>>798 はワシです。
望月氏の造語癖は一体なんなんですかね。
望月語を標準用語に置き換えれば、
IUT論文はもっと読み易くなるはずです。
844:１３２人目の素数さん
19/05/24 02:11:24.54 IO8EX7ar.net
「突発性バカ」になる高学歴出身者の共通点
URLﾘﾝｸ(headlines.yahoo.co.jp)
845:１３２人目の素数さん
19/05/24 02:45:43.26 8IGKuOiQ.net
加藤文元のIUTの衝撃とやらを読んだ
なぜか栗原将人の「ガウスの数論世界をゆく」を思い出した
そこには
「私はこの本を片手間には書きませんでした。研究論文を書くときと同じように数学する魂をこめたつもりです。数学の発見のおもしろさを伝えるためには、数学の魂がこもっていなければならないと思ったからです」
とかいてある。
著者の感動した数学が高校生にも分かるように丁寧に説明してある。
珠玉の数学入門書である
翻ってブンゲン本はどうか
焼肉がすきとか数学にしても数学業界のプロならあたり前の常識的なことが粗雑に書いてあり著者がIUTを理解しようとした形跡すらない 当人のこの本に対するスタンスはおそらく
「私はこの本を片手間に書きました。私の研究論文を書くときと同じように数学する魂がこもってないです。売れる本を書いて人気者になるには、知り合いをつかって話題性を利用しない手はないと思ったからです」
というところであろう
望月新一のとりまきに低レベルが多いことに同情する
846:１３２人目の素数さん
19/05/24 03:06:50.78 ZfCfbz1w.net
ミステリアスなIUTは圏論用語を使うも、
テンソル代数などの普遍性を特徴とする
普通の圏論理論に基かない、基づけない
んだね。
ま、中世で アリストテレスを巡る普遍論争
の論理以下だわ。
「数理」論理を使って普通の論理が
でてきたら錬金術としか思えない、
847:１３２人目の素数さん
19/05/24 07:19:08.81 736jaDlo.net
>>812
衒学趣味要らない
848:１３２人目の素数さん
19/05/24 07:40:12.77 gQjHvPFD.net
san値ピンチmochiピンチ！
849:１３２人目の素数さん
19/05/24 08:14:54.26 OTH5Nu2I.net
>>813
IUTは不要だな
850:１３２人目の素数さん
19/05/24 11:48:07.26 CyavMT2t.net
>>798
単なる全ての同型の集合を充満多重同型とか仰々しい言い方をしてるの、これ？
851:１３２人目の素数さん
19/05/24 11:59:40.97 cxqFnmjM.net
>>816
Yes
852:１３２人目の素数さん
19/05/24 12:04:30.67 cxqFnmjM.net
分脈によってはただの同型を「輸送」や「リンク」などと読んでおり
キモいとしか言いようがないという・・・
853:１３２人目の素数さん
19/05/24 13:27:55.01 cdkWT2mw.net
>>806
>>812
これは個人的には予想通りなんですが、KedlayaはHoTTと関連付けうると考えているようです
IUTTはガロア圏による分裂を利用した一種の二次元圏としてのモジュライ理論ということもあるが、
プログラム言語+ホモトピー代数
という発想からも、ある意味で誰にでも思い付く雑な観点でもあるし、実際彼は期待込みでしょう
分裂と言えば分裂ですし、直感的には遠アーベル幾何学で環の忘却を取り、Anabelioidからスキームの宇宙への
ラベルindexによる逆極限を考えている事になる
ただ星さんの言い方を真似ると、pilot-objectの実化による埋め込みが自明か非自明か、それを含めて
理論が間違いであるかどうかはギリギリの境界とも言えますw
この埋め込みが普通の数学者には宙に浮いた絵空事に見えてしまうということです
854:１３２人目の素数さん
19/05/24 13:44:00.21 cdkWT2mw.net
↑訂正
逆極限→余極限
855:１３２人目の素数さん
19/05/24 14:56:11.06 736jaDlo.net
>>815
IUTはまだわからない
>>812はハッキリ不要
856:１３２人目の素数さん
19/05/24 15:33:37.12 OTH5Nu2I.net
>>821
>>397と矛盾している。
857:１３２人目の素数さん
19/05/24 15:52:09.28 736jaDlo.net
>>822
私は>>397を書いてないから>>397と矛盾しないように書く必要はない。
858:１３２人目の素数さん
19/05/24 16:38:14.81 +EL9CLNd.net
さあ今週も手頃なカモをマインドコントロールしてわかったフリをする人間を増やすニダ
∧＿∧ どうせアクセプトされないからって懐疑側が余裕ぶっこいててムカつくニダ
<丶｀∀´> ∧＿∧ 反論も検証も無理だからいつもの論点すり替えて僻みにするニダ 鮮人のせいにして憐れみ請うニダ
／ ＼ （ ）詭弁と強弁とポストチラつかせて寄生ﾀﾞﾆ工作員増やすニダ
.＿＿| | .| |＿ / ヽ
||＼ ￣￣￣￣ ／ .| | | なに言ってんだこのゴミクズ太鼓持ちの傲慢数学ドカタ野郎が身内のkimの反論検証はよ
||＼..∧＿∧ (⌒＼|_＿./ ./ 数少ない擁護側のTaylorを何回も来日させといて拡がりより途中の検証を先にやれよ諦めたか
||. （ ） ~＼___＿_ノ| ∧＿∧ 幕末の志士気取りでおこぼれ狙いがミエミエでさもしいんだよクズ野郎が
/ ヽ 厚顔無恥の馬鹿？＼| （ ） 不利な点はスルーで数日で復活とかハイエナゴキブリ並みの行動力
| ヽ ＼/ ヽ. 無防備な学生やら利得関係者相手にゴリ押し洗脳新興宗教かよ
| |ヽ、二⌒) ／ .| | | 数々の指摘の反論ができないってどういう事だよ
.| ヽ ＼∧＿∧ (⌒＼|_＿./ / 6月のＮスペはどうなったんだよペテン師野郎
. 4月末で潮目が変わるんじゃなかったのかクソ野郎
. モノ書きのホモサピエンス野郎キショいんだよ
. 完全
859:理解者のＧとＦはどっちが正しいの
860:１３２人目の素数さん
19/05/24 17:43:13.91 cg3gRMT9.net
NHKスペシャルはいつ放送されるの？
861:１３２人目の素数さん
19/05/24 19:49:54.49 3K6Q9U7V.net
>>811
栗原の本は良い本で学部生が一度自分で計算しつつ読めばいいと思うが
売れてるのはブンゲンだな
栗原に限らずあの種の数学書が1万冊売れることはまずない
862:１３２人目の素数さん
19/05/24 20:34:52.54 cSuel15P.net
B本は寄稿 あとがき も含めIUTそのものだ。
863:１３２人目の素数さん
19/05/24 20:37:39.26 TX4t1mft.net
∧__∧ オボちゃんも最後の最後まで認めなかったからね！
（´∀｀ ） 研究室のスタッフや関係者が疑問に思わなかったとこがスゴイね!
（⊃⌒*⌒⊂) キタナイとこは隠すからね！気付いた有能な人はもう離れてるよね!
/__ノωヽ__） Examples of triples with small radical と値が同じだけどどうして？
マッサーかとおもうけど著者と連絡取り合って数字合わせをしたとかはないよね？？
でもεの上界値だけで証明になるの？
明晰的な証明だと先にアメリカで論文出てるよね？
アメリカのドメインからは直接見れないってだけでProxy経由で簡単にアメリカからでも見れるよ！
ｋ上が運営に手回して小細工で見れないようにしたとか？
てか、世界中で反論情報共有されて説明できるの？
今年もめぼしいワークショップ開けないのはそのせい？
原●が落ちるまで幸福しなかった日本はバカなの？
強弁してると地獄見ちゃうんじゃない？
864:１３２人目の素数さん
19/05/24 21:02:51.65 AGiHugmg.net
（⊃⌒*⌒⊂)
/__ノωヽ__）
865:１３２人目の素数さん
19/05/24 21:04:34.07 AGiHugmg.net
∧__∧
（´∀｀ ）
（⊃⌒*⌒⊂)
/__ノωヽ__
866:１３２人目の素数さん
19/05/24 21:49:31.41 ipyIwybG.net
>>812
この変な口調のガイジってずっとこのスレに居着いて知ったかぶりして的外れなレスばっかしてる
867:１３２人目の素数さん
19/05/24 22:10:10.47 GKZ+Mak2.net
>>831
ミュート推奨やで
868:１３２人目の素数さん
19/05/24 22:31:43.66 NOsrAx4p.net
キーワードは 錬金術
869:１３２人目の素数さん
19/05/24 22:39:41.68 qZ9O4dWU.net
練炭術とか学ぶなよ
870:１３２人目の素数さん
19/05/24 22:48:28.98 cdkWT2mw.net
でもこのスレの>>806さんはともかく、このスレでは基本的にはSSの反論が正しいだろうって意見が
多数なのかね？と言ってもたくさんいるわけじゃないだろうけど
他にここがおかしいんじゃないか、逆にここがこうだから正しいって意見を持った人はいるのかね？
871:１３２人目の素数さん
19/05/24 22:57:39.09 Xs6myDgs.net
なに見ていってんの
擁護なんかしてるの研究室関係者とB周辺ぐらいしかいないじゃん
872:１３２人目の素数さん
19/05/24 23:04:04.05 kdozHMyA.net
数学素人がいるやん
873:１３２人目の素数さん
19/05/24 23:16:15.82 cdkWT2mw.net
>>836
ああこのスレ自体にそんなたくさん人がいるわけではないって意味で書いた
大局は当然IUTT不利だろ
874:１３２人目の素数さん
19/05/24 23:53:29.64 3K6Q9U7V.net
>>835
SSが「正しい」かどうかはともかく
論文の批判に対して望月らが正しく答えてない
何年も経って技術的な疑問が出てきたのに
「理解者」を自称する人たちもなぜか反応が鈍い
IUTが数学として正しいかどうかはわらないが
査読なり出版のプロセスとしては現状では正しくない
875:１３２人目の素数さん
19/05/25 01:11:47.42 eugJ2Dr/.net
>>839
それも意地悪な見方をするとよくわからん
理論が正しいかどうかわからないならば、あの反論レポートが本当に不足するのかもよくわからないのでは？
少なくとも結構頑力入れて書いたとは思うな
876:１３２人目の素数さん
19/05/25 01:14:47.42 uOiNeimN.net
>>840
もっちーが頑張って直したのは確かだが
それならなおのこと自称・理解者たちの沈黙が謎
もっちーが相手を素人呼ばわりする前に
彼らが何か説明できることがたくさんあったと思うんだがな
877:１３２人目の素数さん
19/05/25 02:05:23.91 G8IHWG3V.net
不勉強な人たちにいくら説明しても無駄だろう。理解の前提となる最低限の準備の勉強をしてないんだから。
878:１３２人目の素数さん
19/05/25 02:42:58.08 eugJ2Dr/.net
それも何か違うんじゃないか
復元アルゴリズムの理論が数体のスキームの大域的な情報を構成できるんだったら、今頃とっくにそこだけでも
Perfectoid並に浸透してるんじゃないの？グロタンディークやLurieの抽象的な理論は受け入れられて、
その更に深化であるはずの圏論は注目されないのか？圏論屋云々言うが、FrobもAnabも数論以前に圏論屋すら
大して注目していないように見える。一体どうなっているのか？
879:１３２人目の素数さん
19/05/25 06:12:20.84 u8oZmxly.net
>>825
6/30夜
のはずが延期されたという噂も流れてる
880:１３２人目の素数さん
19/05/25 11:56:31.59 qnGsKkYU.net
どんな形の番組か知らんが放映後に間違いでした～とかとなると
個人の書いた本と違い公共放送の責任が大きい
まああのテレビ局も社会的責任とか感じなくなってるようですがw
881:１３２人目の素数さん
19/05/25 12:41:14.26 iXQWuxWn.net
文科省の部会は根拠不明な資料に基づく議論だ
文科省 大学院部会（第75回) 議事録
【岡本委員】
「5年間やって，その後，これをどう定着，
あと5年後に例えば同じことをやって，
ちゃんとそれがどの程度定着しているのか
といったような，この計画はあるのか」
【藤田日本学術振興会課長】
また，経過後のフォローということに
つきましても，今のところは予定は
ないという状況です。
↓
資料5 研究成果例
G08 京都大学 数学のトップリーダーの育成
宇宙際タイヒミュラー理論
-数論におけるブレークスルー-
日本学術振興会による京大GCOE
事後評価にIUT関連の記載がない。
また、その後の経過のフォローもない
と課長が断言。
資料5の記載は根拠不明。
大学院部会（第75回) 議事録
2015年 5月13日
URLﾘﾝｸ(www.mext.go.jp)
資料5
URLﾘﾝｸ(www.mext.go.jp)
882:１３２人目の素数さん
19/05/25 13:34:16.62 ygtEzePq.net
ネタもいいけどこういう情報はマジ参考になる
形式上公開されているが事実上アクセスが困難、というパターン
883:１３２人目の素数さん
19/05/25 13:59:50.83 xna1+nEu.net
>>843
唯一公けで書いているロバーツですら辛辣になってきましたね。“private fan dance”とまで書いています
Anabelian geometry ～ higher category theory
URLﾘﾝｸ(mathoverflow.net)
私も以前「圏論を偽装しているのではないか」と書いたことがありますが、ロバーツもほとんど同じことを言い始めてますね
彼の関心はIUTそのものではなく、それを叩き台にしてトポスなどを考えることにあると思います
ショルツ、スティックス、コンラッド、ロバーツのような人たちこそMは対話者、相談役として大事にすべきだったと思いますけどね
良薬は口に苦
884:し、とはまさにこのことです
885:１３２人目の素数さん
19/05/25 14:40:09.71 y1I1nw9S.net
NHKのソースは？
886:１３２人目の素数さん
19/05/25 14:49:37.03 xna1+nEu.net
6月にNスペ云々という話は↓のことだと思ってたんだけどね
復元！「モネ・睡蓮」～蘇るか“奇跡の一枚”～ （仮）
URLﾘﾝｸ(www6.nhk.or.jp)
一応、IUTのメタファーにはなる
現状、B本のような内容で放送したら、奇跡の詩人や佐村河内の時と大差ない
強いて作るならリーマン予想の時のド・ブランジュに近い扱いしかできないだろう、NHKに良識があるならば
このスレにはフェセンコのアジビラUP前に内容に触れた「部内者」「事情通」がいたから真偽のほどは分からんね
887:１３２人目の素数さん
19/05/25 15:40:12.59 QOG0Bkyh.net
研究評価についてIUTは遅れているって自分らで書いているんだからマシな方だよ。
全プロジェクトがうまくいくわけないんだし。そもそも
文科の金のばらまき方自体、偉い研究室に金出しとけばいいだろ的なアホ発想だし
888:１３２人目の素数さん
19/05/25 16:18:43.97 iXQWuxWn.net
プログラム」
数学のトップリーダーの育成 －
コア研究の深化と新領域の開拓
(平成20年度採択拠点)事業結果報告
及び 事後評価結果
URLﾘﾝｸ(www.jsps.go.jp)
↓
事業結果報告と事後評価結果には
宇宙際タイヒミュラー理論も 国内外の主要メディアも 記述なし
889:１３２人目の素数さん
19/05/25 16:23:13.20 iXQWuxWn.net
>>852
プログラム→GCOEプログラム 京大
890:１３２人目の素数さん
19/05/25 19:07:26.66 ygtEzePq.net
>マシな方
下げ相場 絶賛継続中
891:１３２人目の素数さん
19/05/25 19:17:46.16 xna1+nEu.net
フェセンコのアジビラの一つ、
"About certain aspects of the study and dissemination of Shinichi Mochizuki's IUT theory"
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
これ、かなり書き直されているね。私がDLした初版(2018?年?10?月?3?日にDL)と比べるとアメリカの数学者（特にコンラッド）
に対する罵倒が全て削除されている
本人が反省したのか、望月とコンラッド両者と親しい誰かさんに注意されたのか知らんけど。沸点低すぎるよ
ニュー・サイエンティスト誌ではSSのことを悪党呼ばわりまでしていたし
892:１３２人目の素数さん
19/05/25 20:03:07.43 EHa0PByC.net
みっともないの極みだな。
893:１３２人目の素数さん
19/05/25 21:28:59.00 qnGsKkYU.net
乱暴な物言いをしたら本人が信用を失うだけ
これで論文取り下げにでもなったらどうするんだろうな
どうもしないんだろうけどさ
894:１３２人目の素数さん
19/05/25 21:36:45.71 mmx9uVt0.net
映画「Z」で禁止されてそうな現代数学やってた偏屈そうなグロタンなんて大学すらやめちゃったからな
政治的抗議で
895:１３２人目の素数さん
19/05/25 22:51:22.42 Wa/WdL3x.net
>>848
まあ望月さんからしたら圏論は一つの道具であって、単遠アーベル幾何学的な解析的情報、変異のほうが
肝心だということになるんでしょうけどね
RobertsからしたらIUTTの格子は圏だから、そんな情報は自然には含まれないということになる
ここには一つ罠もあって、繊細に扱いたいとか言っておきながら理論では系列の全体を見て非可換性に
対処
896:するということをやるわけです つまり、理論の全体情報を扱うために充満多重同型を利用してしまっているw こうなると今度はSSですね 解析部分の組合せ変異について考え組合せ論的な＝ガロア理論的な変形を論じたいのはわかります しかし、やはり厳しいのではないかと思います Stixもアイデアがあったらとっくに提案しているのではないでしょうか
897:１３２人目の素数さん
19/05/25 23:00:26.35 Wa/WdL3x.net
ついでに言うと、同型なunderlying structureの上に非同型な対象群を考えたいのもわかりますが
理論が使っている論法はそうした問題を扱うにしてはまずい、粗いのではないかという事でもあります
898:１３２人目の素数さん
19/05/25 23:21:56.82 Wa/WdL3x.net
しかしいくらスキームのガロア作用を扱うからってラグランジアンは言い過ぎじゃないかなあw
奇をてらってるとしか思えないよ
899:１３２人目の素数さん
19/05/26 00:31:16.55 78EFXtTh.net
圏論屋はバカしかいない。
900:１３２人目の素数さん
19/05/26 02:57:00.12 59elnCoM.net
まあSSって勘違いしているよね()って言ってた日本人連中が当然反論レポートを出してくれるだろうから楽しみに待て
901:１３２人目の素数さん
19/05/26 05:07:34.27 6tSILtN6.net
次の本のタイトルを予想
「なぜ私は間違えたのか」曼荼羅から伽藍へと続く道
2度もおいしい思いをするとはやるなー
902:１３２人目の素数さん
19/05/26 05:16:10.56 TfuOg7es.net
IUTの特徴
罵倒 錬金術 洗脳 根拠不明 圏論の単語を濫用
903:１３２人目の素数さん
19/05/26 09:31:05.86 bgPimyo4.net
B本は「敢えて数学的に深い内容を書くことは避けている」と書いてありますが
もう少し詳しい内容を書いても良かった気はしますね
それとB氏のツイッターとか見てても売れていることを喜んでいることは良いんだけど
方向性が少しずれているような・・・
でも自分も本は買ったし、応援してます
904:１３２人目の素数さん
19/05/26 10:17:45.81 892KbnCu.net
詳しく書き出したら本の厚さがすぐに倍になるでしょ
望月の論文が長大なように啓蒙本も長大になるw
それはやってはいけないんだよ。売り物にならなくなる
本屋の在庫スペースを無駄に占拠するしディスプレイ向きの本でも無くなるからな
Bの判断は完全に正しい。Bみたいのを有能というんだよ
まったく理解できてないやつが若干名いるようだがw
905:１３２人目の素数さん
19/05/26 11:03:24.61 8U0XlvO7.net
エンターテイナーならやるだろうな
学会とか海外での発言力をあきらめたんだろ
906:１３２人目の素数さん
19/05/26 11:08:17.65 LjuHE47e.net
左遷食らって最期の賭けとしてはいかがなものか
907:１３２人目の素数さん
19/05/26 12:22:14.23 1mfE1Yyj.net
Bは、タレント教授を目指しているのだろう。
学問の進展より大衆受け。
A井N子路線か？
まじめに学問するふりはしているけど、実態はちがう。
908:１３２人目の素数さん
19/05/26 12:25:49.80 LR5zQL3S.net
彼はアドレナリンを司る中枢神経が若干正常な人とは異なるようだ
要するにその時だけ多少世間の耳目を集めたいだけなのだ
例の講演や内容、その後のレビューなどどうでも良く、悪くいうと●栗さんの出来損ない
909:１３２人目の素数さん
19/05/26 12:52:08.58 bgPimyo4.net
本が売れている＝理論自体が正しくて、また正しく理解されている
ということではないと思うんですよね
当然のことですが、一般人に沢山本が売れても数学的に正しいということにはならないでしょうし
啓蒙書を出すのは良いと思うんですが、そこだけが少し気になります
マジレスで恐縮ですが
910:１３２人目の素数さん
19/05/26 15:49:54.81 5pWHK6mr.net
>>872
誰もそんな
911:主張はしていないわけだが 本を出すなら売れないより売れたほうがいいだろ？ 君は売れる為の着眼点を持てるのか？ということだよ これも才能ってことだ ここにいる大部分はそんな着眼点を持つどころか反感すら感じてるようなボンクラに見受けられる どうせそのなかの何人かは売れて羨ましいという嫉妬だしなw 再度言う 「才能が無ければ出せなかった本である」
912:１３２人目の素数さん
19/05/26 15:53:22.29 bgPimyo4.net
>>873
いや売れてることに大喜びしてるのは良いんだけど
ちょっとピントがずれている気がしてね・・・
これ以上は水掛け論になりそうだから遠慮するけど
913:１３２人目の素数さん
19/05/26 15:55:08.00 bgPimyo4.net
自分はどっちかというとIUTとか応援したい側なんだけどね
914:１３２人目の素数さん
19/05/26 15:56:31.53 h2YlkAqP.net
知り合いだっただけじゃねーかｗｗｗ
915:１３２人目の素数さん
19/05/26 16:01:49.44 a6zmhz6/.net
Bさん、乙
916:１３２人目の素数さん
19/05/26 16:08:29.54 oNHMLx1K.net
「真理」と「興行的成功」は、別の尺度だから両方の乖離が激しい分野
については、前者を担保するためにある程度、国家として(=税金を入れて)やったほうが
いい
そういう視点で見たとき、たとえばIUTは真理/税金のコスパどうなの？ という話では？
917:１３２人目の素数さん
19/05/26 16:09:36.39 VNXCj7mW.net
つまり売れるかどうかだけを考慮して書いた本だと
918:１３２人目の素数さん
19/05/26 16:13:16.58 DfhvSDWs.net
>>873
>>872
誰もそんな主張はしていないわけだが
>本が売れている＝理論自体が正しくて、また正しく理解されている
ということではないと思うんですよね
相当気にしてんだな激しくワロスｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
919:１３２人目の素数さん
19/05/26 16:37:19.44 gVZVmGfp.net
>>876
有名人と知り合いになれるのもまた才能だなw
>>878
まあ今はどんどん金のほうに国も価値観を置いてるから
そうすると国全体がダメになるのは確かだが
年金とか終身雇用とか新卒採用とかの最近の流れ見てたら
真理か興行かとか以前にとっくに日本の将来は真っ暗なわけで
920:１３２人目の素数さん
19/05/26 17:45:26.80 dvkgmZIP.net
そりゃ妄信的に本買って信じるやつがいるんだから真っ暗だわな
921:１３２人目の素数さん
19/05/26 19:30:48.44 ebDTLF0P.net
>>870
タレント教授擁護するみたいになっちゃうけど
特に数学は才能ない人が真面目に研究しても意味ないんじゃねって思う
922:１３２人目の素数さん
19/05/26 19:35:24.40 XLihhTwW.net
手術が苦手で逃げ出した、鬱病にもなった - ノーベル賞・山中伸弥氏 - ログミー
logmi.jp/business/articles/37600
923:１３２人目の素数さん
19/05/26 19:52:39.41 2zUmb6cz.net
>>859
Mからすれば圏論は道具の一つかも知れませんが、そもそも舞台はガロア圏であり、フロベニオイドも一種の圏です
道具どころか圏論はIUT劇場の舞台そのものですよ、そこからホッジ劇場も作っているわけです
結局、Mは個人的な理由で遠アーベル、特に単遠アーベルを使いたかっただけなんですよ
SSが書いているようにクンマー理論による自然同型で十分だったわけです
言い換えると、Mは入れ子式な構造をどうしても作りたかった。その説明として種の言語と突然変異を持ちだした
しかし、扱っている素材（フロベニオイド）と舞台（ガロア圏）は圏論に基づくものだった
ならば圏論と、種の言語と突然変異を混ぜちゃえばいい、という非常に安易で浅はかな考えです
まともな、ちゃんとした数学者でIUTを独創的だと思っている人は私の知る限りでは一人もいませんね
名前を出すのはまずいので書きませんが、SSがフロベニオイドのことをver
924:y elementaryと書き、 充満多重同型とラベルの使用を切り捨てたことについて「当たり前だ」という意見がほとんどです
925:１３２人目の素数さん
19/05/26 19:58:07.18 2zUmb6cz.net
だいぶ前にこのスレでZFCGを「ZFCM」と書いた人がいましたが、IUTの宇宙はMochizuki宇宙ですね
突然変異するグロタンディーク宇宙です。遺伝的有限集合？何それっていう感じです
926:１３２人目の素数さん
19/05/26 20:01:26.01 2zUmb6cz.net
たぶんMはMochizuki宇宙（仮）こそがグロタンディーク宇宙の進化・深化だと思っているのではないでしょうか
927:１３２人目の素数さん
19/05/26 20:29:54.50 Yc8R4BzD.net
>種の言語と突然変異を混ぜちゃえばいい
スピロ予想が出口
逆に SSレポのように
入口と出口の両方から調べると
中間が解明されると思います。
928:１３２人目の素数さん
19/05/26 21:13:21.58 1mfE1Yyj.net
>>883
A井N子に関しては活動そのものが負に思える。
数学の代表の発言みたいに思われると甚だ不愉快。
Bみたいに、IUTを理解しているか怪しいくせにIUTが正しいということを世間にアピールするのはペテンでしょ。
929:１３２人目の素数さん
19/05/26 21:35:40.29 3N8o6/sK.net
>>873
主語の本と論文を入れ替えると相当もっちーに失礼になる
930:１３２人目の素数さん
19/05/26 22:11:23.66 ILuMJCmh.net
圏論屋はバカ
931:１３２人目の素数さん
19/05/26 22:21:39.72 gVZVmGfp.net
>>889
数学界全体がバカだと思われるような行動を繰り返して
自分だけが丸儲けするというパターンが今後増えるかもな
「才能がないとペテンもできないのである」
932:１３２人目の素数さん
19/05/26 22:27:57.86 jZUyK45j.net
am〇zonで「IUT理論の衝撃」が絶賛されてるな。
星5が6個、星4が3個だよ。
星2以下は無し。
凄いな。
933:１３２人目の素数さん
19/05/26 22:31:46.82 WnL9Acrt.net
間違いだったらホリエモンみたいな扱いで黙殺されるよ可哀想に
934:１３２人目の素数さん
19/05/26 22:35:25.38 e6eC/b7l.net
カネひろい、信失いてあはれかな
935:１３２人目の素数さん
19/05/26 22:39:29.76 2tps2dbX.net
>>885
ただIUTに懐疑的で更にScholzeとも親しい間柄のあの人は、ssレポートには少しばかり批判的なんだよね
IUT4に致命的な問題があるって言う人もいるし
まあよくわかりません
936:１３２人目の素数さん
19/05/26 22:42:07.91 1tEl22sy.net
>>894
せめて数学会の丸山○員ぐらいにしとけよｗ
937:１３２人目の素数さん
19/05/26 23:27:33.86 KefLQEwv.net
>>893
あとがきを参照のこと
938:１３２人目の素数さん
19/05/26 23:32:27.02 KefLQEwv.net
B本を買って読みました。
数学本ではなくIUTそのものの本です。
939:１３２人目の素数さん
19/05/27 00:25:58.81 K3OV6NEx.net
>>885
permutationとmutationは語感が非常に似ていますからねw
いや、笑い事ではなく一理はあるんでしょう。ただ素朴な感覚として、これを空間基点の取り換えを含めた
「スキーム宇宙のコーディング」として、ないしはその関手的リンクとして扱うのはちょっと理解できない
IUTの思想的なルーツを考えたら、ある意味ではグロタンディークのガロア理論とリーマンーロッホ理論です
そういう意味では興味深いのは確かだが、非常に基本的なレベルでは、スキーム宇宙のコーディングと
ラベルという理屈自体も無理に感じられる。これは実解析的値群の位相群について考える以上に飛躍的に見える
もっとざっくり言うと、絶対ガロア群の組合せ構造と空間情報に対応があるという話を
スキームの宇宙の間の超幾何学的な話に持っていくのは何か根本的に飛躍的だと思うんですが、
それが個人的にはよくわかりませんね。アイデア自体についてもいまいち違和感があるのはそこの部分です
思想的なルーツは上の通り、ある意味正統なんですけどね
940:１３２人目の素数さん
19/05/27 00:29:47.46 K3OV6NEx.net
しかしある意味では「数論的な重力場の幾何学」を、量子論的な不定性と共に論じたか
941:ったんだなあと わかった今、ロマンは感じる。誇大妄想的なのかロマンなのか、いまいちよくわからないが…
942:１３２人目の素数さん
19/05/27 01:16:33.84 hYES4wtP.net
IUTでの不定性は量子論での不定性と全然違うだろう。
作った本人もそんなこと言っていないし、読んでいてもどこにそんなアナロジーがあるのかわからない。
943:１３２人目の素数さん
19/05/27 01:57:56.77 SCa5nclw.net
単語の寄せ集めだけ見てナンセンスな関連を勝手に妄想する。
トンデモさんあるあるやね。
944:１３２人目の素数さん
19/05/27 02:02:15.54 hJOCWHLF.net
きっとID:K3OV6NExはオツムに障害を抱えた可哀想なヤツなんだよ
そっとしといてやろう
945:１３２人目の素数さん
19/05/27 04:08:32.18 77uv4GKX.net
この機に乗じて金儲けを企んでいるバカは圏論屋だろう。
946:１３２人目の素数さん
19/05/27 05:40:03.01 leuBB3FJ.net
Nスペ延期
947:１３２人目の素数さん
19/05/27 06:20:10.60 BVw7ECDZ.net
B本のMの寄稿を読め。
Mが相対論 量子力学 素粒子を持ち出して
不定性に触れている。
IUTは 壊れたガラクタだ
948:１３２人目の素数さん
19/05/27 11:10:23.22 2xO4P8KW.net
902～904の悲しみ
949:１３２人目の素数さん
19/05/27 11:56:15.19 77uv4GKX.net
勉強不足で理解が薄っぺらだとM先生にたしなめられた圏論屋のDavid Roberts. アホ。
950:１３２人目の素数さん
19/05/27 12:48:52.81 IYdkfYES.net
IUTってどうして海外では全く評価されてないの？
951:１３２人目の素数さん
19/05/27 12:52:38.27 EwimRNVh.net
国内でも関係者だけだろ
実名で評価賛同する人を募っても１００人はいないんじゃないの
952:１３２人目の素数さん
19/05/27 12:58:54.27 rdldN4G7.net
前までは理解が進んでないからとか言い訳できたけどこのスレだけでも国内から
数多くの異論や反論が噴出するともう無理だろ
理性を欠いてアイドルグループや球団の応援したいってなら別だけど
953:１３２人目の素数さん
19/05/27 13:05:19.60 3a6cUmJk.net
>>912
異論反論が噴出するとどうしてダメなのかが理解できないのだが？
異論反論が噴出するのはむしろポジティブなことなんだが
954:１３２人目の素数さん
19/05/27 13:17:06.43 E+5zGfff.net
学術的に全く回答できてないじゃん
955:１３２人目の素数さん
19/05/27 13:25:13.22 DKLKxTmS.net
自称理解者のB先生がきっと懇切丁寧に反論してくれますよ～ん
１万年先ぐらいに
956:１３２人目の素数さん
19/05/27 13:41:54.78 Ugp6JlDL.net
>>909
はだかの王様
957:１３２人目の素数さん
19/05/27 13:50:56.16 MWhq6T1K.net
数多くの異論や反論は全て無知によるものというのが支持者の考え
それはそれで実は支持者たちが正しいかもしれない
ただその支持者たちはサーベイしか書けてない
958:１３２人目の素数さん
19/05/27 13:51:05.60 oWluxuMy.net
俺は以前にもスレに書いた入門解説を流し読みして
マスパワー動画見て、文元本読んでる段階のオカルトマニアだけど
たぶん反対派は『数学的に空間が持ち得なければならない性質』そのものを理解できてない
あるいは、理解しようとしてないから
無限の入れ子構造とそれが必然的に齎す不定性の発生を受け入れられてないんだよ
俺は数学者ではないから、マスパワー動画のように中学生でも分かるように書くけど
空間ってのはそれ自身にとっての体積や表面積、そして空間中における座標を情報として保持できるだけでなく
空間における各素点においても、拡縮によって無限の情報を内包できなければならない
同時に、それらの各素点そのものも視点を変えた時に空間として成立しなけりゃならん
例えば、空間(体積)『30』は2,3,5の3つの素�
959:柏ﾏ2*3*5で表現される 同時に、空間『30』は互いに素な1,7,11,13,17,19,23,29の8つの互いに素な自然数を持つ これは、1+7+11+13+17+19+23+29=120の情報を持つってこと 同時に、1a+7b+11c+13d+17e+19f+23g+29hの拡縮による無限の情報を持つ 更に、1*7*11*13*17*19*23*29=215656441の空間(体積)としての情報をも持っている これは無限に繰り返される この数学的な空間の持ち得る性質をIUTが説明しているし その際に不定性がでるのは仕方がない、なぜって無限の各素点における演算をしなければ空間を定義できないから さらに言えば、3次元空間の場合はおそらくはポアンカレ予想のように最終的には8種の素因数によってまとめられる ここを理解さえできていれば、IUTは実に自然な理論に見える 俺は直感的にしか理解してないが合ってるはずだ つか俺がマスパワー動画見たの昨日だから、無限の入れ子構造って俺も使ってた表現を文元も使ってたのはびびったわ まだ文元本110pでようやく言い訳終わって3つ組やってる段階だからなｗｗ
960:１３２人目の素数さん
19/05/27 13:53:56.88 MWhq6T1K.net
数学者でもなくB本の読者から強力な支持者が
961:１３２人目の素数さん
19/05/27 14:03:37.17 qYHjl/7c.net
>>917
サーベイが正しければアクセプトとして認められる
幾度も書かれているが飛躍した例えと本論のコピーペーストだからアクセプトされてないのでは
>>918
無限の演算を実行できないのになぜ不等式が導かれるのか
あなたの理論で等式なり不等式を導出してみて下さい
962:１３２人目の素数さん
19/05/27 14:06:11.29 oWluxuMy.net
>>920
逆だよ
無限の演算を実行できないから不等式しか導かれない
963:１３２人目の素数さん
19/05/27 14:11:24.43 a/fV1xvr.net
不等式の数値を説明できればスターだよ
964:１３２人目の素数さん
19/05/27 14:17:02.68 rgpoSxU4.net
>>903
>>904
重力場のことなら、ご本尊がはっきりそれを示唆する書き方をしているからな
○○○と聞いたらトンデモでも何でもなくそれを想起するだろう
確かに重力とまでは言っていないし、不定性も量子論と同じものとは言ってないし同じではないが、
後者もご本尊がパラダイムの類似として比較しているしな
実はこれもグロタンディークに所縁がある話とも言えなくはない。実際の関連性は不明だが
965:１３２人目の素数さん
19/05/27 14:17:38.80 oWluxuMy.net
>>922
それは俺には無理だな
ただ直感的に予測はできる
その部分は最終的に数学的には行列の問題になるだろう
3次元空間の場合は、8要素*8複素係数の8x8行列の行列式がどうなるか？って問題になるからね
つまり一般化したとき、nxnの正方行列における
特異行列の存在比率が不等式の由来ということになるだろう
悪いけど俺は数学者じゃないからそれを厳密に証明することは出来ない
ただ方向性は確実に合っているという直感がある
もしモッチーの信者がいたら俺の考え方で数学的に説明できないか頑張ってみると良い
966:１３２人目の素数さん
19/05/27 14:19:53.04 oWluxuMy.net
>>924
補足
これがなんで行列の問題になるか？っていうと
3次元空間で考えたときの8x8行列が必ず逆行列を持たないと
この理論的には無限の入れ子構造の整合性が保てなくなるからなんだよ
俺はこの辺を直感的に理解してるから、数学者がいたら考えてみてくれ
967:１３２人目の素数さん
19/05/27 14:23:57.48 lSFWI0Sj.net
過去スレでも検索でも見てくれりゃいいがabc予想じゃなく証明できたのはスピロ予想だといってみたり
abc予想以外に応用はないといってみたりかなり不具合があるんじゃないかと勘繰ってしまうな
968:１３２人目の素数さん
19/05/27 15:00:49.58 rgpoSxU4.net
>>918
無限のループ構造と不定性の関連性は、正則構造というより正則構造からずれた部分の話だけどね
それを群論的な操作で抑えたりしてるわけだけど
君の話は俺にはよくわからんが、ここにも擁護がいるから説明を待とう
969:１３２人目の素数さん
19/05/27 15:12:13.85 oWluxuMy.net
>>927
それについては>>924>>925で触れてる部分だよ
無限の入れ子構造を想定すると、どうしたって不定性が生まれる
それは事実上、無限の複素係数を持つ正方行列を想定しているからってこと
だから貴方の言う正則構造からずれたとき＝(行列式＝0)＝特異行列のときに不定性が発生する
そして不等式の由来は、nxn行列における特異行列の存在比率からきてるであろうってこと
まぁこれは俺の直感的な予測でしかないけど、俺には合っている自信がある
真っ当な数学者がいたら考えて説明してくれれば嬉しいね
970:１３２人目の素数さん
19/05/27 15:19:48.82 ehpvwZz4.net
せきゅーんみたいな奴だなあ
971:１３２人目の素数さん
19/05/27 15:23:38.90 xLoNNVV3.net
>>917
一般人はともかく数学者の無知が原因でアクセプトされてない、ってなら
なおの事正確に説明しようとするだろうけどな。普通は。
972:１３２人目の素数さん
19/05/27 17:11:42.17 uD15Yq1h.net
>>930
普通じゃないと未だに気付いていないの？
感度が鈍すぎだろ
普通を基準に考えちゃいけないケースなんだよ
973:１３２人目の素数さん
19/05/27 17:46:23.90 rgpoSxU4.net
つまりキ○ガイってこと？
974:１３２人目の素数さん
19/05/27 18:18:02.44 CIAJkQA5.net
Bが丸め込まれたレクチャーをサーベイにしたら
975:１３２人目の素数さん
19/05/27 19:20:40.04 i/fv+CB7.net
>>932
おまえ、頭悪過ぎw
「普通」という概念を深く考えたことが無いのがよく分かる
「普通」という概念がもたらす副作用を自覚してないのもよく分かる
簡単に言うと、浅い人間なんだよ
今まで生きてきた過程が問われるから会話が成立しないことになる
現にスレ違いが生じてるよな
976:１３２人目の素数さん
19/05/27 19:52:52.92 iQ5QHa6M.net
自己紹介ご苦労
お前みたいなのが擁護するから相手にされなくなるんだよ
977:１３２人目の素数さん
19/05/27 19:58:19.58 SCa5nclw.net
根拠もないのに「普通」や「常識」に難癖つけるのもトンデモさんあるあるやねえ。
知能レベルが啓蒙書レベルで止まってるからな。
978:１３２人目の素数さん
19/05/27 20:01:13.09 rgpoSxU4.net
>>934
つまり、具体的に説明しないで深淵ぶりたいわけね
何が誤解を招くのか分析してみせない限り、それで終わりよ
979:１３２人目の素数さん
19/05/27 20:05:21.82 p6WSfTLH.net
B本はMの寄稿もKのあとがきも含め
IUTそのものですよ。
それ以上でも以下でもない。
数学として何か他に深淵な真理があるなどは
邪推に過ぎない。
980:１３２人目の素数さん
19/05/27 20:06:16.26 rgpoSxU4.net
>>934
>>936
結局ポジショニングトークしかしないんだなああんたらは
981:１３２人目の素数さん
19/05/27 20:17:07.36 rgpoSxU4.net
証明した！しかし余白がない
→証明した！しかし深すぎて理解されない
新しい商法としては面白い
982:１３２人目の素数さん
19/05/27 20:18:11.07 SCa5nclw.net
自分の発言の不備と無内容を指摘されてポジショニングトークってw
嫌なら日記にでも書いてろよアホがw
983:１３２人目の素数さん
19/05/27 20:38:22.89 rgpoSxU4.net
>>941
頭悪すぎ、をそのままお返しする
ただのポジショニングトークと言われてる意味すらわかってない様で
ヒント＝他人のレスの悪口だけなら誰にでも言える
重力場の数理を実質的に意識してることすら知らない人だから、浅い擁護派ではあるのだろう
984:１３２人目の素数さん
19/05/27 20:44:51.65 pUNMSpS
985:p.net
986:１３２人目の素数さん
19/05/27 20:57:16.27 MWhq6T1K.net
>>943
まあ数学者にもそうした中二がけっこう多いからw
もっちーの新語の使い方とかw
987:１３２人目の素数さん
19/05/27 21:13:08.41 rgpoSxU4.net
>>943
だが、わかったふりをして上から目線の人間もネットにはよくいるから君のブーメランかもしれない
そもそも重力場に関連した数理、とは何を指して言ってるかわかってて非難してるんだろうね？
988:１３２人目の素数さん
19/05/27 21:15:56.31 Vd/Es3hp.net
>>900は私が書いた>>885の言い換えですね。IUTの概要だけ知っている人でも意味は通じると思います
>>901は主論文最終節を読んだ人ならすぐに分かります。observable(s)という語がmutationと絡めて頻出しています
それを読まずとも、IUT陣営の単遠アーベル的復元の解説で、
・フロベニウス的部分＝位相モノイド、「質量のある、実体を持つ、実在する」対象
・エタール的部分＝抽象的な位相群（絶対ガロア群）、対称性、「質量のない、実体のない、仮想的な」対象
としており、望月による比喩では前者には壁があり、後者は壁をすり抜けることができる、としています
B本での寄稿文はそれを踏まえてのものですね
989:１３２人目の素数さん
19/05/27 22:09:54.64 rgpoSxU4.net
物理との関連についてやたら突っかかってくる人がいるけど、多分懐疑でも擁護でもないんじゃないか
ディレッタントだな
恐らく相当物理は意識してるよ、この理論は。わざわざ丁寧に根拠は書かないけど、どう考えてもそうだ
頭が固い人にはその事実を言っただけで厨二病の連想ゲームに見えるようで困る
まあもしこの理論が続くならば、じきにその本性を現すだろうからお楽しみだな
990:１３２人目の素数さん
19/05/27 23:43:56.83 Vd/Es3hp.net
>>947
M本人は最初こそABC予想証明以外には応用例は分からないと書いていましたが、
現在では数学どころか物理学、遺伝子工学、情報工学、社会科学などにも数学的定式化を与えられると思い込んでるでしょうね
そうでなければあの尊大な態度を理解することはできません
本当はそれらの分野とのアナロジーや着想から得られたものにすぎないと思うのですが
望月-SS論争と悪い喩えを使うと、
A「座禅しながら空中浮揚できるぞ。これが証拠の写真だ！」
弁「わたしも座禅でジャンプした瞬間を撮ってみました。あなたより浮いているように見えるでしょう？」
どちらがAか弁護士に相当するかは想像にお任せします。悪い喩えですけど、数学で直接人を○すことはできませんから…
IUTについては擁護or懐疑or否定というより、ネタとして愉しむというのが私の現在のスタンスです