20/02/08 01:25:06.83 RI1BH84b.net
学生はどんどん好きなことをやればいい
551:１３２人目の素数さん
20/02/08 01:38:35.90 muDfC6gT.net
>>
遅レスになるけどしばらく様子見でROMしてました。誰も書けないのは分かっていたから俺の見解と反論を書きます。
先ずDAG的な方向性についてはMレポート第13節で多重射と導来圏との類似性をMは書いています。
また、Mレポによると当初S・Sは「これこれしかじかの修正をすればIUTは正しい」と主張したと書かれています。
これが本当なら（いまいち信用できないのですが）、S・SはDAG的な方向性でIUTの修正を持ちかけたのではないかと思われます。
しかし、根本的な問題として抽象v.s具象の問題があって、数論的次数のエンコードやテータ因子の埋め込みの問題もあり、
結局DAG的な方向で修正することができずdrasticな単純化をせざるをえなくなって自然同型、id-versionにしかできなかった。
これでIUTは完全に詰む。
さらに、DAG的な双対とIUTの単解性の論理は根本的に異なっています。
単遠アーベル的復元、Anabelioid、基点を持たない古典的な位相空間、slim anabelioid、slim categoryによる1-category。
同じスペクトル系列の理論のように見えても根本的に違います。
158氏はこれらを知っててわざと挑発的で反論を呼び込むようなレスを書いたのですかね？
このスレは本物の素人と高卒レベルの信者＝荒らしの自演ばかりですから、あまり期待や腹を立てても無意味ですよ。
４０７の書き込みが一番意味をなしていない。
小泉進次郎みたいな文章
ジョーク？
？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？
単遠アーベル的復元、Anabelioid、基点を持たない古典的な位相空間、slim anabelioid、slim categoryによる1-category。
同じスペクトル系列の理論のように見えても根本的に違います。
？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？
S・SはDAG的な方向性でIUTの修正を持ちかけたのではないかと思われます。
しかし、根本的な問題として抽象v.s具象の問題があって、数論的次数のエンコードやテータ因子の埋め込みの問題もあり、
結局DAG的な方向で修正することができずdrasticな単純化をせざるをえなくなって自然同型、id-versionにしかできなかった。
これでIUTは完全に詰む。
？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？
552:１３２人目の素数さん
20/02/08 01:46:58.48 3JeVNi2K.net
>>531
間違いなら訂正すればいいじゃん
正しくはこうだと
553:１３２人目の素数さん
20/02/08 01:59:08 +aDU73gi.net
東工大をモッチー組の植民地にされて東大は焦ってる。
554:１３２人目の素数さん
20/02/08 02:38:39.02 I8+KdHIN.net
ラングランズって非可換類体論とかもあるけどフェルマー予想の解決がピークのような気がする
555:１３２人目の素数さん
20/02/08 08:33:20.70 19NE7a+b.net
>>520
S tixにゲテモノ扱いされたけど
556:１３２人目の素数さん
20/02/08 09:01:33.75 19NE7a+b.net
>>531
御本尊ですか
557:１３２人目の素数さん
20/02/08 09:53:18.47 c0YJhqb3.net
というかSSのレポート自体は別に遠アーベルの専門家じゃなくても理解できるでしょ。
558:１３２人目の素数さん
20/02/08 10:50:21.39 Ob5iDv7y.net
IUT自体は普通の遠アーベルとはかなり違うし、論争自体を理解するのは難しい
まず単純化が適切なのかどうか認識する必要があるしね
559:１３２人目の素数さん
20/02/08 11:12:22.74 Ob5iDv7y.net
ここでは全く誰も言わないけど、遠アーベル幾何自体がそもそも何なのかって問題もまだ未解決だな
つまり、どういう背景があっての対応なのか。特に混合モチーフや保型形式との関係は何なのか
グロタンディークがディオファントス幾何に応用を考えていたが実際はそんな単純ではなく云々という話も
面白いが、IUTのような奇妙な理論を使わずに
それを実現するにはどうするべきか、もそれに関して未解決或いは哲学的な問題
特に、絶対ガロア群と解析的なアラケロフ幾何には適切な接点がないからね
これはIUTのモチベーションにもめっちゃ関係ある話なんだけど
人によっては思わせ振りな羅列にしか見えないんだろうけど、極めて本質的な問題群だよ
そりゃ猿はシェイクスピアや漱石に意義を見いだせないからな
560:１３２人目の素数さん
20/02/08 11:14:24.88 19NE7a+b.net
>>523
宇宙際かな？
物理と無関係です
561:１３２人目の素数さん
20/02/08 11:23:19.73 RDOmi7iq.net
The Mathematics of Mutually Alien Copies: from Gaussian Integrals to
Inter-universal Teichmuller Theory
の中に物理への応用を示唆する記述がある。
562:１３２人目の素数さん
20/02/08 11:40:06.60 c0YJhqb3.net
>>538
単純化が適切なのか、を説明するのはSSサイドの義務ではない。
SSレポートは既存の数学で表現するとこうなるでしょ、という話なのだから、
それは違うというのはIUTサイドの問題。
>>539みたいなのにはなにも意味はない。
563:１３２人目の素数さん
20/02/08 12:30:18 kYb/Jpp8.net
SSサイドにはなんの義務もないよ。
本来義務を有するのはもっちーサイドだけ。
564:１３２人目の素数さん
20/02/08 12:32:21 CUHRysH9.net
>>541
2020IUT年カンファレンスの公式本
望月新一監修文元本でも
天動説 地動説 相対性理論
量子力学 素粒子の力学
不確定性原理 に言及している。
IUT語は 「IUT理論は、一般的な数学の
パラダイムの枠組みでは語れない、 全く新しいフレームワークと言語・ 概念体系を基盤として構築されて いる」
オカルトマニア氏ならともかく
理解に苦しむね
565:１３２人目の素数さん
20/02/08 13:12:27.63 Q8HF1dGG.net
カテゴリーセオリーに関する記述が明らかにおかしいIUT
なんで誰もそれを指摘しないの？
566:１３２人目の素数さん
20/02/08 13:14:49.03 Q8HF1dGG.net
あとSSの指摘を養護するやついるけど、ほんとに理解してる？
あれは誰がみても的外れな指摘でしょ？
567:１３２人目の素数さん
20/02/08 13:58:23 8d8k7rfF.net
彼らは知能が低いから理解できないのよ
568:１３２人目の素数さん
20/02/08 17:53:27.95 muDfC6gT.net
>>545
＞＞カテゴリーセオリーに関する記述が明らかにおかしいIUT
なんで誰もそれを指摘しないの？
間違っているのがどの論文のどの箇所か明示していえ
569:１３２人目の素数さん
20/02/08 18:25:42.83 1EyXcB+2.net
>>546
どのように的外れなのか言ってみな。すくなくともおまえはここで説明できるはずだ。
>>531ぐらいの分量でいいからざっとここで書いてみるがよい。
書けなければ遁走とみなす
570:１３２人目の素数さん
20/02/08 18:26:16.20 WYIJd2wV.net
IUTの中に何か「明らかにおかしい」ものが発見されたならビッグニュースだ。数学の言葉で指摘してみろ。
571:１３２人目の素数さん
20/02/08 19:44:32 QUeGxvFQ.net
>>548
君も>>407氏がどうおかしいのか、正しくはこうなんだとはっきり書けよ
？マークを並べただけでは卑劣な下衆にしか見えないよ
572:１３２人目の素数さん
20/02/08 19:53:05 muDfC6gT.net
小泉進次郎語録に指摘しても無駄なのと同じレベル
そうみえないなら数学わからないひと
573:１３２人目の素数さん
20/02/08 20:04:51 muDfC6gT.net
たとえば
？？？？？？？？？？？？？？？？？？？
単遠アーベル的復元、Anabelioid、基点を持たない古典的な位相空間、slim anabelioid、slim categoryによる1-category。
同じスペクトル系列の理論のように見えても根本的に違います。
？？？？？？？？？？？？？？？？？？？
は、これらを知っている人から見ると
？？？？？？？？？？？？？？？？？？？？？
チョコレート、カカオ、種をとったすいか、甘いカカオ、甘いソースによるムース
同じ自動車の部品にみえて根本的に違います
？？？？？？？？？？？？？？？？？？？？？
のような説明にみえる
574:１３２人目の素数さん
20/02/08 20:14:53.47 QUeGxvFQ.net
>>553
君はこれらを知っているわけだな
ならば正しくはこうだと書けるはずでしょ
IUT、多重射、導来圏、DAG、SSレポートが問題になっているわけだから
君なら正しく整理して書けるはずでしょ
君はこれらを知っているのだから訂正し整理して書けないと本当に下衆だよ
これで最後ね。できないのならサヨウナラ
575:１３２人目の素数さん
20/02/08 20:20:52.71 E6pE4CnQ.net
お前は分かってんのか？
そういうオマエは分かってんのか？
っていうスレ
576:１３２人目の素数さん
20/02/08 20:31:48.33 zdEdQe6l.net
モッチーって頭がよろしいんだね
577:１３２人目の素数さん
20/02/08 20:32:09.62 AGrF9u1Z.net
知ってる限りの難しい言葉を並べて何かもっともらしいことを言うスレなんだよ
578:１３２人目の素数さん
20/02/08 20:32:20.03 gh9kY+yK.net
俺でも書き込めそうな流れ
嬉しい
579:１３２人目の素数さん
20/02/08 21:09:25.32 AGrF9u1Z.net
>>555
SS「お前（=もっちー）は分かってんのか？ 」
望「そういうオマエ（=SS）は分かってんのか？」
っていうIUT
580:１３２人目の素数さん
20/02/08 21:41:32.07 QUeGxvFQ.net
結局このスレに書き込んでる人のほとんどは文元のIUT本しか読んでないんだな
あれに書かれていない数学用語、IUT語を持ち出されると言葉を並べただけのデタラメ扱いする
さらに具体的なレスに反論をすることもできずデタラメ扱いし、自分はただ知っているとだけしか言えない
劣等感まみれの恥ずかしい人たちだとしか思えないね
匿名だから誰だか分からないので良かったね
581:１３２人目の素数さん
20/02/08 21:59:49.69 sHRYslIF.net
>>559
w
582:１３２人目の素数さん
20/02/08 22:44:38.02 0SQNOB5d.net
>>554
>>407も含めてレス書いてたんですが消えちゃってやる気なくなってしまったw
あのレスは実はかなり飛躍して書いたもので、下手したら世界で理解できる者はまだいないかもしれない
IUTはDAGとは確かに違いますが、骨組みを抜きとってDAGファッションにできるかと言ったら可能です
これはIUTのDAG版という意味では全くありません
IUTはそれが正しければ、線型な圏でなくAnabelioidによって構成されたある種の一般化されたモチーフ理論です
まず、これがどういう意味かちゃんとわかるのは多分望月氏と側近だけでしょうw
これは言い換えれば、ガウス積分の座標変換をいわゆるリンクを用いた関手、格子で一般化したものです
※ここでモチーフと言うのは、異なる種類の実現を統合、結びつけるという程度の、普通より抽象的な言い方
結局、あのレスで言ったのは直接そういう事をしないで何か似たようなことができるのか、という話です
ついでに言うとリジッド幾何とDAGの関係も始まったばかりでperfectoidだけでない重要な歴史もあり、
本当のプロなら「笑っちゃう文字列」などとは言わずに好きなように語るでしょうw それくらい重要な問題
スリム圏というのはあれはスキームと基点に依存しない基本群の圏で、1圏とか2圏とかは個人的には副次的な話
だと思います
群のパターン、ラベル、幾何学が上手くシステム化されるような圏になっている
詳しくは書きませんが、中心化に関する条件もcoricな単遠アーベルがやりやすいようになっているもの
583:１３２人目の素数さん
20/02/08 22:56:27.95 muDfC6gT.net
>>562
ブンゲンとかシェーンにだまされたイキリ東工大生ですか
584:１３２人目の素数さん
20/02/08 23:08:24.19 WjsW21zG.net
この掲示板おもしろーい
色んな勢力が睨み合ってるー
585:１３２人目の素数さん
20/02/08 23:09:51.98 CUE4MLHN.net
混合モチーフならもう構成されとるよ
586:１３２人目の素数さん
20/02/09 00:38:22.44 rlH8kiFh.net
元々もっちーとSSが2chレベルの炎上やってんだから
彼ら未満の俺たちはイキリ・煽り・マウント・冷笑しかできんよ
587:１３２人目の素数さん
20/02/09 00:47:10.41 aBdEGo7b.net
S.Sレポートはいわゆるno go theorem
ですね。
588:１３２人目の素数さん
20/02/09 21:15:35.73 nDwGgyL1.net
>>518
辻なら本職じゃないにせよかなりわかると思う。
後狭い遠アーベルはpop自身が結構悲観的なことを言っている。彼のhpのスライドを読めばわかる。
589:１３２人目の素数さん
20/02/09 21:20:48.04 55XMt+VJ.net
>>566
そういうメンタリティの奴ははなから大成しない
確かに数学の内容についてはストイックで自己批判的であるべきだが、他人より上とか下とか
意識するようになったらおしまいだわ。他人が出せないアイデアを出せれば勝ち。それ以外に優劣などない
590:１３２人目の素数さん
20/02/09 21:21:29.54 zmPDrO9K.net
>>513
そりゃそうだ
591:１３２人目の素数さん
20/02/09 21:31:45.05 55XMt+VJ.net
IUTで圏の幾何学をstackの2圏論的な技術を使わずに構築できるという理由は、
stackが導入された歴史的背景にも関係があること。考えたらわかる
IUTでは基本群というか数論的基本群（単解基本群）の圏が中心になるため、議論を単純化できるわけだ
592:１３２人目の素数さん
20/02/09 21:33:36.97 cyMLORHl.net
>>569
同値類で割り切った態度から現代数学は始まる。
593:１３２人目の素数さん
20/02/10 00:16:47.94 mODZmB4I.net
?????????????????????????
IUTで圏の幾何学をstackの2圏論的な技術を使わずに構築できるという理由は、
stackが導入された歴史的背景にも関係があること。考えたらわかる
IUTでは基本群というか数論的基本群（単解基本群）の圏が中心になるため、議論を単純化できるわけだ
??????????????????????????
間違っている...
594:１３２人目の素数さん
20/02/10 02:05:17 NkGyGcsX.net
Goさんは東大で准教授になればいい仕事するんじゃないか。
595:１３２人目の素数さん
20/02/10 08:09:06 IrpWbCzh.net
この方面に不慣れなもので勘違いがあるかもしれませんが、
IUTにおける集合論の運用に関してよく分からないところがあって、
周りの人に聞いても要領を得ないところがあるのでここで質問させてください。
IUTでは宇宙の拡大を無限回行っているようですが、大丈夫なのでしょうか？
論文IVの3章では宇宙の拡大
(*) V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈ ... ∈ V_n ∈ ...
を繰り返した後で {V_n}_n を含む宇宙 V を考えることで
V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈ ... ∈ V_n ∈ ... ∈ V
となっていますが、これは（少なくとも表面的には）おかしいですよね？
V_0 ∈ V と V_0 ∈ V_1 ∈ V では V_0 の入り方が異なります。
従って宇宙の無限系列(*)を首尾一貫して含む宇宙 V は構成できていません。
このことについては IV.3.1.4 で、set-theoretic formulas は
拡大の影響を受けないと説明していますが、本当にそうなのでしょうか？
つまり、宇宙 V_0 で A(0) （それが何であれ）ができて、
宇宙を V_1 に取り換えて A(1) ができて、...と続けていった時に、
各 n については A(n) の set-theoretic formula が存在するとしても、
「∀n A(n)」 のための set-theoretic formula はどこの宇宙にも
存在しないという可能性はないのでしょうか？
（無矛盾とω-無矛盾の違いのようなことを懸念しています。）
596:１３２人目の素数さん
20/02/10 09:45:33 RQS9NSdM.net
俺は論文IVまでは読んでないけど、その指摘の通りのことが書いてあるなら、
やっぱりすごく初歩的なところで欠陥があるっぽいな。
基礎論のところで躓いてるんじゃないかってのは初動から言われてるけど、
さすがに全部読むのは時間の無駄だと考えてそこまでみんな踏み込んでないみたいだし。
597:１３２人目の素数さん
20/02/10 10:15:20.08 NInr7Pmo.net
> V_0 の入り方が異なります。
任意のv∈V_0に対し、宇宙の公理からv∈V_1やv∈Vが従うので、V_0⊂V_1⊂V
「入り方」としてはそれを考えているのでcompatibleなのではないでしょうか？
598:１３２人目の素数さん
20/02/10 14:04:16.33 hCnL5jX3.net
まあHPのCSSに不備があるぐらいだからなぁ
599:１３２人目の素数さん
20/02/10 16:32:58 rM7qD3pk.net
査読で嘘ついたら名誉毀損になるのかな？
600:１３２人目の素数さん
20/02/10 18:39:31 IrpWbCzh.net
>>577
v ∈ V_0 ⊂ V_1 と見るのでは V_0 と V_1 が同じ階層にいて
宇宙を拡大したかいがないと思うのですが。
601:１３２人目の素数さん
20/02/10 22:30:30.05 IrpWbCzh.net
念のため補足させてもらいますと、>>575の例において A(n) が命題であれば
『∀n「A(n) が（勝手にとった宇宙において）正しい」』と
『「∀n A(n)」が正しい』はもちろん同じことになります。
しかし A(n) が例えば何らかの手続きであった場合、
『∀n「A(n) ができる」』と『「∀n A(n)」ができる』は一般には異なります。
例えば「できる」が「証明可能」の場合、無矛盾とω-無矛盾の違いになります。
�
602:ｱこで「できる」のような曖昧な言い方になっているのは、 私がIUTの実質的なことを理解しておらず、実際にどのような状況で 論文IVの議論が使われているかを知らないためです。
603:１３２人目の素数さん
20/02/10 22:34:34.27 OcaV6WUU.net
( ´∀｀)
(´・ω・`)
604:１３２人目の素数さん
20/02/11 08:16:19.09 D0aOTCKJ.net
どうやら筋金入りのピンポイント２号登場とみた
IUT陣営がうまく答えられて、議論が深まるといいなぁ
605:１３２人目の素数さん
20/02/11 12:37:37.24 sXRXHhvj.net
なにやら騒がしくなってきたね
仁美の秘密垢が（略
606:１３２人目の素数さん
20/02/11 14:26:40 dsqej9cA.net
>>580-581
IUT論文公開当時のエレンバーグのブログでフェファーマンの弟子が書いているのだけど
M氏は或る先行論文の脚注でZFCGはZFCの保存的拡大であると書いていたらしい（自分はその論文がどれか知りません）。
もちろん保存的拡大ではないのですが。
結局Stixが言うようにエッシャーの階段にしかなっていないのですよ。
M氏はsimulate a∈a、loops of mutations、simulate ∈-loopsは種の言語では成り立つと考えているようですが。
その節で名前の出ているKimですら分からないとMOで書いています。
607:１３２人目の素数さん
20/02/11 15:36:29.20 NrhYqHsP.net
なるほど、海外ではもうだいたい議論し尽くされてる感じなのか。
国内はほかの研究者が遠慮してるから情報が出回ってないだけで、
海外ではもう詰んでるとみられるだけの十分な指摘があるのね。
608:１３２人目の素数さん
20/02/11 15:41:09.08 RcIg5MEl.net
モッチが傷つくとこはみたくない
609:１３２人目の素数さん
20/02/11 15:50:33.40 ZhuO6Uf3.net
しかし数学者コミュニティってやっぱりすごいな
集合論の理解がおかしいんじゃないかって最初期から言われてたことだし
それとも先行論文がおかしいっていう情報がすでに共有されてたのかね
610:１３２人目の素数さん
20/02/11 16:04:31.92 QDf3OWs9.net
結局ナンセンスなジャーゴン集で終わり。
611:１３２人目の素数さん
20/02/11 16:31:33.88 TxECpdqB.net
>>587 ＊
ひとみっぺ(*￣ー￣)
「弱った獲物の匂いがする・・・ｼﾒｼﾒ」
612:１３２人目の素数さん
20/02/11 17:29:40.49 Cnl2MHH4.net
>>575
それは誰もが多分疑問に感じる部分でしょうね
その議論はIUTの場合、絶対遠アーベル幾何学とセットで考えないと形骸的過ぎて使い物にならない
そもそも幾何学的に閉じた理論ですらないからね
また、その手の論理的階層を考える時に誰もが考えるのは、よくわかんないけど型理論でも使ったほうがマシなんじゃないの？ってこと
ともかく、個人的にはそこは問題ないと思う。しかし、絶対遠アーベル幾何学ってのは圏論と
両立しなきゃならないからね
実際望月レポートではそこに一番力が入っていて、集合論的基礎ってより圏と宇宙の整合性について
気にしている
IUTはかなり工夫して作られていて、ジャーゴンの塊とまでは言えないよ
ただ、それなりの数学者が普通に見たらそういう工夫（感心するような構造的なパズル）より
屁理屈という印象がどうしても強くなる
本人が認めてるように、Frobenioidみたいな一般化から上手く持ち上げを構成するとかじゃなくて、
（それはp進タイヒミュラー理論でのやり方に近い）あくまでリンクによる格子だからね。良くも悪くも
奇抜な試みをやっちゃってんだよ
613:１３２人目の素数さん
20/02/11 17:33:39.20 LdHXlb7w.net
またこいつ出てきたよ。
中身がなんにもないのにいちいちコメント�
614:ｷるな。
615:１３２人目の素数さん
20/02/11 17:46:59.70 RcIg5MEl.net
屁理屈とか言うとモッチーが怒るよ
616:１３２人目の素数さん
20/02/11 18:15:59.66 D0aOTCKJ.net
「どうして伝わらないかなぁ...」とか、ため息ついてるほうに100モッチ
617:１３２人目の素数さん
20/02/11 18:16:50.75 NIYcTH27.net
>>586
海外の研究者と実際会って話すと
彼らがどう思ってるかはわかる
もっちーに近い人はともかく東大や京大数学の人は
みんなそういう話はここ何年かで耳にしてるはず
で日本に帰っても黙ってるんですよ
618:１３２人目の素数さん
20/02/11 18:19:30.19 CVYz5IRs.net
「間違ってるかもしれないけど10年位は逃げ切れるだろ」にスーパーもっち君
619:１３２人目の素数さん
20/02/11 18:39:02 Cnl2MHH4.net
調べれば調べるほど部分部分は技巧的で感心させられるのがIUTの特徴
「環論より深いガウス積分を乗法と加法の遠アーベル幾何学的な変換として捉えて高さを計算できないか？」
というのはこれ自体は天才の発想としか言いようがない
ショルツなんかは多分、批判的に読んだからそういう情はなかったんだろうな
勿論、中身はよくわかんないが失敗してほしいと思う連中にもそういう情はないわけだけどw
620:１３２人目の素数さん
20/02/11 21:00:57 dsqej9cA.net
>>597
ショルツに情がなかった（M氏曰く初めから敵対的だった）というのは言い過ぎだと思いますよ。
S・Sレポは皮肉に満ちていますが、例えばこういう個所もあります。
S・Sレポ8月版p.8の2.1.8
---------------------
Mochizuki devises an ingenious algorithm to recover this data very directly from the data of π1(X) acting on a certain monoid of divisors on tempered coverings of X.
---------------------
(しかし、この文の脚注11で最終段落につながる問題点を指摘していますが)
ショルツの場合、2015年に対数テータ格子の非可換性についてM氏とやり取りがあって、その後音沙汰のないまま、
カレガリのブログでのコメント、京都での討論となっています。
ショルツが批判的に読んだのは系3.12について納得できる説明が得られなかったからですよ。
そこで彼はIUTを初めから読み直したor読み替えた。
IUTコミュだけでなく、S・S自身暗に認めているようにそれはもはやIUTと呼べるものではないです。
ではなぜそのようなことをしたのか？抽象v.s具象が問題だったからです。
S・Sレポートというのは外部者による査読ですらなく、IUTを書いてしまった数学者M氏のS・Sによる精神分析のように見えます。
621:１３２人目の素数さん
20/02/11 21:17:45 suq7w5x2.net
>>597>>598
このふたり、ピンポイントで数学的な指摘が入ると出てきてスレを流し始めるけど、
なんか都合が悪いことでもあるのか？
622:１３２人目の素数さん
20/02/11 21:23:40 dsqej9cA.net
既出かもしれませんが、遅ればせながら最近見つけた南ドイツ新聞の記事です（2016年8月30日付）。
URLﾘﾝｸ(www.sueddeutsche.de)
この記事の英訳はこちらです（PDF）。
URLﾘﾝｸ(mcmprodaaas.s3.amazonaws.com)
この記事は2016年京都のIUTサミット後の記事です。StixとFaltingsのコメントがあります。
StixのIUTを理解したいという思い、普通の数学用語で書けるはずだという苛立ちのようなものが見られます。
Faltingsは、もう愛弟子に対する諦めモードですね。
623:１３２人目の素数さん
20/02/11 22:14:11 CvMFw4FE.net
結局山下
624:氏がいうところの“センシティブな感覚”というのがどこまで信用できるかでしょう。
625:１３２人目の素数さん
20/02/11 23:12:51 uxzH1hX1.net
モッチーはブログで名指しはしなかったけどT先生を批判したのかね？
626:１３２人目の素数さん
20/02/11 23:34:36.72 6KGA96xX.net
まあそうだろうね。
ただ担当編集者に当たった以上、自分が分らない、指摘して自分が納得できる
返事を得られない、となったら、リジェクトの返事を出すのが正しい道だろう。
627:１３２人目の素数さん
20/02/12 00:24:53.29 28rwupDv.net
そんなこと怖くてできにゃいよぅ( ｡ﾟДﾟ｡)
628:１３２人目の素数さん
20/02/12 00:36:49.11 Q6IpDgid.net
もうこのままじゃらちあかないんだからprimsは取り下げて海外の別の雑誌に投稿した方がいいのでは？
この状況でprimsがアクセプトしてももはや騒動を大きくする結果にしかならない。
629:１３２人目の素数さん
20/02/12 01:43:51.75 sqNkM6dF.net
結局、T先生の頭ではIUTを理解できなかったのかな。
630:１３２人目の素数さん
20/02/12 02:28:48.58 1ED8PuAW.net
いろんなニューロタイプの研究者がいるからじゃないかな？
631:１３２人目の素数さん
20/02/12 04:08:59.17 6DN6RHyB.net
意味不明なカテゴリーセオリー語ってる時点でIUT終了
632:１３２人目の素数さん
20/02/12 04:14:03.33 qp++i/vL.net
圏論屋はバカ。
633:１３２人目の素数さん
20/02/12 09:16:10 ODWRG5wq.net
あれだけぐだぐだやって集合論の理解が不足していたというお粗末な結果なのか
634:１３２人目の素数さん
20/02/12 12:27:36 0UdZ4F2k.net
まあM側もお粗末だがSS側はもっとお粗末なわけで。
今やSSレポートはあまりに認識不足の赤っ恥な内容だし。
まぁどこが赤っ恥かはk川に直接聞けば教えてくれるよ。
635:１３２人目の素数さん
20/02/12 12:38:51 VewLBdNI.net
>>606
加藤和也先生は講義録で我が道を行くと
636:１３２人目の素数さん
20/02/12 13:43:31 ZjrtYJ9G.net
>>611
リア充＊キラキラ＊ショルツ教授が憎いんですね？分かりますよ～
w
637:１３２人目の素数さん
20/02/12 13:47:46 ZjrtYJ9G.net
「若くして博士！！
史上最年少フィールズ賞受賞者！
若くして異例の教授職就任！！！
愛するＬＯＶＥＬＯＶＥ新妻！！
愛する我が子！！！！」
魑魅魍魎(ぐぬぬっ...！！！！！)
↑ wwww
638:１３２人目の素数さん
20/02/12 13:50:12 ZjrtYJ9G.net
ぐぬぬ
「ショルツめ～っ！」
w w w w
分かります～ 分かります～
w w w w
639:１３２人目の素数さん
20/02/12 13:53:33 ZjrtYJ9G.net
ぐぬぬ理論
俺が欲しくても手に入ら無かった
全てを持っているショルツは
間違ってるっ！
分かりますよ～
分かる～分かるうぅ～
ｗｗｗｗ
640:１３２人目の素数さん
20/02/12 14:32:10.08 jLw5exTB.net
お釈迦様が樹から落っこちても
弘法が樹から落っこちても
猿が筆を誤っても
ショルツ様がお間違えに
なられるわけないだろ！
641:１３２人目の素数さん
20/02/12 14:33:42.69 jLw5exTB.net
ばかおのくせに
ショルツ様にツッコミなんて
１万光年早い！
642:１３２人目の素数さん
20/02/12 14:35:38.20 jLw5exTB.net
日本にショルツ様がファンに逢いに
サイン会に来たらテロって来そう...
(気をつけねえとな...)
643:１３２人目の素数さん
20/02/12 14:38:16.99 jLw5exTB.net
やーね！だめんずの呪いって！！！
w w w w
644:１３２人目の素数さん
20/02/12 14:54:22.35 8y1E4IgY.net
ショルツを妬めるのは一流だけ。
ID:ZjrtYJ9GとID:jLw5exTBが本当にゴミなのはよくわかったw
645:１３２人目の素数さん
20/02/12 15:00:32.77 of9UHCFD.net
ぐぬぬ
「俺は一流だから
ショルツを妬んでるっ！！！！」
ＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷ
大爆笑ステッチ縫いで
素敵なテーブルクロスが出来ましたー
646:！ 感謝でーす！w
647:１３２人目の素数さん
20/02/12 15:11:15.12 of9UHCFD.net
あ、もう１つの解の可能性に気づいちゃった！
「俺はそんなに一流ぢゃないから
俺は妬んでないんですっ！！！」
ＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷ
まーたまた大爆笑ワロステッチ縫い出来ちゃった！wwww
今度のはベッドリネンにしよっかな？っと。
ｗｗｗｗ
648:１３２人目の素数さん
20/02/12 17:23:53 w6JWon9U.net
加藤和也先生やT先生でもIUTを理解できない。
649:１３２人目の素数さん
20/02/12 17:28:54 w6JWon9U.net
松本真先生もIUTを理解できなかった。
650:１３２人目の素数さん
20/02/12 17:44:49.14 7R4y+mJH.net
SSやその他の数学者と望月では圏論の使用理解が完全に割れてるからね
センシティブ、というのは圏論を等式重視の普通の感覚で見るのか、それとも
圏には構造で統制されているが複雑性があって、そこで色々細かい射を使えると見るのかの場合の、後者
つまり望月にとっては群論の圏だから群論的操作につき∨による宇宙の区別を考えることができる
他の数学者は群の多重圏として見ているから全体としては∧だけで十分となる。つまり不等式がない
これのどちらが正しいのかという時、どうしても操作の履歴を忘れるという付加操作を導入する
望月のほうが不利になると言わざるを得ない。他の数学者はもっと関手的に考えれば良いと思っている
するとIUTの戦略は崩壊する
651:１３２人目の素数さん
20/02/12 17:49:16.49 7R4y+mJH.net
↑細かい射というか、「操作的な」射と言ったほうがよいか
特にホモトピー論について幾何学的に扱う極限、余極限による射のシステム論としての圏論とは
明らかに違うものだから
652:１３２人目の素数さん
20/02/12 18:16:53.57 8vteCdlz.net
>>626-627
揚げ足取りのつもりではありませんが、∧と∨の入れる箇所を間違っていますよ。
それ以外、つまりレスの論旨は大体同意します。
653:１３２人目の素数さん
20/02/12 18:26:22.48 g76QyXKo.net
ごちゃんなんだから呼び捨てにするのはやめてほしいものだ
またブログに転載されてもっちから怒られるよ？
せめて先生とか教授とかプロフェッサーとかつけて敬意を示してもらいたいものだ
654:１３２人目の素数さん
20/02/12 20:04:17.50 VOr7V6wh.net
♂もっちんこ♂なんて訴訟もんだよね
655:１３２人目の素数さん
20/02/12 20:05:49.98 VOr7V6wh.net
Ｍで♂もっちんこ♂・・・
656:１３２人目の素数さん
20/02/12 20:06:29.16 VOr7V6wh.net
最低だよ！？やめるべき。
657:１３２人目の素数さん
20/02/12 21:53:07.56 sttelqCc.net
パラダイムシフトなんだろだとしたら現代の数学者が束になっても敵わない恥じることはない
658:１３２人目の素数さん
20/02/12 21:58:51.28 AFO7HzUr.net
これが数学じゃなかったら、「IUT理論が認められないのは、ユダヤ資本の陰謀」とか騒ぎ出すネトウヨが現れたに違いない
659:１３２人目の素数さん
20/02/12 22:35:48.17 q1d9ENm2.net
>>634
ユダヤ資本の陰謀とネトウヨの間に因果関係は無い
ユダヤ資本の陰謀とか言って敵視してるのはむしろ左翼勢力なんだが？
資本家の支配を嫌ってるからね
おまえみたいな低脳が蔓延るようになったのはどうしてなのだろうか？
660:１３２人目の素数さん
20/02/12 23:40:12 q4zEN7/R.net
IUTがパラダイムシフトの産物と
明言しているからね。
実際には
パラダイムシフト=暗黒面へ堕ちた
としか思えない
661:１３２人目の素数さん
20/02/12 23:55:20 q4zEN7/R.net
射を濫用すればあり
同値関係からやり直せ
662:１３２人目の素数さん
20/02/12 23:56:42 q4zEN7/R.net
射を濫用すればなんでもあり
同値関係からやり直せ
663:１３２人目の素数さん
20/02/13 00:20:01.23 //4XvD6M.net
Taylor DupuyはIUTを完全に理解した？
664:１３２人目の素数さん
20/02/13 04:20:54 vBemJ+9/.net
IUTは不射の射
665:１３２人目の素数さん
20/02/13 05:12:09 9yDFIPOD.net
>>635
欧米では極右側の民族主義、国家主義的傾向がある方々が「ユダヤ人資本家による支配」に対して危機意識や懐疑を表明しがちだからじゃないでしょうか？
666:１３２人目の素数さん
20/02/13 06:22:19.06 //4XvD6M.net
ヤン・ユー氏はIUT理解者に含まれる？
667:１３２人目の素数さん
20/02/13 06:39:49.02 5KJZQntR.net
>>629
IUTは 信じるものしか救われない
体質から尊師 御本尊と呼ばれている
668:１３２人目の素数さん
20/02/13 13:25:46.25 WEjKCHT+.net
ケー川ってだれ？
669:１３２人目の素数さん
20/02/13 13:34:40.31 eyHw9pPr.net
黒k先生？
670:１３２人目の素数さん
20/02/13 15:22:36 iA2Khs/U.net
ヒント KKの弟子
671:１３２人目の素数さん
20/02/13 16:57:09.67 NfqVEDvR.net
Scholzと餅は焼肉食べたんだろうか？
672:１３２人目の素数さん
20/02/13 17:18:45.52 8OWrSUJA.net
K川が理解できてK藤が理解できないなんてことは絶対にない。年齢とか関係ない
673:１３２人目の素数さん
20/02/13 17:32:00.42 Fy4HZCsn.net
65歳過ぎたら最先端の数学は無理だろう。
674:１３２人目の素数さん
20/02/13 19:27:42 RWOgjdi7.net
>>648
彼も理解はしてないよ。ただショルツのレポートはお粗末だってのはわかるらしい。
675:１３２人目の素数さん
20/02/13 19:46:31.71 ayOxUPQM.net
>>650
はいはいはい。
「リア充野郎が
数ヲタ非リア充のオレより
数学デキルなんてっ！
ムキキｷイィｨｯ！」
ｗｗ
676:１３２人目の素数さん
20/02/13 19:48:35.84 ayOxUPQM.net
「リア充野郎なんかお粗末ｯ!ﾍﾟｯ!」
ｗ
677:１３２人目の素数さん
20/02/13 20:45:26.71 8OWrSUJA.net
>>650
思わせぶりなこと言ってるけど、反論自体は望月レポートがあるわけだからなあ
もっと技巧的な話ができるのなら書くべきだし
678:１３２人目の素数さん
20/02/13 21:42:15 gvpUJ5jm.net
「K川に直接聞いたら分かるよ」とか上で書いていたけど、K川の名前を出さずに「これこれしかじか」だと
具体的に内容を書けばいいのにな。
本当にK川に直接聞いたのなら内容は分かるはずだろうに。
すべて又聞き、伝言ゲームなんだろうな。ここの自称「事情通」の人は。
679:１３２人目の素数さん
20/02/13 21:47:14 tNd/qeXd.net
じっさい名前のほうはどうでもいいからな。
ここまででピンポイントで間違いを指摘してるひとはみんな匿名だし。
680:１３２人目の素数さん
20/02/13 21:55:47 7s6Wy+BH.net
>>641
ネトウヨは極右ではない
ますます頭がおかしいのがバレたな
ネットでレッテル貼られてるネトウヨは欧州でいうと中道に近い
681:１３２人目の素数さん
20/02/13 22:12:40.85 8OWrSUJA.net
理解した、と自認したり望月氏に認められてる人は全員あの論争について何か言ったほうが良いんだよホント
極端な話ではなくてね
双方のギャップについて自分なりに言い方があって、IUTについて説明したい情熱
不愉快なくらいそういうものが見えてこない
いくらスペシャルイヤーといってもできることがあるだろう
682:１３２人目の素数さん
20/02/13 22:24:06.33 3Rf44b5l.net
一人ネトウヨが紛れ込んでるな。
683:１３２人目の素数さん
20/02/13 22:46:54.20 SwWerAUN.net
日本国内だけの内弁慶
外国に御大が行かないし周辺では無理
KKMJが世界的にも尊敬された佐藤スクールとはかなり違う
684:１３２人目の素数さん
20/02/13 22:57:36.08 6RoMa+7P.net
有名な人ほど理解力が有るというのはウソ
年寄りは知識と実績がふえても、
プライドも権威も雑用も知見も家庭も新しいものを受け付けることを
邪魔する
若い人ほど先入観なく集中して新しい数学を理解していける
685:１３２人目の素数さん
20/02/13 23:02:08.03 6RoMa+7P.net
K藤は家庭を一回リセットしたけど
686:１３２人目の素数さん
20/02/13 23:15:28.85 zPBFJy9N.net
越川さんがショルツの指摘をナンセンスと言ってるのは有名では？まあ彼自身iutに肯定的でないけど
687:１３２人目の素数さん
20/02/13 23:22:05.42 8OWrSUJA.net
>>660
その抽象論はこのケースでは当てはまらない
IUTの構造やKさんの研究内容、レベル、これらを勘案して「大まかには理解した」とすらならないのは
異常ってことだ
688:１３２人目の素数さん
20/02/13 23:36:20.28 d41Vjpk2.net
>>662
K川がだれかなんてのはどうでもいい。内容を言えよ。
689:１３２人目の素数さん
20/02/13 23:49:18.27 AoJzyDUH.net
>>642
ヤン氏はIUTに若干懐疑的な発言してたけどね。
少なくとも肯定派ではない希ガス。
690:１３２人目の素数さん
20/02/13 23:50:26.46 SwWerAUN.net
凸(☎ω☎)凸「あーそういうことね 完全に理解した」
691:１３２人目の素数さん
20/02/14 00:19:03 SZQ/FW/o.net
>>665
具体的にどんな発言してました？
692:１３２人目の素数さん
20/02/14 00:57:22.47 V0mONZ7b.net
>>663
そんじゃあ
Kさんの研究内容、レベルについて説明してみろよ
693:１３２人目の素数さん
20/02/14 03:00:13.91 /QHUFhyS.net
越川さんがショルツレポートをナンセンスと言ってる以上、SSの指摘は的外れ
M大勝利
なわけよ
694:１３２人目の素数さん
20/02/14 03:02:13.27 /QHUFhyS.net
的外れな指摘を、SSフィールズ賞ホルホルでマンセーしてる欧米人がアウトーってなわけよ
今や完全に風評被害
SSの責任は重いよ
695:１３２人目の素数さん
20/02/14 09:46:39 RZJNxPOj.net
IUT元年＝死亡診断書はさすがに草
696:１３２人目の素数さん
20/02/14 09:58:13 HT4IyBw5.net
初めてSSに非があるという情報でてきたな
697:１３２人目の素数さん
20/02/14 10:13:17 tAb/RTTB.net
>>656
日本は第二次大戦の枢軸国側として
大戦後のレジームの中では、同じく
敗戦国のドイツ、イタリアに等しい
立ち場に位置付けられてますから。
国連の敵国条項は未だに改定されて
いません。
大戦後の世界では今日まで、他国に於ては中道派で済む処の主張は、こと敗戦国側に於て成されれば、極右、歴史修正主義者の謗りを免れません。
698:１３２人目の素数さん
20/02/14 10:24:03 6qHUBxDR.net
>>672
＞ＳＳに非があるという情報 ❌
リア充タヒね！ぐぬぬ理論 ⭕
699:１３２人目の素数さん
20/02/14 10:25:18 6qHUBxDR.net
ｗｗｗｗ
700:１３２人目の素数さん
20/02/14 11:04:11 K0O2j1TT.net
ＢさんがツイッターでM側は糞長い反論出したのに、SSは見解出すと言っときながら逃亡したって書いてたな
M先生はブログでもわかるように超長文かますのが好きで、しかもあちこち話が飛び、各々が長い
ここらでツイッターにでも挑戦して要約するということを学べばいいと思う
きっとIUTの論文も50ページくらいになるであろう、知らんけど
701:１３２人目の素数さん
20/02/14 11:09:40 K0O2j1TT.net
>>674
Mさんは高学歴、容姿まあまあ端麗(若い頃)、穏や
702:かな性格、笑顔がステキ、とショルツ教授を越えるリア充でもおかしくなかったと思うが 家でもいちいち事細かに説明してきたり、愛の手紙書かせたら100枚オーバーは確定だろうし、 彼女が「温泉いきたいなぁ」と言ってるのに拒否ったり一度部屋にこもったら月単位で連絡とれそうにもないので非リアは致し方ないと思います 本人もぐぬぬと思ってるのかどうか？ 思ってないと思う
703:１３２人目の素数さん
20/02/14 11:27:40 ekmNRCqQ.net
下衆い
704:１３２人目の素数さん
20/02/14 11:48:33 1ZXYuwZK.net
>>677
ほっほおぉん・・・・・😏
リア充スター教授
「悔しかったら結婚してみろよ！？笑」
の一言(冷笑)だったりして。
ｗｗｗｗ
705:１３２人目の素数さん
20/02/14 12:17:06.58 kWLxrY0t.net
これ他の人も言ってたことだけど、SSの論文が不十分なのはある程度わざとやってるとも取れるんだよね
要はお粗末って、遠アーベル幾何学的な部分、特に数論的対称性の部分が抜けてるってことでしょ
あの論文だと実解析的基本群の話しかしてないように見える
お互いにナンセンスだと思ってるんだよ
望月レポートも含めてもしあの論争に欠陥があるなら、とっくに誰か書いてるから
つまり他に言えることがないってこと
706:１３２人目の素数さん
20/02/14 12:36:34.67 HT4IyBw5.net
>>680
なんでStixも関わってんのに触れないの？
SSは全くIUTを理解せずに批判してるみたいだな
707:１３２人目の素数さん
20/02/14 12:37:39.55 HT4IyBw5.net
定期的にSS擁護レスつくよねここ
中身もわかってないくせに
で、反論するとお前も中身で反論しろと逆ギレ
708:１３２人目の素数さん
20/02/14 12:50:04.57 kWLxrY0t.net
>>681
単純に主要な欠陥が圏論的なものだから
だから遠アーベルにあまり詳しくないショルツが気付けた
あと、単遠アーベル幾何学をIUTで使用する際の欠陥に触れるならSSのやり方でもそんなに悪くはないよ
IUT特有の超圏論的な操作を無くしたら結局こうなっちゃうという話だから
いくらあなたがポジショニングトークでIUT擁護をしても、SSが間違っているというわかりやすい指摘は
ついにIUT研究者から出てこなかった。その理由は、普通の数学を使った問題ではなく、超圏論的な問題だから
709:１３２人目の素数さん
20/02/14 13:45:30 HT4IyBw5.net
>>683
詳しい説明をありがとう
別にポジショニングトークするつもりはないけど、ショルツのことに詳しいKさんがはっきりとあのSSレポートは勘違いだって断言してる。これ事実なのでね。
710:１３２人目の素数さん
20/02/14 14:16:50 Ptu8Aetu.net
ちなみにここで数学的見地から回答してる方々は、歴とした数学者でいらっしやるの？
それとも院生の方？
711:１３２人目の素数さん
20/02/14 14:34:32.84 RZJNxPOj.net
>>684
だからその内容を言えばいいじゃん。
KがだれかなんてのもKがショルツと面識があるかどうかもどうでもいいわけよ。
712:１３２人目の素数さん
20/02/14 15:15:19.90 7Ay1loYp.net
誰かこれの日本語版ページを作ってくれ
URLﾘﾝｸ(en.m.wikipedia.org)
713:１３２人目の素数さん
20/02/14 15:39:30.85 HT4IyBw5.net
>>686
内容はわからんから言わん
そういう事実があるという報告のどこがいかんのだ
過剰批判する方が見苦しいわ
714:１３２人目の素数さん
20/02/14 16:03:35.61 Ptu8Aetu.net
じゃあせめてKが誰なのか、わかるように書いてほしいわ
715:１３２人目の素数さん
20/02/14 16:11:11.12 HT4IyBw5.net
このTL流れ見てたらわかるでしょ？
716:１３２人目の素数さん
20/02/14 17:28:47.36 RB6SAVn1.net
超剣呑的流れ
717:１３２人目の素数さん
20/02/14 21:18:57 SZQ/FW/o.net
ところでフェセンコは本当にIUTを理解してるのかな？
718:１３２人目の素数さん
20/02/14 22:31:22.76 kWLxrY0t.net
>>684
状況はややこしいのかもしれない
HTを線形写像の可換図式の話にしてるから、わざと単純化してるのでなきゃやりすぎかもしれない
だけど、だからって大きく話が違うのかという…
奇妙なリセット操作で宇宙を区別しないと不等式は構成できないからねw
719:１３２人目の素数さん
20/02/15 00:04:10.17 ++otDYwB.net
というかここまでの指摘だとSSのはむしろ難しく考えすぎで、
IUTは集合論の理解不足というもっと基礎的なところで間違ってるよね。
720:１３２人目の素数さん
20/02/15 00:18:30.35 Uy1throz.net
K川はSSはわかってないって言ってる！厨が現れてから
このスレの一番の被害者はK川になってきたな
721:１３２人目の素数さん
20/02/15 00:25:19.99 KBLTjQ/q.net
「SSはIUTをわかってない」が正しいとしても
IUTが正しいかどうかとはまた別の話だけどね
722:１３２人目の素数さん
20/02/15 00:29:25.96 D/AW8jzP.net
正しいか間違ってるか、いつわかるんですかい？
723:１３２人目の素数さん
20/02/15 00:36:41.03 4K+/yGdd.net
あと10年くらいかかるんで？
まあ雑誌には早晩掲載されるだろうがね
724:１３２人目の素数さん
20/02/15 00:40:50.14 cw9gERMZ.net
そもそもSSレポートと関係ないところでダメ出しされてる感じあるんだよね。
>>585はがほんとうなら先行論文の段階でなにかおかしなことを考えていて、
それがそのまま論文IVに使われてるようにみえる（>>575）。
こうなるとSSがわざわざレポートを書いたのは御大が依頼したからで、
当人たちは（相手にするまでもなく間違っているので）どうでもいいと思っているのでは、
というのもなんかもっともらしくなっちゃうんだよな。
725:１３２人目の素数さん
20/02/15 02:32:20 JY9x+V+y.net
ガロア理論もわからないカスがなにを偉そうににかたってんだかｗｗｗ
726:１３２人目の素数さん
20/02/15 03:37:06 RunN45W6.net
モッチー先生の弟子の辻村氏はIUT理解者に含まれる？もしそうなら、まだ若いのにエラいことだよね。
727:１３２人目の素数さん
20/02/15 05:27:13 z68esjXF.net
> M氏は或る先行論文の脚注でZFCGはZFCの保存的拡大であると書いていたらしい
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV: LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
(August 2012)
p.43
> ...concerning the "conservative extensionality" of ZFCG relative to ZFC, i.e., roughly speaking,
> that "any proposition that may be formulated in a ZFC-model and, moreover, holds in a ZFCG-model in
> fact holds in the original ZFC-model" ...
これかな
728:１３２人目の素数さん
20/02/15 06:42:55.23 A11V8WdY.net
>>693
＞奇妙なリセット操作
それが必要だからでしょ。
宇宙をより矛盾なく説明出来る様にするのに。
729:１３２人目の素数さん
20/02/15 06:43:55.11 A11V8WdY.net
>>700
解るの？
730:１３２人目の素数さん
20/02/15 08:57:35.93 u9Uvg7Pu.net
SSも勘違いレポート公開したゃうわ、MのIUTも数秘術扱い。
どっちもだめだこりゃ
731:１３２人目の素数さん
20/02/15 10:03:02.68 KBLTjQ/q.net
>>698
今後の数年はイギリスに若手ポスドクが集まるだろうし
フェセンコ周辺での展開次第
何せ「クレジットカードから天気予報まですべてを改善する可能性」ですから
IUTで明日の天気がわかる！
732:１３２人目の素数さん
20/02/15 10:07:11.87 9mYWZzs8.net
>>698
予算とカンファレンスのご都合ですかね
733:１３２人目の素数さん
20/02/15 10:10:59.63 9mYWZzs8.net
>>706
万物に有効なIUTです。
コロナウィルスの拡散予想もわかる！
IUTでウィルス拡大方程式が改善
されたあ～ とか
734:１３２人目の素数さん
20/02/15 10:17:26.93 aP96XPX0.net
すごいな
一般人からしたら二次方程式でさえ何の役に立つのかわからないのに
735:１３２人目の素数さん
20/02/15 10:47:48.23 zDdhCvDB.net
モッチーとBさんてどっちが頭いいの
736:１３２人目の素数さん
20/02/15 13:08:56 wq0VRm4Y.net
>>700
そういう煽りがかえってどんなレベルの人間かを露呈するから面白いな
息切れして類体論勉強した元院生みたいな
737:１３２人目の素数さん
20/02/15 14:58:08 K8KrZ/s0.net
天気予報やクレジットカードって言ってるのは
暗号理論的な側面を崩せる、つまり量子コンピュータの応用どころか
基礎理論に使えるってことを暗に宣言してるだけでしょ
738:１３２人目の素数さん
20/02/15 15:02:38 4w6bEa3f.net
暗号理論で言うとBSD予想の方が関連深いだろう
739:１３２人目の素数さん
20/02/15 15:12:16 KBLTjQ/q.net
現実的には量子コンピュータなりへの応用へ繋がるまで
数論の今の現状からどれほどの時間がかかりそうかくらいは
本当はある程度は試算しておかないといけないわけで「いつかは役に立つ」
「応用が見つかってから飛び込んでも遅い」ばかり言ってたら信じてもらえない
天気予報だクレジットカードだと吹かしてたら次世代の人は困る
iPSですら山中の基礎理論から実用まで時間がかかりそうだとわかってきて
縮小されそうなところに来ており山中先生本人にもこの点は責任があるはず
740:１３２人目の素数さん
20/02/15 15:14:18 7oY993H/.net
まあiPSはIUTほどはひどくないが、国内世論操作をしてESより役立つとかいうデマを広めてるからなあ。
海外ではiPSはESの代替とならないとされていることを考えると、
国内で騒がれてるだけで海外では冷ややかな評価という点では似ているところがある。
741:１３２人目の素数さん
20/02/15 15:27:08 wq0VRm4Y.net
>>713
文脈的に暗号と言ってるだけなんだろうけど、BSDを解決する理論の応用ポテンシャルは
高が暗号なんてレベルじゃないだろうね。目先の金儲けなら暗号は重要だけど
フェセンコの政治活動は生暖かく見ていたいけど、元々才能はある数学者なのは確か
今や何をしてるのかよくわからん人に
742:１３２人目の素数さん
20/02/15 19:05:32.62 Uy1throz.net
高が暗号なんてレベルじゃないと言いつつ具体的に言えないｗｗｗ
743:１３２人目の素数さん
20/02/15 19:24:52.65 0+Qq3Xw4.net
>>647
食べてたよ。scholzはウェルダン派だから、ミディアムレア派の餅と焼肉屋で折り合いが決定的に悪くなってしまった。
744:１３２人目の素数さん
20/02/15 19:31:16.64 ww+nfsPC.net
4 名前：１３２人目の素数さん 2020/02/15(土) 16:39:01.63 ID:0+Qq3Xw4
大類菌がまた繁殖してる。。。
745:１３２人目の素数さん
20/02/15 20:35:16.65 EU05j8fJ.net
abc予想は楕円曲線の不変量の間の不等式ってことは思想としてはおもんないな
746:１３２人目の素数さん
20/02/15 23:03:57 wq0VRm4Y.net
>>720
ABCは大雑把にはアラケロフを一般化しないと解けない
それだけで十分神レベル。ファルティングスを超えてグロタン神と並ぶことになる
747:１３２人目の素数さん
20/02/16 00:42:14.29 NZ52Aj44.net
森脇先生のコメントは？
748:１３２人目の素数さん
20/02/16 00:42:44.97 b67pnXHs.net
>>721
万能を唱えるわりには
四六時中変異していく
疫病神じゃん
749:１３２人目の素数さん
20/02/16 00:49:03.51 FoEpgFA2.net
モッチー、もう寝たかな
ドラマ見る暇もないって、毎日何してるねん？
750:１３２人目の素数さん
20/02/16 00:54:00.96 b67pnXHs.net
IUT論文の修正だろ
751:１３２人目の素数さん
20/02/16 01:15:50.20 vG4o6vuo.net
もっち、バレンタインチョコもらえたかな
752:１３２人目の素数さん
20/02/16 03:58:30.93 KJ/BtONc.net
そもそも1/2がリーマンに関係してる可能性があるって話はどうなったの？
宇宙際メリン変換ができれば証明できるとかゴーが言ってなかったか
753:１３２人目の素数さん
20/02/16 04:17:43.64 k2GjgKlK.net
> IUT論文の修正
slightly modified ばかりなのはわかるけど、>>702 みたいな話もあるから
論文には revision 番号をつけるといいと思う。
github 使うとか
754:１３２人目の素数さん
20/02/16 10:38:18.76 7GSc4Zu8.net
>>726
ひとみんさんはチョコ寄贈も自粛せざるをえなかったほど接近禁止令なの...？
完全ﾆ💔嫌ﾜﾚﾃﾙ...？。(つД<。)゜。
755:１３２人目の素数さん
20/02/16 10:42:34.21 7GSc4Zu8.net
もっち
「え？Jin？
またあのス★ー☆ーか...」
悲ｼｽｷﾞﾙ...゜。゜(°ノД<)゜
756:１３２人目の素数さん
20/02/16 10:47:12.14 7GSc4Zu8.net
゜。 ＊゜ 。
゜＊。゜ﾋﾄｺﾞﾄﾄｵﾓｴﾅｨ...
757:１３２人目の素数さん
20/02/16 10:58:21.28 zNr7AEsm.net
>>728
arxivに投稿すればいいのにね
あ、修正が多すぎて対応できないかもしれない
758:１３２人目の素数さん
20/02/16 11:07:23.61 zNr7AEsm.net
>>722
森脇本を読んだだけだが、
アイデアが必要 でしょ。
ショルツが望月星とミーティングの後
IUTはabc予想につながるアイデアがない といった。
759:１３２人目の素数さん
20/02/16 11:15:55.72 eAO2S34J.net
すごく根本的な問題として「宇宙の公理を認めた場合にその公理系でのabc予想は、
従来言われていたabc予想と同一なのか？」というのがあると思うんだよね。
760:１３２人目の素数さん
20/02/16 11:19:15.81 Pp/fBc5r.net
Vojta's conjecture は、
ht_{E} ≦ (1+ε)( log-diff_{F} + log-cond_{E}) + constant
IUT で導いたのは、
ht_{E} ≦ ( log-diff_{F} + log-cond_{E}) + constant + constant_1 ( log-diff_{F} + log-cond_{E}) ^1/2 + ε + constant_2
761:１３２人目の素数さん
20/02/16 11:40:17.89 zNr7AEsm.net
>>735
その予言はどこに書いてあるの？
ソースを貼ってくださいね
762:１３２人目の素数さん
20/02/16 12:44:42.12 Pp/fBc5r.net
>>736
出回ってるサーベイ
763:１３２人目の素数さん
20/02/16 13:50:55.05 eAO2S34J.net
>>735
俺が言ってるのはそこじゃない。
公理系が集合論的に違うのに上と下の不等式で使われてる用語が同義であると言えるのか、
という話。
764:１３２人目の素数さん
20/02/16 15:26:16.19 n60V7Eig.net
>>727
前もそれ書いたけど、元々テータ関数論で1/2は出てくるわけで、
誤差項の計算ってテータ関数や二次形式まわりの計算なんであって、果たして本当に
全く新しい発見なのかなっていうね
765:１３２人目の素数さん
20/02/16 17:11:38.14 IBu17nvw.net
>737
なんだ ソースを貼れないのか
766:１３２人目の素数さん
20/02/16 23:39:46 Pp/fBc5r.net
>>738
公理系が集合論的に違う？
詳しく教えて
767:１３２人目の素数さん
20/02/16 23:46:32 r1S86Lmk.net
しかし冷静に考えてみてほしい
一般の数学者は既に全くこの理論にエキサイトしていないのである
とっくに終わっているのである
768:１３２人目の素数さん
20/02/16 23:59:54 GaiwtJDf.net
万一もっちー論文が正しいとしても
ABCの別証明に向けて動くだろうしな
769:１３２人目の素数さん
20/02/17 00:37:56.79 h/o4B8+O.net
モッチー、おやすみ///
今日も論文修正お疲れさま///
770:１３２人目の素数さん
20/02/17 06:10:43.88 AUkMTN6a.net
zfcと独立か否か
771:１３２人目の素数さん
20/02/17 10:17:20.63 GckCFLdL.net
>>745
そこだよね。
ZFCと独立ならSSの批判は的外れなのかもしれない。
だけどZFCと独立の理論で、これまでZFC上で議論されていたabc予想が解けたというのは、
意味がまったくない可能性がある。
772:１３２人目の素数さん
20/02/17 10:19:16.83 GckCFLdL.net
そもそもZFCから独立した数学にどういう意味があるのかも不明だし、
「俺理論上は解けているんだ」という主張では仮にその「俺理論内での整合性」
とやらが担保されていても意味はないよね。
773:１３２人目の素数さん
20/02/17 12:08:06.30 AstdSosS.net
既存数学は一神教
望月数学は多神教
一神教から見れば多神教はナンセンスになっちゃう
774: 多神教から見れば一神教は柔軟性に欠ける 誰が決着つけんだろうな
775:１３２人目の素数さん
20/02/17 13:03:05.40 GckCFLdL.net
>>748
最終的にはapplyできる先がどっちが多いか。
ZFCには多大な蓄積がある。
望月数学にはない。
776:１３２人目の素数さん
20/02/17 13:18:02.50 aQIsjkEG.net
最終的には餅が勝つから
777:１３２人目の素数さん
20/02/17 13:22:40.96 E7KtmCdH.net
ぐだぐだいうアホが多いが2100年には決着ついてるから
アンチはその時になって吠え面かくなよ
778:１３２人目の素数さん
20/02/17 16:21:02 KKzZ0RZo.net
その頃にはIUTを使って寿命も延びてるからね
779:１３２人目の素数さん
20/02/17 16:42:15 cIuEOjoo.net
その頃にはもっちんも131才か
百ひくとまだ31才、ピチピチの若手だね
780:１３２人目の素数さん
20/02/17 17:15:18.67 Nzms6mON.net
白い方が勝つわ
781:１３２人目の素数さん
20/02/17 17:50:02 /FlRo837.net
Dupuyの布教活動は上手く行ってないのか？
782:１３２人目の素数さん
20/02/17 19:01:50.65 ZoPjSHJ3.net
>>748
そういう議論にしたがる奴がいるが、
単純に既存数学が正しく、望月のは正しくない。それだけ。
783:１３２人目の素数さん
20/02/17 19:07:53.47 ZoPjSHJ3.net
>>745
そういう問題ではない。
望月のは単純に間違い。
じっさいのところ、ZFCを超えた証明のため、その証明を認めるかどうかでもめるという事は
まずないと思うよ。
仮に将来、本質的にZFCを超えた証明が現れたとしても、その証明は最初から誰もが正しいと認めらるだろう。
、
むしろ逆に、ある程度時間がたってから数学基礎論者によって、その数学が実はZFCを超えたものであることが確認されると思う。
784:１３２人目の素数さん
20/02/17 19:44:39.12 32zc0Mzi.net
科学者やまともな素養がある人はみな小保方がトンデモだとわかっているが、
当時、飲み屋に行くと「俺は小保方さん、正しいと思うよ。頑張っているじゃん！」
とか言うわけのわからないオヤジが多かった。
IUTもそれと似たものを感じる。
785:１３２人目の素数さん
20/02/17 20:05:46.33 E7KtmCdH.net
B本の読者たちか
786:１３２人目の素数さん
20/02/17 21:33:28.60 8ZVoVySK.net
つまり、まずは非形式的に数学界に受容され、次いでそれが形式化される過程で
新たな黙示の前提が抽出され、公理として明示的に追加される、
みたいなシナリオか？
787:１３２人目の素数さん
20/02/17 22:53:05.38 nQZmFanv.net
普通はそれだよね。IUTはそういうプロセスに乗っていない。
788:１３２人目の素数さん
20/02/17 22:58:32.48 hkdr8Efh.net
なんか話の流れがどえらい方向に行ってるけど？
iutの議論の中にはzfcからは証明できないのがあってどうこう言う話になってるの？
だとしたら具体的にどの議論のどの主張がzfcから独立なん？
その主張のzfcとの無矛盾性は大丈夫なん？
789:１３２人目の素数さん
20/02/17 23:00:31.66 O59YR9U1.net
>>762
前提として>>585
790:１３２人目の素数さん
20/02/17 23:12:45.52 AUkMTN6a.net
初期の段階では、通常の集合論では出来ないと望月本人が言ってた
ただ対して山下は通常の数論幾何と思ってよいと言ってる
うむむむむむ。。。。。。
791:１３２人目の素数さん
20/02/17 23:20:50.92 l47ysur2.net
まぁ別にzfcでは表現しにくい話があるなら新しい論理記号でもなんでも追加するのはいいと思うけど。
その新しい理論がzfcから見て保存拡大である事が示せれば文句なし。
そこまでは無理でも新しい理論の無矛盾性がzfcの無矛盾性を仮定すればでてくるなら少なくとも意味はある。
どっちも示されてないのでは流石に意味ない気はする。
792:１３２人目の素数さん
20/02/17 23:41:51.45 E7KtmCdH.net
「IUTは正しい」を結論にして考えだすといろいろ大変なんでしょうなあ
793:１３２人目の素数さん
20/02/18 00:46:04 y3hHq5mR.net
アイデア自体はZFC云々より第一に幾何学的なもの。ただし幾何学で閉じていない理論ではあるが
本人はZFCがどうとかってところからは出発してないはず。その辻褄は副次的な問題だったから
結構適当になっちゃったとw
しかも、むしろ大まかにでもアイデアがわかると、今度は何でIUTはおかしいのだろうか、という方が
難しくなる。つまり、普通はSSより望月側に寄るもんだと思う。ある意味で
現実にはそこまでいかなかった数学者が大半。アイデアすらよくわからないまま距離を置いていた
下手をするとショルツも元々の「動機」はあまりよくわからなかった可能性はある
不等式ではなく理論的な動機は
それでも彼なりに理論内容を処理したらナンセンスだと見たと。この辺が真相じゃないかな
794:１３２人目の素数さん
20/02/18 00:50:40 /WpCgkUi.net
ぶんさんがIUTは般教になりますたて呟いてる
もっちーの大勝利！？
795:１３２人目の素数さん
20/02/18 01:06:50 y3hHq5mR.net
一見擁護に見えるわけだけども、個人的にはSSはやっぱり結果的には正しいだろうと思うね
K川氏が理論はわからないけどSSはお粗末だと言ってるとか言われるけど、結果的には大まかにSSは
正しいでしょってリアルでも言えるレベル
これは典型的に、木を見て森を見ずというか、頭良すぎて複雑なアイデアに囚われて
単純なミスに気付かなかったパターンだと思う。勿論、問題意識はある程度は正しいんだけどね
796:１３２人目の素数さん
20/02/18 03:27:28 gYKyEsAg.net
> 単純なミスに気付かなかったパターンだと思う。勿論、問題意識はある程度は正しいんだけどね
早稲田理工の数学入試ミスか・・・
797:１３２人目の素数さん
20/02/18 06:08:48 tERo6Pas.net
>>769
意味不明。日本語でおけ。
798:１３２人目の素数さん
20/02/18 08:15:17.16 ebl32+JT.net
僕はIUT周辺の理解者とおぼしき人達が、SSの反論以降も
離反した形跡が見られないことから、かなり正しいんじゃないか？と期待してる。
799:１３２人目の素数さん
20/02/18 09:06:13.58 aPCAXVEj.net
Rimsの人間が離反出来るはずねだろ
800:１３２人目の素数さん
20/02/18 09:12:09.65 QPTH8Coi.net
>>768
じゃあこのスレに来てる人達、
もう、現代っていうか・・・
過去の数学人になっちゃったんだね...(遠い目)
もっち以前 現代数学
もっち以後 ポストモダン数学
801:１３２人目の素数さん
20/02/18 09:29:27.96 WcU9R1oc.net
もっち最高！
802:１３２人目の素数さん
20/02/18 09:40:01.42 bNXlKSy0.net
この世の数学者には二通りしかない
もっちか、もっち以外か
803:１３２人目の素数さん
20/02/18 09:40:18.41 HKN/6zUW.net
>>767
IUTに重要なアイデアなんてないでしょ。
これはタオがペレルマンのときとちがって論文を読んでも刺激されない、
ペレルマンのときは最初の数ページを読んだ時点でこれが重要なアイデアだとわかった、
と言ってるとおり。
804:１３２人目の素数さん
20/02/18 10:55:20.51 vjpbu6HK.net
>>776
モーランドかよｗ
805:１３２人目の素数さん
20/02/18 12:23:39 tERo6Pas.net
つかSSの反論って、理解者どころか、準理解者のTやKにさえも糞味噌にいわれてるのよね
これが事実よね
ほんとSS反論レポートって罪深いわ
806:１３２人目の素数さん
20/02/18 12:51:21 I9tw59Mn.net
>>779
同じことばっか言ってるけど、それで出てきた反論は望月レポートだけしかないし、
その応酬自体ある程度は議論が噛み合ってるわけ
しかも、そんな単純なミスだったら他に読んでる数学者が参入してくるに決まってるよ
望月レポート以外反論できないってことは理解者は弁護できないってこと。散々尽くされた話じゃん
807:１３２人目の素数さん
20/02/18 12:55:57 EfZS+evh.net
>>776
数秘術か 数学か
占いか 証明か
808:１３２人目の素数さん
20/02/18 15:35:41.82 Ru3jYATE.net
「SSは間違っている！わかってない」と叫んだところで
どうにもならんことがわかってないんだろうな
809:１３２人目の素数さん
20/02/18 16:06:45.39 wF
810:iQ9/wX.net
811:１３２人目の素数さん
20/02/18 16:27:13.38 06v9pOD9.net
普通に論文書けばいいだけじゃないの？
数学なんてアイデアを思いつくのは難しくても思いついたアイデアを伝えることについてそんなに難しいわけがない。
もちろん一から百まで細かく細かく説明したらきりがないのである程度間引いて書くことになるけど、どれくらいなら間引いても相手に伝わるかなんて見極めが五十にもなってわからんハズなどない。
わかってもらえなかったら空いてる行間縮めるだけ。
そんな事が7年？8年？もできないなんてあるハズもない。
普通の研究者はもう失敗してるんだろと思ってるよ。
812:１３２人目の素数さん
20/02/18 16:37:20.36 HKN/6zUW.net
>>783
着想なんか聞いてもしょうがないんだけどね。
813:１３２人目の素数さん
20/02/18 17:03:22.45 D4HCgAUX.net
いいえ、ぜひ聴きたいです！
もっちんのロマン溢れる着想から実現に至るまでの物語を。
814:１３２人目の素数さん
20/02/18 17:30:01.84 Ru3jYATE.net
着想「まず焼肉を食べます」
815:１３２人目の素数さん
20/02/18 17:37:46.63 ttbBmaMU.net
>>786
もっち様はすっごくprettyですよね♪
816:１３２人目の素数さん
20/02/18 17:38:43.64 ttbBmaMU.net
あげてました...すみません。
817:１３２人目の素数さん
20/02/18 19:19:42 GKS+xewm.net
すみませんじゃねーよ、jin
818:１３２人目の素数さん
20/02/18 19:38:19 460TpSiK.net
こんな糞スレがもっち様の目に入ったらどうするんだ
819:１３２人目の素数さん
20/02/18 19:52:08.64 gZLT2Rfr.net
副産物がでてないよね
820:１３２人目の素数さん
20/02/18 20:08:27.15 dTJCWriH.net
そろそろ望月先生には新しい論文を書いて欲しいですね。既存の作品の改稿ばかりでなく。
821:１３２人目の素数さん
20/02/18 20:09:15.89 Ru3jYATE.net
IUTが正しかったと仮定してもっちはあの論文で全精力使い果たしたとしても
数学者人生としては素晴らしい
周辺の自称・理解者「レジェンド10（笑）」はサーベイだけでまだ何もやってない
「やったやった」「セミナーで進展した」「おまえら何も知らん」ばかりで論文が出てこない
822:１３２人目の素数さん
20/02/18 20:10:41.18 Ru3jYATE.net
>>793
次回作はInter-Inter-universal geometryだな
宇宙際幾何学を超えた伝説の超宇宙際幾何学ゴッド
823:１３２人目の素数さん
20/02/18 20:22:58 I9tw59Mn.net
>>791
10年前なら「ハッハッハッ実に下らない！出来損ないばかりじゃないか！」とか言いそうな見た目だったが
最近では「はあ…」で終わりそうなくらい疲れてそう
824:１３２人目の素数さん
20/02/18 20:54:45 HRs23WQ+.net
>>777
ペレルマンの10数ページの論文と、iutを比較するのがまずおかしい
825:１３２人目の素数さん
20/02/18 21:08:24 ndg94+9k.net
iutはおかしい
826:１３２人目の素数さん
20/02/18 21:13:26 YbU/W9fG.net
>>797
ペレルマンは最初のほうで自分のアイデアのわかりやすくかつノントリビアルな成果で示している。
IUTはabcを解けたというあやしい部分以外になにも成果がない。
タオが言ってるはそこ。何ページ読んでもIUTでなにができるのかが不明瞭。
827:１３２人目の素数さん
20/02/18 21:39:13 Ru3jYATE.net
>>798
焼肉はおいしい
828:１３２人目の素数さん
20/02/18 21:41:34 Ru3jYATE.net
>>799
＞ペレルマンは最初のほうで自分のアイデアのわかりやすくかつノントリビアルな成果で示している
こういうの大事だよね
日本人の講演は最初準備ばっかりで何を言いたいかわからんものが多いと
初めてアメリカに行った時に指摘されて以来俺は気をつけるようにしている
829:１３２人目の素数さん
20/02/18 22:35:44.69 2FCuvFI+.net
>>794
もうすぐでるよー
830:１３２人目の素数さん
20/02/18 22:50:14 eZS03N1p.net
>>802
共著？
831:１３２人目の素数さん
20/02/18 23:06:45.98 WUkWanFk.net
>>790
Jinさんじゃないです。
832:１３２人目の素数さん
20/02/18 23:07:35.68 WUkWanFk.net
ただの餅さまのファンです。
833:１３２人目の素数さん
20/02/18 23:39:44.60 /WpCgkUi.net
>>804 餅様のどこが好きなのかね
835:１３２人目の素数さん
20/02/18 23:50:30.81 8xjWAloB.net
>>806
独身なとこと、お天才なとこですねぇ！
あと名前が「餅」。他人事と思えない...
836:１３２人目の素数さん
20/02/18 23:52:11.83 8xjWAloB.net
ID変わっちゃいましたけど、餅ファンの書き込みさせて頂いた者です。
837:１３２人目の素数さん
20/02/18 23:53:30.12 I9tw59Mn.net
>>801
IUTはそういう口下手ともちょっと違うというか
むしろモチベーションとか何故ABC予想に関係あるのか、かなり親切に書いてる部類
それでも電波に見えるからこうなったわけで
大体お題目通りだから、やってることは
838:１３２人目の素数さん
20/02/18 23:54:21.36 I9tw59Mn.net
>>807
リア充がどうとか言ってる人？
839:１３２人目の素数さん
20/02/19 00:02:45 T5k5TB3D.net
>>810
リア充はシュルツ教授ですよね？
840:１３２人目の素数さん
20/02/19 00:23:34 wAT7qToE.net
しかしスペシャルイヤーにコロナとか
とことん持ってないなwwwww
841:１３２人目の素数さん
20/02/19 00:24:09 pHi2lE2X.net
もっちー、おやすみ
IUTが認められてみんなに絶賛されてるようないい夢見てね
今日も１日お疲れサマンサ
842:１３２人目の素数さん
20/02/19 00:30:06 9oueISnE.net
>>807
professorTAKUROだったら笑う
843:１３２人目の素数さん
20/02/19 01:04:17.19 31eA0fZN.net
>>787
横レスですが、
ZFCについて、かなり昔で、2012年に Terence Taoが「IUTT-IVの最後の部分で、
Section 3（page 43)のリマーク 」で、望月が「グロタンディーク集合論によるZFCの拡張である」と
主張しているところは精確ではないと、下記ブログで書いてたが。
URLﾘﾝｸ(quomodocumque.wordpress.com)
でもTerence Taoが、同じブログに「ABC予想に関してはSection 2までに証明されているから、
abc予想の証明には関係ない」と書いてた。
他で指摘があるのかな？
844:１３２人目の素数さん
20/02/19 09:03:41 CquB2vWc.net
>>803
共著だよ
845:１３２人目の素数さん
20/02/19 09:14:37 lPhrQh5H.net
>>796
太り過ぎですよね。
更年期を乗り切れずに
太り負けしちゃってますよね
ダメ中高年ですよ。
奥様いらっしゃらないから
健康管理は自己責任ですからね～
846:１３２人目の素数さん
20/02/19 09:48:16 kQ/1d86J.net
>>815
それはIUT論文がabc予想の証明がSection2までで完結している場合だけど、
その後の議論をみるかぎり論文を全部読めになってるっぽいので、
Section2以降の間違いだから問題ないというのは言えなくなってる気がする。
847:１３２人目の素数さん
20/02/19 10:43:26 kQ/1d86J.net
けっきょくなにをどうやって証明しているのかすら不明瞭だから、
１箇所にまちがいがあると全体が成り立っていないのではないかっていう疑惑がぬぐえなくなるんだよな。
まあもともと１箇所成り立ってないと数学の論文は全体的に破綻するはずだし、
集合論のところの理解がおかしくてもそれ以降が大丈夫というのはすこし考えられないけど。
848:１３２人目の素数さん
20/02/19 12:46:53 OgMsYAuB.net
>>817
Bさんも顔はイケメンだが腹はビール負けしてそうだ
ま、食の楽しみは人生の醍醐味でもあるからうるさく言われたくはないでしょうが、中性脂肪とコレステロール、尿酸は数年前からやばそう
849:１３２人目の素数さん
20/02/19 14:53:17.42 7gKYzTxj.net
>>819
そうじゃなくて単純に中核の論理がよくわからないってこと。わけわかめだらけって訳じゃない
中核がわかりやすけりゃとっくに通過してる
新しい
850:サーベイも本論文が通らないのではほとんど価値を持たないだろうね
851:１３２人目の素数さん
20/02/19 16:03:15.94 470YSrwM.net
本論文もそろそろ通るでしょ
この春頃には
852:１３２人目の素数さん
20/02/19 17:28:34 WJqyy33Z.net
結局何にも肝になるアイデアがないからね。
853:１３２人目の素数さん
20/02/19 20:04:12 7aNs9Rzi.net
建前の極限
終章は近い
854:１３２人目の素数さん
20/02/20 01:34:34.01 TDSfqbhN.net
Stixはフェセンコの弟子だった？
855:１３２人目の素数さん
20/02/20 14:06:12.40 OJLTeVqf.net
>>825
違う。Stixの学位論文ggr
856:１３２人目の素数さん
20/02/20 15:40:40.83 tmNKc3sz.net
>>826
いや、Stixがポスドクのとき。
857:１３２人目の素数さん
20/02/20 16:07:05 WsP80KTt.net
ポスドクに師弟関係はなくね？
858:１３２人目の素数さん
20/02/20 19:45:18.66 YuJMgtVi.net
もっちー、新型コロナに気を付けて
859:１３２人目の素数さん
20/02/20 23:26:44.43 xnFKvXz5.net
IUTより天気予報も改善する可能性
もあるというなら、
IUTよりウィルス拡散予想も改善する
可能性もあると言いそうだわ。
京大理学部医学部 気象庁厚労省の皆さん、本当ですかね？
860:１３２人目の素数さん
20/02/20 23:47:29.83 ODoOz+Qz.net
予想だけじゃねえ
整数のタイヒミューラー空間計算するんだから楕円曲線の量子場くらい計算できるでしょう
861:１３２人目の素数さん
20/02/20 23:49:06.40 xnFKvXz5.net
>>822
その大予言の根拠は？
862:１３２人目の素数さん
20/02/21 00:38:15.65 o4jGkFZc.net
もっちがブログでプレッシャーかけてきたからだよ！
863:１３２人目の素数さん
20/02/21 14:29:14.47 1nuE8cx5.net
>>830
ウィルス拡散予想なんて役に立たないが、天気予報予想は役に立つからOK
864:１３２人目の素数さん
20/02/21 16:09:31.94 crvgdwAM.net
>>834
京大理学部や気象庁の方ですか？
865:１３２人目の素数さん
20/02/21 16:14:50.23 4pC3a+TP.net
相場師です
866:１３２人目の素数さん
20/02/21 16:15:08.64 xb2i08DS.net
餅様 頑張って下さい！
餅さまも、モっチームの皆様も
ｺﾛﾅに気をつけてご自愛ください。
867:１３２人目の素数さん
20/02/21 20:17:09.74 Y4q71LaZ.net
気をつけてふせげるならみなそうしてますから
変異性ういるすなんてふせげないずら
868:１３２人目の素数さん
20/02/21 20:47:51.35 OVmJCLx1.net
望月「変異だって？IUTじゃないか」
869:１３２人目の素数さん
20/02/21 21:24:31.98 F7dItORF.net
>>835
新型コロナウイルスはウィルス保持者と15秒身近にいたら伝染ることが分かってる
ショッピングモールだろうが飲食店だろうがな
そんな保持者の行動をピンポイントで読める訳では無いから現実には役に立たないんだよ。市民にとってはな
870:１３２人目の素数さん
20/02/21 21:24:44.98 AfFP1P2C.net
8年前すでにVirus mutation に対する策がとられていた
厚生労働省は今すぐもっちーを変異ウイルスの専門家として招集し
RIMSに10億の予算をつけるべし
871:１３２人目の素数さん
20/02/21 21:28:43.84 Y4q71LaZ.net
AIに解読させればいい
やれないうちは無能扱い
872:１３２人目の素数さん
20/02/21 21:37:24.10 OVmJCLx1.net
まず暗号で1000億くらい稼ぐでしょ
あとは金融工学で伊藤先生の弟子を取り込んで完璧
873:１３２人目の素数さん
20/02/21 21:55:10 F7dItORF.net
この記事をみてもウィルス拡散予想なんて無意味と分かる
「タクシーやハイヤー運転手を取材中、偶然、陽性反応の人に出会ってしまった。」
これが原因なんだから
↓
日テレ新型コロナ３人が感染疑い 社員２人と常勤制作会社社員１人が自宅待機
URLﾘﾝｸ(headlines.yahoo.co.jp)
874:１３２人目の素数さん
20/02/21 22:29:26.76 AfFP1P2C.net
それでもIUTなら…IUTならきっと何とかしてくれる…
875:１３２人目の素数さん
20/02/21 22:53:29 K3nCB7Xn.net
せっかくの餅さまの晴れ舞台なのに、virusごときでスカスカになっちゃったらかわいそう
餅さま、きっと泣いちゃう
876:１３２人目の素数さん
20/02/21 23:14:25 OVmJCLx1.net
でも冗談抜きで来ないんじゃないの？海外の研究者は
そうなるともう悲惨な線香花火に…
877:１３２人目の素数さん
20/02/21 23:24:09 fEI2xgog.net
望月が変われば、流れも変わるもんさ
878:１３２人目の素数さん
20/02/22 00:57:58.99 d90MLnQk.net
この世をばわが世とぞ思ふ望月の欠けたることもなしと思へば
879:１３２人目の素数さん
20/02/22 01:05:46.28 ELHEO6GV.net
>>843 ニュー即と同レベルの書き込み
880:１３２人目の素数さん
20/02/22 01:16:19 d90MLnQk.net
>>847
SARSのときは
2002年11月16日が初症例（中国）
2003年7月5日WHOによる終息宣言
その後も単発で続き最後の症例は2004年4月
コロナの場合は2019年12月31日にWHO中国支部に初報告
暖かくなると収まりやすいとはいえ7月くらいまでかかるだろう
9月のIUTサミットの頃は問題ないだろうが5月は回避する人は出そう
881:１３２人目の素数さん
20/02/22 01:26:45 SYQUSLXG.net
言い訳ができて良かったね！
882:１３２人目の素数さん
20/02/22 02:25:58.36 FuRPkDgI.net
根路銘国昭先生によれば、新型コロナは2月中にピークを打って4月中には完全に消えるだろう、だと。
URLﾘﾝｸ(www.qab.co.jp)
883:１３２人目の素数さん
20/02/22 09:28:35.68 atTHpFfm.net
何の根拠もない。
IUTサミットは延期すればいいだけなのでは
884:１３２人目の素数さん
20/02/22 10:14:07.45 y+BSyaYk.net
3年後くらい？
885:１３２人目の素数さん
20/02/22 10:14:49.56 UMbbeLmZ.net
>>846
Ｂちゃまに慰めてもらえれば
気持ちももち直すと思うよ。
886:１３２人目の素数さん
20/02/22 11:38:34.37 bfkKi7iW.net
餅さまはBさんのことが好きなの？
887:１３２人目の素数さん
20/02/22 12:07:44.92 b5HYDDii.net
>>849
その歌を詠んだとき、藤原道長は糖尿病で視力がほとんどなかった
888:１３２人目の素数さん
20/02/22 12:37:43.19 if1+54Go.net
餅さまはBさんと食べる焼肉が好き
889:１３２人目の素数さん
20/02/22 12:38:34.08 if1+54Go.net
お！idがGoになったぞwww
890:１３２人目の素数さん
20/02/22 14:08:29 RSLduXS4.net
w
891:１３２人目の素数さん
20/02/22 19:34:45.47 OceU5dwL.net
'`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`,'`,､( ´∀`)'`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`, '`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`,
892:１３２人目の素数さん
20/02/22 20:28:37.56 MgPAftl3.net
if
54+１
Go
893:１３２人目の素数さん
20/02/22 21:08:06 hOk+nORA.net
新一さんのゴシっぷスレそのもの。
894:１３２人目の素数さん
20/02/23 00:16:57.95 CYEByNhs.net
>>854
根路銘国昭先生はコロナやインフルウイルスの権威だよ。
895:１３２人目の素数さん
20/02/23 00:23:04.92 C1Q7aF+4.net
>>865
ならなおさら根拠が無いな。市場予測の専門家でないとピークなんて予測できないからな
医学の専門家に分かるわけが無い
アナリストが株価予測できないのと同じだ
896:１３２人目の素数さん
20/02/23 00:36:16.54 LvBY0yPf.net
B本の自転車乗ったもっちーとバッタリ再会したくだり、いつも笑ってしまう
897:１３２人目の素数さん
20/02/23 00:47:16.20 5gmrlwdq.net
Out
898:１３２人目の素数さん
20/02/23 01:00:51.05 CYEByNhs.net
>>866
いや、疫学も含めてのウイルスの権威なんだよ。
899:１３２人目の素数さん
20/02/23 01:42:37.64 yWJKU25P.net
>>857
さすがにそういうのやるには10年以上遅いよね
映画でガクトと伊勢谷のキスとか盛り上がったけどこれもちょっと遅いだろと思った
900:１３２人目の素数さん
20/02/23 01:49:17.95 HdczzU7P.net
線形代数もわからないのにグダグダ語ってる輩さっさとコロナにかかって氏ね
901:１３２人目の素数さん
20/02/23 07:59:05.56 skPjnIy1.net
>>862
コピペ禁止ー！
902:１３２人目の素数さん
20/02/23 08:00:39.16 skPjnIy1.net
>>870
好きになるのに流行りとか
コロナとか関係ないから。
903:１３２人目の素数さん
20/02/23 08:07:10.27 ztmYWSAt.net
餅ｯﾁｬﾏ頑張ってー！諦めないで！
イケそうなとこにイッてみて～
(意味深)
904:１３２人目の素数さん
20/02/23 08:08:48.68 ztmYWSAt.net
ﾑﾀﾞﾆidｶｴﾁｬｯﾀ.
905:１３２人目の素数さん
20/02/23 08:39:26 DBzJq+w/.net
モッチーこのままじゃ、状況がずっと変わらない、結婚できない
906:１３２人目の素数さん
20/02/23 08:47:18 g2g01qzC.net
ひとみんと！？
907:１３２人目の素数さん
20/02/23 10:09:47.47 HdMhbqIa.net
>>870
たしかにGACKTと伊勢谷の全盛期、20年前にやればすごかったかもな
でもあのときはいまほど多様化じゃなかったしら自由恋愛OKでもなかったからむりだろうね
GACKTは昔から面白い人だから全盛期でもやったかもね、でも伊勢谷はあのときはやらなかったと思うわ
今の年齢と時代だからできたんだとおもう。
908:１３２人目の素数さん
20/02/23 10:47:22.95 JMniaiBx.net
2010年のリメイク『十三人の刺客』で伊勢谷が岸部一徳の
オカマ掘った時は「気色悪い」と言われたもんだが
909:１３２人目の素数さん
20/02/23 12:08:14.15 UHgGngT5.net
そんなこというんだったら
おじさんとおばさんの絡みだって気持ち悪いし、ブスと不細工だって。
デブやヲタだって端から見たらキショイ絡みだよ。
自分のタイプの美男美女以外の絡みはみんなキショイんだよ。
910:１３２人目の素数さん
20/02/23 12:09:46.20 UHgGngT5.net
キショイのはおじさんの餅だけじゃないんだから、餅さま気にしないで！
頑張ってください！
911:１３２人目の素数さん
20/02/23 13:27:01.36 Ou+XpTRL.net
>>869
過去に様々な疾病が発生したが権威とやらが的中させたことは無い
所詮、専門が別なことは分からないんだよ
数学の権威だろうがIUTを分からないだろ？
まったく違った才能と知識がいるんだよ
ここが分からないバカなのか？
912:１３２人目の素数さん
20/02/23 13:29:57.41 JMniaiBx.net
IUT望月ならコロナなんてイチコロ
913:１３２人目の素数さん
20/02/23 13:37:48.18 Ou+XpTRL.net
例えばだよ、ショッピングモールのフードコートで、「たまたま保菌者の外国人」が隣りに座り、「2m以内でマスク無しで食事」をして、「ウィルスが体内に入り込み」、「免疫の壁を突破して発症」
↑
この確率が分かるのか？
それが日本全土で行われる国民の生活活動全てに渡り、全ての可能性を考慮に入れた上で、2月にピークが来るとどうして分かる�
914:ｾ？ しかも潜伏期間にもかなり幅があるのに？ 権威かなにか知らないがデタラメ言ってると言い切っていいね しかもだ、国境閉鎖もしてないし入国禁止にしていないのだから、新規保菌者が供給され続けるわけだ 2月だろうが3月だろうがな むしろ、権威者がこんな無責任な発言をしちゃうような国であることに危機感を覚えるね 不味いだろ
915:１３２人目の素数さん
20/02/23 13:46:27.93 Ou+XpTRL.net
最低限、行動心理学に通じている必要がある
でないと予測などできない
集団心理に基づく行動を把握して分析できるやつでないととんちんかんな結論を出すだけだ
ウィルス権威者とやらが理解�
916:ｵてないことは分かっているよ
917:１３２人目の素数さん
20/02/23 13:54:01.37 Ou+XpTRL.net
マスクが日本全国で一気に売り切れたわけだが、典型的なパニックによる集団心理行動なわけだよ
ピークの需要動向はどうなるか？
ピークの需要枚数はどうなるか？
こうしたことをマトモに分析できるやつでないと疾病のピークなんて発言してはいけない
スパコン使えるのも前提になるしな
918:１３２人目の素数さん
20/02/23 13:58:20.40 HdMhbqIa.net
マスクは買ったが他の人に考慮して、お一人様３パック限定のとこ、1パックのみにした
919:１３２人目の素数さん
20/02/23 16:30:47 or9EmJux.net
８８８なら、もっちに賢いお子さんがいっぱい産まれる！🐣🐥
920:１３２人目の素数さん
20/02/23 16:31:13 or9EmJux.net
😃✌
921:１３２人目の素数さん
20/02/23 16:47:45.56 QmMdsIfY.net
>>871
自己紹介してて草
922:１３２人目の素数さん
20/02/23 19:49:26.53 QthWDo/t.net
ウィルスの権威なんだからミクロの世界に特化して取り組んできた人だろ
ウィルス拡散予想なんかはマクロの世界に通じてる人じゃないとちんぷんかんぷんで分からないよ
923:１３２人目の素数さん
20/02/23 19:56:17.56 iQMkCw/n.net
知能が低いから理解出来ない
924:１３２人目の素数さん
20/02/23 20:38:33.79 HdMhbqIa.net
IUTならわかっちゃうんだな、きっと
925:１３２人目の素数さん
20/02/23 22:26:41 UKYl2DZa.net
>>868
Out break？
926:１３２人目の素数さん
20/02/23 22:33:11 Y07rtBQ6.net
いい感じにスレのレベルが下がってきたな
927:１３２人目の素数さん
20/02/23 22:34:45 LvBY0yPf.net
もっちーは今日も修正してるのかな
928:１３２人目の素数さん
20/02/23 22:55:28 EhhqC625.net
もはや修正強迫神経症か
929:１３２人目の素数さん
20/02/23 23:43:28 UKYl2DZa.net
そうやって嫌がらせ言う人がいるから...
餅様気になさらないで！
体に気をつけて頑張ってください！
930:１３２人目の素数さん
20/02/24 04:59:57 l/MK3UZu.net
B嫁ぐらいしか狂信信者はいないだろ
相当追い込まれてんだろな
931:１３２人目の素数さん
20/02/24 15:47:33.49 mkb3Cr8+.net
'`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`,'`,､( ´∀`)'`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`, '`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`,､( ´∀`)'`,､('∀`)
932:１３２人目の素数さん
20/02/24 15:47:53.89 mkb3Cr8+.net
'`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`,'`,､( ´∀`)'`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`, '`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`,､( ´∀`)'`,､('∀`)
933:１３２人目の素数さん
20/02/24 15:57:56.68 zaNae2no.net
>>900-901
コピペ嵐はやめてください。
お願いします。
934:１３２人目の素数さん
20/02/24 16:00:01.46 zaNae2no.net
ﾀﾞﾚｶｶﾞﾏﾈｼﾃﾙ..。 ゜。(。ノД`)゜。
935:１３２人目の素数さん
20/02/24 16:00:59.48 zaNae2no.net
。＊゜ ○゜(
936:１３２人目の素数さん
20/02/24 16:10:36.42 i0ktvNx2.net
まさに逃げ恥、勇気ある撤退への道
937:１３２人目の素数さん
20/02/24 20:14:39 Ic+yIU0t.net
霊格が高いから苦労してるの？それともただの自業自得なの？
938:１３２人目の素数さん
20/02/24 20:26:58 bGN70UPq.net
霊格？
939:１３２人目の素数さん
20/02/24 20:33:21.35 PX5hvKmb.net
宇宙を結ぶ真理・IUTからABCへ～望月新一の生霊～ 大川隆法 の出版も近いか
940:１３２人目の素数さん
20/02/25 14:05:27.10 poYrUiQe.net
もっちー、せっかく京都住んでるんだから鴨川とか哲学の道とか嵐山てくてく散歩したらいいのに
941:１３２人目の素数さん
20/02/25 17:34:25.40 EraZq+xZ.net
>>909
某BBAのストーカーが過熱するから危険なのでは
942:１３２人目の素数さん
20/02/25 20:39:56.62 ETEmJZjY.net
間違いと研究不正の境界ってなんなのかな？
言い張ったら、研究不正にならないのか？
943:１３２人目の素数さん
20/02/25 21:11:30.05 +rv3YeXS.net
数学の場合は特殊だからなあ
まあ真面目にやってるのは確かだし、今回は不正にはならないよ
944:１３２人目の素数さん
20/02/25 22:16:19.27 2M6Pj6Is.net
間違いが確定して第三者委員会に諮問されたらアウトだよ
945:１３２人目の素数さん
20/02/25 22:44:16.85 nQt/xcmv.net
>>911
ならない。頭悪過ぎだなw 笑われるよ
946:１３２人目の素数さん
20/02/25 22:50:52.71 J4ziT0H9.net
まわりが甘
947:やかしすぎて、無意味な時間を過ごすことになりましたとさ
948:１３２人目の素数さん
20/02/25 22:57:00.85 siRrV4ok.net
裏切り者が必ずでるから
949:１３２人目の素数さん
20/02/25 23:11:10.40 J4ziT0H9.net
アニメーション見たけど、偉業！って報道された男の末路を見たような気がしたよ
950:１３２人目の素数さん
20/02/25 23:25:13.47 EyGNibpZ.net
間違ってたらもっちーどうなるん
気が狂う？
951:１３２人目の素数さん
20/02/25 23:41:29.23 vLwgJQtE.net
カトブンの腹切りがみたい
952:１３２人目の素数さん
20/02/25 23:45:12.03 SPW3Aqg9.net
神に祈り、奇跡が起こることを願うしかない
953:１３２人目の素数さん
20/02/25 23:48:55.18 +rv3YeXS.net
奇抜アイデア一発型は難しいからな
慎重な一般化で大体意味が通るようなアプローチなら多少間違っても修正できるが
954:１３２人目の素数さん
20/02/26 01:00:57 wW43CjHi.net
日本の生物兵器が731なら中国のそれは567部隊だ
955:１３２人目の素数さん
20/02/26 18:55:14.16 XpUgXxQf.net
嘘つきの因果応報
956:１３２人目の素数さん
20/02/26 19:23:25.53 LYbN+zTD.net
たとえ間違ってたとしてももっちーは嘘つきじゃない
957:１３２人目の素数さん
20/02/26 19:38:48.56 UsYvdmpK.net
天網恢恢疎にして漏らさず
958:１３２人目の素数さん
20/02/26 21:02:25.33 HqGReeFR.net
数学者が証明できなかった事例なんて古今東西数え切れないほどいるが、証明できなかった=嘘吐きなのかよ？
何処まで頭おかしいんだ？
誹謗中傷にも程がある
959:１３２人目の素数さん
20/02/26 21:09:06.17 ZbMTNQsP.net
証明できなかった∩嘘吐き≠φ
960:１３２人目の素数さん
20/02/26 21:22:15.24 ozRv/nL2.net
単純に助成金詐欺だ言い出す馬鹿が引っ込みがつかなくなっているだけなんだよな
世界的数学者が何年もかけて、何千枚の論文書いて助成金詐欺みたいなことするわけはないのに
無名だった小保方とかとは違う
ここで何年も粘着して誹謗中傷している馬鹿は単なるキチガイ
世界的数学者も証明ミスすることはあるが、それとこれとは話が違う
証明が正しいかどうかは冷静に論じる必要はあるが、キチガイは死ね