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/ 357 名前：１３２人目の素数さん mailto:sage [2019/05/05(日) 23:31:50.62 ID:pbwJIL4u.net] >>345 BABYMETALメイト？ 大好きなんだけどね 358 名前：１３２人目の素数さん [2019/05/06(月) 01:49:55.62 ID:He7nD6l/.net] ファルティングスがモーデル予想を証明したとき、志村先生のコメントはどんなでしたか？ 359 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 02:08:21.53 ID:Ecx7o04c.net] 志村五郎って基礎論を糞の役にも立たないみたいな言い方してなかったっけ？！w 360 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 03:27:59.27 ID:mLCf1xM5.net] >>348 つまらない物に目を向けさせてる 361 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 07:22:47.03 ID:yKMfZrDA.net] 本や講演と違い一方通行の構成はおもしろくない Ｂってコース料理のフレンチとか好みそう 362 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 07:49:31.47 ID:kH925iL2.net] グロの方法が強力なのは横目で見ていてわかっていつつも、あまり過度の抽象化は好きではない（自分の方法ではない）ってことを言っていたような。 もっと、数理的な現象自体を眺めて、そこから抽象化をするのが自分の方法みたいな。 ある意味、佐藤・テイトと 363 名前：近いのかもしれないけれど。 [] [ここ壊れてます] 364 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 09:56:07.82 ID:H6c3kpUB.net] そうは言っても志村多様体をコホモロジーで調べないでどうするのかっていうのもあるし 谷山志村予想を一般化したラングランズ対応も、モチーフ的なアプローチ以上には何をしたら良いか 強力な手法が未だに無いし 強力な抽象化はどのみち必要。志村先生の趣味もあるだろうけど生まれた時代の縛りのほうが大きいでしょう 365 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 10:01:27.17 ID:H6c3kpUB.net] イメージとしては確かに具体的な現実主義って感じだけど、生まれ年が近い竹内外史はまた全然違うね 基礎論で深いブレークスルーを起こせば一気に数学が変わるっていう考えだったから 生きてたらIUTに興味持ったろうな 二人共プリンストンに縁が深い 366 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 11:46:51.15 ID:6mVjpqpk.net] そりゃ成果を残した数学者でもコンプの一つや二つあるわな 外史は層圏も貪欲に取り入れてるし心が広い 367 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 13:34:18.29 ID:/K29YMJ2.net] >>354 竹内は間違いが多すぎて志村が軽蔑するタイプ 368 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 14:34:31.85 ID:6mVjpqpk.net] >>355 心広い人は大抵自分にも広いしな 外史自身が著作で自分はミス多いけど気にしないみたいなこと書いてた 369 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 15:30:20.23 ID:0p+vdVIi.net] >>344 確かによく分からないですよね 「体にとしては非同型、副有限群としては同型。よって同型ではない」かつ、 「絶対ガロア群のような抽象的な位相群から取ったものだから“操作の履歴を忘れている”、しかし充満忠実」 よって「充満多重同型」である、などと言われても不確実で怪しげなものに見えます 本人が“mysterious indeterminate isomorphism”と書いているぐらいだから自覚はあるのでしょうけど・・・ ショルツといえども「人智を超えて」はいないので理解も納得もできるはずがない、ましてや我々凡人には B本については、これまでのIUTの経緯から前書きの内容に腹が立って驚き呆れたのですが、、 考えてみれば「理解者」たちにとってはあの前書きのように見えるのでしょうね 370 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 15:52:59.60 ID:0p+vdVIi.net] >>351、>>352-353 結論がどんなに驚くべきものであっても、納得できる理解可能な形で書かれていれば受け容れられるし美しい理論と言えるんですよね IUTは様々な「飛び道具」を使うために、例えば充満多重同型やラベルを「使用しなければならない」という感じです それでもいいのですが、それを学ぶ側にとって自然な形で記述されなければナンセンスと言われても仕方ありません 例えば志村先生のような方がIUTのようなものをどう見ていたかなどは大体想像がつきますし、 竹内氏などは最終節について量子論理についてちょっとしたコメントをするかどうかという程度だったような気がします 大体あれはラフスケッチですしね 371 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 16:27:36.46 ID:0p+vdVIi.net] ケドラヤが「微細、微妙な何かをSSらは考えるべきだ」みたいなことを語っていましたけど、 SS、特にショルツはまさにその点を突いているわけで、SSレポート末尾の不定性によって生じた「ばかし」にまで訴えようとすれば なんとでも言えるということでしょう >>290 遅レスになりますが、圏論や集合論についてM氏は精通していないのではないかという指摘は発表当初から専門家の間ではありました 私もつい先日まで、不定性の徹底利用を正当化するために 372 名前：はIU形式主義、宇宙際幾何学の基礎付けが必要ではないかと思っていましたが もうどうでもいいかなと思っています。できるのなら先ずそれに着手して完成していた（完成していなければならなかった）はずでしょうし [] [ここ壊れてます] 373 名前：１３２人目の素数さん [2019/05/06(月) 16:38:24.90 ID:hbqTzhgj.net] で、文元の本、中身ないよね？ 374 名前：１３２人目の素数さん [2019/05/06(月) 17:05:55.22 ID:T3t93qmK.net] 志村　五郎氏（しむら・ごろう=数学者、米プリンストン大名誉教授）プリンストン大の発表によると、5月3日死去、89歳。 楕円関数の性質に関する「谷山・志村予想」を提唱。350年余り数学者を悩ませてきた「フェルマーの最終定理」の証明につながった。東京大助教授、大阪大教授を経て1964〜99年にプリンストン大教授を務めた。（ワシントン=共同） https://www.nikkei.com/article/DGXMZO44435430U9A500C1CZ8000/ 375 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 17:27:10.04 ID:0p+vdVIi.net] 志村先生とグロタンの違いでいえば、先ず二人とも同世代で若くして世代を代表する数学者だったし、スタイル、方法を確立していた 上の人も書いているようにグロタンは先ず抽象化から始める人で、そういう人にはデュドネやセールらのような実力者の支えが必要だし、 アイデアをより具体的な場面で使用し効果を試してくれる下の世代が必要だった。本人もそれを求めて動き回る人だったし 志村先生は数学的教養が恐ろしく深い人だったし、ある意味では一人研究室に閉じこもっても出来てしまうタイプですね それでもずっとプリンストンに居られたわけだから多くの刺激があった M氏はグロタンのタイプだから、むしろ自分から世界中飛び回って実力者たちと交流すべきなんですよ（成功したいなら） M氏が海外に出て交流しない理由は多くの人が何となく分かっています。それが偏見に満ちた邪推だとは思えません 376 名前：１３２人目の素数さん mailto:sage [2019/05/06(月) 20:21:20.24 ID:x0FWxVzA.net] 志村五郎が辛口って言われるのは日本だけなの？ 海外だと普通レベル？ 377 名前：１３２人目の素数さん [2019/05/06(月) 22:27:02.92 ID:KJ60p3wv.net] 志村バラエティ 378 名前：１３２人目の素数さん [2019/05/06(月) 22:31:29.85 ID:KJ60p3wv.net] テレビのクイズ番組で「志村バラエティ」と言う数学用語が有る。ホントかウソか？ って問題出して欲しい。 379 名前：１３２人目の素数さん [2019/05/06(月) 22:50:14.42 ID:hPD6j6Qn.net] へんなオジサン 380 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 06:38:41.81 ID:3+LlHeL3.net] 私が先だっ！ 381 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 09:58:56.56 ID:nqg49knJ.net] >>363 自らの数学の歩みを振り替えるときにスルーするという 最も怖い手法を用いてくるので、毒舌なんかはまだマシ そうしたことをした人でアティヤはえぐかった まあいくら数学の業績も抜群、フィールズもとってとはいえ 頓珍漢な批判をされたらそら誰でも怒るわなって感じだが 382 名前：１３２人目の素数さん [2019/05/07(火) 10:09:48.97 ID:Ed9Y2Qo4.net] B本は、最後の２~３割で説明が詰まりすぎてるから、 ３部作で出せば、かなりかみくだくことができるんじゃないか。 383 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 10:16:45.00 ID:z9hw6YNy.net] ウッドホールかな？。 384 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 11:18:11.77 ID:kAbXeH71.net] 加藤文元著 ショルツもぐぅの音も出ない！Cor 3.12の完全証明！ 角川学芸出版 385 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 11:29:56.20 ID:ETF80s9m.net] B派の工作員ってアタマ悪いのばかり 386 名前：１３２人目の素数さん [2019/05/07(火) 11:36:56.15 ID:qZp2zvvT.net] クズのゴミカスだから金魚のフンみたいに媚びへつらって群れたがるのさ 387 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 11:40:41.41 ID:qEnJSlQO.net] もうIUTなんかやめちまえよ 388 名前：１３２人目の素数さん [2019/05/07(火) 12:23:47.59 ID:bluQlf+y.net] 僻み鮮人見苦しい。 389 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 12:30:50.08 ID:B1UXiihQ.net] どう見ても追い込まれてるのは擁護側だよ そういう見方とか思い込みができる時点で論外 390 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 12:33:12.90 ID:B1UXiihQ.net] 着想は良いとしてもダメな理由が国内でもツラツラ書いてあるでしょ 文字すら読めないんだろうか可哀想に 391 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 13:17:28.22 ID:qEnJSlQO.net] 将来性のないものにいつまでもしがみついたってしょうがない 392 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 13:37:42.21 ID:J1K51rS4.net] それで将来性を作ろうと必死なんだろう 393 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 13:37:48.74 ID:SZep89U6.net] 論文でもなんでも好きにすりゃいい。 しかし最終的に正しい論文というのは公理とすでに証明が正しいと認定された定理を認められた推論則のみを用いて繋げられたものが完成した時のみ。 ポエムだってんならどうでもいいが。 394 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 13:48:29.47 ID:4xSAlKaq.net] 実名を出して望月教授を論破すれば世界的に有名になれるのに なんで匿名の掲示板でグチグチ書き込んでるの？？自信がないの？ 395 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 13:51:47.95 ID:pIBV1ySb.net] 単にあなたの理解力の不足です 396 名前：１３２人目の素数さん [2019/05/07(火) 14:00:04.02 ID:i3eTAq1O.net] >>381 つブーメラン では君が実名でNew ScientistかWorld Press に抗議すれば良いだけの話 自信がないの？ 397 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 14:04:38.09 ID:tQtXPWHQ.net] >>357 軽く見た感じだと、殆ど説明してないですね 不定性というのは本質的に不可避で計算するべきなんだけども、テータ関数は強い対称性を持っているので 群論的に効果的なんだと どう見ても説明はそれだけですね。それがラストなので 398 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 14:09:22.36 ID:tQtXPWHQ.net] 自分の理解だと不定性は不可避であると同時に宇宙際幾何学を成立させるための武器でもあるんだけど そういう言い方は望月、B共にしていない。単に異様で嫌なもののような書き方をしてる で、テータ関数は豊富な対称性を持っているからそれを使ってまとめ上げて計算できるんだと 説明してるようで説明にはなってませんね。SSについてどの程度触れてるかわからないけど、まあ期待できない 399 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 14:20:31.43 ID:7B9Wtzq3.net] 381の軽薄さと軽率さが際立つ 根拠もないし反論もできない 閉鎖社会のおらが先生論のみ 400 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 14:21:50.11 ID:avCt0XzK.net] 逆風吹き荒れる中あえてドロ舟に乗ったBは漢の中の漢。 洋者の言うことに何でも媚びへつらうおまえらには一生越えられない。 401 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 14:26:50.61 ID:KlfTAr2E.net] でお前はBに媚びてるわけだ恥ずかしい 402 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 14:27:05.58 ID:tQtXPWHQ.net] 対称性と不定性を取り持つ宇宙際の計算をどう考えるのか、少なくとも受け入れてない数学者がいるという点 その説明はBは勿論、望月も触れてない。あの反論レポートよりもかなり抑え目というか、 抽象化による不定性は新しい数学では本質的で必要なんだと言っているだけだね それを遠アーベル幾何学的にテータ因子に「身体化」する群の宇宙際格子が適切かどうかが問題なわけだけど 403 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 16:47:54.02 ID:H1Ru9XDV.net] (Bって誰や…佐藤B作かな…) 404 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 17:01:57.82 ID:Ivm/r/cr.net] 加藤B元号 405 名前：１３２人目の素数さん [2019/05/07(火) 17:57:07.41 ID:bluQlf+y.net] もっちー先生の仕事で志村五郎は生き恥をかかされた。 406 名前：１３２人目の素数さん [2019/05/07(火) 18:28:35.15 ID:mKScrsGR.net] 擁護派の言い分を丸呑みするのはバカだから仕方ないとしよう このズレの否定論やショルツらの異論に答えてからにしてくれ 殆ど厨二病にしか見えないよ 中身よりもjin的なつながりを重要視する三国人思想主義者 407 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 18:40:36.18 ID:EHYeVEb5.net] >>390 センテンスエレメント 408 名前：１３２人目の素数さん [2019/05/07(火) 18:56:58.66 ID:qEnJSlQO.net] SSを納得させられなかった望月の敗北ではないのか？ 409 名前：１３２人目の素数さん [2019/05/07(火) 19:17:05.69 ID:bluQlf+y.net] >>395 グロたんは志村五郎を納得させられなかったから志村の勝ちでグロたんの負けか？ 410 名前：１３２人目の素数さん [2019/05/07(火) 19:20:21.82 ID:k1SjoU8T.net] 京都大学 第2期中期目標期間評価の結果 www.kyoto-u.ac.jp/ja/about/publication/mevaluation/second 第2期中期目標期間(平成22〜平成27 事業年度)に係る事業評価の結果 1 本学作成の報告書等 学部 研究科等の研究に関する現況調査表 数理解析研究所 資料 2. 発表論文数 所員の発表論文数 査読付き論文のみ 事例4「数論幾何の研究」 >望月新一に よる「宇宙際タイヒミューラー 理論」の構築とその結果としての ABC 予想 の 解決は、特筆 すべき出来事である。 >当該論文は現在査読中であるが、 >望月新一が同理論の概要を解説した業績 番号1― (2)(2014)が、講究録別冊として 刊行されている。 2 評価結果等 学部 研究科等の研究に関する現況分析結果 数理解析研究所 > 2.注目すべき質の向上 ○「数論幾何の研究」の「宇宙際タイヒ ミューラー理論」の構築とその結果として のABC 予想に関する論文は、国内外の 主要メディアで取り上げられてい る。 411 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 19:30:01.60 ID:2rFEem2n.net] かのニュートンだってフックに目新しいことは何も無いし間違ってさえいると酷評されて論文発表すらできない事態に追い込まれたからな 納得しない学者がいるから何だと言うんだ？ そんなことは歴史上に珍しくない 412 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 19:33:05.80 ID:tR17/BK5.net] >>398 ほんそれ ガロアのような事が現代数学では決して起こりえないって誰が決めた 413 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 19:45:09.67 ID:2rFEem2n.net] リーマン予想を示唆する1/2の研究はどうしたんや。 414 名前：１３２人目の素数さん [2019/05/07(火) 19:57:09.50 ID:gtWZhRx2.net] 記事のリンク先には、1400万例ものabc予想の反例が見つかっていたという。 https://www.math.leidenuniv.nl/~desmit/abc/index.php?set=1 415 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 20:53:47.12 ID:3+LlHeL3.net] なんか知らんがニュートンを越えてた 416 名前：１３２人目の素数さん [2019/05/07(火) 21:51:26.10 ID:Ed9Y2Qo4.net] リーマン・・・が、世界経済でも来まっせ― 417 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 21:51:52.76 ID:x2Axm8SC.net] >>385 結局、充満多重同型という望月流の同型が認められるかどうかが全てですね 理解者たちは京都の一室で無理解な人たちを嘲笑う暇があるなら、充満多重同型に絞ってガンガン論文を書けばいいですし、 もっと言えばボン、マックス・プランク、IAS、プリンストンに乗り込んで説明すればいいんですよ。理解できるものならば納得させられるはずです 望月だけが反論レポートを書き、理解者たちはアジビラや宣伝本しか書かない（書けない？）というのはおかしいですよ 来年のプロジェクトを考慮するなら尚更、専門家、実力者たちにアピールするべきなんです。それをやろうとしない・・・ 418 名前：１３２人目の素数さん mailto:sage [2019/05/07(火) 22:55:29.60 ID:fMQcq2tD.net] 専門家、実力者っつってもほとんどが単なる傍観者だろ SSが納得しさえすれば周りの傍観者� 419 名前：ﾍどうせSSがいいって言うならいいんだろってなるよ [] [ここ壊れてます] 420 名前：１３２人目の素数さん [2019/05/07(火) 23:02:20.90 ID:74wWmTd7.net] 加藤文元のＩＵＴの衝撃とやら立ち読みしました ＩＵＴが説明されているだろうとおもったら間違いで、 飲み屋に行ったらたまたま隣に望月新一を知ってるめんどいオッサンがいて ＩＵＴを理解できないけれどＩＵＴを肴に数学とは何か？感を 素人向けに得意げに語るといった内容ｗ 421 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 04:55:16.21 ID:c16hwz2q.net] >>404 相対性理論や量子力学を引き合いに出すくらいならw本当にその通りで、何故大々的に解説講演しないのかと 特にeffectiveな計算はアメリカに何人も関心を持つ研究者がいる これが自信の有無とはまた別に「へーこらして理論を教えたくもない」という感情も絡んでそうなのが厄介 422 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 04:57:20.64 ID:c16hwz2q.net] 文化闘争というならシュプリンガーやAMS、Clayにアワードや研究書を出させたら十分勝ちで PRIMSも強化されるのに 何を拘って鎖国みたいなことをするのか 423 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 09:30:19.87 ID:eQ+2riJd.net] 学者が「素晴らしい」とすぐに言っちゃうようなのは大したことない 学者が「何だこりゃ？！」というものじゃないとね 特にM氏のは学者としての流儀、ブリンシプルに修正を迫るみたいなとこがあるから不快感を感じるんだろうな ふざけるなとも思うやつがいたり。狐につままれた感を受けたり まあ最先端にいくと人間の直感から外れたりオカルト臭に満ちてくるから、むしろオカルト臭がしないのは本物ではないだろう オカルト呼ばわりは正統進化の証だと感じるね 424 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 09:51:55.03 ID:tXS4K/fT.net] 今日も素人衆を相手に洗脳して勢力拡大を図るニダ 　　　　 ∧＿∧　どうせアクセプトされないからってパンピーが余裕ぶっこいててムカつくニダ 　　　　<丶｀∀´> 　　 　∧＿∧ 　　　 ／ 　　　 ＼　 　（　　　　）　なに言ってんだこのゴミクズ .＿＿|　|　　　 .|　|＿　/ 　　 　 ヽ ||＼　￣￣￣￣　　 ／ .|　　　|　| ||＼..∧＿∧　 　　(⌒＼|_＿./ ./ ||.　 （ 　　　）　　　　 ~＼___＿_ノ|　 　∧＿∧ 　　/　　　ヽ　馬鹿か？ 　　　 ＼| 　（　　　　） 　　|　　　　　ヽ　　　 　　　　　　　＼/ 　　　 ヽ. 日本からさっさと出てけ 　　|　　　　|ヽ、二⌒) 　　　　 　　／ .|　　　|　| 　　.|　　　　ヽ　＼∧＿∧　　　 (⌒＼|_＿./　/ 425 名前：１３２人目の素数さん [2019/05/08(水) 13:15:29.89 ID:i9z5tvoq.net] IUTみたいな独自路線の研究は数学をわかりにくくするから止めてほしい 426 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 13:17:21.84 ID:BwKszzDC.net] >>409 何だこりゃ？ 427 名前：１３２人目の素数さん [2019/05/08(水) 13:53:47.06 ID:30CkRgPu.net] 最初は皆が凄いって思ってたのに、これはあかんかもってなったのを覆すのは相当、ショッキングなことがないとね 428 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 15:27:57.33 ID:8zTY8JC8.net] >>411　学問の自由を否定するような輩まで出てきたな。 429 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 16:53:36.83 ID:AZWdqRAd.net] 何にも進展ないのにスレがめっちゃ伸びてて草なんだ 430 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 18:01:12.02 ID:c16hwz2q.net] 2020年に大事件が起こらないとも限らないからね 良いか悪いかは別として 431 名前：１３２人目の素数さん [2019/05/08(水) 18:32:26.08 ID:DEbwP0ZW.net] 2020年に鮮人黄禹錫（ファン・ウソク）が山中伸弥 432 名前：を超える大発見をして2021年に単独でノーベル医学生理学賞を受賞。 [] [ここ壊れてます] 433 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 20:37:08.04 ID:ES+WVwFA.net] ブリコラージュ的な何か 正しいかどうかは？ 434 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 22:03:54.41 ID:FZsoNm+Y.net] >>389 IUTは不定性に着目し徹底利用して宇宙際の計算をするので、2つの不定性を生じる充満多重同型は理論の前提となっている SSとしては、そんな望月の思惑とは関係なく、普通に同型として捉えて何ら問題はない。しかし、そうすると内部矛盾に至る 特にショルツのような正統派の中枢にいるような数学者は望月の話に「合わせてあげる」必要はないわけだ つまり望月からすれば、ショルツは不定性の活用・効用を知らない旧態依然の数学者ということになるし、 ショルツからすれば不定性を濫用（悪用？）を咎めたらド壺にハマった哀れな数学者ということになるわけだ 要するに、圏論の常識を超えて望月の話に合わせてやらないとIUTは成り立たない そのお話に説得力を感じなかったのがショルツで、疑問を持ちつつも裏に何かあるのではないかと思っているのがロバーツ 435 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 23:02:16.47 ID:ZOqZYhJG.net] 数学の神はwild card を創らない 436 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 23:11:05.20 ID:tySFkmWC.net] （疑似）乱数関数とか 任意定数とか 余計なゲージ自由度とか 437 名前：１３２人目の素数さん mailto:sage [2019/05/08(水) 23:45:49.64 ID:FZsoNm+Y.net] まあ、最終節の書き方から察するに、冗談半分だけど「数論幾何学の量子力学的定式化」、 「数論幾何学の遺伝子工学的定式化」のようなものの、ちゃんぽん鍋と言えなくもないかな だからブログやB本の寄稿で社会的固定観念云々の話も持ち出す 万能感を持った中二病的数学者と思われても仕方がない ところでM本氏は全然出てこないね。彼のIUT理論構築への貢献は大きいと思うけど… 438 名前：１３２人目の素数さん [2019/05/09(木) 01:07:02.10 ID:04YMblvN.net] ゼータの化身のことやp進数の世界のことがもっとよく理解されるようになり，岩澤理論が発展してゆけば，ワイルスがフェルマーの最終定理についてなした仕事にもましてすてきなことが，いろいろとなしとげられることと思います．（加藤和也） 439 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 03:51:43.19 ID:+4nUVRUK.net] >>422 M本って誰？ 440 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 07:31:25.38 ID:VI4yF5FI.net] >>424 まこっちゃんでしょ 441 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 09:36:49.78 ID:005UgNT+.net] >>420 神の定義による 442 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 09:55:43.65 ID:k1nifC3s.net] しかしぶんさんの本は玉川教授や田口教授はよくiutを理解していると書いてしまっているが、これは本当なのだろうか。 本当なら結構すごい話では。 443 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 11:07:05.62 ID:QmLJqZPl.net] 田口は見栄はりだと思う。あきおは寝耳に水だろう。 444 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 12:53:58.89 ID:2FJWGB3s.net] わかってたらとっくに論文書いてるでしょ 445 名前：１３２人目の素数さん [2019/05/09(木) 13:00:48.50 ID:AQiHAQ1+.net] >>427 絶対嘘だ。 Bのやることは 汚い 446 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 15:49:18.84 ID:xlbLTWGl.net] しかしこういう数学通俗本には嬉々として反応して、まともな数学書（入門書でさえ）には一切無反応なjinの馬鹿っぷりも本当にすごいと思うよ 447 名前：１３２人目の素数さん [2019/05/09(木) 18:47:01.23 ID:vpEgBkEQ.net] jinjin素人おばさんストーキングしていちいちここに報告してくるお前も大概だけどな 448 名前：１３２人目の素数さん [2019/05/09(木) 19:19:03.86 ID:ujnDMgZ2.net] 玉川教授や田口教授はBよりもIUT（の背景 449 名前：にある理論）を理解している、ということだろう。 相対的な話だろう。 まあ、取り巻きには通読した回数が重要らしいからな。 [] [ここ壊れてます] 450 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 19:48:38.12 ID:POc0cPt5.net] ついにアクセプトという話が。やっぱりブンゲン本やNスペなどと時期をあわせてきたな。6月か？7月か？ 451 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 20:11:41.77 ID:9VjGN+W5.net] Nスペおじ、きらい 452 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 20:13:06.29 ID:dVcDyDrM.net] どこにアクセプトされる話が？ 453 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 20:37:51.81 ID:tlAM2zxc.net] ほらほら数々の度重なる指摘を一ミリも理解できないチョンだろ 454 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 20:39:30.83 ID:tlAM2zxc.net] アクセプトされてから錯乱して駆逐されればいい 455 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 20:41:40.20 ID:0qnbP2te.net] Jin類ポカーン計画 456 名前：１３２人目の素数さん [2019/05/09(木) 20:55:14.79 ID:ujnDMgZ2.net] また擁護派のアクセプト発言か。 これまで何回も出てきたが、アクセプトはされなかったね。 せめてもの願望か。でも醜いよ。 457 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 23:34:00.31 ID:xUNOt/uB.net] 度重なる指摘を受けても厚顔無恥の悪しき学術会の慣行を糾弾 【山中教授だけじゃない！】石油を水から作り出す！？ 革命的研究発表をした京大名誉教授・今中教授に独占インタビュー！ https://sensekyoto.com/2016/01/09/imanaka-kyoto-university/ 458 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 23:36:14.39 ID:xUNOt/uB.net] 疑念続出のＳＴＡＰ細胞論文騒動　何が問題？ https://www.sankei.com/life/news/140311/lif1403110005-n2.html 小保方氏批判の何が問題なのか？―�@科学的解明姿勢の欠如＋�A公正手続きの無視 https://blogs.yahoo.co.jp/teabreakt2/16916666.html?__ysp=5bCP5L%2Bd5pa5IOS9leOBjOWVj%2BmhjA%3D%3D 459 名前：１３２人目の素数さん mailto:sage [2019/05/09(木) 23:59:22.27 ID:rMAofjsu.net] 名前：１３２人目の素数さん[sage] 投稿日：2018/10/09(火) 01:37:03.20 ID:iEmKtfiM Ｍ『論文が掲載されないの…』 Ｓ『あらら？3.12かな？検証はできる？』 Ｍ『内部の議論ではちゃんと機能してたのに。なんでいきなりフェルマーなんだろう。』 Ｓ『ギャップって怖いよね。で、循環論法かどうか知りたいんだけど説明できる？』 Ｍ『今は学部生でもわかるから自明なのに』 Ｓ『それは困ったね。どう？説明はできる？』 Ｍ『今までの論文はこんな事無かったのに。こんな読めない論文書かなきゃよかった。』 Ｓ『…説明できる？説明できない？』 Ｍ『掲載の予定だからまだ時間あるけどこのままじゃ困る。』 Ｓ『そうだね。で、不等式の説明はどうかな？非自明かな？』 Ｍ『え？ごめんよくわからなかった』 Ｓ『あ、えーと、無限階段みたいになってないかな？』 Ｍ『何で？』 Ｓ『あ、えーと、掲載されてないんだよね？論文が間違ってるかも知れないから』 Ｍ『何の？』 Ｓ『え？』 Ｍ『ん？』 Ｓ『論点が違ってるかどうか知りたいから、説明してみてくれないかな？』 Ｍ『別にいいけど。でも学部生以上だったらわかるよね？』 Ｓ『いや、だから。その論理を知りたいから説明してみて欲しいんだけど。』 Ｍ『もしかしてみんな気付いてる？』 Ｓ『いや別にみんなではないけど？』 Ｍ『気付いてるじゃん。何でわざわざいうの？』 Ｓ『だから説明してください』 Ｍ『何か間違ったこと言いました？言われた点は説明しましたけど？』 Ｓ『わかりません。自明と思えません。非自明、非自明だから』 Ｍ『何が非自明なの？』 Ｓ『論文掲載の話だったよね？』 Ｍ『拡張性でしょ？』 男『ああそう拡張性の話だった』 460 名前：１３２人目の素数さん [2019/05/10(金) 00:16:32.14 ID:6BVPxFx6.net] また僻み鮮人か。 ニダーは出てってくれ。 461 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 03:31:21.45 ID:EVJDnjOp.net] 三国jin 462 名前：１３２人目の素数さん [2019/05/10(金) 06:43:23.58 ID:tSsWnN0x.net] 近所のコンビニの飲食スペースに老婆２人がいた。老人が老害と呼ばれるゆえんなのだろうか 463 名前：１３２人目の素数さん [2019/05/10(金) 07:36:46.44 ID:I4XI9io2.net] 何年もの間検証による再現ができない論文があった ジャーゴンの山といわれるゆえんだろうか 464 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 07:38:29.53 ID:k07TFpRW.net] 夏頃アクセプト予定 覚悟決めたみたいね 465 名前：１３２人目の素数さん [2019/05/10(金) 07:42:28.34 ID:WHV5W+Gm.net] 何年もの間検証による再現ができない論文があった ジャーゴンの山といわれるゆえんだろうか 466 名前：１３２人目の素数さん [2019/05/10(金) 08:36:21.74 ID:kdaY9A1A.net] 今回もアカヒがリークしてくれるだろう 467 名前：１３２人目の素数さん [2019/05/10(金) 08:53:44.07 ID:WYkDoZlp.net] >>448 覚悟w 468 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 09:36:39.67 ID:5SNLsCMN.net] 査読は度胸 469 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 09:39:37.36 ID:C7PbQn56.net] 査読も読経？ 470 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 09:50:27.13 ID:HdcsWgfO.net] >>443 考える方も、コピペ用に保存してる方もやばいね。 471 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 11:36:29.73 ID:eX6YBg5l.net] またゾンビが調子こいてるよ〜 472 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 12:23:26.28 ID:qOVHIkCW.net] 理解者といわれるゴーとフェセンコがネット上でディスりあってるの一つとっても、IUTオワタ感あるよね！ 473 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 12:42:51.56 ID:/dUU5qGV.net] 完全理解力者の間でも解釈の異なる玉虫色の論文 しかもレフェリーも出てこず誰が真の理解者なのかすら不明 で、アクセプトなの？ 474 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 12:56:20.77 ID:J7IGtthe.net] そりゃ正しければ何としてでも自分でより正確なサーベイ書くなり、 門下生、師弟に学ばせようとするだろ、普通は。 子供に手っ取り早く金になりそうな将棋ってどゆこと。　 475 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 13:02:56.31 ID:uXtsWPzD.net] 学問は単に糧食の手段です 宗教や政党と同じです 傾倒する者と疑心暗鬼ながらも従う者がいます。 476 名前：１３２人目の素数さん [2019/05/10(金) 13:13:17.55 ID:zHBcCmje.net] ビーは手軽に始めるＩＵＴ講座とかやらないんだろうか 477 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 13:23:41.47 ID:O0mB3/hd.net] フェセンコの弟子も支持する、しないは特に表明してないような 478 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 13:48:57.49 ID:/aE7wW4/.net] そういう研究室にいてIUTに巻き込まれようが、IUT 周辺の遠アーベルで適当な論文は書けるはずなんだよ。 院生や研究員がIUT と共に沈んだとしても自己責任だろうな。 479 名前：１３２人目の素数さん [2019/05/10(金) 14:49:48.19 ID:Bigmy9h0.net] 中国の学者はもっちー理論を真剣に勉強してる。台湾もChung Pang Mok氏をパデュー大から引っ張ってきた。フィリピン人アントンも理解しつつある。タイ人が一人もっちーの弟子。 鮮人は遅れてる。 480 名前：１３２人目の素数さん [2019/05/10(金) 15:09:52.54 ID:EXtQi8vs.net] 活動実績報告書に入れておいてね 481 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 15:52:01.86 ID:WYkDoZlp.net] >>463 それ擁護になってるのかね？w 482 名前：１３２人目の素数さん [2019/05/10(金) 15:53:29.28 ID:Bigmy9h0.net] The Department of Defense (DOD) provides extramural funding for the mathematical sciences primarily through five organizations: AFOSR, ARO, DARPA, NSA, and ONR. ... In particular, NSA is often said to be the largest employer of mathematicians in the Unit 483 名前：ed States. アメリカもDoDの考えが変われば遠アーベル幾何の研究に予算を使うようになる、かも。 [] [ここ壊れてます] 484 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 17:54:10.98 ID:MXSUmoNC.net] アンチの鈍感ぶりには同情するw 485 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 18:07:05.93 ID:09RuEBgK.net] 今週も無知な素人衆を捕まえてわかったフリをする人間を増やすニダ 　　　　 ∧＿∧　どうせアクセプトされないからって否定側が余裕ぶっこいててムカつくニダ 　　　　<丶｀∀´> 　　 　∧＿∧ いつもの論点すり替えて僻みのせいにするニダ 　　　 ／ 　　　 ＼　 　（　　　　）　なに言ってんだこのゴミクズ .＿＿|　|　　　 .|　|＿　/ 　　 　 ヽ 身内のkimの反論検証はなんで出せないんだよ ||＼　￣￣￣￣　　 ／ .|　　　|　| 数少ない擁護側のTylorを3月に来日させといて何言われたんだよ ||＼..∧＿∧　 　　(⌒＼|_＿./ ./ ||.　 （ 　　　）　　　　 ~＼___＿_ノ|　 　∧＿∧ 　　/　　　ヽ　厚顔無恥の馬鹿？＼| 　（　　　　） 不利な点はオールスルーで数日で復活とかゴキブリかよ 　　|　　　　　ヽ　　　 　　　　　　　＼/ 　　　 ヽ. 免疫のない学生やらアマチュアクラブの連中相手に洗脳かよ 　　|　　　　|ヽ、二⌒) 　　　　 　　／ .|　　　|　| 再現性のない論文ってなんて言うか知ってるのか？ 　　.|　　　　ヽ　＼∧＿∧　　　 (⌒＼|_＿./　/ 　　　　　　　∧__∧ 　　　　　　（´∀｀　） オボちゃんも最後の最後まで認めようとしなかったからね！ 　　　　　　 （⊃⌒*⌒⊂) キタナイとこは隠すからね！ 　　　　　 　　/__ノωヽ__） 486 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 18:09:41.35 ID:5SNLsCMN.net] 数学の論文における再現性とは 487 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 18:40:41.58 ID:5SNLsCMN.net] そうかわかった。他の人の脳みその中に、その理論をもう一個コピーすることを言っているんだ。きっと。 488 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 20:59:15.86 ID:R2zvMFMq.net] ○○「私はたぶん3人目だと思うから。 489 名前：１３２人目の素数さん mailto:sage [2019/05/10(金) 23:58:30.94 ID:BJB3KiNb.net] SSが充満多重同型を自然同型として切り捨てたことに対して、これが遠アーベル幾何の無知からくるものだと非難するなら、 望月以外の遠アーベル幾何学者から多くの異論が公けに出てもおかしくないのにな 望月が「遠アーベル幾何学者として」正しい論法を使っているなら、他の遠アーベル幾何学者は専門家の威信をかけて SSの間違いを正さなければならないはずだ。それなのに誰も公けに見解を表明していない 490 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 05:35:48.45 ID:fUeoLZ0F.net] なあなあ、充満多重同型の定義って何？ 491 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 06:51:59.49 ID:HEmbx4yp.net] >>472 論点が見えないな。明確に書いてくれよ 492 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 07:34:29.38 ID:KcQnrNlv.net] >>472 遠アーベル幾何学の無知から来るものだ、との指摘に対して そんなことはないとの反応は皆無 それで十分 493 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 09:14:51.11 ID:IZNaAObN.net] 少なくともノイキルヒ内田の定理を超えた話なのは間違いないからなあ 何を指して言ってるんだかね 494 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 09:21:18.97 ID:um2yebr2.net] 自分の論文じゃないんだから 自分の専門分野の別の論文に他人が噛みつこうがスルー 皆スルー耐性くらい身につけてんだろ 後でIUT論文が間違えてましたってなっても自分には関係ない話 495 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 09:27:40.51 ID:IZNaAObN.net] Stixさんが明確に撤回しない限りはその点はあれでしょう 玉川、中村などは沈黙しているし、Stixは一応見解を表面してしまったから、考えが変わったら 何か言わなきゃならない。他人の論文を否定してるから、よくある間違った論文を放置するのとは訳が違う 496 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 10:54:25.89 ID:NLJePlry.net] そう考えるとスルー三昧の中でなんか言った連中、ちゃちゃ入れのコンラッドなんかも含めて、偉いよなあ 497 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 12:13:28.37 ID:YUc96e4g.net] 何故か巻き込まれる中村 498 名前：１３２人目の素数さん [2019/05/11(土) 15:00:18.68 ID:nvG96FE1.net] しかしさ、ブンゲンって望月の論文の査読者の一人で、IUTは正しいって判定した人でしょ。 その人の理解度がこの通俗本のレベルってどうなのよ？ 499 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 15:13:10.79 ID:2doHtUTN.net] 一般書出しただけだから理解してるかは不明かと 500 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 17:10:39.75 ID:cIvTaRSS.net] いや、理解してないと思う（覚悟） 501 名前：１３２人目の素数さん [2019/05/11(土) 19:48:28.89 ID:pIjOZMgQ.net] 何故か巻き込まれる中村 中村博昭とか底辺のアホにはわかるわけない 点付き射影直線のしょぼい例でグロタン予想やってみただけ 502 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 19:52:31.16 ID:W7iDUrhh.net] >>476 >>478 >>472はSSレポートと望月反論レポートを読んだ人に向けて書いています 要するに、IUTにおけるクンマー理論と単遠アーベルの合わせ技の問題 望月としてはクンマー離脱不定性とエタール輸送不定性に着目して充満多重同型なるものを主張し、それはIUTの核を成す SS、特にショルツはクンマー理論の自然同型だけでよいとし、望月の言う不定性を孕んだ同型は必要ないと主張している つまり私の言いたいことは、所謂IUT理解者でなくても遠アーベル研究者ならこの論争に対して一言あるべきだということです 名前の挙がった人たち以外にも数人いますが、彼らがSSの指摘の意味が分からないはずはない 私は遠アーベル研究者ではありませんが、自分の専門でこういうことが起こったら大論争になるのは必定です なぜ遠アーベル幾何学者たちは沈黙しているのか、ということです 503 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 20:04:49.42 ID:W7iDUrhh.net] これは個人的な想像ですが、ショルツとスティックスとではIUT問題の力点が違うような気がします たぶん、スティックスは充満多重同型についてはそんなに問題にしておらず、不定性の管理、 つまりラベルの使用の仕方に問題があると思っているのではないかと（クオンタ誌を読む限りでは） それに対してショルツは、同型問題からしてダメ出しをしているという感じですね 504 名前：１３２人目の素数さん [2019/05/11(土) 22:21:10.08 ID:VJY6Usq9.net] 何故か巻き込まれ挙げ句に底辺扱いまでされる中村 505 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 22:58:15.14 ID:q9jWbphq.net] >>486 そのラベルの管理の仕方が問題というのは、本来違うものをひとまとめに扱うからという事なんですかね？ 506 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 23:01:24.74 ID:UKG6L/36.net] ここを見ていると、嫉妬を通り越して怨嗟すら感じる。 507 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 23:12:59.04 ID:OUvxsvfS.net] kua　ioa　mos 508 名前：１３２人目の素数さん mailto:sage [2019/05/11(土) 23:46:01.66 ID:W7iDUrhh.net] >>488 誤解を恐れず「通俗的」に書いてみますね IUTでは「非常に似ているが異なった宇宙」を作ります（これは充満多重同型を前提とします） さらに宇宙を再初期化したり取り替えたりして計算をするので、 前後を区別するためにラベルによって明確に区別する必要があります これに対して、SSレポートでは充満多重同型は必然性がないとして却下し、結果として同じ宇宙のコピーしか作っていない つまり、同じ宇宙で同じ計算をしているだけなので区別するのは無意味、ラベルなど必要ないとしています クオンタ誌のスティックスの発言からの憶測ですが、ひょっとしたら彼は充満多重同型を認め「異なる宇宙」についても認めているのではないか、 しかし、ラベルによる管理が上手く出来ていないのでIUTは機能していないと考えているのではないか、 そしてSSレポートはほとんどショルツ一人によって書かれたのではないか、ということです あくまで憶測です。昨年3月の議論の全容は双方のレポートを読んでも分からないので・・・ 509 名前：１３２人目の素数さん [2019/05/12(日) 01:22:13.39 ID:9QOK4Q8R.net] SS分裂という噂がありますが、具体的にはどういうことなんですか？ 510 名前：１３２人目の素数さん [2019/05/12(日) 01:51:28.50 ID:zdIHdfou.net] ドイツの理論を日本が進化させたなら 人類の最高傑作レベルの論かもしれんけど 難しすぎて誰も理解できないんじゃねえ 511 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 02:06:15.18 ID:vyI5A6bU.net] >>492 jinが気にしそうなゴシップだな 512 名前：１３２人目の素数さん [2019/05/12(日) 02:08:09.77 ID:9QOK4Q8R.net] >>494 jinじゃないですが。 513 名前：１３２人目の素数さん [2019/05/12(日) 03:56:42.52 ID:omqLS4S4.net] IUTはもともと壊れているからね。 がらくたのまとめ方はニュアンスが違うね。 514 名前：１３２人目の素数さん [2019/05/12(日) 04:12:24.76 ID:9QOK4Q8R.net] >>496 それは鮮人の願望。 515 名前：１３２人目の素数さん [2019/05/12(日) 04:28:05.44 ID:omqLS4S4.net] アメリカ　ドイツ　オーストラリア、、壊れ方は各国の数学者から指摘されてる。 516 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 04:29:05.94 ID:Uu5bEZlE.net] なんだドカタか 517 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 08:25:05.60 ID:2hsA9qaz.net] >>491 というか相補的っていう事なんじゃないですかね。Quantaの記事の書き方だと、整合性があっても不等式は 無意味になるし、他方で不等式を成立させるための、多分水平方向のΘリンクの対称性通信だと思いますが それが確か軽微な不定性を除いて宇宙の情報を伝達し、本質的な不変量を計算する体裁になっているんだけど、 実際にはそんな精妙な仕組みは見受けられないというか、大域的には秩序のないデタラメだと 望月さん自身はまず解説で、Θリンクは始の宇宙と終の宇宙を繋ぐようにできてると言ってるけど、 Stixは全体としては間違いというニュアンスですよね。実際、論文が本当にそれを説明できてるのか疑問です 518 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 08:29:05.89 ID:2hsA9qaz.net] まあ要するに「どっちみち詰んでる」って理解がSSで一致してる部分でしょう 519 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 09:14:35.74 ID:GoPr657X.net] 星氏がサーベイで「IUTはもう少しで崩れそうな均衡の上に成り立っている」って言ってるよね 520 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 09:18:47.13 ID:GoPr657X.net] >>502 www.kurims.kyoto-u.ac.jp/~yuichiro/intro_iut.pdf もう少しだけ理論の詳細に踏み込みましょう. (より詳しくは §27 を参照ください.) §4 から §12 までで説明される “リンクによるアプローチ” によって, ある Diophantus 幾 何学的定理 (§4 の冒頭を参照) を証明するためには, ある適切な固定された数体上の楕円 曲線に対して (a) 対数殻 (§8 を参照) (b) 楕円曲線の q パラメータの (1 より大きい) ある有理数による巾 (c) 数体 という 3 つの対象の (ある適切な設定における) 多輻的な表示 (§7 を参照) の存在を証明 すれば充分であるということになります. ・・・ エタール的部分の不定性や対数殻の Kummer 同型に付加されてしまう不定性によって, て, (a) の多輻的な表示を得るためには, (a) に対するそれぞれ (Ind1), (Ind2) という不定 性 (§10 を参照) を許容しなければなりません. また, 上述の対数 Kummer 対応が上半両 立性を満たすことしか確認することができないという事実によって, (a) の多輻的な表示 を得るためには, (a) に対する (Ind3) という不定性 (§10 を参照) を許容しなければなり ません. 一方, これまでの説明に登場してきた様々な概念を用いることで, (Ind1), (Ind2), (Ind3) という比較的 “軽微な不定性” のもと, (ある適切な設定において) (a), (b), (c) を 多輻的に表示することができるのです. 最初にこの宇宙際 Teichmuller理論を勉強したときに筆者が持った印象は, “このような議論が許されるならば, 何でもやりたい放題ではないか” という方向性のものでした. しかしながら, 更に勉強を進めたり, あるいは, 類似的な議論を模索していく内に, 理論に 対する印象は, “理論における様々な対象の構成は, もう少しで崩れてしまいそうな辛うじて保たれている均衡の上に成り立っており, そう簡単にはこの理論の真似はできない” と いう, 最初の印象の逆を向いたものに変化してしまいました. 521 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 09:20:45.59 ID:ljgSrjTE.net] >>499 土方先生がどうしたって 522 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 09:50:57.51 ID:Oo7r88tF.net] IUTの手法ならやりたい放題できちゃうね ↓ 勉強を進めた結果 ↓ そう簡単には真似出来ない理論である なるほどという感じだね 523 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 09:54:37.04 ID:6CstoUQS.net] 今週も無知な素人衆を捕まえてわかったフリをする人間を増やすニダ 　　　　 ∧＿∧　どうせアクセプトされないからって否定側が余裕ぶっこいててムカつくニダ 　　　　<丶｀∀´> 　　 　∧＿∧ いつもの論点すり替えて僻みのせいにするニダ 　　　 ／ 　　　 ＼　 　（　　　　）　 .＿＿|　|　　　 .|　|＿　/ 　　 　 ヽなに言ってんだこのゴミクズ ||＼　￣￣￣￣　　 ／ .|　　　|　| 身内のkimの反論検証はなんで出せないんだよ ||＼..∧＿∧　 　　(⌒＼|_＿./ ./ 数少ない擁護側のTylorを3月に来日させといて何言われたんだよ ||.　 （ 　　　）　　　　 ~＼___＿_ノ|　 　∧＿∧ 　　/　　　ヽ　厚顔無恥の馬鹿？＼| 　（　　　　） 不利な点はオールスルーで数日で復活とかゴキブリかよ 　　|　　　　　ヽ　　　 　　　　　　　＼/ 　　　 ヽ. 免疫のない学生やらアマチュアクラブの連中相手に洗脳かよ 　　|　　　　|ヽ、二⌒) 　　　　 　　／ .|　　　|　| 指摘の反論ができないってどういう事だよ？ 　　.|　　　　ヽ　＼∧＿∧　　　 (⌒＼|_＿./　/ 6月のＮスペはどうなったんだよ 　　　　　　　∧__∧ 　　　　　　（´∀｀　） オボちゃんも最後の最後まで認めなかったからね！ 　　　　　　 （⊃⌒*⌒⊂) キタナイとこは隠すからね！ 　　　　　 　　/__ノωヽ__） Examples of triples with small radical だけ記述してるの？ 他で上界値はもう出てるよね 上界値だけだと証明にならないじゃん？ 524 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 10:35:18.80 ID:2hsA9qaz.net] そこが不思議なんだよな 誰かがアメリカに言ってFaltingsやBombieriの弟子に二週間くらい集中講義をして、理論は有意義で 魅力的だってことを示せば良かったはず。特に星さんなんか五年前にはとっくに理解していた話になってて、 失礼だけどそんな大きな仕事を抱えてたわけじゃない この五年一体何をやってんだとならないか？ 525 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 12:05:04.99 ID:Oo7r88tF.net] そこは御大が日本引きこもりで遠慮があっただろうしな 積極的に動き回って仲間を増やす性格で無いのが災いしたとしか 526 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 12:27:24.93 ID:81KjCLzu.net] そういや佐藤の超関数は本人がプリンストンに行ってヴェイユに否定されて メジャーになれなかったな SKKの頃は3人が主にフランスに行って宣伝して有名になった 佐藤もソリトンの頃になると本人がろくに論文すら書かなかったが 三輪神保ら弟子がたくんさ論文書いて外国で講演して大きく広まった 弟子でいいから関連する論文をたくさん書くのも外国行くのも大事だね IUTはそのうち広まるんじゃないの 527 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 12:58:35.48 ID:i7jMh08f.net] 仮に理論が正しくても応用先がないとひろまらないよ とくにアメリカはそういうところシビア 528 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 13:09:18.57 ID:81KjCLzu.net] 望月論文を読んで2〜3年で何か新しい研究できるかというと望み薄だな 新理論ができたらすぐ飛びついて2匹目のドジョウ狙いは効率の良い作戦だが IUTに関しては7匹目くらいでちょうどいいw 529 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 14:49:11.94 ID:2hsA9qaz.net] いやでもやっぱり疑問はあるな 星さんが理解してる内容は査読者も理解してたと思って殆ど間違いない なのに五年も引っ張り更にSSの反論をはね除ける事もできないなんてあるか？ 確かに議論の取り方がよくできてるなあと思う部分は多々あるにせよ、だよ 530 名前：１３２人目の素数さん [2019/05/12(日) 15:15:07.48 ID:9QOK4Q8R.net] IUT III を修正 ・Slightly reworded the discussion of "IPL" in the first display of Remark 3.11.1, (iii) ・Slightly reworded the discussion of "output data" in the first display of Remark 3.11.1, (v) ・Introduced the notation "R" in the discussion immediately following the first display of Remark 3.11.1, (vi), 　and also 531 名前： in the final display of Remark 3.11.1, (vi) ・Corrected a misprint in the second sentence of Remark 3.11.1, (vii) ("one the following" ---> "one of the following") ・Slightly modified the discussion of the "two approaches" in Remark 3.11.1, (vii) [] [ここ壊れてます] 532 名前：１３２人目の素数さん [2019/05/12(日) 15:15:26.36 ID:9QOK4Q8R.net] IUT III を修正 ・Slightly reworded the discussion of "IPL" in the first display of Remark 3.11.1, (iii) ・Slightly reworded the discussion of "output data" in the first display of Remark 3.11.1, (v) ・Introduced the notation "R" in the discussion immediately following the first display of Remark 3.11.1, (vi), 　and also in the final display of Remark 3.11.1, (vi) ・Corrected a misprint in the second sentence of Remark 3.11.1, (vii) ("one the following" ---> "one of the following") ・Slightly modified the discussion of the "two approaches" in Remark 3.11.1, (vii) 533 名前：１３２人目の素数さん [2019/05/12(日) 20:05:04.65 ID:fwqqx8Hq.net] もっちーのクローン人間を100人作ったら全員が東大理三に合格するんじゃね。 534 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 20:28:48.92 ID:Oo7r88tF.net] そりゃほぼ理三独占だろうよ でもかつて灘中の中3が東大模試で理三A判定出したのが何人かいる だから、ほぼ。絶対とは言えない 535 名前：１３２人目の素数さん mailto:sage [2019/05/12(日) 21:04:23.05 ID:2hsA9qaz.net] 意外に擁護派も多いのがわかるね。三人はいるかもな 前にも同じ話になったけど、やっぱり星さんは大きいよね。ちゃんとした数学かな、と思えるから IUTは結構ややこしい構造的なパズルになってる 536 名前：１３２人目の素数さん [2019/05/12(日) 21:55:34.52 ID:9QOK4Q8R.net] 黄禹錫（ファン・ウソク）なら、床屋でもっちーの毛髪を盗んで、もっちーのクローン人間を作ってノーベル賞を獲らせようとするだろう。 537 名前：１３２人目の素数さん [2019/05/12(日) 22:25:53.79 ID:8/EjadKU.net] M氏は論文のファイナルカットを作れない 538 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 01:00:10.19 ID:vzHk4ZcK.net] >>500-501 SSレポートは5月版も8月版もほとんど内容は変わらず2人の連名になっているので憶測してもしょうがないですね ただ、ショルツが充満多重同型に強く反対したと望月レポートに書かれているだけなので IUTの計算は局所の総計ではなく大域的なものなので、どこかにギャップが見つかれば破綻してしまいます 歯車ひとつ狂えば瓦解するというall or nothingですね。しかも、入口である同型問題で否定されているという・・・ これ、「理解者たち」が完全に理解して納得できているならば説明は容易く、納得させられるはずですよ 539 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 01:11:07.58 ID:vzHk4ZcK.net] あと、望月の書き方にも問題がありますね。公けで書いているのはロバーツやダニエル・リットぐらいですけど 数学用語で語れるのにこれ見よがしな言い回しをしたり、あるいは、リットが書いているように5〜20頁で収められそうな内容を 100頁かけてグダグダ書いたり。私的な会話ですけど上記の2人と同じ見解を持っている人は多いです 540 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 01:21:05.58 ID:ZOC9fEwb.net] 端的に記述すると都合の良くない箇所があるのだろうか 論点を分散させるための技法にも思える 541 名前：１３２人目の素数さん [2019/05/13(月) 01:23:52.63 ID:jX5EFE9R.net] 京大RIMSの現況調査表（平成22−平成27事業年度）では、 論文を査読中ながらIUTの構築とその結果としてABC予想の解決は特筆すべき出来事、と文科省へ報告した。 他方RIMSの他資料では査読論文のみ評価した。>>397 その後、IUT論文は平成でも令和でも修正され奇異な現状である。 星氏のサーベイは多くの「不正確な記述」を自称しており 角川の一般書のB本と変わりない。 542 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 01:24:23.50 ID:vzHk4ZcK.net] 要するに、しっかりした数学者に向けて書かれているというより、ポストモダン好き＆神秘主義思想好き数学者に向けて書かれた、 数学を利用した怪しげな思想書のようにも読めます なにしろ、エイリアン・コピー論文で“mysterious indeterminate isomorphism”と書いてしまうぐらいですからね 上のレスにある星の最初の印象のように、何でもありな感じですね 「一即多、多即一」の数学版ですね 543 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 01:31:15.81 ID:N/fxALwR.net] 自称理解者� 544 名前：澳Sの批判に対してだんまりかよとは思うが、批判者も結局ボンの偉い人が 駄目なポイントを指摘するまでどこが駄目ってはっきり言わずにだんまりだったわけ だから、どっちもどっち感 [] [ここ壊れてます] 545 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 01:38:58.48 ID:vzHk4ZcK.net] >>522 私は、Mはポストモダン思想や神秘主義思想が好きなのではないかと邪推しているので、本人に目くらましの意図はないと思っています ただ、古今東西のその手の思想は、一文、一言、人差し指一本で表すかと思えば、長文をダラダラ書いたりします 数学どころか科学的ですらないのですよ。閃き、アイデア、イメージ、思想が先にありきで、それだけが全てです 来るものには教えるけど自分からは出向かないというのは、昔の禅宗の僧侶やインドの修行者・苦行者を彷彿とさせます 546 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 01:49:59.15 ID:vzHk4ZcK.net] >>523 星を擁護したい気持ちはないのですが、あれはサーベイというよりもたんなる要約ですね しかも入門１と２は内容は全く同じです。１は理解しやすいようにかなり妥協して書かれていますが、 ２はIUT用語をそのまま使って、１を読んだ読者がIUT主論文に近づけるように書かれています まあ、B本を読んで関心を持った人は星の入門１→入門２→Gのサーベイへと進めばよいのではないでしょうか 個人的にはあまりお勧めしませんが 547 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 02:12:24.22 ID:vzHk4ZcK.net] 本当か嘘か知らないけれど、3.12について一言“self-evident”と言ったり、41頁もの反論レポートを書いたかと思えば、 さらにちょこちょこ追加して今では45頁までになっている どんな“taste/aesthetics”の持ち主であるかは想像できますね 548 名前：１３２人目の素数さん [2019/05/13(月) 06:33:20.74 ID:YemRHrok.net] 何か西田幾多郎みたいですね。 佐伯啓思曰く、西田哲学は分かる人だけ分かればいい、というところがあるとか。 数学の京都学派か。 549 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 06:34:37.90 ID:w4/3bJQz.net] >>528 文章の終わり方の曖昧さがいつも同じで関心します 550 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 07:27:20.73 ID:vTZKhRvp.net] 外部の数学者からすると、最大の関心は二つ。本当に数理として正しいか否かは言うまでもない もう一点はABCにIUTのようなスーパー遠アーベル幾何学が不可欠なのか、という点 尊大な矜持の殆どはここに関わってるからね 後者はほぼ確実にNOだと思う。自分が色々探ってる範囲だから別に信じなくて構わないけど 前者で救いなのは理論が滅茶苦茶代数的だから割と構造的に論点がはっきりしていて、SSとの論点も割と 大きめの整合性を巡る話であること 551 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 07:45:33.97 ID:fVemMjeM.net] 一言でいうと残念、という印象がIUTにはある 552 名前：アホ丸出し [2019/05/13(月) 08:23:49.47 ID:qUvRszrZ.net] 査読が進行してて修正もしてるからアクセプト予定なんです(ｷﾘｯ 553 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 08:38:16.88 ID:Hmrne6mw.net] 擁護派の鈍さには失望する 554 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 08:39:34.72 ID:Hmrne6mw.net] そういう輩が御輿を担ぐからダメダメなんだな 555 名前：１３２人目の素数さん [2019/05/13(月) 08:54:59.04 ID:muLIBUA3.net] >>483 えっ？まじ？ 通俗書を書く数学者は、その数学対象については原論文（簡易化されたものでもよい）できちんと証明を追い、 理解できた人が書いているのだとばかり思っていた。 理解できないのに書くのが許されるのはサイエンスライターでしょ。 556 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 09:25:30.8 ] [ここ壊れてます] 557 名前：7 ID:vD0Vmt/H.net mailto: >>529 あんまり大した学際性もない癖に分相応な棲み分けできてないおサルさんはお受験インブリードの牧場レベルの教養ぐらい身に着けてから寝言言ってね。 [] [ここ壊れてます] 558 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 09:40:47.57 ID:NbbqBKbw.net] 未解決問題を解決した人間を馬鹿にするサルがここにはいるんですか？ 559 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 09:45:10.45 ID:vD0Vmt/H.net] パンツ分解するサルなら本業に精を出すこった。 560 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 09:46:59.93 ID:vD0Vmt/H.net] エラトステネスの篩でスカスカ抜けてく学部ザルならドジョウ掬いでも銀山で踊ってろ。 561 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 09:54:04.61 ID:NbbqBKbw.net] ？ 562 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 10:19:10.28 ID:3pvccbIb.net] 787 ◆RK0hxWxT6Q 2019/05/13(月) 01:11:20.59ID:NbbqBKbw この証明は完全に正しいから将来世界的なニュースになるだろうね n=0はこの問題の解ではないという条件だが、方程式(A)の解には なるから。それからn=0というのは解が一つであることの証明を 否定しないから。 ハッキリ言って馬鹿には分からなくていいよ。馬鹿の理解は求めても 仕方ないから。 563 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 11:52:56.14 ID:adxaMuf0.net] 北白川養殖場は反論レポートも出せずこの体たらく 564 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 12:01:06.34 ID:vTZKhRvp.net] 基礎となる楕円曲線のHodge-Arakelov理論すら誰も、弟子すら使おうとしないのがまた奇妙なんだよな 少なくとも差分で解析ツールを一般化してガロア理論向けにし数論に適用するという個性ある理論ならば 正しければ本来なら応用性がないはずもない 例えば高次元化して数論的アーベル多様体のディオファントス幾何学を攻めるプログラムが出てくるはずだよね 一体何処から何処までが真の業績なのか… 565 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 13:15:47.05 ID:3xIgSFLk.net] ある数学理論をそれ自体に意味がある芸術作品のようにとらえるか 有用性を前提とした工学的ツールのようにとらえるかは 各数学者の哲学に属することだからヒトサマがおいそれと口を挟むことではないけれど 真偽不明のまま何年ものらりくらりするのは、いかんぜよ 566 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 14:27:16.85 ID:tVMztysZ.net] >>544 でもその辺りの準備論文はすべからくアクセプトされてるし、正しそう。 567 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 14:28:24.53 ID:vzHk4ZcK.net] >>544 確かにそうですよね。「パーフェクトイド空間の遠アーベル幾何への応用」を先に考える前に、 ホッジ・アラケロフの方面で考えれば応用例も出てきそうなものなのに。何考えてんのだか・・・ 568 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 18:37:23.90 ID:vzHk4ZcK.net] グロタンディークの“mysterious functor”の構成問題を解決したフォンテーヌのような数学者が出てこないと どうにもならんのかなという感じだね 現状では“mysterious indeterminate isomorphism”など受け入れ難いよ つまり、これを素直に受け入れた人たちは「理解者」になれる資質がある 569 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 19:41:24.26 ID:/Gcxjc0C.net] 単になにも考えてないだけでは 570 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 20:07:04.76 ID:fZjRJ/ki.net] mysterious indeterminate isomorphismのくだりってどの論文の何ページに書いてある？ 571 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 20:45:54.60 ID:nx+Bst4Y.net] 短期認知障○者キターーー 572 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 20:52:02.80 ID:PX++SJJE.net] mysteriousでastonishingなんだよ ハッキリ言って馬鹿には分からなくていいよ。馬鹿の理解は求めても 仕方ないから。 573 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 21:31:46.75 ID:gnD4AaTp.net] まぁ流石にここまで外野から言われても明確な説明を書いたペーパーの一つも書かれないんだから周囲の関係者も元々分かってなかったか実は最初から懐疑的だったかのどちらかでしょ 574 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 21:42:15.98 ID:3xIgSFLk.net] やる気満々な人たちだとばかり思っていたのに 　 　 やる気満々だった 575 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 22:16:24.10 ID:PX++SJJE.net] >>553 論文取り下げになったら流石に初期からわかっていたと主張してい取り巻き連中は 数学者として信用を失うでしょ まあ任期付きでない人たちは首にはならんし余生を静かに生きませう ハゲ原だって影響力は小さくなったが科研費は採択されてるし楽しくやってるでしょ Bは昔から適度な距離を取りつつ予防線張ってるよね 査読者として何書いたかまでは知らないが外向きには正しいという断言は避けてるので もっちーの昔からの友人と言いつつ本が1万部以上売れてウマーまで含めておいしい 576 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 23:21:21.14 ID:t+3BHQ6M.net] えそんな売れてるの？ 577 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 23:26:13.43 ID:vTZKhRvp.net] Bは酷すぎるでしょ 数学コミュニティでは知らぬ顔して一般にはあんな宇宙と宇宙を繋ぐとかミスリーディングまで狙った 言い方して大々的に売り出してるって ちょっと考えられないよねw とっくに評価が確定した他分野とかなら別に問題ないけどさあ… 578 名前：１３２人目の素数さん mailto:sage [2019/05/13(月) 23:45:45.21 ID:vTZKhRvp.net] >>548 抽象化による情報の損失自体は、まあ量子力学のみならず、stackをある程度知ってる代数幾何学者なら 認識はできると思いますね。まあ不思議はないなと それでFrobenioidとAnabelioidの「関手のようなもの」を考えたい所まではまあスムーズにわかる いつも同じ話ばかりだけど、問題はその中身である 実際直感的にはそういう話は一般的には何か言えるのは納得できる。玉川望月とか内田ノイキルヒの定理は 割と一般的な話ですからね。ところが今回の場合、具体的に考えたらデタラメだとStixには言われている 579 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 00:23:14.60 ID:oslaD4ED.net] >>558 スティックスはそう考えているでしょうね。先日も書いたようにショルツとは違うと思います たぶん彼は大幅な修正を加えたらなんとかなると思っているのではないかな ショルツの場合は完全にIUTにおける遠アーベル、特に単遠アーベルの議論を捨象していますね ところで、先ほどからB本を読み始めて焼き肉の話まで読んだところですけど、以前にあなたと私が書いていた通り、 「望月の話をBが拝聴する図」というのは本当だったようですね（笑） マスパワー動画も何度も眠りこけて何とか見たという感じだったし、この本も読むのが苦痛になってきました ポイントが貯まってて無料で電子書籍として変えたからDLしたんですけどね 580 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 00:24:27.12 ID:RkcXB3Jv.net] >>558 >抽象化による情報の損失 抽象というものを何もわかっていない 581 名前：１３２人目の素数さん [2019/05/14(火) 01:35:36.11 ID:c02e9fLo.net] B本GETだぜ！ これから読んでいきます 582 名前：１３２人目の素数さん [2019/05/14(火) 02:23:44.88 ID:9EdyQ1W3.net] ハゲ原みたいのが居座ることを許してしまう日本の数学界は業績ダダ下がり。 虚偽申請して、十年たってもきちんと論文を修正できないんでしょ。 こういうのがあるから、IUTの取り巻きやご本尊も好き勝手やるわけだ。 583 名前：１３２人目の素数さん [2019/05/14(火) 04:18:03.16 ID:fkWqP09a.net] 2019年05月14日 　・（論文）修正版を更新（修正箇所のリスト）： 　　The Mathematics of Mutually Alien Copies: from Gaussian Integrals to 　　　　Inter-universa 584 名前：l Teichmuller Theory. ・Added a sentence concerning \S 3.11 to the Introduction [] [ここ壊れてます] 585 名前：１３２人目の素数さん [2019/05/14(火) 04:22:25.87 ID:fkWqP09a.net] In passing, we mention that yet another brief overview of certain important aspects of inter-universal Teichm¨uller theory from a very elementary point of view may be found in §3.11. 586 名前：１３２人目の素数さん [2019/05/14(火) 04:35:51.80 ID:fkWqP09a.net] もっちーから見てvery elementaryでも普通の人には意味がよくわからない。 587 名前：１３２人目の素数さん [2019/05/14(火) 05:48:07.06 ID:GtiylQEQ.net] ≻≻527 望月HPによれば、星氏によるIUTに関するサーベイです。 588 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 09:26:57.03 ID:lfoUzbqG.net] >>553 今頃になって初歩的な側面がー、とか書いてもやっぱり誰も理解してなかったのかねって話 暗記的にオボえましたーってお受験秀才しかいない感じ ケドラヤのいう微妙ななにかがこれだったらガックリだよ 589 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 09:30:31.70 ID:lfoUzbqG.net] 大体証明した本人が重要な側面とかいうかよ 証明のほうが重大なんだからそっちに力入れるだろ、普通は 鯛を逃したけどドジョウだすから待っててチョンマゲぐらいにしか思えないわ 590 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 09:56:05.33 ID:mz9XM1Lq.net] >>560 いや、統合という情報の増大であり同時に損失でしょう。適切な抽象化はトレードオフを生む 増大か損失かはあくまで観点の問題 591 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 10:23:20.78 ID:RkcXB3Jv.net] >>569はただの言葉遊び 具体例を挙げて論じられないだろ 592 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 13:39:26.72 ID:mz9XM1Lq.net] >>570 具体例って結構新しい重要な概念ならいくつか思い付くけど、あんたみたいな輩に教えたくないのが大きい 抽象化一般のデメリットに関してなら数学じゃなくてもいくらでも言えるよ というか、そういう言い方するなら自分から具体例を挙げて反論すべきでしょ。それこそできないだろうけど 「損失」っていう部分について揚げ足取りたいみたいだけど、別に「ボヤける」でも構わないわけで、 そういう脳内変換ができてないのにあれこれ文句言うのはおかしいでしょ 593 名前：１３２人目の素数さん [2019/05/14(火) 13:50:51.22 ID:tAEH4pBD.net] 横ですが >抽象化による情報の損失自体は、 まあ量子力学のみならず 量子力学は経験科学の物理です。 IUTは 物理と数学を混同する.、 B本の寄稿で 地動説 相対性理論 量子力学 しかり。 594 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 13:53:03.78 ID:mz9XM1Lq.net] ていうかこれ、前にもあったなw 抽象化したらそれより細かい構造や値が捉えられなくなるなんて最近の数学ではしばしばある事 それでも全体的には何か捉えたいから敢えてそうすることもある。IUTもまさにそういう話じゃん この場合正しいかどうかはともかく 595 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 14:31:20.56 ID:RB1e90/k.net] そりゃあるよ。当たり前じゃん で、具体例は？？ お前が数学、少なくとも数論幾何に関わってないのは明らかだし、偉そうな態度取るのやめろよ 596 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 15:01:37.34 ID:RkcXB3Jv.net] >>573 抽象化によって情報は失われると言うのは「座標平面上にある点のx座標の値を書いたらy座標の情報は失われる」ぐらいの馬鹿げたことを言っている。 597 名前：１３２人目の素数さん [2019/05/14(火) 15:37:04.39 ID:Ivnqfh2U.net] >>574 だったらまずは自分が偉そうな態度を取ることをやめるべきです 598 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 15:46:22.52 ID:ECNuPj+6.net] お前ら正しい日本語書けるようになってから出直してこい 599 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 16:12:29.35 ID:VQavGzB6.net] 突然はじまった罵り合 600 名前：いの質が低すぎてワラタ [] [ここ壊れてます] 601 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 16:12:53.68 ID:G3Et8qMT.net] ここのメンバーの知性こそ対数計算が必要 602 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 16:55:15.21 ID:8Q7VJT2b.net] 時々このスレではサルたちがたわむれております 温かく見守ってやってください 603 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 17:14:51.08 ID:mz9XM1Lq.net] >>574 自分が思い付かないだけでわかんないからキレられても困るんだよなあ。どっちが偉そうなんだよ… ボヤけるというならどうだって言ってそういう反応なら何も感じないわ。あこの人わからんのだな、で終わり 絡み方で大体わかるけど、同一人物だろうね。句点だけ違うけど あと>>575は的違いの失笑レベルでお里が知れたんでもういいよ。あんたの勝ちでいい 604 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 17:19:13.73 ID:mz9XM1Lq.net] でも抽象化によってボヤけて見えるという話を嫌うってことは、不定性を扱うと言ってる IUTの事は嫌いなんだろうね。坊主憎けりゃみたいな八つ当たり感ある 605 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 17:46:32.46 ID:RkcXB3Jv.net] >>581 君が馬鹿な事を言っていると言うことを例えて言ったのだから、 「的違い（原文ママ）の失笑レベル」というのは>>558のレスもそうだ、ということ 606 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 18:37:24.32 ID:mz9XM1Lq.net] >>583 それは苦しいでしょw そもそもIUTは抽象化による副作用を付加的な対象を使って克服しようとする理論だけどね とりわけ局所と大域、抽象と具象のバランスをどうやって取るかって話をしてる この理論が間違いだったとしても、そこの部分は良くできた論法だと思ってるよ。具体例もそこにあるじゃんw あんたは一切否定するわけね。それならそれでいいんじゃないの 607 名前：１３２人目の素数さん [2019/05/14(火) 18:42:32.11 ID:FJiYpXrC.net] IUTが優れているからと言ってID:mz9XM1Lqが優れているわけではない 608 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 19:31:39.42 ID:5MmekgGT.net] >>581 で結局IUTを認めたら明示的な数値は出るの？出ないの？どっちなの？？？？？？ 609 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 19:33:45.89 ID:tCcGqn1i.net] こりゃダメだ 610 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 20:25:30.53 ID:oslaD4ED.net] >>584　横からすみません >>558の「抽象化による情報の損失」というのはIUTで具体例を挙げれば、絶対ガロア群から同型物を取ろうとした時に起こる 忘却関手のことですよね。IUTではもったいつけて“histories of operations”とか書いてますが（頑なに忘却関手とは言わない） あと、不定性については私も否定的ではないですよ。問題はIUTが不定性の濫用（悪用？）しているように見えることですね 同型であって非同型（不定性の故）、非同型であって同型（同型の故）という感じでね 要するに、不定性を徹底利用した計算が先にありきで、忘却関手と体において非同型を恣意的に扱っているのではないかと 611 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 20:33:17.98 ID:oslaD4ED.net] 失礼しました forgetting the “histories of operations”ですね 612 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 21:16:56.90 ID:oslaD4ED.net] 複数の「非常に似ているが異質な環構造」と多輻的アルゴリズム表現、 フロベニウス的な位相モノイドとエタール的な抽象的な位相群、大雑把に言えばこの辺がキー・タームだけど、 問題はどうやってこういう宇宙が成立できるのかという根本的な点 B本を読んだけどあまりに酷すぎて、Mが監修したというけどこれでいいのか？と思ったね この本を読んでIUTスゴイと思う人は新興宗教のパンフレットを読んで入会してしまう人達よりナイーヴだと思う 613 名前：１３２人目の素数さん [2019/05/14(火) 21:51:08.85 ID:0tDlWt8A.net] 不定性の扱いに問題があるんじゃないかなんて2015くらいにはオープンに語られていたのに今頃どやってくるやつなんなん？ 614 名前：１３２人目の素数さん [2019/05/14(火) 21:54:32.24 ID:gl+SsYBy.net] B本読んでるけど望月さんと文元がそんな関係だったなんて知らんかった 望月さんと文元と川上が同学年で全員兄弟の関係者ってのもワロタ あとお前らが「ブンゲンブンゲン」言うから 本屋で「加藤ブンゲンさんの本知どこにありますか？」って聞いてしもたやんけ 615 名前：１３２人目の素数さん [2019/05/14(火) 21:56:28.59 ID:gl+SsYBy.net] >>592 京大の関係者で義兄弟ってことな 616 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 22:44:22.81 ID:oslaD4ED.net] IUTそのものが大事で、ABC予想はその応用例にすぎないのでこだわる必要はない、という考えには首を傾げるな 加法構造と乗法構造の絡み合いを解明するのがIUTなら、具体的な成果を見せないと話にならない 絵に描いた餅にはだれも見向きはしない この辺は10年以上前にKimがTaoとのやり取りで書いていたことが正しい。MもBも今これを読んだらどう思うかな ttps://golem.ph.utexas.edu/category/2007/04/the_two_cultures_of_mathematic.html Posted by: Minhyong Kim on April 20, 2007 9:38 AM ------------------- I don’t really know how Grothendieck thought about his program, but my friend Shin Mochizuki has the striking view that anabelian geometry is primarily concerned with the relation between the additive and multiplicative structures of rings. It’s not so easy to explain this point of view since it arises from the actual proofs of theorems rather than their statements. To get a sense of it, think of the N-U theorem as giving a way to *recover F from G FG_F* Now, consider the fact that given G FG_F, it is rather easy to recover the multiplicative group F *F^*. This involves only the abelianization G F abG_F^{ab} and standard class field theory. But it’s the additive structure on F=F *∪{0}F=F^*\cup \{0\} that’s the real challenge. To this day, one can’t seem to do this directly. But in many other theorems of anabelian geometry, for example, Mochizuki’s theorem on hyperbolic curves over pp-adic fields, some sort of a direct reconstruction is carried out. So within the general picture, it turns out to be quite natural to break down the reconstruction problem into two parts, multiplicative and additive. ------------------- 617 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 22:49:17.56 ID:oslaD4ED.net] う〜ん、コピペでは上手くいかない箇所がありますね 興味ある人はリンク先を読んで下さい 618 名前：１３２人目の素数さん [2019/05/14(火) 23:16:56.36 ID:+tY7zqze.net] ブンゲンさんは、一般向けの本を数冊書いてるが、どれも珠玉の書。 哲学掛かってるところが、また素晴らしい。 619 名前：１３２人目の素数さん [2019/05/14(火) 23:30:00.25 ID:4w+ppteJ.net] 川上「他に再利用出来ない研究はゴミですねｗ」 B元「」 620 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 23:54:15.07 ID:oslaD4ED.net] Bは2017年12月の朝日のアクセプト・ジャーナル掲載の報道の時は何も言わず、 確か8月ぐらいになって朝日は誤報であるとかなりひどい口調で非難していたね SSレポートの公開時期は分かっていたはずだから、それを� 621 名前：ﾓ識したツイートだね Bという人はそういう人だよ。このIUT本でも親友をヨイショすると同時に自分のガロア本を紹介しただけだったな 大先生たちが書いたガロア本のことを紹介したりもせず・・・。最低だよ [] [ここ壊れてます] 622 名前：１３２人目の素数さん [2019/05/15(水) 01:49:45.77 ID:jhsFZybP.net] 最初のニュースで聞いて以来、どうなったかと思ってきてみたら面倒なことになってんな。 数学オンチだが、応用範囲が極めて広く、あのフェルマーの最終定理にまで及ぶと聞いて興奮したんだけどな。 個人的には何かしないと望月先生たちが時間の経過とともにかなり不利になっていくと思う。 自分とこの雑誌にのせようとするところなんか正直かなり印象悪いわ。。 623 名前：１３２人目の素数さん [2019/05/15(水) 08:47:45.55 ID:Qp3FIN6q.net] Taoは太凰? 624 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 08:53:25.47 ID:rMjt6LVj.net] 抽象化することによって、より初等的な調べやすかった構造特に位相構造と決別するってのは 基本的な話だし、それは明らかに相対的な意味での損失 更に中間的な構造や局所的な情報がボヤけて見えてどう扱うべきか迷うのも今世紀出てきた傾向 要するに初等的に区別しやすかったものが本質的にボヤけるってのは新しい数学ほど出てきた問題なのは確か 具体例なんて自分で探しなさいで終わりだけど、パラダイム的にはそういう意味でIUTは面白いよ 分けたら情報が無くなってしまうものをまとめて掴みやすくするっていうのも重要な発想 625 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 12:55:16.72 ID:IVraqplv.net] >>601 なんだ証明が非構成的な命題の話をしているのか それは抽象化とは別の方向の話 626 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 13:22:45.06 ID:NYD9HMXW.net] >>600 ワロタ 627 名前：１３２人目の素数さん [2019/05/15(水) 13:30:11.49 ID:USShh32m.net] >どれも珠玉の書。 哲学掛かってるところが、 不定性で玉虫色？西田哲学？ サッパリわかりません 628 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 13:34:42.91 ID:Tb1CuMEs.net] 上記の式により偶数の完全数は存在しない 629 名前：１３２人目の素数さん [2019/05/15(水) 21:34:38.09 ID:bu0WmOFZ.net] >>544 素人ですが、 ということは、これまでの望月の査読付き論文も疑わしいっていう事？ 数学は想像以上にたこつぼ化が進んでいて、最先端は本人以外は誰も理解できないけど、 普通に査読を通過して論文になるという事ですか。 うわあ、想像以上に闇がふかいな。 630 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 22:06:17.70 ID:72IutTwU.net] ハゲなんとかとかいう人も変だとか言ってる人もいるし 「いちいちこんなんで騒いでるんじゃないよ」とかいう世界なのかも ぜんぜん毛色は違うけどオボちゃんの時も時間がたつにつれてそう思った 631 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 22:17:03.83 ID:Zm9eqsWG.net] >>606 544はそんなことは一言も言っていない あなたは5ちゃんによくいる論理的思考力に瑕疵を抱えてる御仁だね 632 名前：１３２人目の素数さん [2019/05/15(水) 22:32:36.49 ID:MYNLkUHA.net] ハゲなんとかって誰のこと？藁？ 633 名前：１３２人目の素数さん [2019/05/16(木) 00:33:21.90 ID:CLZnjQNU.net] "Dr. Ribet of Berkeley said Dr. Shimura was “a major figure in 20th-century mathematics” but “not a good salesman for himself.” In the 1960s and ’70s, Dr. Shimura published long, difficult-to-follow papers, and it took others time to appreciate his advances." https://www.nytimes.com/2019/05/13/obituaries/goro-shimura-dead.html ある面、志村さんともっちーは似ている。 634 名前：１３２人目の素数さん [2019/05/16(木) 00:48:19.44 ID:nKd0rGbM.net] "I viewed the United States as the best place for achieving my aim.” これはもっちーと違う、かも。 635 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 00:49:58.37 ID:5Y8fKo/d.net] また余裕こいてるアホがいたのか 昨日から５chの数学板は海外からのアクセス増加でブロックされてたんだぜ 636 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 06:53:25.97 ID:L3X7oJhi.net] Ｂ本のことではない https://headlines.yahoo.co.jp/article?a=20190515-00010002-finders-bus_all 637 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 10:24:07.73 ID:11TeQoVS.net] 宇宙際タイヒミュラー理論とやらが もしABC予想に繋がらないもっちーの完全な妄想体系だとしたら、、、 638 名前：１３２人目の素数さん [2019/05/16(木) 10:53:25.79 ID:YIJBAcXN.net] 鮮人の夢 639 名前：１３２人目の素数さん [2019/05/16(木) 11:01:07.97 ID:mZaGVReA.net] 朝礼暮改 640 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 11:10:12.81 ID:aP204bdu.net] >>614 繋がっているのは議論することじゃないよ それは明白である 証明されたか否かの議論がずっと続いている 妄想だけでこんな論文を書けると思ってるのか？ おめでたいやつだな 641 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 11:15:05.95 ID:27EKEz3t.net] これもＢ本のことではない https://www.zakzak.co.jp/society/foreign/news/20131213/frn1312131209004-n1.htm 南アフリカレベル高い 642 名前：１３２人目の素数さん [2019/05/16(木) 11:30:48.01 ID:xTDUY5OM.net] 数学vs 数秘術 です 643 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 12:20:41.74 ID:q8OxwmRD.net] 断じてＢのことではない https://www.zakzak.co.jp/society/domestic/news/20140318/dms1403181147000-n1.htm 644 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 18:27:31.12 ID:vhLVqi2r.net] 宇宙際（Inter-universal）の普遍性（universal property）を保証しようとして圏論の言語を使っていると思うのだけど、そこが上手くいっていない クンマー理論による自然同型と単遠アーベルによる復元の合わせ技で“mysterious indeterminate isomorphism”つまり、 充満多重同型を作って“distinct copies of various familiar objects”とし、「異質な環構造」つまりホッジ劇場＝異なる宇宙を作りたいわけだ 視点を変えると、圏論と「種の言語」の合わせ技の問題にもなるわけで、これは望月レポートでもほとんど触れられていない 主論文最終節で宇宙際（Inter-universal）をIU形式主義と「種の言語」との関わりでデッサンしているだけで、きっちり基礎づけられていない mutationやobservable(s)も比喩的に使っているようにしか見えない これでは誰も納得できないし、Mも最終節の主張は非専門家の視点と断っているから説得力を持たせることもできないのだろう SSレポートを読んで（おそらく）多くの数学者が納得し、IUT終了と見做したのも頷ける 645 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 18:35:15.29 ID:vhLVqi2r.net] 圏論を使って論理の正当性を保証しようとしているように見えるのだが、その圏論専門家からも疑問の声が上がっている それを「遠アーベルの知識がない」からと邪険に扱うのは、たんなる逃げに過ぎない まあ、ロバーツはABC予想証明やIUTそのものよりも 圏論や集合論について個人的な関心の延長線上でIUTに関心を持っているだけだと思うけどね 646 名前：１３２人目の素数さん [2019/05/16(木) 18:47:48.70 ID:JxWpalmh.net] coricity→multi-radial algorithmsの部分ですね ノイキルヒ内田の定理はabsolute Galois←→NFを言ってるだけなんで、問題になっているのは 明らかに遠アーベル幾何学よりHigherな宇宙際幾何学それ自体 絶対遠アーベル幾何学というのは宇宙際幾何学からすると単なる� 647 名前：ﾝ定でありツールなので、 遠アーベル幾何学自体が問題になっているとは言えない [] [ここ壊れてます] 648 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 18:58:51.53 ID:JxWpalmh.net] 安福さんも確か著者で言ってたけど、高次元の高さについての理論になると遠アーベル幾何学も テータ関数も相当頭を使わないと通用しない可能性が高い そういう意味では、もし野心的になるなら大分違うアプローチや発想が求められるし、そういう理論から見て IUTの「戦略=狙い」がどう位置付けられるのかは非常に重要な問題になる ABC予想がたとえこれで証明されても数論は魔境ってことだ 649 名前：１３２人目の素数さん [2019/05/16(木) 19:11:35.83 ID:CLZnjQNU.net] 圏論屋の話は他所でやれ。 650 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 19:20:22.66 ID:vhLVqi2r.net] >>623-624 ほぼ同意です ただ、仮にABC予想が証明できていて、さらに宇宙際幾何学がきっちり整備され認められたとしても、 Bが言うようなパラダイム・シフトはあくまで数論幾何の方法だけの話になると思います BやMが宣伝本で言っているのは、パラダイムというよりほとんどエピステーメー（フーコー）なんですよ そこまで自分の仕事を持ち上げるのかという・・・ 651 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 19:47:08.05 ID:vhLVqi2r.net] 現状ではIUTは「戦略=狙い」すなわちアイデアしかない、としか言いようがないですね アイデアなら誰でも持つことはできるんですよ、特に若い人は様々なアイデアをたくさん思いつくはずです 20代半ばのショルツがすぐにIUTを読み込んだのも頷けます。Mと同世代のコンラッドですら関心を持ったわけですから 重要なのは徹底した自己検証と、専門家による厳しい検証、反論に対する納得できる説明なんですよ 652 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 21:30:24.55 ID:vhLVqi2r.net] 「徹底した自己検証と、専門家による厳しい検証、反論に対する納得できる説明」という意味で、 現在に至るまでMのしてきたことと言えば、 ・アイデアに有頂天になって10年以上もかけてジャーゴンだらけでややこしい記述をし、万能感を持った ・アイデアに共感した弟子・友人などを教導しながら緩〜い検証（査読も？）をしてもらった ・不可解な点に対して納得させる説明ができず逆ギレして相手を不勉強だと罵った これ、はっきり言って笑いごとでは済まされないんで・・・ 数学コミュニティの沈黙は、IUT終了及びMと関わるのはタブーの無言の意志表示とみてよいだろう 653 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 22:11:37.27 ID:U8Z0GkN/.net] RIMSでDupuyらしき外国人をみかけたぞ。また来てるのか。 654 名前：１３２人目の素数さん [2019/05/16(木) 22:42:08.20 ID:7N6DlDFG.net] アメリカでのIUTの布教活動はDupuyとフィリピン人が担うのか。あとKedlayaか。 655 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 23:17:26.03 ID:DCF9nUut.net] 3月にもきてたんじゃないか？ピッチ早いな。 656 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 23:25:14.21 ID:1e1DPOd3.net] 焼け石に芋 657 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 23:45:47.29 ID:vhLVqi2r.net] Dupuyはブイウムの弟子で、フルショフスキーの下でポスドクやったそうだね まあ、このレベルの数学者らの関心を惹ければいいけど、ジルバーがちょっとモデル理論の方で関心を持ったぐらいだからなあ IUTに見どころがあるのだったら彼らも何らかのアクションを起こしていると思うけどね 658 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 00:07:09.05 ID:FoIZyDE3.net] ある種の人間は同じ勘違いをしてしまう不思議な学説 659 名前：１３２人目の素数さん [2019/05/17(金) 01:00:14.07 ID:YvieELkq.net] >>608 あんた>>544じゃないんだろ？じゃだまってろよ。 ＞あなたは5ちゃんによくいる論理的思考力に瑕疵を抱えてる御仁だね その言葉はお前にそっくりお返しするねｗ >>544の文章をよく読めよ 「どこからどこまでが真の業績かわからない」と書いている 査読を通った論文が正しい 660 名前：なら「真の業績がどこまでかわからない」などと書くはずがない >>544はあきらかに「査読を通った論文」でも疑問を持っていると読まれても仕方がない。 現に弟子たちが望月の査読通過論文を使えばもっと優れた業績が出せるはずなのに出せないといっている。 [] [ここ壊れてます] 661 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 01:42:50.76 ID:dPn71uSn.net] >>628　その列挙されていることが真実だとして、それでも世の中あるある、 数学界あるあるな笑い話でいいんだよ。 662 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 04:28:23.50 ID:djE9Y0go.net] ポケットマネーだけでやってる分にはそれでいいんだけど 663 名前：１３２人目の素数さん [2019/05/17(金) 09:09:55.20 ID:BFvgbaIm.net] IUTみたいに独自路線な数学はやるだけ無駄なんだよ 664 名前：１３２人目の素数さん [2019/05/17(金) 09:44:54.39 ID:ETzXB10X.net] 僻み鮮人見苦しい 665 名前：１３２人目の素数さん [2019/05/17(金) 09:50:29.98 ID:J8EveBfN.net] 今週も手頃なカモをマインドコントロールしてわかったフリをする人間を増やすニダ 　　　　 ∧＿∧　どうせアクセプトされないからって懐疑側が余裕ぶっこいててムカつくニダ 　　　　<丶｀∀´> 　　 　∧＿∧ いつもの論点すり替えて僻みのせいにするニダ 鮮人のせいにして憐れみ請うニダ 　　　 ／ 　　　 ＼　 　（　　　　）詭弁と強弁とポストチラつかせて工作員増やすニダ　 .＿＿|　|　　　 .|　|＿　/ 　　 　 ヽ ||＼　￣￣￣￣　　 ／ .|　　　|　| なに言ってんだこのゴミクズ太鼓持ちの傲慢数学ドカタ野郎が身内のkimの反論検証はよ ||＼..∧＿∧　 　　(⌒＼|_＿./ ./ 数少ない擁護側のTaylorを3月にわざわざ来日させといて拡がりより中途の検証を先にやれよ ||.　 （ 　　　）　　　　 ~＼___＿_ノ|　 　∧＿∧ 　　/　　　ヽ　厚顔無恥の馬鹿？＼| 　（　　　　） 不利な点はスルーで数日で復活とかゴキブリかよ 　　|　　　　　ヽ　　　 　　　　　　　＼/ 　　　 ヽ. 無防備な学生やらアマチュアクラブの連中相手に押し売り洗脳 　　|　　　　|ヽ、二⌒) 　　　　 　　／ .|　　　|　| 数々の指摘の反論ができないってどういう事だよ？ 　　.|　　　　ヽ　＼∧＿∧　　　 (⌒＼|_＿./　/ 6月のＮスペはどうなったんだよペテン師野郎 4月末で潮目が変わるんじゃなかったのかクソ野郎 モノ書きのホモサピエンス野郎キショいんだよ 　　　　　　　∧__∧ 　　　　　　（´∀｀　） オボちゃんも最後の最後まで認めなかったからね！ 　　　　　　 （⊃⌒*⌒⊂) キタナイとこは隠すからね！ 　　　　　 　　/__ノωヽ__） Examples of triples with small radical だけ記述してるの？ あちこちで上界値はもう出てるよね 上界値だけだと証明になるの？ 666 名前：１３２人目の素数さん [2019/05/17(金) 10:32:18.41 ID:+ZyIeiz7.net] 望月ってp進なんとかではすごい業績出してるのに何でおかしくなったんだろ 667 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 12:05:25.24 ID:mSwk7svg.net] デニー・ヒトバシラの回顧録より 着想や論文の作成時に△△と◻◻がなかったのは大きいだろう そりゃ想定してるとこが違えば結果はかわるだろ 大英断でタオが指摘したように書き直せば良かったのに オイラーやワイルズみたいにほぼ単独で完成できると目処が立ったならともかく よってたかって前後関係把握せずに構成したから矛盾とかいわれたか 代わりのもの出せるなら出してるだろうけど引くに引けないだけ 668 名前： [] [ここ壊れてます] 669 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 18:38:02.03 ID:sqZ/onuv.net] 何で例の>>635がこの件についてやたら噛みつくのか？あっ（察）w それはともかく、HA理論ってかなり癖がある論文で、これ代数幾何やってるからって普通に読めるもんには 見えない。つまり、正否よりも前に査読はどれだけ理解して通したのかなっていう疑問は確かにある 弟子や仲間から派生してないのもあるけど、実際IUTまであまり認知されてすらいなかったと見える 個人的に聞く限りでもそう。多くのディオファントス幾何学者ですら知らなかったのではないか？ まあ少なくともRIMSにはこれ通した人も玉川さんもいた、またはいるわけだから査読が順調ならば 色々な疑問について論陣張れるはずなんだけど 670 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 18:54:23.05 ID:sqZ/onuv.net] ここにいるらしいRIMSの人は正しいと思ってんの？本音として それも帰属意識的な感情論だったらあまり意味ないけどね 671 名前：１３２人目の素数さん [2019/05/17(金) 19:32:34.75 ID:lrYxPdGD.net] 絶対矛盾的自己同一 672 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 23:10:44.21 ID:ZqeXL9tl.net] >>643 ホッジ・アラケロフによる動機付けから、なぜ絶対遠アーベルの利用が不可欠なのか説明できるはずですよね SSはその動機付けに従えば、遠アーベルの方法は必要なく、スキーム論的な同型でよいとしています 結局、クンマー理論による自然同型だけでよく、単遠アーベルでの復元によって生じる2つの不定性を用いた充満多重同型は要らないと 要するにSSは、IUTは不自然だと言っているわけですよ まあ、IUTではなぜ遠アーベルが必要なのかという根本的かつ致命的な疑問になりますね 673 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 23:51:12.22 ID:ZqeXL9tl.net] 星の入門１の20頁で、リンクによるアプローチでは遠アーベルが必要で他に方法は知らないと書いているけど、 そういう方法を取った以上不可欠なのだろうけど、環構造を破壊して不定性を強調した構造を導入するには圏論の言語は違うのではないか 実際、主論文�Wでは同じspeciesによって与えられるmutationのdomainとcodomainとか、mutation-historiesなんて言葉も出てくるし まあ、よく分からないし不自然だとしか言いようがない。アイデアだけで猪突猛進している感は否めない 674 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 00:42:23.54 ID:rK8kudH2.net] >>646 アラケロフ理論の既成の限界と似た話で、一般のスキームではなく異なるスキーム同士の、という 論法をどうしても使いたかったんでしょう。NFのABC予想はZについての問題なので、HA理論のスキーム論的な 枠組みだと自明な話しかできませんからね だから絶対ガロア群とスキーム、正則構造の間で理論を構成するとなった しかし、これは前にも示唆的に書いたんですが、環構造を経由してはならない、というのは絶対的な縛りとは 思えません。テータ関数については確かにこれを上手く使えばアーベル多様体の群論については 十分機能しますが、これも個人的には証明を複雑にする一因ではないかと思いますね ただ、p-adic TeichもHAも30歳で書き上げた大理論で、これらと合わせて遠アーベル幾何学でまとめる というのは、知識、アイデアの両面で望月さんにとってはそれしかない運命だったんでしょうね 自分も最初のアイデア群を結局未だに肉付けしているので、そういう引きずりは理解できます 675 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 02:02:43.94 ID:rE6li1lH.net] プロっぽいご意見ｷﾀ━━━━(ﾟ∀ﾟ)━━━━ｯ!! 676 名前：１３２人目の素数さん [2019/05/18(土) 02:05:50.85 ID:EzAJz7o2.net] 圏論屋の話は中身が薄っぺら。 677 名前：１３２人目の素数さん [2019/05/18(土) 03:08:17.83 ID:txxYJ5tS.net] Indeed, this fundamental difference between inter-universal Teichm¨uller theory and conventional research on geometry over F1 might give rise to various interesting questions and hence stimulate further research. Finally, in this context, it is perhaps of interest to note that although there is no specific mathematical object in inter-universal Teichm¨uller theory that may be said to correspond to “F1”, in some sense the notion of a “field with one element” may, at a more conceptual level, be thought of as corresponding to the notion of coricity/cores/coric objects — that is to say, objects that are invariant with respect to [i.e., “lie under, in a unique way”] various operations such as links [cf. the discussion of §2.7, (iv)] — a notion which is indeed central to inter-universal Teichm¨uller theory. 678 名前：１３２人目の素数さん [2019/05/18(土) 08:31:11.91 ID:zxOf2z/r.net] >>114 679 名前：１３２人目の素数さん [2019/05/18(土) 09:04:38.67 ID:5cVyQ7NV.net] 絵に描いた餅 680 名前：１３２人目の素数さん [2019/05/18(土) 10:09:19.90 ID:hfdDtcwo.net] karapaia.com/archives/52274161.html コンラッド先生が笑顔で日本の文化を語ってる 681 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 12:21:23.82 ID:62vJHxCR.net] 結局アジア人の妄想乙で終わるんやな 682 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 15:08:14.38 ID:s9cWzdxz.net] 妄想乙ってわざわざ日本まで来て告げてくれたフィールズ賞受賞者は神だな 他の連中はこそこそ陰口言うだけだったのに 683 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 16:27:24.45 ID:LLk/xkON.net] >>651 これ何処にあったっけ？？ 確かにF_1の幾何そのものは出てこないよね。それはタオが関連性を指摘した2012年には感じてた とは言え、ある種のスキームの基底にあるプログラム構造を考えるという意味では確かに似ている とはいえ、IUTの研究者は別にもすべきことがある。それはモチーフとの関連性を示すことだ 本来なら山下さん辺りが言及すべきだが、今のところはよくわからないのだろう 684 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 16:28:25.76 ID:LLk/xkON.net] 「とはいえ」使いすぎたw 食い過ぎた後にぼんやり書いちゃあかんな 685 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 16:55:37.59 ID:pKbd8wGy.net] モチーフと関係あるの？ 自分の視野が狭いせいかもしれんが、IUT1-4ではコホモロジカルな雰囲気全くないけど 686 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:21:27.92 ID:hXZtD747.net] 可換代数で、中山の補題というモノがある。 殆どの数学者は中山の補題と呼んでいたが、中山氏本人はクルル・東屋・中山の補題と呼ぶべきだと主張してた。 だから松村英之氏は、自身の著書で、NAKの補題としていた。 687 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:22:59.02 ID:xbq3H0/L.net] まあ、IUTコミュニティにはフロベニオイドがあるからね。IUTもその実演例の一つだといえるわけだ そこからやればいいと思うけどね（他人事） 但し、SS（おそらくショルツ）のよれば“very elementary”ということになるのだが 容赦ないよね、ショルツって 688 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:29:32.22 ID:xbq3H0/L.net] >>648 異なる構造を様々な視点から眺めたい、比較したい、繋げて計算してみたいという動機というか気持ちはよく分かるんですよ そのためにアナベリオイドを考え、圏論を用いて宇宙際性（inter-universality）を持たせなければならなかったわけです 様々な対称性を用いた「通信」では当然「ぼやけ」は出てきます。これは抽象化によるぼやけというというより、 抽象物と抽象物の通信によるぼやけですね（エタール輸送不定性）。しかし、忠実充満にしないと使えないわけで、 そこで圏論的に行き詰っているというか、おかしな話になっている。Mにとっては自明なのでしょうけど しかし、ロバーツに対するあの態度は逆ギレ以外の何物でもないですね、SSに対するものより見苦しいですよ まあ、IUTは若い研究者にとっては叩き台の一つとすればよいですし、Mの態度は反面教師とすればよいと思います 689 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:45:27.64 ID:PComa3rh.net] もっちー青春の夢 690 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 18:53:56.68 ID:SdSGhofh.net] もっちー中年の夢 691 名前：１３２人目の素数さん [2019/05/18(土) 19:04:47.39 ID:EzAJz7o2.net] 圏論屋はバカ。 692 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 19:21:34.93 ID:xbq3H0/L.net] >>657氏へ >>651はエイリアン・コピー論文のp121ですね（私もどっかで読んだ記憶があったので）。今日付けで修正があったようです 私がDLしたものは昨年9月のもので、それと比べると“Finally, in this context,”以下が追加されています ちょこちょこ追加・修正しているのでいつから現行のようになったのかは分かりませんが コピペしてくれるのもいいですが、引用元を明記してほしいですね 693 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 19:26:26.83 ID:PComa3rh.net] もっちー永遠の少年場 694 名前：１３２人目の素数さん [2019/05/18(土) 21:37:57.49 ID:SAtPB2Wi.net] 日本人なら類体論とか岩澤理論とかを深めるべきで IUTみたいなゲテモノ数学やって人生棒に振ってもしょうがない まだ若く将来有望な若者を巻き込んだらあかんよ 695 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 22:03:23.63 ID:FthQ53Fy.net] 理解してから言えや 696 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 22:15:37.87 ID:OSIzUP19.net] 暗記のまちがいだろ 697 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 22:30:42.74 ID:GANOodH5.net] >>668 勝手に日本人に道筋を付けるな おまえ、他人の人生に責任取れるのか？ 取れもしない癖に無責任なロジックを使うな お里が知れるやつだ 698 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 22:33:40.79 ID:LLk/xkON.net] >>659 元ネタである変形理論っていうのは一種のコホモロジー理論だからね p-adic Teichもクリスタリンコホモロジーの理論に密接に関係している IUTはスキーム全体に渡る変形射を考えるという話をしているわけだから、何らかの普遍的なコホモロジーの 構成が対応しているはず 699 名前：Wellcome to junior math Olympian& [2019/05/18(土) 22:34:21.96 ID:o56TvuFc.net] いずれ公式の方にも通達する予定です。 このスレが少しずつでも発展していく事を願っています。 700 名前：１３２人目の素数さん [2019/05/18(土) 22:42:52.63 ID:s8g9J3vq.net] 次のKほらー CD予想 古都の大学研究所 廃墟で古びたほらーの書 が 発見された。 夜中に若者が 度胸試しに行くと 古井戸から きもいラベルとゾンビウィルスが大量に湧いてきた 701 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 22:47:07.88 ID:SdSGhofh.net] 若い人がIUTに賭けてもそれはそれでいいんじゃないかなあ それで失敗するか成功するかわからないけど他人のことだし 本当に力のある人は最初のテーマがどうであれいずれ成果を出すよ 初期に参入した人達が数学的には成功しているようには見えないが アカポスという点ではうまくゲットできてるのは確かだ 702 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 23:06:41.04 ID:qiW9wlNH.net] ところでキミは防衛大学や宗教大学に就職したいかい？ 703 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 23:21:24.01 ID:b6VLXQPB.net] >>672 確かに！！ てかモッチーって元々数論的小平スペンサーとか狙ってたんだっけ？ 704 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 23:26:50.67 ID:b6VLXQPB.net] >>672 確かにとか言ったけど、やっぱわからん IUTでは環構造やら色んな付加構造の違いを計算してると思うけど、所謂変形理論であるようなコホモロジーの消滅云々とかじゃくて、フロベノイド(？)とか使ってやってるわけでしょ 705 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 23:57:30.54 ID:LLk/xkON.net] >>662 >>666 出典ありがとうございます。自分は初見でした 望月さんのバックグラウンドからしたら、実は近いタイヒミュラー理論と遠アーベル幾何学を結びつけたいのは 至極真っ当ですけどね。ただ、他の人はもっと直接ホッジ理論の大域版を考えるとか、アラケロフ理論の 問題点をDurovのように（今は抽象ナンセンス的に不十分と考えられてますが）改善しようとする、 という方向で考えたほうが健全でしょうね。IUTでBSD予想が証明されたらこの見方はやめて完成降伏しますが ついでにぶっちゃけると、遠アーベル幾何学というのはグロタンディークがもし復活したら、 より巨大なビジョンに昇華しようとするのではないかと思いますね IUTがやりたかったのは環論のある種の一般化だけど、今グロタンディークが現役で甦ったらIUTとは違う形で 基本群を一般化して、更に遠アーベル幾何学の「数論的背景」を考察して高次元に一般化するでしょう この二つが可能である示唆は断片的には出てきているけど、まだはっきりしていない 具体的に考える上でゼータ関数論が導きとして極めて重要なのは間違いないですけどね 706 名前：１３２人目の素数さん [2019/05/19(日) 08:36:55.09 ID:GE+LjdtO.net] >>671 日本人がどうとか言うより 類体論とか岩澤理論とかラングランズが数学の王道だから そこから大きく外れていくような数学はいずれ淘汰される 707 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 09:45:53.29 ID:EMqs27FG.net] >>656 ＞妄想乙ってわざわざ日本まで来て告げてくれた ハハハ、　そうだね。 もしSSがはっきり宣告しなければ、今頃日本じゃIUTは証明されたのに認められずフィールズ賞をとれない悲劇、 っていうふうに捻じ曲げられていたろうな。 708 名前：１３２人目の素数さん [2019/05/19(日) 11:36:32.69 ID:7tmLYTzu.net] >>681 それはないな そもそも年齢的に無理だし 妄想乙 709 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 14:06:54.40 ID:eQdykDAc.net] >>679 それは貴方の夢であってグロタンディークの夢ではない 710 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 14:11:50.10 ID:KHcXfR7Y.net] IUTがスキーム論のようにABC以外にもいろんな数学の問題が解ける強力な理論なら フィールズは年齢で対象外でもアーベルでもチャーンでももらえるだろ 真偽のほどはともかくABC特化型の癖の強い理論っぽいような 大きな賞を取らせようと思ったら周辺の研究者がその理論を発展させないとダメ 711 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 14:58:33.56 ID:Nstz4HDy.net] >>680 体感ですけど、数学の最近の王道(あるいは流行り病)は数理物理ではないでしょうか。若い人なんて思考停止で呟いてますし。(理論物理は進展もアカポスもまず無いのに、物理学者より少ないポストの数学者がこれを研究したがるのは本当に謎です。) あと「類体論とか岩澤理論とかラングランズ」ってあなた本当に理解してますか。チョイスがおかしいでしょ。 最初の2つはwell-knownだし、後者は、保型表現の側で散発的に結果が出てるだけだと思います。誰も真剣に扱ってないと思いますよ。こんなで淘汰がどうだって数論(幾何)の研究者の人生をかけたギャグか何かですか。 712 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 15:03:53.45 ID:7ujl1V4u.net] むしろ逆 物理のようなもう掘りつくされた鉱山に魅力を感じる人はいない 713 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 16:31:01.01 ID:vcTuqXho.net] >>685 数理物理は数学じゃなくて応用数学じゃろ 類体論は非可換化、ラングランズは高次元化 まだまだやることが山ほどあるんじゃよ 714 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 17:22:50.32 ID:KHcXfR7Y.net] 非可換類体論もラングランズも課題はたくさんあるのはわかってるが そこまで勉強してたどり着いて何か新しいことができる院生が何人いるか 勉強したけどそこでおしまいという秀才もたくさん見たのでなんとも 数理物理のアイデアで何か数学やるというのもミラー対称性あたりから たくさんあるがその方面で結果出してる人の数が多いわけじゃない IUTがどうであれ勉強できてそこで新しい結果出せる人は少ないのでは 715 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 17:55:45.42 ID:Oxy/1Had.net] >>687 やる事と出来る事は違います。そもそも高次元、非可換化って幼児でも考えそうな事やって楽しいんでしょうか。この手の話題ってほぼほぼ縛りプレイでまず解決しませんよね。それが魅力というなら角川出版から本でも出されたらどうでしょう。 716 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 17:59:04.68 ID:9f4CB5aQ.net] それこそScholzeが局所ラングランズで活躍してんじゃん 近いうちにlocalな方は完全決着つくと思うよ 717 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 18:08:13.03 ID:00W2Kgvz.net] ＞IUTがどうであれ勉強できてそこで新しい結果出せる人は少ないのでは Go先生の次回作にご期待ください 718 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 18:57:44.51 ID:TocTEO+F.net] >>690 それじゃ、Scholzeの活躍と解決について研究して出版すればいいんじゃない。B先生と競争だな！ 719 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 19:31:29.18 ID:ccjULybX.net] > 角川出版から本でも出されたらどうでしょう 角川バカにされすぎw 720 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 19:42:54.39 ID:KHcXfR7Y.net] 今の時代は幻冬舎だな 721 名前：１３２人目の素数さん [2019/05/19(日) 20:03:06.55 ID:GdorOdBd.net] 数学書は数学書専門の出版社から出すべき。普通の出版社では校正とか無理だろ。シュプリンガーからヘンな本が出ることもあるが。 722 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 20:09:12.73 ID:o2hoKFSD.net] >>685 加藤先生ですか？ 723 名前：１３２人目の素数さん [2019/05/19(日) 20:13:21.16 ID:GdorOdBd.net] 純粋数学で行き詰まった数学者がMathematical Physicsに行くことがある。40歳過ぎたグロたんとか。最近のKimも。 724 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 20:13:30.13 ID:kzzc3Qm0.net] それで思い出して調べたら加藤五郎先生去年引退してたのか 悲しいな 725 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 20:32:54.71 ID:ccjULybX.net] 公文のCMなんかに出るという手もある 726 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 20:51:35.35 ID:9R+xMLMb.net] Bみたいにカルチャースクールで線形代数の講師をやるとか 727 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 21:37:19.17 ID:c3iKIw0I.net] >>685 数学者が物理で本当に求められてるのは、解析を踏まえたグローバルアナリシスからリーマン幾何学のような 新しい基盤を量子論に提供することなんだけど トポロジーばっかだと思いませんか。悪いとは言わないしコンツェビッチくらいならそれも見事だが 大抵の数学者はどう見ても頓珍漢なやる気出してる感がある 728 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 21:43:58.03 ID:c3iKIw0I.net] 現状としては 代数幾何学的なアプローチのラングランズ理論はともかく 代数幾何学直球ど真ん中からのゼータ関数論→ほとんど謎 セルバーグゼータ関数とリーマンゼータ関数の関連性→ほとんど謎 解析直球ど真ん中からのゼータ関数論、加法問題→ほとんど謎 解析に対する深い洞察からの量子数学→ほとんど謎 局所体や関数体のように統一的で効率的な大域、代数体の幾何学→ほとんど謎 729 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 21:51:21.28 ID:7KgINP0I.net] ミラクルシンカー投げてやるぜ 730 名前：１３２人目の素数さん [2019/05/19(日) 22:04:34.92 ID:iTLpdaGA.net] >>696 加藤先生は類体論至上主義だからそんなこと言わんでしょう 731 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:04:45.62 ID:bAL09For.net] >>702 謎多過ぎわろ 732 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:12:52.85 ID:FCbZiYvJ.net] >>692 M枝Iマイ辺りがいつか書くでしょ 733 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:21:14.66 ID:PVTsFDCo.net] ID:c3iKIw0I 謎の解析マンセー汁がほとばしっとる。 734 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:30:50.15 ID:c3iKIw0I.net] >>683 まあそうなんだけど、元々の一番狙いだったWeil予想ですら代数幾何学の頂点ではなく、その先=Hasse-Weilが 未だに曇りがかってるのは凄いわ。DAGよりダイレクトに数論に行くんじゃないかなと妄想してしまう 735 名前：１３２人目の素数さん [2019/05/19(日) 22:34:23.07 ID:M9XExga+.net] 数学の現状は ハッタリだらけ RHまであと10歩 by ゼータ 1/2の予兆が見えた by IUT ABC予想はIUTの構築より論文が査読中ても 解決した by IUT 物理の一般相対論では、アインシュタイン のアイデアは元々 大学時代 講義で聞いた ガウスの曲面論です。 736 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:53:41.87 ID:KHcXfR7Y.net] まとめると今求められている数学は 高次元・非可換なIUT幾何の上の確率解析を使ったリーマン予想の解決だな 737 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:57:16.84 ID:PVTsFDCo.net] NS方程式の厳密解とか言い出す方がトポロジストよりアタマ悪そうなんだけどね。 738 名前：１３２人目の素数さん [2019/05/19(日) 23:08:35.12 ID:M9XExga+.net] >>710 なるほど、千里の道も一歩からだね。 逆方向でも 地球は丸いからw 739 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 23:14:57.19 ID:mZWQEqV2.net] ゴールが後ろにあったとか 740 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 23:19:40.25 ID:PVTsFDCo.net] 最悪のケースがあるからこそランダムウォークは基本群の空間の情報ぜんぶ持ち合わせてるんだけどね。 741 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 23:43:21.46 ID:MNAZxpPY.net] IUTは現状では話にならないでしょう。宇宙際の宇宙際性（inter-universality）そのものが疑問に付されているのですから 圏論に望月流の「種の理論」を組み込んで、突然変異(mutation)で「同じだが微妙に異なる」、「微妙に異なるが同じ」という論理 そもそも前提となる宇宙際性（inter-universality）についての基礎理論を最終節で独立したように書く方がおかしい SSも当然そのことを理解した上で説得力がないとして切り捨てていると思う 742 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 23:56:17.64 ID:MNAZxpPY.net] B本は久々に目が腐るような本だったけど（マスパワー動画の方がマシ）、ある意味でIUTコミュニティの現状を表している 対称性について小学生レベルの話を例を変えて3〜4回も書きページを水増ししている一方で、Θリンクについては始めから 存在しているように書いている。Θリンクの形成過程が宇宙際幾何学が宇宙際（inter-universal）である最大の特徴であるにもかかわらず 要するに、IUT陣営が数学コミュニティに対して説明すべき本質的な部分を、Bも同じく説明していない 肝心かなめの部分を説明しようとしない（できない）。IUT理解者というのはこういう人達なんだなと まあ、怪しげな論法だから望月本人以外の「理解者」は説明するのは怖いのだろうな 743 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 00:21:32.51 ID:+1WAc3a7.net] >>702 最後のはIUTがやっている（やろうとしている）ことですね。しかし正しいとしても不等式しか導き出せないのであまり使えない 下から2番目もIUTが今後の拡張として考えていることでしょうね。メタファー止まりですが 他は全部IUTとは関係ないですね この程度でどうしてパラダイム・シフトなんて言葉を使えるのかと。どの面下げて、どの口で言えるのかと不思議に思う 744 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 00:32:19.17 ID:sdMM3BRu.net] >>710 確率解析とか聞くとなんやら気持ち悪いんだが 要はユニタリ表現や非可換調和解析のことやろ？ 745 名前：１３２人目の素数さん [2019/05/20(月) 13:17:26.46 ID:fqRA3UOz.net] 最近Gは名前すら上がらんけどどうしてんの？ 取り巻きからすら外されてるのか？ 746 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) ] [ここ壊れてます] 747 名前：14:42:55.67 ID:JEqjk1Bj.net mailto: >>702の内容は本当に頭が悪そうで全く理解出来ない。 難解そうな単語を並べて俺つえーしたいだけにしか見えない。 それとも「→ほとんど謎」ってスラングが流行ってるのかい？ [] [ここ壊れてます] 748 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 16:32:39.77 ID:2r/mcfUO.net] >>719 生涯サーベイ書く服役中 749 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 17:06:38.33 ID:AGraftgm.net] >>720 具体的に何がどう未解決なのかあんたがわからんだけでしょ。補完できないからムカッときてる 例えば量子論の基礎について、物理で頻繁に使われるAと基本的と予想される概念Bの関連性がわかっていないけど 埋められないでしょ 文句ばかり言ってるけど、「他人を貶すより自分のレス」をしたらって散々書いてるのに一向に書かないねw 自分は何も書かないのに貶して賢い競争をしたがってる人間は頭悪くないのかね？ 恥を晒しても物を言うだけ、まだBのがマシだよ 750 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 17:13:46.41 ID:AGraftgm.net] 例えばフロベニウス持ち上げの微分に対応する計算がIUTTではどう表現されているのか？ 何故絶対遠アーベル幾何学には「絶対」が付いているのか？ 702の未解決問題間の内容は関連性は何か？ 賢いならそういう話を自分なりにレスしたら良いのに、何故か他人のレスを貶してマウンティングっていうね 怒りとかではなくて残念としか言いようがないね 751 名前：１３２人目の素数さん [2019/05/20(月) 18:52:01.85 ID:7CHWLthj.net] >>720 最初はペル型の志村多様体の話と思うんですが「ともかく」で済まされムカつきました。 私が物理、数理物理を全くフォローしてないのであなたの例え話も正直全くわかりません。 概念Bとはなんですか。GとMもあるんでしょうか。勉強してきます。 752 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 20:01:29.27 ID:GjKzfPJG.net] >>723 で、君はどうしてやらないの？ 753 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 21:51:23.11 ID:XjJ37d/K.net] ほとんど謎の解析マンセー厨房に過剰反応しすぎじゃねーの？ 754 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 23:04:45.73 ID:J77e15l1.net] >>725 やらないのって踏み込まないのって意味？そこまでは語る必要ないし、ごく一般的な話をすべきでしょ 解析マンセーも何も、代数幾何じゃ通用しそうにない基本問題が実際あるんだから仕方ない 数論でもそういう問題はあるが、物理の基礎に解析がいらなくなる見通しでもあるのか？w 755 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 23:31:22.60 ID:XjJ37d/K.net] 実際現実の空間が離散的だったら解析は大ウソな近似手法になっちゃうからねえ。 PDEくんもきっと信者う。 756 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 23:40:16.44 ID:J77e15l1.net] おまけに、素朴に考えるとラングランズの意味も未だにはっきりしていないだろ。誰にもわからんはずだ ドリーニュ、佐藤ー久賀のヴェイユ予想とラマヌジャン予想の一本釣りみたいに全て収まれば楽でいいけどな 解析のほうが優位とかではなくて、色々全体像がわからないのだから軽視しようがないという事だな 757 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 23:46:35.13 ID:+1WAc3a7.net] ちょっとIUTに寄り添って考えてみると、なぜノイキルヒ・内田ではなく単遠アーベルなのかということなんですね 望月の言葉でいえば、なぜ双遠アーベルではなく単遠アーベルによる復元が必要なのかということ これは関数体ならノイキルヒ・内田のような双遠アーベルでもいいが、数体なら単遠アーベル的復元が必要ってこと で、結果としてどういうものが構成されるかというと、同じ宇宙（人形でもいい）が幾つも並列に作られるのではなく、 ほとんど同じだが微妙に異なる入れ子式の宇宙（マトリューシカ人形）が作られるということ 758 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 23:55:08.06 ID:+1WAc3a7.net] >>702氏の「ほとんど謎」にこだわる人がいるようだけど、これって普通にやってることだよ こんなことできたらいいな、こんなことを考えてみたいな、というのがあるけど実際取り組んでみると、 恐ろしく難しい、ツールが足りないということになる B本は本当にゴミみたいな本だけど、パズルの例えは悪くはなかったと思う 完成図を知った上でパズルを組み立てるのか、完成図を知らず多数のピースしかない状態で組み立てるのかという話 759 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 00:04:28.30 ID:e1VwFiPk.net] iutは横に置いておいて、単遠アーベル（taag）の研究自体に的を絞っても スター先生しかフォロワーいないのか 760 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 00:26:03.99 ID: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 名前：１３２人目の素数さん [2019/05/21(火) 00:50:37.33 ID:65ILvwhZ.net] 森田真生と並び称される加藤文元、その嫁（再履）のホルホル画像をご覧ください ttps://twitter.com/katmenet/status/1130051068627304448 (deleted an unsolicited ad) 762 名前：１３２人目の素数さん [2019/05/21(火) 00:57:43.41 ID: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. https://cosmosmagazine.com/mathematics/science-history-einstein-s-mathematician 763 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 01:02:48.43 ID:w4uEzqQt.net] 解析もこれから偏微分方程式から偏差分方程式の時代 確率差分方程式で差分ランダムウォークをp進解析すれば数論に使える 764 名前：１３２人目の素数さん [2019/05/21(火) 02:18:17.85 ID:26MvR/HP.net] スピーシーズとかミューテーションとか数論的ダーウィン主義みたいな。 765 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 09:46:09.13 ID:tRNt5PHR.net] >>728 近似はウソではない。緻密な近似はよく使える 君は時代遅れな観念に囚われた中世の人間と類似のメンタリティを持つ人物だ 766 名前：１３２人目の素数さん [2019/05/21(火) 09:49:05.56 ID:uuTuUCFn.net] >解析もこれから偏微分方程式から 偏差分方程式の時代 差分は 毎日 天気予報で世話になっているのにね はあ〜 767 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 10:37:21.10 ID:jeiYkSps.net] >>738 或る種の「剛性」がないと意味のあるエラー訂正なんてできないし中世にビザンチン将軍も勤まらないよねえ。 [] [ここ壊れてます] 769 名前：１３２人目の素数さん [2019/05/21(火) 11:25:50.05 ID:uuTuUCFn.net] ネーターの定理は ラグランジアンが無限小 連続変換で 対称性がある時 オイラーラグランジュ方程式に保存則がある。 時間並進対称性(時間の一様性)からエネルギー 保存則 が導かれる、、。 770 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 16:33:21.18 ID:e+7N+LWR.net] >>741 君は望月がHA理論において「ラグランジアンのガロア理論版」を論じていると知ったらどう思うのかね？ ラグランジアンにガウス積分にリーマン面 どっかで聞いたことのある組合せだな 771 名前：１３２人目の素数さん [2019/05/21(火) 16:45:19.02 ID:Regytzty.net] >>742 ものは言い様だね 772 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 17:57:58.67 ID:e+7N+LWR.net] >>734 色々凄いね。気○い発言が散見される 773 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 18:20:35.66 ID:pcyhy5LJ.net] てかこれ、一般大衆にこんなに拡散して、あとさき考えなくても大丈夫なのか？ 774 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 19:00:18.39 ID:EorkxTbA.net] 【末路は悲惨】ポスドク問題と給料 https://iirou.com/hakaseka/ ポスドクはつらいよ　結婚式で親族ドン引き「え…無職なの？」 https://withnews.jp/article/f0171106001qq000000000000000W07m10801qq000016179A 775 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 19:30:09.55 ID:e+7N+LWR.net] Gは>>733でblurring丸出しだしBの○はいい年して痛いしMは上から目線凄いし 浄化してくれるものが欲しいな だが他方で、2000年頃の望月の文書見ているとまあ確かに天才的だなとは思う。ミステリー小説みたいな論文だ 776 名前：１３２人目の素数さん [2019/05/21(火) 19:54:53.06 ID:hpHogNwW.net] 物理にはアイデアがいっぱいあるが、 そのままでは 数学にならないね。 多様体上の超対称性量子力学から 指数定理もそう (物理の話だが 時間結晶の実験は面白い、 時間並進対称性の「自発的」破れ 、、)。 777 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 20:01:47.21 ID:mtULy2M4.net] >>747　以前リンクを貼り付けた「数論的log schemeの圏論的表示〜」と同じく↓も面白いですよ [13] Inter-universal Hodge-Arakelov Theory (京都大学数理解析研究所 2005年12月). ttp://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Hodge-Arakelov%20Theory%20(RIMS%20Kyoto%202005-12).pdf （直リンできない場合は「出張・講演」を覗いて下さい） “consider species, mutation”とか、“consider loops of mutations ("simulate a∈a")”とか書いてありますね 778 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 20:25:54.21 ID:mtULy2M4.net] IUT発表直後、エレンバーグのブログでタオが「ABC予想証明に関する限り最終節の内容はred herring（おとり、偽装）で、 最終節は今後の宇宙際幾何学の拡張に関連しているのではないか？」と書いていて、ほとんどの数学者もそう考えていたと思う （ちなみにこのブログでロバーツは「Mは圏論に精通していないのではないか」と書いている） しかし、red herringどころか「種の言語」や「突然変異」が同義反復的解決のための糸口であり、単遠アーベル輸送でおこる現象であり、 IUTの本質的部分だったということだね。そもそもInter-Universalという名称を採用した根本的な理由 779 名前：は最終節の内容にある ABC予想に関心を持つ若い研究者たちはIUTをred herringと捉え、叩き台として利用すればいいと思う [] [ここ壊れてます] 780 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 20:36:44.26 ID:5jq5tMh/.net] あくまで噂だが、デュプ○がまた京都に来てるらしい。 781 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 22:52:49.92 ID:5/kbo+Er.net] ポスドクもドン引き、IUTもドン引き 782 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 22:56:51.35 ID:51jC2gzD.net] 2019-01-30 大学院卒の半数以上が非正規！？　悲惨な結果が判明！　東大調べ https://gakkou-nayami.hatenadiary.com/entry/2019/01/30/135322 大学院(博士課程)の悲惨な待遇は生活保護や刑務所の懲役刑未満という話 https://hajime77.com/entry/japanese-graduate-school/ 4割が借金300万円超え…大学院に進んだら一生ビンボー暮らしです 就職率は3割以下 https://gendai.ismedia.jp/articles/-/54972?page=4 783 名前：１３２人目の素数さん [2019/05/21(火) 22:58:26.07 ID:jVs+PyoT.net] >733 結局(自称)理解者たちは肝心要の部分を詰めきれておらず、ssの指摘がごもっともっていうのがオチなんだろうな。 784 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 23:05:44.42 ID:ZGgLRO3h.net] 今DupuyはRIMSに滞在してるでしょ 785 名前：１３２人目の素数さん [2019/05/21(火) 23:29:27.20 ID:26MvR/HP.net] Dupuyはイスラエル人か？ もっちーも母上はユダヤ系だっけ？ 786 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 23:45:29.86 ID:yxvW2n5Y.net] >>750 凄い皮肉ですねw まあ可読性が低いのは間違いないですよ。高度だとか準備理論の精通だとか読み手が馬鹿だとか 色々言われるけど、それだけじゃない 動機付けとしては一言で言えて、微分を一般化するという事です。それが理由でBuiumの弟子が興味を持った 微分を数論的に一般化すると共にフロベニウス持ち上げの一般化を議論する必要があるが、これらは実は 線形構造に基づいて定式化できないので、数論的な群構造で理論を構築する事にしたというのがHA理論から IUTTまでの一貫した流れです Frobenioidの動機はそういう微分の装置というわけです。最終的に加群を使っていますが、全体としては 微分を一般化し非線形な計算を行いたかったわけです ここまでの動機の話では特に文句の付けようがないのですが、問題はその出力ですね 或いは数論的な微分の一般化はまさに変形に対応して、整数環で変形を計算するには環構造そのものは 確かに使えないのです。複素構造とは違い環自体の変形は環より抽象的な構造でしか記述できませんからね では果たして、そのような目的をシンプルに達成するには何が必要なのか？ 個人的には、ここで「何としても答えを出したかった」結果、押し切ってしまったのではないかなと思います 今世紀の数論幾何を占う根本問題ですから、そういう誘惑はあるでしょう 勿論この評が間違っている可能性は否定しませんが、そういう印象ですね ある意味でホモロジー代数を非線形に一般化するための苦肉の策があのリンクによる格子なのです 787 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 23:46:41.89 ID:yxvW2n5Y.net] 長くてすいませんw ぼんやり打ってたら悲惨な文章になった 788 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 00:03:05.89 ID:+mexIE0Y.net] こんだけ修士だの博士だの行ったら悲惨になるよって言われまくっているのに まんまと行って案の定討ち死んでいる奴って、自業自得と言わずしてなんなのか 789 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 00:08:09.55 ID:IIX1BbyC.net] B本売れてるのか まともな数学書は誰も求めてないのか 世も 790 名前：末だな [] [ここ壊れてます] 791 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 00:15:09.21 ID:vfA14a+U.net] >>757-758 いやいや、非常に明快な文章ですよ。一般的な話でよいと仰りつつ見事な要約です フロベニオイドやエタール・テータ関数については受け入れられていますね あと、デュピュイの件ですが彼はブイウムの教え子であると同時にポスドク時代はフルショフスキーの下にいたそうです 本人も遠アーベルとモデル理論を研究しているとHPに書いていますね。IUTの全てに関心を持っているようです また、Mがブイウムやフルショフスキーの仕事を意識しているのは間違いないですね ＞個人的には、ここで「何としても答えを出したかった」結果、押し切ってしまったのではないかなと思います 同感ですね。フロベニオイドも一種の圏であるので圏同値を示すためクンマー理論を使う一方、数体を扱っているので 単遠アーベルを用いることになった。問題はここで生じているんですよね。ここで忘却関手やガロアの逆問題を 恣意的に利用しているように思われます。その説明（言い訳）として出てくるのがlanguage of speciesやmutationという・・・ 792 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 00:27:27.36 ID:vfA14a+U.net] 対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています やはりディオファントス幾何でもABC予想に特化した理論ですよ。いや理論というより解法ですね ABC予想証明は応用例にすぎず、IUTそのものが革新的だという言説は以ての外です IAS研究員などはMのIUT論文にはABC予想証明について希望はないし、 IUTそのものも画期的なものではないと言い切っているぐらいです 793 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 00:50:04.05 ID:YIZfO5ND.net] >>762 ＞対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています どういうことか詳しく教えてくれませんか？ 794 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 01:30:59.13 ID:vfA14a+U.net] >>763 かなり込み入った論法なので分かり易いところでは星の入門１のp.32〜38を読んで見て下さい 対数リンクでも不定性が生じます。これがInd3（クンマー離脱不定性）です。ΘリンクのInd1と同じですね ただ、対数テータ格子の非可換性については望月の主張と若干異なる記述がみられるので注意が必要です とにかくややこしいことをやっているので、IUTに関心のある人には星の入門１は必読でしょうね B本は肝心な所を完全に無視しており、あれではIUTの本当の面白さ（正否は別として）は分かりません 795 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 01:45:12.38 ID:vfA14a+U.net] 失礼しました。IUTの略語ではInd1はエタール輸送不定性、Ind2とInd3はクンマー離脱不定性です 796 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 05:00:10.03 ID:k2RNA5fS.net] >>764 ざっと読みましたが、対数リンクの定義自体はシンプルですよね。 対数リンクというのは素点縞間の同型のこと。 対数リンクを複数回取ることで素点縞間の同型の無限列が得られるが、それによって生じる対数殻たちに関するlog-Kummer対応を考える。 そして、このlog-Kummer対応が上半両立性を満たすことしか確認することができないという事実によって考慮しなければならない不定性(Ind3)が生じると。 最終的には、テータ関数の特殊値により定義される数論的直線束の不定性(Ind1), (Ind2), (Ind3)による軌道の和集合の正則包の体積により楕円曲線のqパラメータにより定義される数論的直線束の次数が評価され、所望の不等式が得られる。 以上が私の大雑把な理解です。 対数リンクの構築(？)に無理があるとのことでしたが、どこに無理があるのかは私には読み取れませんでした。 どこに無理があるのでしょうか？ 797 名前：１３２人目の素数さん [2019/05/22(水) 09:00:44.29 ID:tP4NKFNb.net] >>760 あの日は売れたよ 大雑把な理解や不正確な記述は数学ではないね 798 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 09:13:41.47 ID:9cIEAmIH.net] >>760 数学書が売れるわけが無い。これはいつの世だろう� 799 名前：ﾆ透徹した事実だ 啓蒙書だから売れたんだよ。これもいつの世だろうと同じだ 世も末なのでは無く、必然の結果だ 世も末とかトンチンカンなことを言ってるおまえのほうがズレていることを知れ [] [ここ壊れてます] 800 名前：１３２人目の素数さん [2019/05/22(水) 09:25:05.72 ID:tP4NKFNb.net] 宣伝本や洗脳本やスキャンダラス本は 啓蒙書とはいわない 801 名前：１３２人目の素数さん [2019/05/22(水) 10:33:54.42 ID:ELL6lWjy.net] 言わないよな。2019年における人口の過半数がどうかは知らないけど。言って欲しくないな。 802 名前：１３２人目の素数さん [2019/05/22(水) 11:00:18.10 ID:b3q4bjnt.net] 数論の本なら、 「モーデル-ファルティングスの定理」を 勧める。 「初等的」な証明に感動したもんね〜 803 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 13:43:55.50 ID:IlbqDNo9.net] 証明なんか証明土方の仕事だからどうでもいいが そういう意味では望月も土方職人と言えなくもない もっとも、証明が正しければの話ではあるのだが 804 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 14:20:58.76 ID:vfA14a+U.net] >>766 ああ、「無理をして」という私の書き方がまずかったですね。ギャップがあると言いたいわけではないです むしろ工夫している。しかし、その代償として不等式しか出ないし、不定性も生じるということが言いたかったのです 805 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 16:36:53.05 ID:Gyu+1HpL.net] 明治敵な低数なんぞちゃんちゃらおかしいわけね 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] 左遷食らって最期の賭けとしてはいかがなものか 907 名前：１３２人目の素数さん [2019/05/26(日) 12:22:14.23 ID:1mfE1Yyj.net] Bは、タレント教授を目指しているのだろう。 学問の進展より大衆受け。 A井N子路線か？ まじめに学問するふりはしているけど、実態はちがう。 908 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 12:25:49.80 ID:LR5zQL3S.net] 彼はアドレナリンを司る中枢神経が若干正常な人とは異なるようだ 要するにその時だけ多少世間の耳目を集めたいだけなのだ 例の講演や内容、その後のレビューなどどうでも良く、悪くいうと●栗さんの出来損ない 909 名前：１３２人目の素数さん [2019/05/26(日) 12:52:08.58 ID:bgPimyo4.net] 本が売れている＝理論自体が正しくて、また正しく理解されている ということではないと思うんですよね 当然のことですが、一般人に沢山本が売れても数学的に正しいということにはならないでしょうし 啓蒙書を出すのは良いと思うんですが、そこだけが少し気になります マジレスで恐縮ですが 910 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 15:49:54.81 ID:5pWHK6mr.net] >>872 誰もそんな 911 名前：主張はしていないわけだが 本を出すなら売れないより売れたほうがいいだろ？ 君は売れる為の着眼点を持てるのか？ということだよ これも才能ってことだ ここにいる大部分はそんな着眼点を持つどころか反感すら感じてるようなボンクラに見受けられる どうせそのなかの何人かは売れて羨ましいという嫉妬だしなw 再度言う 「才能が無ければ出せなかった本である」 [] [ここ壊れてます] 912 名前：１３２人目の素数さん [2019/05/26(日) 15:53:22.29 ID:bgPimyo4.net] >>873 いや売れてることに大喜びしてるのは良いんだけど ちょっとピントがずれている気がしてね・・・ これ以上は水掛け論になりそうだから遠慮するけど 913 名前：１３２人目の素数さん [2019/05/26(日) 15:55:08.00 ID:bgPimyo4.net] 自分はどっちかというとIUTとか応援したい側なんだけどね 914 名前：１３２人目の素数さん [2019/05/26(日) 15:56:31.53 ID:h2YlkAqP.net] 知り合いだっただけじゃねーかｗｗｗ 915 名前：１３２人目の素数さん [2019/05/26(日) 16:01:49.44 ID:a6zmhz6/.net] Bさん、乙 916 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 16:08:29.54 ID:oNHMLx1K.net] 「真理」と「興行的成功」は、別の尺度だから両方の乖離が激しい分野 については、前者を担保するためにある程度、国家として(=税金を入れて)やったほうが いい そういう視点で見たとき、たとえばIUTは真理/税金のコスパどうなの？　という話では？ 917 名前：１３２人目の素数さん [2019/05/26(日) 16:09:36.39 ID:VNXCj7mW.net] つまり売れるかどうかだけを考慮して書いた本だと 918 名前：１３２人目の素数さん [2019/05/26(日) 16:13:16.58 ID:DfhvSDWs.net] >>873 >>872 誰もそんな主張はしていないわけだが >本が売れている＝理論自体が正しくて、また正しく理解されている ということではないと思うんですよね 相当気にしてんだな激しくワロスｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ 919 名前：１３２人目の素数さん [2019/05/26(日) 16:37:19.44 ID:gVZVmGfp.net] >>876 有名人と知り合いになれるのもまた才能だなw >>878 まあ今はどんどん金のほうに国も価値観を置いてるから そうすると国全体がダメになるのは確かだが 年金とか終身雇用とか新卒採用とかの最近の流れ見てたら 真理か興行かとか以前にとっくに日本の将来は真っ暗なわけで 920 名前：１３２人目の素数さん [2019/05/26(日) 17:45:26.80 ID:dvkgmZIP.net] そりゃ妄信的に本買って信じるやつがいるんだから真っ暗だわな 921 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 19:30:48.44 ID:ebDTLF0P.net] >>870 タレント教授擁護するみたいになっちゃうけど 特に数学は才能ない人が真面目に研究しても意味ないんじゃねって思う 922 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 19:35:24.40 ID:XLihhTwW.net] 手術が苦手で逃げ出した、鬱病にもなった - ノーベル賞・山中伸弥氏 - ログミー logmi.jp/business/articles/37600 923 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 19:52:39.41 ID:2zUmb6cz.net] >>859 Mからすれば圏論は道具の一つかも知れませんが、そもそも舞台はガロア圏であり、フロベニオイドも一種の圏です 道具どころか圏論はIUT劇場の舞台そのものですよ、そこからホッジ劇場も作っているわけです 結局、Mは個人的な理由で遠アーベル、特に単遠アーベルを使いたかっただけなんですよ SSが書いているようにクンマー理論による自然同型で十分だったわけです 言い換えると、Mは入れ子式な構造をどうしても作りたかった。その説明として種の言語と突然変異を持ちだした しかし、扱っている素材（フロベニオイド）と舞台（ガロア圏）は圏論に基づくものだった ならば圏論と、種の言語と突然変異を混ぜちゃえばいい、という非常に安易で浅はかな考えです まともな、ちゃんとした数学者でIUTを独創的だと思っている人は私の知る限りでは一人もいませんね 名前を出すのはまずいので書きませんが、SSがフロベニオイドのことをver 924 名前：y elementaryと書き、 充満多重同型とラベルの使用を切り捨てたことについて「当たり前だ」という意見がほとんどです [] [ここ壊れてます] 925 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 19:58:07.18 ID:2zUmb6cz.net] だいぶ前にこのスレでZFCGを「ZFCM」と書いた人がいましたが、IUTの宇宙はMochizuki宇宙ですね 突然変異するグロタンディーク宇宙です。遺伝的有限集合？何それっていう感じです 926 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 20:01:26.01 ID:2zUmb6cz.net] たぶんMはMochizuki宇宙（仮）こそがグロタンディーク宇宙の進化・深化だと思っているのではないでしょうか 927 名前：１３２人目の素数さん [2019/05/26(日) 20:29:54.50 ID:Yc8R4BzD.net] >種の言語と突然変異を混ぜちゃえばいい スピロ予想が出口 逆に SSレポのように 入口と出口の両方から調べると 中間が解明されると思います。 928 名前：１３２人目の素数さん [2019/05/26(日) 21:13:21.58 ID:1mfE1Yyj.net] >>883 A井N子に関しては活動そのものが負に思える。 数学の代表の発言みたいに思われると甚だ不愉快。 Bみたいに、IUTを理解しているか怪しいくせにIUTが正しいということを世間にアピールするのはペテンでしょ。 929 名前：１３２人目の素数さん [2019/05/26(日) 21:35:40.29 ID:3N8o6/sK.net] >>873 主語の本と論文を入れ替えると相当もっちーに失礼になる 930 名前：１３２人目の素数さん [2019/05/26(日) 22:11:23.66 ID:ILuMJCmh.net] 圏論屋はバカ 931 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 22:21:39.72 ID:gVZVmGfp.net] >>889 数学界全体がバカだと思われるような行動を繰り返して 自分だけが丸儲けするというパターンが今後増えるかもな 「才能がないとペテンもできないのである」 932 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 22:27:57.86 ID:jZUyK45j.net] am〇zonで「IUT理論の衝撃」が絶賛されてるな。 星5が6個、星4が3個だよ。 星2以下は無し。 凄いな。 933 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 22:31:46.82 ID:WnL9Acrt.net] 間違いだったらホリエモンみたいな扱いで黙殺されるよ可哀想に 934 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 22:35:25.38 ID:e6eC/b7l.net] カネひろい、信失いてあはれかな 935 名前：１３２人目の素数さん [2019/05/26(日) 22:39:29.76 ID:2tps2dbX.net] >>885 ただIUTに懐疑的で更にScholzeとも親しい間柄のあの人は、ssレポートには少しばかり批判的なんだよね IUT4に致命的な問題があるって言う人もいるし まあよくわかりません 936 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 22:42:07.91 ID:1tEl22sy.net] >>894 せめて数学会の丸山○員ぐらいにしとけよｗ　 937 名前：１３２人目の素数さん [2019/05/26(日) 23:27:33.86 ID:KefLQEwv.net] >>893 あとがきを参照のこと 938 名前：１３２人目の素数さん [2019/05/26(日) 23:32:27.02 ID:KefLQEwv.net] B本を買って読みました。 数学本ではなくIUTそのものの本です。 939 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 00:25:58.81 ID:K3OV6NEx.net] >>885 permutationとmutationは語感が非常に似ていますからねw いや、笑い事ではなく一理はあるんでしょう。ただ素朴な感覚として、これを空間基点の取り換えを含めた 「スキーム宇宙のコーディング」として、ないしはその関手的リンクとして扱うのはちょっと理解できない IUTの思想的なルーツを考えたら、ある意味ではグロタンディークのガロア理論とリーマンーロッホ理論です そういう意味では興味深いのは確かだが、非常に基本的なレベルでは、スキーム宇宙のコーディングと ラベルという理屈自体も無理に感じられる。これは実解析的値群の位相群について考える以上に飛躍的に見える もっとざっくり言うと、絶対ガロア群の組合せ構造と空間情報に対応があるという話を スキームの宇宙の間の超幾何学的な話に持っていくのは何か根本的に飛躍的だと思うんですが、 それが個人的にはよくわかりませんね。アイデア自体についてもいまいち違和感があるのはそこの部分です 思想的なルーツは上の通り、ある意味正統なんですけどね 940 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 00:29:47.46 ID:K3OV6NEx.net] しかしある意味では「数論的な重力場の幾何学」を、量子論的な不定性と共に論じたか 941 名前：ったんだなあと わかった今、ロマンは感じる。誇大妄想的なのかロマンなのか、いまいちよくわからないが… [] [ここ壊れてます] 942 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 01:16:33.84 ID:hYES4wtP.net] IUTでの不定性は量子論での不定性と全然違うだろう。 作った本人もそんなこと言っていないし、読んでいてもどこにそんなアナロジーがあるのかわからない。 943 名前：１３２人目の素数さん [2019/05/27(月) 01:57:56.77 ID:SCa5nclw.net] 単語の寄せ集めだけ見てナンセンスな関連を勝手に妄想する。 トンデモさんあるあるやね。 944 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 02:02:15.54 ID:hJOCWHLF.net] きっとID:K3OV6NExはオツムに障害を抱えた可哀想なヤツなんだよ そっとしといてやろう 945 名前：１３２人目の素数さん [2019/05/27(月) 04:08:32.18 ID:77uv4GKX.net] この機に乗じて金儲けを企んでいるバカは圏論屋だろう。 946 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 05:40:03.01 ID:leuBB3FJ.net] Nスペ延期 947 名前：１３２人目の素数さん [2019/05/27(月) 06:20:10.60 ID:BVw7ECDZ.net] B本のMの寄稿を読め。 Mが相対論 量子力学 素粒子を持ち出して 不定性に触れている。 IUTは 壊れたガラクタだ 948 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 11:10:23.22 ID:2xO4P8KW.net] 902〜904の悲しみ 949 名前：１３２人目の素数さん [2019/05/27(月) 11:56:15.19 ID:77uv4GKX.net] 勉強不足で理解が薄っぺらだとM先生にたしなめられた圏論屋のDavid Roberts. アホ。 950 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 12:48:52.81 ID:IYdkfYES.net] IUTってどうして海外では全く評価されてないの？ 951 名前：１３２人目の素数さん [2019/05/27(月) 12:52:38.27 ID:EwimRNVh.net] 国内でも関係者だけだろ 実名で評価賛同する人を募っても１００人はいないんじゃないの 952 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 12:58:54.27 ID:rdldN4G7.net] 前までは理解が進んでないからとか言い訳できたけどこのスレだけでも国内から 数多くの異論や反論が噴出するともう無理だろ 理性を欠いてアイドルグループや球団の応援したいってなら別だけど 953 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 13:05:19.60 ID:3a6cUmJk.net] >>912 異論反論が噴出するとどうしてダメなのかが理解できないのだが？ 異論反論が噴出するのはむしろポジティブなことなんだが 954 名前：１３２人目の素数さん [2019/05/27(月) 13:17:06.43 ID:E+5zGfff.net] 学術的に全く回答できてないじゃん 　 955 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 13:25:13.22 ID:DKLKxTmS.net] 自称理解者のB先生がきっと懇切丁寧に反論してくれますよ〜ん １万年先ぐらいに 956 名前：１３２人目の素数さん [2019/05/27(月) 13:41:54.78 ID:Ugp6JlDL.net] >>909 はだかの王様 957 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 13:50:56.16 ID:MWhq6T1K.net] 数多くの異論や反論は全て無知によるものというのが支持者の考え それはそれで実は支持者たちが正しいかもしれない ただその支持者たちはサーベイしか書けてない 958 名前：１３２人目の素数さん [2019/05/27(月) 13:51:05.60 ID: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 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 13:53:56.88 ID:MWhq6T1K.net] 数学者でもなくB本の読者から強力な支持者が 961 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 14:03:37.17 ID:qYHjl/7c.net] >>917 サーベイが正しければアクセプトとして認められる 幾度も書かれているが飛躍した例えと本論のコピーペーストだからアクセプトされてないのでは >>918 無限の演算を実行できないのになぜ不等式が導かれるのか あなたの理論で等式なり不等式を導出してみて下さい 962 名前：１３２人目の素数さん [2019/05/27(月) 14:06:11.29 ID:oWluxuMy.net] >>920 逆だよ 無限の演算を実行できないから不等式しか導かれない 963 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 14:11:24.43 ID:a/fV1xvr.net] 不等式の数値を説明できればスターだよ 964 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 14:17:02.68 ID:rgpoSxU4.net] >>903 >>904 重力場のことなら、ご本尊がはっきりそれを示唆する書き方をしているからな ○○○と聞いたらトンデモでも何でもなくそれを想起するだろう 確かに重力とまでは言っていないし、不定性も量子論と同じものとは言ってないし同じではないが、 後者もご本尊がパラダイムの類似として比較しているしな 実はこれもグロタンディークに所縁がある話とも言えなくはない。実際の関連性は不明だが 965 名前：１３２人目の素数さん [2019/05/27(月) 14:17:38.80 ID:oWluxuMy.net] >>922 それは俺には無理だな ただ直感的に予測はできる その部分は最終的に数学的には行列の問題になるだろう 3次元空間の場合は、8要素*8複素係数の8x8行列の行列式がどうなるか？って問題になるからね つまり一般化したとき、nxnの正方行列における 特異行列の存在比率が不等式の由来ということになるだろう 悪いけど俺は数学者じゃないからそれを厳密に証明することは出来ない ただ方向性は確実に合っているという直感がある もしモッチーの信者がいたら俺の考え方で数学的に説明できないか頑張ってみると良い 966 名前：１３２人目の素数さん [2019/05/27(月) 14:19:53.04 ID:oWluxuMy.net] >>924 補足 これがなんで行列の問題になるか？っていうと 3次元空間で考えたときの8x8行列が必ず逆行列を持たないと この理論的には無限の入れ子構造の整合性が保てなくなるからなんだよ 俺はこの辺を直感的に理解してるから、数学者がいたら考えてみてくれ 967 名前：１３２人目の素数さん [2019/05/27(月) 14:23:57.48 ID:lSFWI0Sj.net] 過去スレでも検索でも見てくれりゃいいがabc予想じゃなく証明できたのはスピロ予想だといってみたり abc予想以外に応用はないといってみたりかなり不具合があるんじゃないかと勘繰ってしまうな 968 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 15:00:49.58 ID:rgpoSxU4.net] >>918 無限のループ構造と不定性の関連性は、正則構造というより正則構造からずれた部分の話だけどね それを群論的な操作で抑えたりしてるわけだけど 君の話は俺にはよくわからんが、ここにも擁護がいるから説明を待とう 969 名前：１３２人目の素数さん [2019/05/27(月) 15:12:13.85 ID:oWluxuMy.net] >>927 それについては>>924>>925で触れてる部分だよ 無限の入れ子構造を想定すると、どうしたって不定性が生まれる それは事実上、無限の複素係数を持つ正方行列を想定しているからってこと だから貴方の言う正則構造からずれたとき＝(行列式＝0)＝特異行列のときに不定性が発生する そして不等式の由来は、nxn行列における特異行列の存在比率からきてるであろうってこと まぁこれは俺の直感的な予測でしかないけど、俺には合っている自信がある 真っ当な数学者がいたら考えて説明してくれれば嬉しいね 970 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 15:19:48.82 ID:ehpvwZz4.net] せきゅーんみたいな奴だなあ 971 名前：１３２人目の素数さん [2019/05/27(月) 15:23:38.90 ID:xLoNNVV3.net] >>917 一般人はともかく数学者の無知が原因でアクセプトされてない、ってなら なおの事正確に説明しようとするだろうけどな。普通は。 972 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 17:11:42.17 ID:uD15Yq1h.net] >>930 普通じゃないと未だに気付いていないの？ 感度が鈍すぎだろ 普通を基準に考えちゃいけないケースなんだよ 973 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 17:46:23.90 ID:rgpoSxU4.net] つまりキ○ガイってこと？ 974 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 18:18:02.44 ID:CIAJkQA5.net] Bが丸め込まれたレクチャーをサーベイにしたら 975 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 19:20:40.04 ID:i/fv+CB7.net] >>932 おまえ、頭悪過ぎw 「普通」という概念を深く考えたことが無いのがよく分かる 「普通」という概念がもたらす副作用を自覚してないのもよく分かる 簡単に言うと、浅い人間なんだよ 今まで生きてきた過程が問われるから会話が成立しないことになる 現にスレ違いが生じてるよな 976 名前：１３２人目の素数さん [2019/05/27(月) 19:52:52.92 ID:iQ5QHa6M.net] 自己紹介ご苦労 お前みたいなのが擁護するから相手にされなくなるんだよ 977 名前：１３２人目の素数さん [2019/05/27(月) 19:58:19.58 ID:SCa5nclw.net] 根拠もないのに「普通」や「常識」に難癖つけるのもトンデモさんあるあるやねえ。 知能レベルが啓蒙書レベルで止まってるからな。 978 名前：１３２人目の素数さん [2019/05/27(月) 20:01:13.09 ID:rgpoSxU4.net] >>934 つまり、具体的に説明しないで深淵ぶりたいわけね 何が誤解を招くのか分析してみせない限り、それで終わりよ 979 名前：１３２人目の素数さん [2019/05/27(月) 20:05:21.82 ID:p6WSfTLH.net] B本はMの寄稿もKのあとがきも含め IUTそのものですよ。 それ以上でも以下でもない。 数学として何か他に深淵な真理があるなどは 邪推に過ぎない。 980 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 20:06:16.26 ID:rgpoSxU4.net] >>934 >>936 結局ポジショニングトークしかしないんだなああんたらは 981 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 20:17:07.36 ID:rgpoSxU4.net] 証明した！しかし余白がない →証明した！しかし深すぎて理解されない 新しい商法としては面白い 982 名前：１３２人目の素数さん [2019/05/27(月) 20:18:11.07 ID:SCa5nclw.net] 自分の発言の不備と無内容を指摘されてポジショニングトークってw 嫌なら日記にでも書いてろよアホがw 983 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 20:38:22.89 ID:rgpoSxU4.net] >>941 頭悪すぎ、をそのままお返しする ただのポジショニングトークと言われてる意味すらわかってない様で ヒント＝他人のレスの悪口だけなら誰にでも言える 重力場の数理を実質的に意識してることすら知らない人だから、浅い擁護派ではあるのだろう 984 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 20:44:51.65 ID:pUNMSpS ] [ここ壊れてます] 985 名前：p.net mailto: 量子だの場だの言葉をもてあそびたい だけの中学生みたいなやつって定期的に 沸くな [] [ここ壊れてます] 986 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 20:57:16.27 ID:MWhq6T1K.net] >>943 まあ数学者にもそうした中二がけっこう多いからw もっちーの新語の使い方とかw 987 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 21:13:08.41 ID:rgpoSxU4.net] >>943 だが、わかったふりをして上から目線の人間もネットにはよくいるから君のブーメランかもしれない そもそも重力場に関連した数理、とは何を指して言ってるかわかってて非難してるんだろうね？ 988 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 21:15:56.31 ID:Vd/Es3hp.net] >>900は私が書いた>>885の言い換えですね。IUTの概要だけ知っている人でも意味は通じると思います >>901は主論文最終節を読んだ人ならすぐに分かります。observable(s)という語がmutationと絡めて頻出しています それを読まずとも、IUT陣営の単遠アーベル的復元の解説で、 ・フロベニウス的部分＝位相モノイド、「質量のある、実体を持つ、実在する」対象 ・エタール的部分＝抽象的な位相群（絶対ガロア群）、対称性、「質量のない、実体のない、仮想的な」対象 としており、望月による比喩では前者には壁があり、後者は壁をすり抜けることができる、としています B本での寄稿文はそれを踏まえてのものですね 989 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 22:09:54.64 ID:rgpoSxU4.net] 物理との関連についてやたら突っかかってくる人がいるけど、多分懐疑でも擁護でもないんじゃないか ディレッタントだな 恐らく相当物理は意識してるよ、この理論は。わざわざ丁寧に根拠は書かないけど、どう考えてもそうだ 頭が固い人にはその事実を言っただけで厨二病の連想ゲームに見えるようで困る まあもしこの理論が続くならば、じきにその本性を現すだろうからお楽しみだな 990 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 23:43:56.83 ID:Vd/Es3hp.net] >>947 M本人は最初こそABC予想証明以外には応用例は分からないと書いていましたが、 現在では数学どころか物理学、遺伝子工学、情報工学、社会科学などにも数学的定式化を与えられると思い込んでるでしょうね そうでなければあの尊大な態度を理解することはできません 本当はそれらの分野とのアナロジーや着想から得られたものにすぎないと思うのですが 望月-SS論争と悪い喩えを使うと、 A「座禅しながら空中浮揚できるぞ。これが証拠の写真だ！」 弁「わたしも座禅でジャンプした瞬間を撮ってみました。あなたより浮いているように見えるでしょう？」 どちらがAか弁護士に相当するかは想像にお任せします。悪い喩えですけど、数学で直接人を○すことはできませんから… IUTについては擁護or懐疑or否定というより、ネタとして愉しむというのが私の現在のスタンスです 991 名前：１３２人目の素数さん [2019/05/27(月) 23:46:11.62 ID:oWluxuMy.net] 重力場に関連した数理っていうのは俺でも直感的に分かる 空間が>>918のような性質を持っていた場合 三次元空間の場合は、ポアンカレ予想の形で最大で8種の素因数にまとめられ その内の一つから三次元空間を見たとき、その不定性を 全体で8種の内の自身を除いた7種から受ける事になる この直感的な理解には正八胞体を極座標から見たCGアニメを見ると助けになるwikipediaにあるよ これが何を意味するかっていうと、重力とは>>918のような空間の性質から生じている相互作用力だってこと そんでこの重力スペクトルの反スペクトルとして時間が存在することになる これ前スレや前々スレで書いた俺の考えてる� 992 名前：恤ｨの理論の内容だから あと>>929のせきゅーんって誰？って思って調べたら東大の准教授か 研究内容見たら俺の考えてる万物の理論と似たような事やってるな ＞外部磁場がない状態でも磁気渦が生成していることを発見し、その生成機構を解明しました ＞その起源としては、動き回る電子が媒介する多体の磁気的相互作用に由来した新しい機構によって、 ＞磁場がない状況で磁気渦が生成されていることが考えられます。 これなんて俺の考えてる万物の理論と全く同じ機構だよ でも考え方が違うけどね しかしやっぱスピントロニクスの研究してるとそっち方面いくよな〜 俺は研究者じゃなくオカルトマニアだけど、発端はスピントロニクスと創発的重力理論の気になった事を調べてたことだからね [] [ここ壊れてます] 993 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 00:44:52.63 ID:UN62dL8s.net] B本って何？ 994 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 00:54:02.66 ID:4CTFy9SN.net] 素数を９〜無限に近い数で掛けるとどう説明するのか テレンス‐タオは最大５つの素数で数が表現できるのを証明したが 995 名前：１３２人目の素数さん [2019/05/28(火) 01:05:10.91 ID:5KaHriRC.net] >>946 量子物理のα崩壊のトンネル効果について。 原子核には核力と電気力によるポテンシャル の障壁がある。 有質量のα粒子は核力で束縛されているが トンネル効果より障壁を通過し原子核から 飛び出してくる。 量子力学のシュレディンガー方程式より α粒子が放出される確率を定量的に 求め実験で測定することができる。 また、無限自由度の場の量子論と量子力学 は異なる。素粒子物理は特殊相対論と 場の量子論による。 焼肉屋でどのような会話があったかは 存じませんが IUTは物理と無関係です。 念のため 996 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 01:19:47.69 ID:xAKF9sMi.net] そもそも反対派だの賛成派だのレッテル貼ってる奴がまともな数学的知見を持っているようには思えん。jinかよ。 997 名前：１３２人目の素数さん [2019/05/28(火) 01:22:22.89 ID:5KaHriRC.net] IUTは数学ですか？ 998 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 01:22:31.72 ID:3CgphUUt.net] おいおい、せきゅーんが東大の准教って一体どんな世界で生きてるんだよw 999 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 01:49:18.69 ID:2LKNcLMK.net] >>955 そいつはな皆が知ってる「せきゅーん」とは違う人を勝手に思ってる 1000 名前：１３２人目の素数さん [2019/05/28(火) 02:08:22.82 ID:j82Me3bY.net] 知らんから適当に調べたけど違うんか？ せきゅーん　数学 でぐぐると素数大富豪発案者ってプロフに書いてるtwitterや 数学カフェなどに参加してるのが出てくるが そいつがRTしてるニコニコの動画の説明に、発案者として関真一郎って名前が出てるから 更にググったら東大の研究室が出てきたからそれだと思っただけの話だ 1001 名前：１３２人目の素数さん [2019/05/28(火) 02:21:59.71 ID:j82Me3bY.net] あぁなんだ、関真一郎と関真一朗の「朗」を俺が間違えてたから 検索結果違ってたのか こっちか、すまんすまん全然関係ない人の研究だったわｗ でもその研究は本質的に繋がってるから量子情報と数学、物理を勉強してる人は見ておくといいよ o.8ch.net/1gkip.png 1002 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 06:44:48.15 ID:ccma+8m2.net] >>918 だったら2iで全部処理できなくね？ 1003 名前：１３２人目の素数さん [2019/05/28(火) 07:01:16.81 ID:UXXwLAcL.net] 過度の簡略化による指摘は認めません 1004 名前：１３２人目の素数さん [2019/05/28(火) 08:34:58.07 ID:djNYhVfU.net] 京大 GCOE 問題 事後評価結果を改変し IUTを高評価 入口 >>852 >>853 ↓ 出口 >>846 >>397 1005 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 12:12:30.00 ID:BkcFo0w6.net] >>950 B = 文元 1006 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 14:28:27.15 ID:bL5X4903.net] >>950 本 = 衝撃 1007 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 15:04:13.59 ID:0eIy5764.net] BL本 1008 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 15:33:25.84 ID:kuWK6wMB.net] もっち×ブソゲソ のヤヲイ本が夏のコミケに並ぶのか 1009 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 17:23:38.23 ID:4K4i0mVO.net] >>953 いや、ポジショニングトークでない限りは普通内容について安易な事をまともな人間が言うはずもないから 真っ当ならむしろ逆に量子だの場だの言う話を理解もせず脊髄反射で叩くのがおかしいっていう話なんだけどね 大体、まず重力場の数理については堂々future directionsとして示唆されているが、 IUTには量子論との内容的関連性だって普通にある、不定性のパラダイムを抜きにしてもだ もっと単純に考えても、解析的な情報を代数的に置き換えるとか、数論的実解析性の議論をしまくってるの だから、ご本尊がそれなりの自信を持って物理的数学の類似を持ち出しているのは想像に難くない 1010 名前：１３２人目の素数さん [2019/05/28(火) 21:35:25.57 ID:B9W/2fLA.net] 素朴な疑問なんですが、なぜ世界で遠アーベル幾何学の研究者の数は少ないのでしょうか？特にアメリカで。 1011 名前：１３２人目の素数さん [2019/05/28(火) 23:38:52.61 ID:jbnFdfUC.net] 魅力がないからだろ 1012 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 00:22:23.50 ID:O2FKXgXa.net] 「ポジショニングトーク」という誤用を連発している人は恥ずかしくないのだろうか？ 1013 名前：１３２人目の素数さん [2019/05/29(水) 00:34:37.28 ID:yoNFDuox.net] 遠アーベル幾何学の専門家であるサイディ氏は何て言ってますか 1014 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 01:44:58.83 ID:HxE5A42h.net] >>967 too abstract nonsenseと考えられていた。 abcのような具体的な問題が解けるとなると一気に風向きが変わるはずだった。 1015 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 03:44:39.36 ID:9NUxZ7p0.net] 尼の★とか常識的な判断を下すための素材としては全然役に立たなくなってしまったな 1016 名前：１３２人目の素数さん [2019/05/29(水) 04:49:19.82 ID:jjh6hTa5.net] 猫ってもう死んだのかなー 1017 名前：１３２人目の素数さん [2019/05/29(水) 05:03:15.93 ID:hnTyfWWi.net] IUTは数学ですか？ 1018 名前：１３２人目の素数さん [2019/05/29(水) 05:26:13.21 ID:HGG/y8zm.net] ある条件下で有理点の数が有限で、さらに明示的に上限の数字まで言えるなら、コンピュータを使ってその有理点をすべてリストアップできるようになる？ そうなれば物理や化学の人も利用する？ 1019 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 08:43:29.04 ID:sRjQZfj7.net] 2005年には既にテーマソングあったのな 作ったやつまだ生きてるか？ 嗚呼北白川の望月よ １　明くる数理の根本を　護る数学励（はげ）ぇまして 　　代数幾何を天地（あめつち）に　輝やかさんと征（い）でましし 　　ああ北白川の望月よ ２　数学オタ〜クの意気高く　ABC予想を攻略せんと 　　ホッジ・アラケロフの理論もち　健爾と笑（え）みて統（す）べませる 　　ああ北白川の望月よ ３　プリンストン〜出の御身（おんみ）にて　遠ア〜ベ〜ルの興隆に 　　グロ去りましてピレネーに　数論幾何を護る男（やつ） 　　ああ北白川の望月よ ４　想えグロタ〜ンの大偉業　掲げ奉（まつ）れる皇子（みこ）の如（ごと） 　　御魂（みたま）捧げし御勲（おんいさお）　いま大� 1020 名前：泓�収めゆく 　　ああ北白川の望月よ [] [ここ壊れてます] 1021 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 11:45:38.77 ID:FMs7jIjx.net] >>970 IUTは正しいと公言しとるよ。 1022 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 12:00:59.27 ID:p/LHKUNk.net] >>977 情報源きぼんぬ 1023 名前：１３２人目の素数さん [2019/05/29(水) 12:18:05.65 ID:sdNsZ9tr.net] 遠アーベルよりも循環論法が話題 1024 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 17:27:04.63 ID:JzkdK5eW.net] >>969 理論の内容も知りもせず早合点で連想だのトンデモだの言ってるのは恥ずかしくないんですかね？ しかも主体性を消して毎回無関係な人間を装って悪口を言う姑息、卑怯さ 更には何処が誤用なのか指摘もできないというね。ポジショニングトークで「あろうがなかろうが」 話にならないと言ってるのに読解もできない ま、物事に距離を置いて意地悪な目線で眺めてるだけの人間の限界ですな 1025 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 18:14:49.89 ID:e+MPWd4n.net] >>98が言いたいのは ポジショニングトークじゃなくて ポジショントークだよってことじゃ無いのか？ 1026 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 18:15:36.78 ID:e+MPWd4n.net] >>969だった 1027 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 19:21:52.83 ID:p/LHKUNk.net] 次スレ　Inter-universal geometry と ABC予想 39 https://rio2016.5ch.net/test/read.cgi/math/1559125072/ 1028 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 20:17:56.32 ID:qKCmiaoY.net] IUT読んでMが物理学とのアナロジーを考えているかどうかは読み手次第ということでいいのではないかな 分かる人には分かるし、分からない人には分からない。IUTが物理学にちょっかい出すとしても先のことだろうし それより、組み合わせ論的遠アーベルや、遠アーベルで考察できる代数多様体の高次元化が課題だろうね 遠アーベル研究者が少ない、ニッチな数論幾何なのはこういうところから来ている 現状は遠アーベル幾何学はまだ草創期の段階を一歩踏み出した程度だから、これからの進展具合で優秀な人材が集まってくるかどうかだね その意味で、絶対遠アーベルをABC予想証明の中心に据えたIUTは、遠アーベル幾何学の発展にとってもメルクマールにはなるわけだ まあ、SSレポートについてIUT支持・不支持に関わらず遠アーベル研究者も沈黙しているのは奇妙なことだ SSが単遠アーベル的復元は不要と切り捨てたから、この論争に巻き込まれるのは嫌なのだろうけど、 数体を扱っているのだからね、やっぱり誰か他の遠アーベル研究者がレポートを書かないのは解せないな 1029 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 20:37:42.26 ID:qKCmiaoY.net] Kimが検証レポートをなかなか出せない理由はなんとなくわかるのだけど、彼がまだIUTに好意的なら、 Saidiと共著でもいいから早めに書いた方がいいと思う Saidiは検証メンバーの一人なのだから、SSが間違ってると思うならすぐにでも反論レポートを書けるはずだけどね 望月反論レポートで十分と思っているのかもしれないが、IUTが理解されていないと思っているのなら望月を援護してやるべきだよ 1030 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 22:07:08.46 ID:0mgJlTBL.net] 養護するもなにも、SSの反論が全く的外れだから誰も反論すら出来んのだよ。by中の人 1031 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 22:22:28.14 ID:qKCmiaoY.net] あなたの見解ではなくてM及び理解者たちがそう言っているということですか・・・ 端的に言えばSSは単遠アーベル的復元が不必要・無意味であるとしています 無論そうなれば、SSの出した結論のように内部矛盾に陥ります さらに、不定性によるぼやけを強調することは何とでも言えるということであり、不等式自体恣意的で無意味なるという結論です なぜ単遠アーベル的復元が「自然な」理由として必要なのか、 それを納得できるよう説明できなければ尻尾巻いて逃げているのと同じです それだけでなく圏論との絡みもあります。単遠アーベル的復元がGのサーベイで述べられているように「種の言語」と突然変異で 厳密に定式化できているなら簡単に納得させられるはずでしょう？そう思いませんか？ 1032 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 22:35:34.13 ID:mtMHgkaV.net] >>987 ＞「種の言語」と突然変異で厳密に定式化できている それGサーベイの何ページに書いてある？ 1033 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 22:42:04.67 ID:qKCmiaoY.net] >>733(私のレス)を参照してください 1034 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 23:43:14.69 ID:mtMHgkaV.net] >>989 ありがとうございます。 64ページのRemark 3.2.2(2)を見てみましたが 納得しかねる説明しかされてませんね。 (Important Convention) なのに。 1035 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 23:52:40.48 ID:JzkdK5eW.net] >>948 慎重さと共に、ということならそのスタンスが一番でしょう どのようなレベルであれ、外野が単独で正当性について確信を持つのは、この理論については不可能に近い気が します 但しラグランジアンというのは2000年には出てきていますし、非可換性についての雑感も同時期にありますね 少なくとも当時としてはかなり斬新、また非可換代数上のガウス積分を考える際に「ラグランジアン」という 表現を用いるのはある概念を強く想起させます。特にそれが群ではなく亜群になっていて、 個人的に2012年に予想していた一つの狙いについて合点がいき、非常にすっきりしました とはいえそこまで考えなくとも、非常に安直な連想としてタイヒミュラー理論やホッジ理論が 物理においてあまりに重要なのだからもしかしたら一つの狙いなのではないか、と誰かが言っても 良かったと思いますね。ここの人は他人を伺いすぎてがんじがらめで、奔放な話を強く嫌っていますがね 1036 名前：１３２人目の素数さん mailto:sage [2019/05/30(木) 00:01:03.11 ID:fKi6qf9s.net] >>991 実証的な学問の方が奔放な話ができる。裏付けさえあれば何を言っても良いから。 5ちゃんねるで奔放な話をしても妄想と変わらないものになる。裏付けがないから。 1037 名前：１３２人目の素数さん [2019/05/30(木) 00:06:12.67 ID:RN5/Eo2z.net] 非常に安直な連想としてタイヒミュラー理論 やホッジ理論が 物理においてあまりに重要 なのだから 単語並べているだけじゃん 1038 名前：１３２人目の素数さん mailto:sage [2019/05/30(木) 10:32:25.54 ID:Z9tONEI0.net] >>992 そういう切り口を持ち出すなら、どうして5ちゃんにわざわざいるのか？という話になる 5ちゃんを利用する価値を棄却してるわけだから自己矛盾だよな 要するにおまえはバカってことだ 無価値だと規定しているものに時間を費やしてるわけだから 1039 名前：１３２人目の素数さん mailto:sage [2019/05/30(木) 11:28:32.18 ID:FJ2k6Mug.net] 日本はファンはいるけど評価は 1040 名前：１３２人目の素数さん mailto:sage [2019/05/30(木) 12:04:55.43 ID:fKi6qf9s.net] >>994 奔放な話なんかしたくない。 1041 名前：１３２人目の素数さん [2019/05/30(木) 12:55:42.12 ID:wvhTuico.net] >>995 主要マスコミのネタとしては評価が高い 1042 名前：１３２人目の素数さん mailto:sage [2019/05/30(木) 16:27:29.93 ID:KlUynMok.net] 数学の各論を物理と関連があるって言って悦に入るなんて、子供を含めて誰でもできること過ぎてな 1043 名前：１３２人目の素数さん [2019/05/30(木) 16:27:44.38 ID:ZXa6Rik2.net] 本気でNスペやるつもりだったんだね 局の編成とか取材班なんか忙しいから世間情勢さらなかったんだろ おお恥かくとこだったね 見境なしに民放に声かけても無駄だよ　　 1044 名前：１３２人目の素数さん [2019/05/30(木) 16:40:49.73 ID:478s6kH+.net] IUTはオカルトもどき 1045 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 32日 20時間 16分 0秒 1046 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉� 1047 名前：ﾉに格納されています [] [ここ壊れてます]

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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