Inter-universal geometry と ABC予想 38

1 名前：１３２人目の素数さん mailto:sage [2019/04/27(土) 20:24:49.26 ID:gcKUmYRM.net] IU幾何やABC予想に関する会話のサロンとして使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 37 https://rio2016.5ch.net/test/read.cgi/math/1552141221/ 806 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 17:04:22.45 ID:9OIINzUU.net] >>773 そういうことでしたか。 不等式しか出ないというのは log-Kummer対応における対数殻間のKummer同型が対数写像との「両立性」を満たさないが「上半両立性」だけを満たすことにより 対数殻の次数(より一般には数論的直線束の次数)についての「等式」ではなく「不等式」が得られる仕組みとなっている ということですよね。 個人的には不等式や不定性が生じるよう「工夫している」というより 「自然とそのような仕組みになっている」という印象を受けたのですが ID:vfA14a+Uさんはどのあたりがどう工夫されていると思ったのですか？ 807 名前：１３２人目の素数さん [2019/05/22(水) 17:32:33.60 ID:b3q4bjnt.net] 横だが、 予想の結論が不等式だから なんとか工夫して不等式をだしているとか、 808 名前：１３２人目の素数さん [2019/05/22(水) 17:57:59.69 ID:nrcI0A9U.net] じゃあ等式で出せるだろ 809 名前：１３２人目の素数さん [2019/05/22(水) 18:00:45.51 ID:tP4NKFNb.net] 結論は不等式だからw 810 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 18:02:21.74 ID:gbBK7WS5.net] 結局擁護派は大タコ揃い 811 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 18:05:26.76 ID:vfA14a+U.net] >>775 対数テータ格子を構成するためにΘリンクと両立するように工夫しているという意味ですよ。あと、 ＞不等式や不定性が生じるよう「工夫している」 とは私も思っていません。所望の不等式は得られるけれども 結局は不等式しか得られないし、不定性が生じるということを私は強調しているだけです とは言っても、そういった不定性を逆手にとって再初期化したりスウィッチング特性を利用することがIUTらしさだと思っています まあ、対数リンクだけ取り出してを問題にしている人はいないと思いますけどね 812 名前：１３２人目の素数さん [2019/05/22(水) 18:17:29.26 ID:tP4NKFNb.net] SSレポートを始めから読む。 813 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 18:50:26.13 ID:9OIINzUU.net] >>780 なるほど、ご回答ありがとうございます。 ＞対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています ＞やはりディオファントス幾何でもABC予想に特化した理論ですよ。いや理論というより解法ですね の部分がどういう意味なのか気になって思わず質問してしまいました。 失礼しました。 814 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 19:13:30.58 ID:HRHdEclP.net] scholze at math.uni-bonn.de conrad at math.stanford.edu 815 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 21:17:33.84 ID:bsWMXhXz.net] 第四論文の基礎については、入れ子ループ構造についての話は当初は全くピンとこなかった 但し、「集合にはループ包含が成立しないがスケールのレベルを上げるとまた変わってくる」と言ってるけど、 これについては後に理解はできた coricity（canonical splitting）←→ラベルの哲学という意味で決して言葉遊びではないと思うけど、 模索しなが� 816 名前：迴曹｢てる感は否めないね それについて反論レポートにかなり本質が出ているけど、多様体や帰納的極限を例にしたラベルの弁護は 一見説得力があるんだけど、本当にIUTでの論証と同じような話と考えて良いのかどうかという問題もある [] [ここ壊れてます] 817 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 00:55:45.60 ID:/6/82kk4.net] IUT・�W最終節は、極論すれば「単遠アーベル的復元の論理学」、「“mysterious indeterminate isomorphism”の解明」、 「充満多重同型のトリセツ（取扱説明書）」のようなものだと思う あくまで個人的な見解だけど、タオがかつて書いていたように「最終節はIUTのABC予想証明とあまり関係ない」と捉えるならば、 SSレポートのように「充満多重同型やラベルの使用は論理的に不必要・無意味」という主張、つまり単遠アーベル的復元は必要ない、 という主張をすんなり受け入れられると思う。それだけIUTの本質的部分が詰まっていると考えている この辺のことはBもGもよく分かっていると思う、特にBは名前も出てくるし（拝聴している光景が目に浮かぶ） 私はどっちの味方しているのだろうね（笑）。現段階では「従えない」という考えなんだけど・・・ “taste/aesthetics”という語をあえて使えば、私もこういうのはあまり好きではない 818 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 01:06:46.07 ID:/6/82kk4.net] SSが行った「単純化」の意味を考えてみると、それは「充満多重同型やラベルの使用は論理的に不必要・無意味」という主張から来ているものであり、 当然これらの使用を認めれば単純化などできるはずがない。つまりSSレポートの脚注8にSSの主張の全てがあると言っても過言ではない 819 名前：１３２人目の素数さん [2019/05/23(木) 01:11:15.73 ID:wM1VXdR+.net] もうSSの話はいい。 もっちー先生が言うところの、「出鱈目な内容の残念な雑音」なんかどうでもいい。いつまで引っ張るんだ。 820 名前：１３２人目の素数さん [2019/05/23(木) 01:20:35.95 ID:UWapKZXD.net] パラダイム シフトとは 新地動説 「京都の私のまわりに世界が回る」 821 名前：１３２人目の素数さん [2019/05/23(木) 01:31:35.74 ID:qsJ1uarA.net] 787がいつまで引っ張ってんだ 終わりなんだよ 822 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 01:37:51.80 ID:/6/82kk4.net] まあ、私の考えでは、IUTは正しいと考えている人たちこそ最終節の内容を精査すべきだということです 電波ブログや怪しげな宗教勧誘パンフレット以下の駄本で満足している騙されやすい人たちには関係ないことですが 823 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 02:46:20.97 ID:M01VN93I.net] ふざけんなっ B本はjinさんがあれだけtwitterで褒めているんだからいい本に決まってるだろ！ 824 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 02:52:42.96 ID:4oqUdbQM.net] 大体今頃強弁してるのって石川の精神疾患とかドカタとかＢの嫁ぐらいだろ アメリカのドメインからは直接見れないってだけでProxy使えば簡単にアメリカからでも見れるよ てか、世界中で反論情報共有されちゃったのに対抗できるの？ 強弁してると地獄見るんじゃない？ 825 名前：１３２人目の素数さん [2019/05/23(木) 03:24:10.73 ID:zYILyzTE.net] 03-3953-8555特別区人事・厚生事務組合更生施設けやき荘東京都 新宿区西落合１−１８−１８　更生施設けやき荘 柳沢という「ひどく醜い女」が所長をやっている「犯罪施設　けやき荘」 佐藤という女の職員も大変、悪質な人物。 精神疾患で生活保護受給者を入所させて、入所者同士の虐めを放置。 同室で、入所のさいしおりにきちんと明記してある「室内で携帯の利用禁止」を破られていても「仲良しだから」と黙っていて、「 826 名前：咳がうるさい」という「何々さんは嫌いだから」 という虐めの論理に基づく幼稚な言動は放置。 一方の入所者が一人の入所者に「ここが嫌だ」というのを職員に告げると誰が告げたかトラブル回避のために教えず。 トラブル回避は結構だが場合によっては「気に入らない」という個人的感情からくる訴えでも「感情的理由からくる訴えか否か」ジャッジせず。 そういう、いわば「虐め」(こういう類の虐めのみならず「無視」という典型的虐めも含め)放置と容認。 それで入所者が家を失っている(失っているから居るのだが)どういう立場の人間であれ｢精神的に辛い」状況下。 怒ったのを「暴れた」と表現(立派な虐めが行われた結果｢感情的になったら即警察、精神疾患の人は、｢虐めを受けたから、つい一瞬 カッとなって声を荒げてしまった、と謝罪しても済まない、精神科医が赴いて(警察に)理由も聞かず、適当な診察、まして数分の診察で分かるというのが、不可解)「壁を叩いた」 等話を盛って書類に虚偽の記載をしても、世間の｢働いている人間はまとも、まともな人間は嘘をつかない」という偏見と思い込みに基づいた無茶がまかり通る。 書類に、盛った記載をし、警察を呼んだ事実を後に正当化。 呼ばれた戸塚警察は「ルール違反」を怒号で解決しようとするも、マニュアル対応で精神科医を呼ぶ。 [] [ここ壊れてます] 827 名前：１３２人目の素数さん [2019/05/23(木) 03:24:34.45 ID:zYILyzTE.net] そして、「ルール違反が原因ではなく、虐めを受けそれの結果、感情的になったら警察を呼ばれたという事実を警察が理解しておらず｢ルール違反」に関してそれこそ｢感情的な怒号を浴びせる」そして、精神科医の指示で入院。 結果的に自室がないというホームレス状態だから、入院先で住居探しをし、希望する物件に入居できず。 ｢入院前」は、言いたい事が理解できて(ゆえに、ルール違反に関して怒鳴り散らすという言動に至る)←は戸塚警察の言動である。 「入院前」は「ルール違反について怒鳴る」つまり｢言いたい事は理解していた」 入院前は｢言っている事を理解」し治療を行った後の「入院後」は「言いたい事がわからなくなる」(戸塚警察がである) 精神疾患＝統合失調症という偏見。統合失調症の症状も様々である筈だが｢言動意味不明」にすれば「きちんと話を聞かなくって済む」という様子。又、｢精神疾者に対するあからさまな侮蔑や侮辱」も戸塚警察では当たり前の様子。 更に｢外出するな」等の暴言も見られた。 又｢他人の事などどうでもいい」｢事前に入院が決定していたのでは」「これからある精神科の精神科医を呼ぶ」(脅しだったようで来ず、｢精神科医」を医療従事者ではなく「怖がらせる道具」と思っているところに｢警察の精神科医観」が現れている) けやき荘の側は、｢弁護士を」等後に電話で言いつつ、弁護士話の途中で電話を切り、電話自体を業務妨害であると言う。 虐めに遭った被害者の側が耐えられなくなるところまで精神的に追い込む。 第三者委員会とうも「設置してあるだけ」のようで、事実上何もせず。 この事実を理解した上で「足元を見てくる」 828 名前：１３２人目の素数さん [2019/05/23(木) 03:24:53.64 ID:zYILyzTE.net] 追い込まれた結果、怒りの感情(虐めまで起こっていてけやき荘は、自宅退去者が入所する施設だからホームレス状況で普通の人でも不安な状況下で更に虐め) を容認＆擁護＆推進。 　被害者側が耐えられなく感情的になったら(そこまでけやき荘の側で追い込む) 精神疾患者は、警察沙汰になれば内容がなんであれ精神科医を呼ばれる＆生活保護受給者だから社会的地位が低い事につけこむ。 警察(管轄内の戸塚警察では、施設内のルールも知らないのに、ルール違反と決め付け怒号) 呼ばれた精神科医も休日だから無能な人間が来る。 その結果、精神科に収容されて、自宅退去の身だから引越しのさい、難儀するのを承知で社会的弱者を追い込む。 やっと引越しが出来ても入院中という劣悪な状況下だから、希望する物件に入居できず。 その旨に関して問い合わせたら、それを警察に業務妨害と訴える。 大変、悪質な施設。 829 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 03:34:11.11 ID:4oqUdbQM.net] 大体今頃になって強弁してるのって石川の精神疾患とかドカタとかＢの嫁ぐらいだろ 出版担当とかもいるか アメリカのドメインからは直接見れないってだけでProxy使えば簡単にアメリカからでも見れるよ てか、世界中で反論情報共有されちゃったのに対抗できるの？ 強弁してると地獄見るんじゃない？ 否定派が正しければ訴訟起こされても不思議はないぐらい 830 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 06:21:39.26 ID:Rmmxmw6+.net] 充満多重同型の具体例がよく分からんのだ 831 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 06:48:07.47 ID: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 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 10:55:52.37 ID:q2FLePRq.net] >>785 確かに絶対遠アーベル幾何、つまり基礎体を仮定しないという設定+実化はそこではかなり決定的なものです ただスキームの宇宙の無限列というとはっきり言ってロジシャンも数学者も意外とよくわからないと思いますね なのにそれについてのアクセスしやすいより初等的な解説がないのはかなり奇妙です 確かに望月氏が言うように、もう少し単純に考えて、絶対遠アーベル幾何の設定で様々な宇宙X_1〜X_n について考える、と言えばできそうに見える話ではあります。スキームXとYで関手を考える、というのは 普通にやっていることですからね 833 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 11:30:32.59 ID:q2FLePRq.net] 少なくとも構成的直観に訴える書き方ができていないのはコミュニティの反応から明らかだし Bombieriを含めて整数で変形理論の類似ができればなあ、なんてぼやいてる数論研究者は何人もいる だがHA理論すらそうした研究者にもさして注目されてこなかった 一般的なフレームワークだけ聞いたらできそうであっても、本当にできているのかどうかは全く別の話だ 834 名前：１３２人目の素数さん [2019/05/23(木) 20:00:50.41 ID:qss9/5RD.net] 代数解析のアイデアを中高生の問題から 明解に具体例で説明している。 日本より海外での評価が高い。 https://m.youtube.com/watch?v=-2EqfLLoD0A&feature=youtu.be 835 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 20:35:27.78 ID:pgv8RdjE.net] ×日本より海外での評価が高い ○日本でも海外でも評価が高い だろ 836 名前：１３２人目の素数さん [2019/05/23(木) 20:45:20.88 ID:iEmEh8MV.net] 何の進展もないし何の結果も出せないのはどうしてなの？ 837 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 21:58:49.87 ID:Vj8iNyHx.net] 間違ってるから 838 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 22:42:35.79 ID:/6/82kk4.net] >>797氏へ >>798（私ではありません）だけ見たら普通に同型にしか見えませんよね。星の入門１でも同じ説明になっています 実際は、「体に関しては非同型、副有限群に関しては同型」というものです。これは単遠アーベル的復元による同型です つまり、ノイキルヒ・内田のように2つの対象を比較して復元を論じているのではなく、単独の対象の絶対ガロア群から出発して 復元を論じるということです。ガロアの逆問題も絡んでいてどの� 839 名前：謔､な体なのかも分からないのです さらに忘却関手を強調しており(forgetting the “histories of operations”)、再初期化できるミステリアスな同型です この“mysterious indeterminate isomorphism”がIUTにおいて中心的な役割を担っています ちなみに、SSは情け容赦なくこの同型を「不必要・無意味」として切って捨てました（MとHがSSを納得させられなかった） [] [ここ壊れてます] 840 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 22:49:06.35 ID:/6/82kk4.net] 書き忘れてました 忘却関手(forgetting the “histories of operations”)を強調しているだけでなく、 単遠アーベル的復元によって生じる2つの不定性（クンマー離脱不定性、エタール輸送不定性）も生じているので、 充満多重同型は“mysterious indeterminate isomorphism”（エイリアン・コピー論文より）なのです 841 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 23:13:54.01 ID:/6/82kk4.net] >>799 実際、IUTを完成させるまでの着想をそのまま書いたという感じですね。で、突っ込まれたらこれで説明しようという感じです 現状のIUTに対する評価を考えると、これを整備して理解してもらうことから始めた方がいいのかなという感じです アブストラクト読む限りでは手伝ってくれそうな数理論理学者もいるようなので上手くいけばいいですね・・・ 842 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 23:27:49.52 ID:/6/82kk4.net] 失礼しました アブストラクトではなくAcknowledgementsでした 843 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 23:59:12.71 ID:4K7ltZ3j.net] >>798 はワシです。 望月氏の造語癖は一体なんなんですかね。 望月語を標準用語に置き換えれば、 IUT論文はもっと読み易くなるはずです。 844 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 02:11:24.54 ID:IO8EX7ar.net] 「突発性バカ」になる高学歴出身者の共通点 https://headlines.yahoo.co.jp/article?a=20190517-00028689-president-soci&p=3 845 名前：１３２人目の素数さん [2019/05/24(金) 02:45:43.26 ID:8IGKuOiQ.net] 加藤文元のIUTの衝撃とやらを読んだ なぜか栗原将人の「ガウスの数論世界をゆく」を思い出した そこには 「私はこの本を片手間には書きませんでした。研究論文を書くときと同じように数学する魂をこめたつもりです。数学の発見のおもしろさを伝えるためには、数学の魂がこもっていなければならないと思ったからです」 とかいてある。 著者の感動した数学が高校生にも分かるように丁寧に説明してある。 珠玉の数学入門書である 翻ってブンゲン本はどうか 焼肉がすきとか数学にしても数学業界のプロならあたり前の常識的なことが粗雑に書いてあり著者がIUTを理解しようとした形跡すらない　当人のこの本に対するスタンスはおそらく 「私はこの本を片手間に書きました。私の研究論文を書くときと同じように数学する魂がこもってないです。売れる本を書いて人気者になるには、知り合いをつかって話題性を利用しない手はないと思ったからです」 というところであろう 望月新一のとりまきに低レベルが多いことに同情する 846 名前：１３２人目の素数さん [2019/05/24(金) 03:06:50.78 ID:ZfCfbz1w.net] ミステリアスなIUTは圏論用語を使うも、 テンソル代数などの普遍性を特徴とする 普通の圏論理論に基かない、基づけない んだね。 ま、中世で アリストテレスを巡る普遍論争 の論理以下だわ。 「数理」論理を使って普通の論理が でてきたら錬金術としか思えない、 847 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 07:19:08.81 ID:736jaDlo.net] >>812 衒学趣味要らない 848 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 07:40:12.77 ID:gQjHvPFD.net] san値ピンチmochiピンチ！ 849 名前：１３２人目の素数さん [2019/05/24(金) 08:14:54.26 ID:OTH5Nu2I.net] >>813 IUTは不要だな 850 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 11:48:07.26 ID:CyavMT2t.net] >>798 単なる全ての同型の集合を充満多重同型とか仰々しい言い方をしてるの、これ？ 851 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 11:59:40.97 ID:cxqFnmjM.net] >>816 Yes 852 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 12:04:30.67 ID:cxqFnmjM.net] 分脈によってはただの同型を「輸送」や「リンク」などと読んでおり キモいとしか言いようがないという・・・ 853 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 13:27:55.01 ID:cdkWT2mw.net] >>806 >>812 これは個人的には予想通りなんですが、KedlayaはHoTTと関連付けうると考えているようです IUTTはガロア圏による分裂を利用した一種の二次元圏としてのモジュライ理論ということもあるが、 プログラム言語+ホモトピー代数 という発想からも、ある意味で誰にでも思い付く雑な観点でもあるし、実際彼は期待込みでしょう 分裂と言えば分裂ですし、直感的には遠アーベル幾何学で環の忘却を取り、Anabelioidからスキームの宇宙への ラベルindexによる逆極限を考えている事になる ただ星さんの言い方を真似ると、pilot-objectの実化による埋め込みが自明か非自明か、それを含めて 理論が間違いであるかどうかはギリギリの境界とも言えますw 　 この埋め込みが普通の数学者には宙に浮いた絵空事に見えてしまうということです 854 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 13:44:00.21 ID:cdkWT2mw.net] ↑訂正 逆極限→余極限 855 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 14:56:11.06 ID:736jaDlo.net] >>815 IUTはまだわからない >>812はハッキリ不要 856 名前：１３２人目の素数さん [2019/05/24(金) 15:33:37.12 ID:OTH5Nu2I.net] >>821 >>397と矛盾している。 857 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 15:52:09.28 ID:736jaDlo.net] >>822 私は>>397を書いてないから>>397と矛盾しないように書く必要はない。 858 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 16:38:14.81 ID:+EL9CLNd.net] さあ今週も手頃なカモをマインドコントロールしてわかったフリをする人間を増やすニダ 　　　　 ∧＿∧　どうせアクセプトされないからって懐疑側が余裕ぶっこいててムカつくニダ 　　　　<丶｀∀´> 　　 　∧＿∧ 反論も検証も無理だからいつもの論点すり替えて僻みにするニダ 鮮人のせいにして憐れみ請うニダ 　　　 ／ 　　　 ＼　 　（　　　　）詭弁と強弁とポストチラつかせて寄生ﾀﾞﾆ工作員増やすニダ　 .＿＿|　|　　　 .|　|＿　/ 　　 　 ヽ ||＼　￣￣￣￣　　 ／ .|　　　|　| なに言ってんだこのゴミクズ太鼓持ちの傲慢数学ドカタ野郎が身内のkimの反論検証はよ ||＼..∧＿∧　 　　(⌒＼|_＿./ ./ 数少ない擁護側のTaylorを何回も来日させといて拡がりより途中の検証を先にやれよ諦めたか ||.　 （ 　　　）　　　　 ~＼___＿_ノ|　 　∧＿∧ 幕末の志士気取りでおこぼれ狙いがミエミエでさもしいんだよクズ野郎が 　　/　　　ヽ　厚顔無恥の馬鹿？＼| 　（　　　　） 不利な点はスルーで数日で復活とかハイエナゴキブリ並みの行動力 　　|　　　　　ヽ　　　 　　　　　　　＼/ 　　　 ヽ. 無防備な学生やら利得関係者相手にゴリ押し洗脳新興宗教かよ 　　|　　　　|ヽ、二⌒) 　　　　 　　／ .|　　　|　| 数々の指摘の反論ができないってどういう事だよ 　　.|　　　　ヽ　＼∧＿∧　　　 (⌒＼|_＿./　/ 6月のＮスペはどうなったんだよペテン師野郎 . 4月末で潮目が変わるんじゃなかったのかクソ野郎 . モノ書きのホモサピエンス野郎キショいんだよ . 完全 859 名前：理解者のＧとＦはどっちが正しいの [] [ここ壊れてます] 860 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 17:43:13.91 ID:cg3gRMT9.net] NHKスペシャルはいつ放送されるの？ 861 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 19:49:54.49 ID:3K6Q9U7V.net] >>811 栗原の本は良い本で学部生が一度自分で計算しつつ読めばいいと思うが 売れてるのはブンゲンだな 栗原に限らずあの種の数学書が1万冊売れることはまずない 862 名前：１３２人目の素数さん [2019/05/24(金) 20:34:52.54 ID:cSuel15P.net] B本は寄稿 あとがき も含めIUTそのものだ。 863 名前：１３２人目の素数さん [2019/05/24(金) 20:37:39.26 ID:TX4t1mft.net] 　　　　　　　∧__∧ オボちゃんも最後の最後まで認めなかったからね！ 　　　　　　（´∀｀　） 研究室のスタッフや関係者が疑問に思わなかったとこがスゴイね! 　　　　　　 （⊃⌒*⌒⊂) キタナイとこは隠すからね！気付いた有能な人はもう離れてるよね! 　　　　　 　　/__ノωヽ__） Examples of triples with small radical と値が同じだけどどうして？ マッサーかとおもうけど著者と連絡取り合って数字合わせをしたとかはないよね？？ でもεの上界値だけで証明になるの？ 明晰的な証明だと先にアメリカで論文出てるよね？ アメリカのドメインからは直接見れないってだけでProxy経由で簡単にアメリカからでも見れるよ！ ｋ上が運営に手回して小細工で見れないようにしたとか？ てか、世界中で反論情報共有されて説明できるの？ 今年もめぼしいワークショップ開けないのはそのせい？ 原●が落ちるまで幸福しなかった日本はバカなの？ 強弁してると地獄見ちゃうんじゃない？ 864 名前：１３２人目の素数さん [2019/05/24(金) 21:02:51.65 ID:AGiHugmg.net] 　　　　　　 （⊃⌒*⌒⊂) 　　　　　 　　/__ノωヽ__） 865 名前：１３２人目の素数さん [2019/05/24(金) 21:04:34.07 ID:AGiHugmg.net] 　　　　　　　∧__∧ 　　　　　　（´∀｀　） 　　　　　　 （⊃⌒*⌒⊂) 　　　　　 　　/__ノωヽ__ 866 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 21:49:31.41 ID:ipyIwybG.net] >>812 この変な口調のガイジってずっとこのスレに居着いて知ったかぶりして的外れなレスばっかしてる 867 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 22:10:10.47 ID:GKZ+Mak2.net] >>831 ミュート推奨やで 868 名前：１３２人目の素数さん [2019/05/24(金) 22:31:43.66 ID:NOsrAx4p.net] キーワードは 錬金術 869 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 22:39:41.68 ID:qZ9O4dWU.net] 練炭術とか学ぶなよ 870 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 22:48:28.98 ID:cdkWT2mw.net] でもこのスレの>>806さんはともかく、このスレでは基本的にはSSの反論が正しいだろうって意見が 多数なのかね？と言ってもたくさんいるわけじゃないだろうけど 他にここがおかしいんじゃないか、逆にここがこうだから正しいって意見を持った人はいるのかね？ 871 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 22:57:39.09 ID:Xs6myDgs.net] なに見ていってんの 擁護なんかしてるの研究室関係者とB周辺ぐらいしかいないじゃん 872 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 23:04:04.05 ID:kdozHMyA.net] 数学素人がいるやん 873 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 23:16:15.82 ID:cdkWT2mw.net] >>836 ああこのスレ自体にそんなたくさん人がいるわけではないって意味で書いた 大局は当然IUTT不利だろ 874 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 23:53:29.64 ID:3K6Q9U7V.net] >>835 SSが「正しい」かどうかはともかく 論文の批判に対して望月らが正しく答えてない 何年も経って技術的な疑問が出てきたのに 「理解者」を自称する人たちもなぜか反応が鈍い IUTが数学として正しいかどうかはわらないが 査読なり出版のプロセスとしては現状では正しくない 875 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 01:11:47.42 ID:eugJ2Dr/.net] >>839 それも意地悪な見方をするとよくわからん 理論が正しいかどうかわからないならば、あの反論レポートが本当に不足するのかもよくわからないのでは？ 少なくとも結構頑力入れて書いたとは思うな 876 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 01:14:47.42 ID:uOiNeimN.net] >>840 もっちーが頑張って直したのは確かだが それならなおのこと自称・理解者たちの沈黙が謎 もっちーが相手を素人呼ばわりする前に 彼らが何か説明できることがたくさんあったと思うんだがな 877 名前：１３２人目の素数さん [2019/05/25(土) 02:05:23.91 ID:G8IHWG3V.net] 不勉強な人たちにいくら説明しても無駄だろう。理解の前提となる最低限の準備の勉強をしてないんだから。 878 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 02:42:58.08 ID:eugJ2Dr/.net] それも何か違うんじゃないか 復元アルゴリズムの理論が数体のスキームの大域的な情報を構成できるんだったら、今頃とっくにそこだけでも Perfectoid並に浸透してるんじゃないの？グロタンディークやLurieの抽象的な理論は受け入れられて、 その更に深化であるはずの圏論は注目されないのか？圏論屋云々言うが、FrobもAnabも数論以前に圏論屋すら 大して注目していないように見える。一体どうなっているのか？ 879 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 06:12:20.84 ID:u8oZmxly.net] >>825 6/30夜 のはずが延期されたという噂も流れてる 880 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 11:56:31.59 ID:qnGsKkYU.net] どんな形の番組か知らんが放映後に間違いでした〜とかとなると 個人の書いた本と違い公共放送の責任が大きい まああのテレビ局も社会的責任とか感じなくなってるようですがw 881 名前：１３２人目の素数さん [2019/05/25(土) 12:41:14.26 ID:iXQWuxWn.net] 文科省の部会は根拠不明な資料に基づく議論だ 文科省 大学院部会（第75回) 議事録 【岡本委員】 「5年間やって，その後，これをどう定着， あと5年後に例えば同じことをやって， ちゃんとそれがどの程度定着しているのか といったような，この計画はあるのか」 【藤田日本学術振興会課長】 また，経過後のフォローということに つきましても，今のところは予定は ないという状況です。 ↓ 資料5 研究成果例 G08 京都大学 数学のトップリーダーの育成 宇宙際タイヒミュラー理論 -数論におけるブレークスルー- 日本学術振興会による京大GCOE 事後評価にIUT関連の記載がない。 また、その後の経過のフォローもない と課長が断言。 資料5の記載は根拠不明。 大学院部会（第75回) 議事録 2015年 5月13日 www.mext.go.jp/b_menu/shingi/chukyo/chukyo4/004/gijiroku/1365902.htm 資料5 www.mext.go.jp/b_menu/shingi/chukyo/chukyo4/004/gijiroku/1360382.htm 882 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 13:34:16.62 ID:ygtEzePq.net] ネタもいいけどこういう情報はマジ参考になる 形式上公開されているが事実上アクセスが困難、というパターン 883 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 13:59:50.83 ID:xna1+nEu.net] >>843 唯一公けで書いているロバーツですら辛辣になってきましたね。“private fan dance”とまで書いています Anabelian geometry 〜 higher category theory ttps://mathoverflow.net/questions/331349/anabelian-geometry-higher-category-theory 私も以前「圏論を偽装しているのではないか」と書いたことがありますが、ロバーツもほとんど同じことを言い始めてますね 彼の関心はIUTそのものではなく、それを叩き台にしてトポスなどを考えることにあると思います ショルツ、スティックス、コンラッド、ロバーツのような人たちこそMは対話者、相談役として大事にすべきだったと思いますけどね 良薬は口に苦 884 名前：し、とはまさにこのことです [] [ここ壊れてます] 885 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 14:40:09.71 ID:y1I1nw9S.net] NHKのソースは？ 886 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 14:49:37.03 ID:xna1+nEu.net] 6月にNスペ云々という話は↓のことだと思ってたんだけどね 復元！「モネ・睡蓮」〜蘇るか“奇跡の一枚”〜 （仮） ttps://www6.nhk.or.jp/special/detail/index.html?aid=20190616 一応、IUTのメタファーにはなる 現状、B本のような内容で放送したら、奇跡の詩人や佐村河内の時と大差ない 強いて作るならリーマン予想の時のド・ブランジュに近い扱いしかできないだろう、NHKに良識があるならば このスレにはフェセンコのアジビラUP前に内容に触れた「部内者」「事情通」がいたから真偽のほどは分からんね 887 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 15:40:12.59 ID:QOG0Bkyh.net] 研究評価についてIUTは遅れているって自分らで書いているんだからマシな方だよ。 全プロジェクトがうまくいくわけないんだし。そもそも 文科の金のばらまき方自体、偉い研究室に金出しとけばいいだろ的なアホ発想だし 888 名前：１３２人目の素数さん [2019/05/25(土) 16:18:43.97 ID:iXQWuxWn.net] プログラム」 数学のトップリーダーの育成 − コア研究の深化と新領域の開拓 (平成20年度採択拠点)事業結果報告 及び 事後評価結果 https://www.jsps.go.jp/j-globalcoe/data/h20/G08.pdf ↓ 事業結果報告と事後評価結果には 宇宙際タイヒミュラー理論も 国内外の主要メディアも 記述なし 889 名前：１３２人目の素数さん [2019/05/25(土) 16:23:13.20 ID:iXQWuxWn.net] >>852 プログラム→GCOEプログラム 京大 890 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 19:07:26.66 ID:ygtEzePq.net] >マシな方 下げ相場 絶賛継続中 891 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 19:17:46.16 ID:xna1+nEu.net] フェセンコのアジビラの一つ、 "About certain aspects of the study and dissemination of Shinichi Mochizuki's IUT theory" ttps://www.maths.nottingham.ac.uk/plp/pmzibf/rapg.pdf これ、かなり書き直されているね。私がDLした初版(2018?年?10?月?3?日にDL)と比べるとアメリカの数学者（特にコンラッド） に対する罵倒が全て削除されている 本人が反省したのか、望月とコンラッド両者と親しい誰かさんに注意されたのか知らんけど。沸点低すぎるよ ニュー・サイエンティスト誌ではSSのことを悪党呼ばわりまでしていたし 892 名前：１３２人目の素数さん [2019/05/25(土) 20:03:07.43 ID:EHa0PByC.net] みっともないの極みだな。 893 名前：１３２人目の素数さん [2019/05/25(土) 21:28:59.00 ID:qnGsKkYU.net] 乱暴な物言いをしたら本人が信用を失うだけ これで論文取り下げにでもなったらどうするんだろうな どうもしないんだろうけどさ 894 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 21:36:45.71 ID:mmx9uVt0.net] 映画「Z」で禁止されてそうな現代数学やってた偏屈そうなグロタンなんて大学すらやめちゃったからな 政治的抗議で 895 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 22:51:22.42 ID:Wa/WdL3x.net] >>848 まあ望月さんからしたら圏論は一つの道具であって、単遠アーベル幾何学的な解析的情報、変異のほうが 肝心だということになるんでしょうけどね RobertsからしたらIUTTの格子は圏だから、そんな情報は自然には含まれないということになる ここには一つ罠もあって、繊細に扱いたいとか言っておきながら理論では系列の全体を見て非可換性に 対処 896 名前：するということをやるわけです つまり、理論の全体情報を扱うために充満多重同型を利用してしまっているw こうなると今度はSSですね 解析部分の組合せ変異について考え組合せ論的な＝ガロア理論的な変形を論じたいのはわかります しかし、やはり厳しいのではないかと思います Stixもアイデアがあったらとっくに提案しているのではないでしょうか [] [ここ壊れてます] 897 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 23:00:26.35 ID:Wa/WdL3x.net] ついでに言うと、同型なunderlying structureの上に非同型な対象群を考えたいのもわかりますが 理論が使っている論法はそうした問題を扱うにしてはまずい、粗いのではないかという事でもあります 898 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 23:21:56.82 ID:Wa/WdL3x.net] しかしいくらスキームのガロア作用を扱うからってラグランジアンは言い過ぎじゃないかなあw 奇をてらってるとしか思えないよ 899 名前：１３２人目の素数さん [2019/05/26(日) 00:31:16.55 ID:78EFXtTh.net] 圏論屋はバカしかいない。 900 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 02:57:00.12 ID:59elnCoM.net] まあSSって勘違いしているよね()って言ってた日本人連中が当然反論レポートを出してくれるだろうから楽しみに待て 901 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 05:07:34.27 ID:6tSILtN6.net] 次の本のタイトルを予想 「なぜ私は間違えたのか」曼荼羅から伽藍へと続く道 2度もおいしい思いをするとはやるなー 902 名前：１３２人目の素数さん [2019/05/26(日) 05:16:10.56 ID:TfuOg7es.net] IUTの特徴 罵倒 錬金術 洗脳 根拠不明 圏論の単語を濫用 903 名前：１３２人目の素数さん [2019/05/26(日) 09:31:05.86 ID:bgPimyo4.net] B本は「敢えて数学的に深い内容を書くことは避けている」と書いてありますが もう少し詳しい内容を書いても良かった気はしますね それとB氏のツイッターとか見てても売れていることを喜んでいることは良いんだけど 方向性が少しずれているような・・・ でも自分も本は買ったし、応援してます 904 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 10:17:45.81 ID:892KbnCu.net] 詳しく書き出したら本の厚さがすぐに倍になるでしょ 望月の論文が長大なように啓蒙本も長大になるw それはやってはいけないんだよ。売り物にならなくなる 本屋の在庫スペースを無駄に占拠するしディスプレイ向きの本でも無くなるからな Bの判断は完全に正しい。Bみたいのを有能というんだよ まったく理解できてないやつが若干名いるようだがw 905 名前：１３２人目の素数さん [2019/05/26(日) 11:03:24.61 ID:8U0XlvO7.net] エンターテイナーならやるだろうな 学会とか海外での発言力をあきらめたんだろ 906 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 11:08:17.65 ID:LjuHE47e.net] 左遷食らって最期の賭けとしてはいかがなものか

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef