18/01/18 22:54:48.69 jvPO2phr.net
>>742
奇しくもIDがZFCになっているよ
IUTT-ⅣのSection 3: Inter-universal Formalism: the Language of Speciesはよくわからん
762:１３２人目の素数さん
18/01/18 23:35:25.84 952qrZfC.net
>>743
>>430>>431の、絶対ガロア群の商から来るFrobenioidのコピーであるとか、
総じて絶対ガロア群によるスキームの宇宙群の組合せ論的な特徴付け(DNA)
Core/multiradialのような、宇宙際のスケールで見た時の各々の宇宙の識別・同一視
そういう絶対遠アーベル的な視点から生物学の言葉をとったと思われる
つまり、集合論だけだとスケールの大きな関数空間を扱うには足りないので
効率的に巨大な数学的対象の処理を行う設定が必要である
それは必ずしも絶対遠アーベルだけでなく、広く数学の基礎論とできるだろうという感じか
763:１３２人目の素数さん
18/01/18 23:38:26.41 952qrZfC.net
↑絶対ガロア群の(部分)商から来る、というか部分商が作用するFrobenioidのコピー、だな
細かい話は別にいいと思うがw
764:１３２人目の素数さん
18/01/18 23:52:01.04 jvPO2phr.net
>>744
レスありがとう
正直言ってIUTTはよくわからんので、↓のHPの以下の指摘・意見はどうなんだろう？
URLﾘﾝｸ(www40.atwiki.jp)
----------引用開始----------
以下の問題点が指摘さ
765:理論の正当性とは関係ないとみられている。） ---------引用終了-----------
766:１３２人目の素数さん
18/01/18 23:52:34.60 Oa5WkY3D.net
絶対ガロア群とかフロベニオイドのような具体的な対象は
個々のグロタンディーク宇宙に属していると考えているんだろうが
個々のグロタンディーク宇宙自体はどこに属していると考えているのか？
767:１３２人目の素数さん
18/01/18 23:53:20.58 Oa5WkY3D.net
あとSpeciesの定義と具体例のわかりやすい解説キボンヌ
768:１３２人目の素数さん
18/01/19 01:09:18.39 52lt0jRC.net
>>746
そんなサイトあるんだ
正直言ってあまり断言するようなことを言うべき段階ではないけど
絶対遠アーベル的な観察から数学の基礎として論じるには早まったという可能性はあると思う
しかし、見るところその二点は例のセクションの思想に対し完全に致命的な議論には見えない
ZFCの公理が無限であるというのも、ユーザである非論理学者と論理学者では
捉え方が違うだろう。強いて言えば、もう少し「直観的」な階層性の整備を論じているのが
論理学者的には厳密性において違和感を与えているように見える
769:１３２人目の素数さん
18/01/19 02:15:47.76 nZC5+R6V.net
軽く寝る前に一つ足すと、基本的な想定舞台はトポスなんだろうけど
トポスではできる、と非論理学者の数学者が感じていることをZFCや集合論の基礎に
翻訳するのは厳密性の点で難しいのかもしれない
まず集合論として注意が向いてるのは基本的な包含関係や選択公理との整合性だと思うので
数学者が大丈夫だと感じるなら大丈夫だと思うな、本質部分は
770:１３２人目の素数さん
18/01/19 10:32:18.88 Fw5dBXWi.net
またトンデモを連れてくるから期待させるなよー
>>116-122 辺りが解決しないと結局は袋小路
771:１３２人目の素数さん
18/01/19 11:02:23.89 40eivbEl.net
ボクもテータ関数という〔魔法のじゅうたん〕を使いたいです
772:１３２人目の素数さん
18/01/19 11:13:47.91 YzalHj4M.net
数秘術の理論は ジョンキング著 数秘術、、
773:１３２人目の素数さん
18/01/19 11:13:55.88 7WrIkJv/.net
不便なものさしに続いて魔法の絨毯の発売希望
774:１３２人目の素数さん
18/01/19 14:48:40.31 i0GQj2Sd.net
でも周期予想って「意外と代数凄くね？」という予想であって
「代数的手法は袋小路」って話とはまた違うような
てか、若林君まさか自己ステマしてないよね
775:１３２人目の素数さん
18/01/20 01:10:38.36 7BOOEU80.net
新一の「心の一票」はやはり本人のブログなのかな？
ツイッターやってる近しい人たちからも否定の声が上がらないし
せ○○ーんだったけ（間違ってたらゴメン）「ついにバレてしまった」みたいなツイートしてたのは？
本人だったとしたらあの内容は驚きだわ
違うのだったらツイッターやってる近しい人が否定のコメント出したらいいのに
776:１３２人目の素数さん
18/01/20 02:41:08.35 eFnZZ79G.net
>>756
せ○○ーん以外にも同様のツイートしてた人が一人いた
二人に共通しているのは某数学イベントに参加してた人間だってこと
おそらく某数学イベントでブンゲンがバラしたものと思われる
777:１３２人目の素数さん
18/01/20 03:44:21.90 SdK8jIbd.net
一見すると思ったより俗っぽいなとか感じるかもしれないけど
数学と同じようにあらゆる物事を見ているんだな、という意味では期待を裏切ってないよ
778:１３２人目の素数さん
18/01/20 04:40:33.09 pcsJnTBA.net
草
779:１３２人目の素数さん
18/01/20 11:13:10.83 Sxle5g6M.net
） ｿ ,. .' ／＾＾⌒＾へ
´) ( ）ｿ .' ,. / （0＼）》）ノ) .' ＇
).' ) )丶 ． ξミ ￣ ⌒∞＼.'´＂.' ／巛／巛／巛／巛／巛／巛
丿 . ｿ( . ' 彳ゞ:》 |＼＿＿＿＿）..'’: .:┏┓ ┏━┓ ┏┓巛
(: ')) ,. .': ゞ》ソ/ | ∨VVVV∨ ┏┛┗┓┃┏┓┃ ┃┃ ＜
（ ﾉ. , 彳》ゞ/ | (｀･ω･´) ＜ ┗┓┏┛┃┗┛┃┏━┓┃┃ 巛
.'/| .'.） ゞ》ゞ/ ＼/VVVVV) ┏┛┗┓┃┏┓┃┗━┛┃┃ ＜
／/.'; : 彳ｼ ＼ ￣￣￣／ ┗┓┏┛┗┛┃┃ ┗┛ 巛
（ ' ヽゞゞゞゞｿξ ＼ ⌒＼ .| ⌒＼ ┃┃ ┃┃ ┏┓ ＜
ヽ ´⌒⌒ 入（ ソ `ＶＶＶ ﾉ）`ＶＶＶ ┗┛ ┗┛ ┗┛巛
).'＼ （ ノーー-、＿／ーー-、 ＼巛＼巛＼巛＼巛＼巛＼巛
｀ーー-（ (＼＼＼ (＼＼＼
￣￣￣￣＾⌒＾⌒ ￣＾⌒⌒
天皇陵発掘される。
行燈山古墳(Andon-yama Kofun)の被葬者のY染色体は、
ハプログループD1b1a2b1a1(D-Z1504, CTS8093)であると推定されている(注1)(注2)。
picture from Wikipedia
「行燈山古墳」は奈良県天理市柳本町にある「柳本古墳群」を構成する古墳の1つで、
形状は前方後円墳。出土埴輪・出土銅板から古墳時代前期後半の4世紀前半頃の築造と推定される。
柳本古墳群では渋谷向山古墳に先行する時期の築造とされ、初期ヤマト王権の大王墓と考えられている。
被葬者は明らかでないが、現在は宮内庁により第10代崇神天皇の陵に治定され同庁の管理下にある。
昭和49年(1974)-同50年(1975)に宮内庁書陵部による外堤・渡堤・後円部墳丘裾部での発掘調査が実施されたほかに、
平成29年(2017)、学術団体による立ち入り調査が実施された。
また同時に2017年に海外機関で行われた研究によれば、Z1504がポジティブであったことから、
D1b1a2b1a1(D-Z1504, CTS8093)の可能性が濃厚となった(注1)(注2)。
780:１３２人目の素数さん
18/01/20 11:26:42.95 BHlAfHhc.net
去年の12月1日のQuanta Magazine
Secret Link Uncovered Between Pure Math and Physics
URLﾘﾝｸ(www.quantamagazine.org)
主役はMinhyong Kimだけどモッチーのことも少し。時が止まっている。
Shinichi Mochizuki, who in 2012 posted hundreds of pages of elaborate, novel mathematics to his faculty webpage at Kyoto University. Five years later, that work remains largely inscrutable.
このあと朝日の記事が出て、慌てて(still)のブログが出て、BCがBravo!と言って
急にPSがコメントしたりIFが例のごとく反論したりIUTはいろんな面で人間性が出て飽きない。モッチーのブログも。それにしても(still)の括弧は潔くないと思うｗ
この騒動は後々、IUT Controversyとか呼ばれるんだろうか？
781:１３２人目の素数さん
18/01/20 12:03:41.30 cHWKW//t.net
呼ばれないよ、自明だから
782:１３２人目の素数さん
18/01/20 12:07:06.06 Q5HNpKNU.net
ガウスからアーベル、ヤコビ、リーマンの時代なら
40年位かけて起きる事柄や手紙のやり取りが、
数年に凝縮しているからな。
津田塾の数学史シンポジウムの記録に
載せて欲しい
783:１３２人目の素数さん
18/01/20 13:54:44.31 IiExePrl.net
IUTが出来て、環論スキーム論による数学という概念から、位相群やモノイドによる数学が使えることで、今までより精緻な議論が可能になる。大幅な拡張、これが一番のポイントな。
784:１３２人目の素数さん
18/01/20 14:05:08.48 TMW1LCaZ.net
それならなんでIUTにはコホモロジーがないの？
785:１３２人目の素数さん
18/01/20 14:41:29.31 IiExePrl.net
結局既存の数学的対象を分解して再構築するんだから、コホモロジーも糞もないわな
786:１３２人目の素数さん
18/01/20 14:45:02.28 TMW1LCaZ.net
それなら再構築の過程でコホモロジーも作れんじゃない？
787:１３２人目の素数さん
18/01/20 14:51:38.68 IiExePrl.net
それはそうかもしれんな。そこまではまだ解読できとらんわ。
788:１３２人目の素数さん
18/01/20 15:05:06.74 eFnZZ79G.net
>>765
それはお前の思い込みだな
IUTの中でホモロジーは使われてる
>>766
分解して再構築するからこそ
コホモロジーのような数学的道具を使う必要がある
789:１３２人目の素数さん
18/01/20 15:07:00.88 eFnZZ79G.net
>>769
コが抜けちまった
790:１３２人目の素数さん
18/01/20 15:08:54.80 o1bhbh2V.net
確かにモノイドはスキームを分解する手段だ
位相群についてはmono-analyticな空間を計算するためのツール
これが意味するのは、スキームを乗法的に分解してから、環部分と単解を区別しての
計算が必要だったということ
さらに、環部分をアルゴリズムで区別する必要があったということ
多分、構造的に選り分けることが宇宙際では大事ですよね、と望月さんに聞いたら
頷くんじゃないの
791:１３２人目の素数さん
18/01/20 15:11:52.14 TMW1LCaZ.net
環から加法を忘却したり乗法を忘却したりしてるわけでしょ？
792:１３２人目の素数さん
18/01/20 15:13:32.34 o1bhbh2V.net
位相群自体は多様体では馴染みあるものだけど、普通代数幾何学では
それ自体を利用することはないんだな
望月さんが単解性をブログで強調するのは、普通の環論より広い話をしているから
793:１３２人目の素数さん
18/01/20 15:15:44.92 o1bhbh2V.net
>>772
加法と乗法を群論的に分けること自体は整数論で前からやってるのよ
ワイルズだってやってる
宇宙際では整数環の抽象的な二次元座標としてそれを考えてるのが
新しいっちゃ新しい
794:１３２人目の素数さん
18/01/20 15:20:47.79 TMW1LCaZ.net
>>769
フロベニオイドにコホモロジーが定義できるということ？
795:１３２人目の素数さん
18/01/20 16:28:11.23 zyXn/NtM.net
well-defined 、
定義できないことも多い。
796:１３２人目の素数さん
18/01/20 17:18:16.10 TMW1LCaZ.net
コホモロジー群がダメでもコホモロジーモノイドが定義できるとか
797:１３２人目の素数さん
18/01/20 17:23:17.45 AksEd9W6.net
一旦従来の数学を細かく砕いて原子のようにし、そこから復元、再構築するという操作は、まさに望月オリジナル
798:１３２人目の素数さん
18/01/20 17:45:07.54 kf6ywpqg.net
１つの情報で２つの情報を持つことは可能
パチンコ玉１個につき３ｇでどうだ
799:１３２人目の素数さん
18/01/20 17:50:54.63 Xs97C/Ua.net
>>778
それってmotivicalな考えじゃない？
800:１３２人目の素数さん
18/01/20 18:14:21.36 o1bhbh2V.net
絶対遠アーベル自体がgeneralized motiveの派生である可能性が考えられる
実際グロタンディークの思考遍歴をデータから推測するとありそうだ
これについては最低二つ、支持するものがある
飯のネタだから言わないけども
どのみち、望月さんが超人だとは俺は思わないんだよね、代数幾何だけに限っても
他にも宇宙際がカバーしてない部分があるわけで
801:１３２人目の素数さん
18/01/20 18:21:05.04 o1bhbh2V.net
前に似たようなことを書いたけど、それとは話が違う
これは代数幾何学的な絶対遠アーベル幾何学の位置付けの話だから
802:１３２人目の素数さん
18/01/20 18:50:16.16 TMW1LCaZ.net
で、査読の結果どうなってますか
803:１３２人目の素数さん
18/01/20 19:01:09.84 QxqL/oIU.net
そんな還元主義的に理解できる代物だとは思わないねえ
804:１３２人目の素数さん
18/01/20 19:10:06.62 szAYrOyQ.net
スタンダード予想の裾野の更に外側に出たとか？
805:１３２人目の素数さん
18/01/20 19:11:01.70 GPhzMbS8.net
>>783
jinにでも聞け
806:１３２人目の素数さん
18/01/20 19:22:05.81 fTDe3YpW.net
英語版のうぃきみて悟った。
デイビッド・マッサーと望月はドレスが青にみえてるにちがいない。
URLﾘﾝｸ(kazoo04.hatenablog.com)
807:１３２人目の素数さん
18/01/20 19:27:33.29 AksEd9W6.net
>>783
朝日の報道だと早ければ1月
808:１３２人目の素数さん
18/01/20 19:52:22.13 7BOOEU80.net
SSさんが来てたのかな？
ブログの件だけど、あまりにそのまんますぎて眉唾物に思ってたんだけど、どうやら本人みたいだね
なんと言うか、率直な人だなあ
809:１３２人目の素数さん
18/01/20 20:41:31.05 t/WtF8y3.net
>>784
やはり Numerology だね
810:１３２人目の素数さん
18/01/20 21:26:42.59 QxqL/oIU.net
忘れ去られた数学って明倫館書店で200円くらいで売ってる
なんか悲しい
811:１３２人目の素数さん
18/01/20 21:58:38.48 o1bhbh2V.net
還元主義は大事だけどな
最近だと物理で量子力学から熱力学第二法則を出した話があったしな
812:１３２人目の素数さん
18/01/20 22:05:06.02 IiExePrl.net
環の分子レベルまでの解体と再構築
数学の歴史上はじめての手法だわな
813:１３２人目の素数さん
18/01/20 22:29:57.63 GlDZKSR0.net
>>793
分子レベルとか馬鹿か
814:１３２人目の素数さん
18/01/20 22:31:02.82 7BOOEU80.net
>>792
そう言えば、佐藤幹夫先生が対談でデカルトを思想家としてではなく
数学者としてしか興味がない、みたいなことを言ってたことがあるよね
『佐藤幹夫の数学』だったっけ、いま手元にないのだけど
815:１３２人目の素数さん
18/01/20 22:47:32.88 t/WtF8y3.net
ニュートンと思うな。
1637 デカルト方法序説 発刊
「幾何学」記号代数
1663 ニュートンの師 バローがルーカス就任
↓
デカルト幾何学を考察
三次曲線の分類 曲線図形の求積法 考察
↓
1687 プリンキピア 発刊
ケプラーの法則から万有引力の法則を
厳密に。証明。
ケプラーの方程式は解析的に解けない。
(ニュートンは べき級数解法、近似解法の
ニュートンの多角形、を知っていた)。
代数曲線の定理がある。←アーノルド
↓
1706 光学 付録 三次曲線の分類
曲線図形の求積法
816:１３２人目の素数さん
18/01/20 22:48:10.73 riqknH6L.net
還元つったら集合論で十分じゃん。
817:１３２人目の素数さん
18/01/20 22:50:36.61 IiExePrl.net
>>794
もののたとえだよボケ
818:１３２人目の素数さん
18/01/20 23:20:47.39 7BOOEU80.net
なんとな～くだが、ふとヘルマン・ワイルという名を思い出してしまった・・・
819:１３２人目の素数さん
18/01/20 23:23:26.32 o1bhbh2V.net
分解自体は結構他でもやってるんだが、問題はその「再構築」というプロセスが
何処まで必要かだな
結局代数幾何学的でない対象にまで手を出しているということは
ラングランズも含めて一つの展望が見えてきたのかもしれない
820:１３２人目の素数さん
18/01/20 23:48:10.69 t/WtF8y3.net
>>797
集合論から組み立てないとグジャグジャに
なるんだよね。
821:１３２人目の素数さん
18/01/21 00:44:16.23 xQhTyPFh.net
AksEd9W6
jinくせぇレスw
822:１３２人目の素数さん
18/01/21 01:19:59.01 GdOKvpfw.net
そんな遅れた情報は、jinじゃないだろ。
PRIMS刊行は2月20日ごろで、それ以前は漏れないだろ、
って前に書いてあったろ。
823:１３２人目の素数さん
18/01/21 01:39:20.18 ZasbLOpr.net
いちいち宣伝しなくていいよ
824:１３２人目の素数さん
18/01/21 02:32:12.27 KxlZfsuC.net
>>798
例えは適切でないと意味がない
分子レベルとは何を例えているのだ？
825:１３２人目の素数さん
18/01/21 03:28:35.17 5684eruu.net
>>805
横からだけど
どう不適切なのかあなたから語り始めましょうよ
質問返しの詭弁とか見苦しい屁理屈は数学板では禁止
826:１３２人目の素数さん
18/01/21 03:31:51.73 5684eruu.net
文元先生のリジッド幾何の百科事典を読むくらいなら
EGAとSGAを一から全部読もうとして一生を終えた方が有意義だよね
827:１３２人目の素数さん
18/01/21 05:45:39.48 DaTTtPWh.net
>EGAとSGAを一から全部読もうとして
一生を終えた方が有意義だよね
↑
個人の趣味で、悪趣味と言う人もいる。
ニュートンのプリンキピアは世界の名著
です。>>796
828:１３２人目の素数さん
18/01/21 07:57:24.58 KxlZfsuC.net
>>806
ただの妄想でしかない可能性が高いから
829:１３２人目の素数さん
18/01/21 08:02:26.57 BUze0+Pn.net
斬新なのはいいが復元あたりから怪しくなって古典理論で帰着とかこれイカに
830:１３２人目の素数さん
18/01/21 08:44:06.64 KUrbeeBB.net
還元と言えば表現論ではないのか？
831:１３２人目の素数さん
18/01/21 09:15:29.27 aaOJWhtE.net
>>803
2/20刊行ってどこ情報よ？
832:１３２人目の素数さん
18/01/21 09:47:53.49 5684eruu.net
>>809
あなたのレストートロジーでしかないよ
具体性がない
833:１３２人目の素数さん
18/01/21 10:51:40.89 cP1Qr0cI.net
公家側は京都御所にて篭城作戦にでたのであった
834:１３２人目の素数さん
18/01/21 11:21:29.33 Pb2tZ9AM.net
ぬう、手勢の大阪や四国・九州東北はアテにはならぬ、南蛮渡来の神通力に託すか
835:１３２人目の素数さん
18/01/21 11:42:33.36 U2jb6wwc.net
家康まで寝返りおって、ポプテピピックおそるべし
836:１３２人目の素数さん
18/01/21 11:47:20.35 KUrbeeBB.net
IUTとは違う方向性で遠アーベル研究してる人はどう見てるんだろう？
837:１３２人目の素数さん
18/01/21 13:05:50.99 5684eruu.net
>>817
遠アーベル自体が中々のマイナーだと
どっかで読んだことある
838:１３２人目の素数さん
18/01/21 13:48:23.61 KUrbeeBB.net
ｐ進というからには岩澤理論と関係ありそうですが
IUTと岩澤理論とのつながりを考えてる人いますか？
839:１３２人目の素数さん
18/01/21 14:03:58.17 KxlZfsuC.net
>>813
例えば前層から層を作るとき、各点の芽に分解してから貼り合わせるみたいなことをするけど、
今の場合、環を何に分解するのかが明示されていない。
840:１３２人目の素数さん
18/01/21 14:49:37.08 XUiD1hq3.net
>>820
あなたが相手にしてるのはおそらくjinだから無視してほしい（しかもID変えながら自演している）
馬鹿レスははじめにjinではないかと疑ってみること、次に何を言われても無視すること
jinは適当に単語並べて相手の上に立った気分に浸りたいだけのクズだから
アンチからも擁護派からの消えてほしいと切望されているのがjin
馬鹿レスはjinだと思って関わらないでほしい
841:１３２人目の素数さん
18/01/21 15:16:19.86 Gt1efLyk.net
ワタミンは熱心な創価学会の信者だが。
判明。
創価学会の心のよりどころは、法華経でも池田大作の人間革命でもなく、
みなもと太郎の漫画「風雲児たち」であった。
日蓮の人生もありえないくらい素晴らしいらしいが、封印されててわからない。
「風雲児たち」はマジでいい漫画なので、せめて五巻までは読もう。
どんな聖書や仏典より素晴らしい。
842:１３２人目の素数さん
18/01/21 16:38:29.58 7jnxWoM9.net
還を分解するという時にモノイドが指標になっているのだから
せめてFrobenioidと言えばまだ良かったのにw
分子と言われてもよくわからんしな
>>430>>431に大まかな正解が書いてあるが
Frobenioidを定義するモチベーションというのがある
ただ、IUTTの場合、個々の圏や集合よりはそれらの相互作用を重視した
構成になっているので
下手に細かい話をするよりは「分解して復元するんだ」程度の理解のほうが健全かもな
843:１３２人目の素数さん
18/01/21 16:47:57.91 7jnxWoM9.net
ここで素朴なスキームとの関係がよくわからないのは普通だと思うが
IUTTの古典的基盤は代数関数論と共に「arithmetic」 schemeであることを注意するべき
勿論この二つを現代的に取り結ぶ観点の一つがmoduli stackになる
844:１３２人目の素数さん
18/01/21 16:54:37.96 AwB7zoFl.net
現代数学の根本概念を解体、再構築するという、独創的かつ新奇的な方法を定式化した。望月新一はグロタンディークの生まれ変わりかもな。
845:１３２人目の素数さん
18/01/21 17:11:10.65 7jnxWoM9.net
それはちょっと主眼が違うな
この理論で一番ポイントになるのはあくまでも遠アーベル幾何学的な部分だよ
これを何処まで本質的な現象と見るかは、今はトップクラスでも意見が分かれるだろうな
846:１３２人目の素数さん
18/01/21 23:59:10.04 XUiD1hq3.net
既出だったらゴメン、たまたま見つけた
URLﾘﾝｸ(golem.ph.utexas.edu)
真ん中あたりにKimとTaoのやり取りがあるけど、2007年のこの時点ではKimはIUTTとABC予想という言葉は避けているね
ただ言わんとしていることは同じ
-----------引用開始--------------
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.
-----------引用終わり-------------
847:１３２人目の素数さん
18/01/22 01:39:05.52 OJCp+4kD.net
しかし実際にはFrobenioidとAnabelioidという、素朴な遠アーベルを拡張するものが
必要だったのも事実だな
特に>>430>>431だとわかりにくいが、絶対ガロア理論は両輪的な対象になっている
環を分解しても不変性を保ちFrobenioidにもAnabelioidにも作用を持つものとして
848:１３２人目の素数さん
18/01/22 06:23:24.93 C/MBWxnt.net
望月の手法、というよりRIMSの遠アーベル学派は異端だよな。だから理解が進まない。
849:１３２人目の素数さん
18/01/22 09:18:14.28 qR367KFg.net
RIMSの数理解析ではないね。
グロタンディクの夢を追い求めてでしょ。
850:１３２人目の素数さん
18/01/22 11:45:29.05 wJ3MvUFG.net
>>828
はったりかますんじゃねぇ！
てめーFrobenioidやAnabelioidの定義をちゃんと理解してましゅか？？
ちょっと数学知ってる人間が一瞥すれば判ることなのでしゅが
どちらも数論幾何の人間なら誰でも見たことあるよねーって感じの
全く新規性のない概念だよーん
851:１３２人目の素数さん
18/01/22 13:19:55.17 BmgB6IrU.net
FrobenioidやAnabelioidって位相空間になるの？
852:１３２人目の素数さん
18/01/22 13:36:42.46 1lsTq91e.net
>>832
位相空間ではなく圏
853:１３２人目の素数さん
18/01/22 13:54:36.32 8MPCH3ki.net
>>831
新規性のない概念なら定義する必要がないんだが
数学者の言うこととは思えない。Wikipediaで調べて既成の理論を踏まえてるから
新規性がないと言ってるんだろう。ガロア圏とかな
854:１３２人目の素数さん
18/01/22 13:55:49.96 BmgB6IrU.net
>>833
ああ、圏なんですね
グロタンディーク位相が定義できて
コホモロジーが得られればよいのですが
855:１３２人目の素数さん
18/01/22 14:08:27.39 8MPCH3ki.net
>>835
素朴な位相空間ではないが幾何学的な圏ですよ
然るべき手順でコホモロジーは作れます
856:１３２人目の素数さん
18/01/22 14:13:08.18 8MPCH3ki.net
FrobenioidとAnabelioidは、結構強い意味で「絶対」な遠アーベル幾何をやるための
スマートな構成になっているので
この辺は文句のつけようがないと思うよ。後は遠アーベルが何処まで不可欠か、だな
857:１３２人目の素数さん
18/01/22 14:19:18.41 BmgB6IrU.net
然るべきコホモロジーが定義できるならヴェイユ予想の場合のように
ガロア群の表現を通してラングランズへつながるとも考えられますか？
858:１３２人目の素数さん
18/01/22 15:33:09.29 WIWnZqJa.net
URLﾘﾝｸ(www.ipmu.jp)
859:１３２人目の素数さん
18/01/22 15:40:34.58 kDUAvJVT.net
そうですね(棒)
860:１３２人目の素数さん
18/01/22 17:16:04.93 BmgB6IrU.net
ABCはともかくプロならもっと夢を語ってくれないかな、数学の夢を
861:１３２人目の素数さん
18/01/22 18:20:27.64 8MPCH3ki.net
ラングランズへ繋がるかというか、本人がどう言うかは別として
どう考えてもストリングもラングランズも意識してるんで
ガロア表現と繋がるかなんてのは当たり前の話でしかないんでわざわざ聞くことでもない
能力のある若手はまず確実にコスパで迷うし、迷うくらいならやめたほうがいい
862:１３２人目の素数さん
18/01/22 18:24:21.36 8MPCH3ki.net
そういう意味では迷宮だよね、専門選び
深谷先生も本当は解析的な非可換幾何学をやりたかったんじゃないかって思うw
難しすぎるから手を引いただけで
863:１３２人目の素数さん
18/01/22 18:39:01.72 mGSUzlSv.net
この件に関しては望月氏本人の仮説と感想があるよ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
↑のp.7～9、特に(H3)と(T3)
まぁ、たしかに若手は迷うところだろうね
864:１３２人目の素数さん
18/01/22 18:56:19.54 mGSUzlSv.net
まぁ～アレだね、HPにある３つの報告を読んだ上でブログを読めば
ああいうのもアリか、とは思うけどw
M本氏のHPとかもスゴイでしょw
865:１３２人目の素数さん
18/01/22 19:01:05.79 xLwWw7vb.net
>>828
なんでFrobenioidとAnabelioidが素朴な遠アーベルを拡張するものになってると言えるの？
>>837
具体的にどこのどういう点が絶対遠アーベル幾何をやるためのスマートな構成になってるの？
866:１３２人目の素数さん
18/01/22 19:37:21.68 8MPCH3ki.net
>>846
とりあえず調べてわかんなかったら聞けばいいんじゃないか。あまりそれが感じられない
逃げたで結構
絶対遠アーベルというだけでなく、IUTTのための必然性が強い概念たち
Arakelovの専門家にはやや物足りないかもしれない、抽象的すぎて
867:１３２人目の素数さん
18/01/22 19:51:20.65 8MPCH3ki.net
簡単に言うと、「IUTTの環変形論を見越した上で」
「Hodge-Arakelov理論」の圏論的抽象化
「絶対遠アーベル幾何学」の圏論的抽象化
という理念にそれらは対応しているとも取れる
但し、
「何故普通のHodge-Arakelovでは駄目なのか？」
「絶対遠アーベル幾何学の絶対は基本的には絶対ガロア群の話だが、特にIUTTではどういう
意味を持つのか？」
これを念頭に自分で考えたらいいと思う
それでもわからないならもっと基礎から勉強したほうがよほど有意義ですわ
5chのレスとしてはこれで十分親切かと
868:１３２人目の素数さん
18/01/22 20:39:41.45 Kkkr4w7E.net
京大ｉＰＳ研助教の論文で捏造・改ざん 調査結果を発表
URLﾘﾝｸ(headlines.yahoo.co.jp)
869:１３２人目の素数さん
18/01/22 20:44:26.46 Kkkr4w7E.net
大学によると、論文は昨年３月に米科学誌「ステム・セル・リポーツ」に掲載され、血中に含まれた薬物や有害物質が脳に入るのを防ぐ「血液脳関門」の機能を持つ構造体を、ｉＰＳ細胞を使って体外で作り出すことに成功したという内容。
昨年、同研究所相談室に「論文の信憑（しんぴょうせい）性に疑義がある」との通報があり、論文掲載のグラフの再構成を試みたが再現できず、７月に大学の通報窓口に通報した。
870:１３２人目の素数さん
18/01/22 20:59:02.62 DCBM5AWT.net
>>843
？？
非可換幾何で量子場 場の量子論を捉えられない
ワイル量子化はウィグナー分布関数 の
統計力学の粗視化だが、実際は量子光学は
弱測定まである。
経路積分もあるが 正準量子化が基本だ。
インスタントンはトンネル効果がある、、
シンプレック幾何は解析力学からの流れ、
超弦理論は散乱S行列が起源だ。
一方、超弦理論のＤブレイン ウィッテン
不変量ミラー対称性では
フレアーホモロジー、ウィッテン不変量
がシンプレック幾何に対応する。
佐藤幹夫先生は物理も学び、佐藤超関数では
正則関数の境界値からコホロモジー 層へ
進み場の量子論のくさびの刃の定理を
位置づけた。
イジングモデル ソリトンの頂点作用素
特異摂動、量子群、
物性 素粒子散乱問題のS行列
場の量子論がベースにありロシアで
佐藤スクールの数学へ評価が高い。
871:１３２人目の素数さん
18/01/22 21:16:24.78 DCBM5AWT.net
>>851
訂正
×ウィッテン不変量が ◯グロモフ不変量が
872:１３２人目の素数さん
18/01/22 21:19:05.93 W74y09p3.net
>>849
もっちー「」
873:１３２人目の素数さん
18/01/22 22:05:16.18 /p7IGxhY.net
数学の場合は盗用だな
874:１３２人目の素数さん
18/01/22 22:09:41.32 BmgB6IrU.net
>>842
当たり前だと言うんならそうゆう方向で
どんどんやったらいいんじゃないですかね
これまで何年間もそういう話は聞かないですが
875:１３２人目の素数さん
18/01/22 22:54:28.79 8MPCH3ki.net
>>855
それは非常に難しい話だけども、今のところ淘汰されるのかメジャーになるのか不明
「ゴチャゴチャしすぎではないか？」というのは多くの数論研究者が感じているのではないか
勿論それは無知だからかもしれないし、正しい直観かもしれない。不明ですわ
876:１３２人目の素数さん
18/01/22 23:00:40.70 JhJrCiXo.net
捏造報道絶賛炎上中
ｽﾚﾘﾝｸ(newsplus板)
877:１３２人目の素数さん
18/01/22 23:49:09.26 WrKBOnse.net
査読が終わっているのと内容がただしいかどうかは関係ありませんがそうなります
878:１３２人目の素数さん
18/01/23 00:11:45.06 Sm3JAUCP.net
139名無しさん＠１周年2018/01/22(月) 23:53:21.64ID:zmG78j1i0
>>110
さすがに医学部の研究不正は有名過ぎて誰でも分かる
理系外国人に知り合いがいたら、日本の医学部は既に捏造天国で中国韓国よりも格下の扱いだって教えてくれる
山中伸弥がノーベル賞を取れたのは、iPS細胞プロトコルに客観的な再現性があったからだもの。
ディオバン事件、鉄門門脇の捏造天国、STAPなんか目じゃ無い程のウソ塗れ
東大医学部の腐敗は有名だったけど、これで京大もダメ大学なのがはっきりしたね
879:１３２人目の素数さん
18/01/23 00:13:23.29 Sm3JAUCP.net
148名無しさん＠１周年2018/01/23(火) 00:08:35.83ID:qXpPXukY0
>>105
再現性ある細胞としては使えるだろうけど、その一丁目一番地が脳関門の再現なのがコレだからね。
880:１３２人目の素数さん
18/01/23 00:22:51.85 84flm0Cz.net
前の方のレスで取材合戦がどうのとほざいてたクズがいたが、どんなツラしてんだろ。
881:１３２人目の素数さん
18/01/23 00:30:21.11 lvCkN9wA.net
「次世代幾何学研究準備センター」で
「新しい数学思想に基づく幾何学に関して」
は宇宙際タイヒミュラーなのか。
RIMSは何処へ行くんだろ、サッパリわからん
882:１３２人目の素数さん
18/01/23 00:58:22.24 84flm0Cz.net
客観的な再現性
883:１３２人目の素数さん
18/01/23 01:04:34.18 YIkRENRn.net
合っているかどうかは問題ではない、なんていう詭弁擁護論は通用しない
884:１３２人目の素数さん
18/01/23 01:41:15.11 ymJX7Ze5.net
この結論にしようと考えたとして、前提や引用論をあまりにも拡大解釈せざるを得ないとしたら、
それは何かがおかしい証拠といえます。つまり現実を無視した結論をゴリ押ししているために、
あち�
885:ｱちに歪みや修正が出てくるのですね。
886:１３２人目の素数さん
18/01/23 08:48:50.68 SPbhebIP.net
iPS騒動見てると、iUTも懐疑的に思えてしまう。
誰も検証できないように抽象的な議論弄んで成果にしてしまおうとしてんじゃないかと邪推したくもなる。
助教の事情ともっちー周辺もどうもオーバーラップして感じる。
887:１３２人目の素数さん
18/01/23 09:08:43.87 rJsksr7d.net
度々>>864みたいな発言が関係筋から出るのも懐疑的になる要因だ。
RIMSの上層部と編集委員はレアケースの判断力が弱いのではないかと思ってしまう。
888:１３２人目の素数さん
18/01/23 10:18:44.27 aT3jjLqB.net
iUTw
889:１３２人目の素数さん
18/01/23 12:29:29.71 3C+cum3D.net
>>867
関係筋のそんな発言あったの？
890:１３２人目の素数さん
18/01/23 12:32:45.93 mw/Kc912.net
ブンゲンの講演の冒頭とか前々スレ後半あたりから見りゃわかるだろ
891:１３２人目の素数さん
18/01/23 12:36:34.26 pTsDD5Kn.net
PRIMSに掲載されたら、永遠にブラックボックスのまま
892:１３２人目の素数さん
18/01/23 12:43:51.42 YIkRENRn.net
なんねーよ
893:１３２人目の素数さん
18/01/23 12:49:29.95 3C+cum3D.net
ブンゲン氏の動画の冒頭見たけど、あれはそんな意味じゃないと思うけどね
とりあえず、jinのアンチ版もスルーだな
894:１３２人目の素数さん
18/01/23 12:51:00.61 DoTOkyWA.net
バカ人乙
895:１３２人目の素数さん
18/01/23 12:55:52.93 DoTOkyWA.net
>>873
分解からの復元の際の歪が一定でなく再現できないのに何を証明したんだ？
アンタの物の見方ってどんだけバイアスかかってんだよ
896:１３２人目の素数さん
18/01/23 13:05:21.34 tqiJnqOn.net
都合が悪くなると逃走する擁護派
しばらくすると何事もなかったかのように復活してくる鉄面皮ゾンビ一派
897:１３２人目の素数さん
18/01/23 13:16:48.43 YIkRENRn.net
都合の悪い情報を見てないことにしたり、残っている不具合を魔法のように消せる素晴らしい人達
898:１３２人目の素数さん
18/01/23 13:17:40.83 3C+cum3D.net
いや、俺は擁護しているのではないよ、IUTはよくわからないし事態を静観しているだけ
>>875 の見解には詳しい人がコメントしてくれるのじゃないかな？
最近のレスを読むと詳しい人がいるみたいだし
899:１３２人目の素数さん
18/01/23 13:20:08.69 tqiJnqOn.net
＞あれはそんな意味じゃないと思うけどね
思いっきり主観がはいってるけど
900:１３２人目の素数さん
18/01/23 13:27:19.04 YIkRENRn.net
ここまでの否定論に対して詳しい人のコメントなどない件について
901:１３２人目の素数さん
18/01/23 13:28:56.05 wu7k3Kiw.net
これで実は証明できませんでしたという結論だとまた朝日の黒星だな。
で、Ⅲの不等式の証明の件はどうなのよ？
これは理解できないとかじゃなくてかなり具体的な論理の飛躍の指摘だと思うが。
902:１３２人目の素数さん
18/01/23 13:31:14.58 1JrX6Zjm.net
結論出るまでいったい何年かかるねん
903:１３２人目の素数さん
18/01/23 13:36:47.56 tqiJnqOn.net
>>881
書いてある、定義により自明、では理解を得られないわな
904:１３２人目の素数さん
18/01/23 13:37:28.92 tqiJnqOn.net
なので実例を出せとかいわれる
905:１３２人目の素数さん
18/01/23 14:31:11.09 BSz7qTpw.net
朝日新聞何の根拠もなく一面に出す訳ないだろ。朝日に肩を持つ内通者がいて、情報流してたんじゃねーの？
何なら、観測気球をあげるという意味で、IUT周辺がリークしたんじゃねーかと邪推もしたくなる。お陰でRIMSは準備万端で本格的発表に備えることができてそう。
906:１３２人目の素数さん
18/01/23 14:39:06.80 bkZgg6L5.net
何の根拠もなく一面に出すのは朝日新聞のお家芸。
ソースが多すぎてここにカキコすると字数制限にひっかかる。
907:１３２人目の素数さん
18/01/23 14:46:44.30 aT3jjLqB.net
そもそも>>875は何処から出てきた批判なんだ？
色々な「不定性や誤差はあるが」有限の操作で整理し「不等式を抑えられる」という
主旨で本人らが処方を解説しているではないか
それを含めアルゴリズム的と言っているんだが
問題点を「あるが」の部分から切り取っただけではないか？
望月がブログで「組合せ論的整理」と言っているのは数学的にはそのことだ
基礎としては集合論で無限集合を論じるのと変わらないというわけだ
908:１３２人目の素数さん
18/01/23 14:52:49.37 xP8b/PnB.net
(おそらく)今でも数学板を覗いている織田先生はこの騒動をどう見てるのかな？
909:１３２人目の素数さん
18/01/23 14:56:48.13 j1fkelI4.net
(おそらく)数学板をいまでもみていらっしゃる増田哲也氏はどう思ってらっしゃるのか？
910:１３２人目の素数さん
18/01/23 15:01:19.77 aT3jjLqB.net
補足すると、場合に応じ不定性を消す、抑える云々の部分は俺も引っかかっていたんだが
(不定性云々に関わらず)数学自体がある意味でそういう「明示的な判別」を方々で示している
という見方をしたら納得はできた
典型的なのは式変形だな
911:１３２人目の素数さん
18/01/23 15:29:48.05 VEbAxPGL.net
実際、擁護派と否定派の割合ってどれくらい？
912:１３２人目の素数さん
18/01/23 15:56:52.75 3C+cum3D.net
要するに>>875 の批判は相手にする必要なし、とスルーされたと理解してok？
あと、ブンゲン氏の講演の冒頭での発言は、
「現時点では査読中なのでABC予想の証明の正否についてはコメントを控える、ここではIUTの方法について
素人に向けてラフスケッチを提示する」という意味で俺は理解している
913:１３２人目の素数さん
18/01/23 16:10:01.11 tqiJnqOn.net
>>890-892
納得しねーな
なら証明したというのはおかしくねーか
892はそうならブンゲンがそういうだろ
914:１３２人目の素数さん
18/01/23 16:16:10.00 tqiJnqOn.net
＞色々な「不定性や誤差はあるが」有限の操作で整理し「不等式を抑えられる」という
主旨で本人らが処方を解説しているではないか
a,b,cの組み合わせの個数が有限であるかないかとの問いに対してどうなのか
915:１３２人目の素数さん
18/01/23 16:17:02.50 tqiJnqOn.net
いくつなのか、ｋの上限値でも出して�
916:驍ﾈら見せてくれということ
917:１３２人目の素数さん
18/01/23 17:03:20.39 aT3jjLqB.net
>>894
まず、類似するプロの批判をソースとして挙げたら？というのもそういう言い方だと
ちょっと引っかかるんだよな。つまり、ディオファントスの基本的な知識が
ないだけなんじゃねーのと
不等式の由来とか調べたのかと
知識があった上で軽く論理を辿ったらこういう欠陥が見つかったってなら勿論
京大で聞くべきなんだが
918:１３２人目の素数さん
18/01/23 17:13:20.53 YIkRENRn.net
ディオファントスの基礎知識を持ってる国内外の学者さんはなぜ理解できないの
あなたがわかってるなら答えを出してくれればいいじゃないの
919:１３２人目の素数さん
18/01/23 17:21:47.12 tqiJnqOn.net
結局擁護派はもっちーがそういってるから、の1点張りなんだよな
オレがいってることは明快
10＾20までの1400万通りの反例にたいして何を示したのか、という話
不等式と全然関係がなさそうじゃないか
920:１３２人目の素数さん
18/01/23 17:24:42.52 6mzSj2k9.net
>>897
それは、ディオファントスは単に一部の文脈だからですよ
変形理論自体はまた別のコストがかかる
勿論正直な話、自分もわざわざ論文をおさらいして具体的な話ができるほどの
余裕はない。そういう意味で非力です。レスしてても別のことを考えながらだったりするんで
とは言え、今自分のわかる範囲で言えることもなくはないとしても、
明らかに知識や調査が足りない人に何でも喋るのはどうかと
個人的に疑問なのは、「プロは何がわからないのか」について、PSの指摘以外に
何か共通性があるんだろうかという点。自分も知りたいですね
921:１３２人目の素数さん
18/01/23 17:26:35.51 YIkRENRn.net
またアホ人が炙り出されて活動再開したな
922:１３２人目の素数さん
18/01/23 17:38:19.12 6mzSj2k9.net
>>898
反例？
それはともかく、俺は「望月がそう言ってるから」じゃなくて
不等式の由来とそのアプローチの意味を調べたのかと言ってるだけだよ
そこまで全て編み出すほど彼は宇宙人じゃねーからなw
923:１３２人目の素数さん
18/01/23 17:58:27.30 3C+cum3D.net
否定派に賛成しない人たちを擁護派と見做すのはどうかと思うよ
擁護派と見做されている人たちは慎重なだけではないかと
全肯定しているのはjinみたいな人だけかと
924:１３２人目の素数さん
18/01/23 18:06:21.29 6mzSj2k9.net
IDを辿ったら「否定派」の二人(一人？)っつうのがどうも怪しいな
そもそも「abcと何の関係があるんだ？」みたいなこと言ってるプロいたっけ？
いたら誰かソース教えてくれ
925:１３２人目の素数さん
18/01/23 18:14:09.94 6mzSj2k9.net
ちょっと基本的な話なんだけども、関数版のabcは証明されているわけですよ
なので、疑問があるならば「関数版の理論の適切な一般化になっているのか？」という
抽象的な部分がむしろメインになるべきで、不等式から具体的な数値が計算できるかどうか
という話はちょっと違うと思うわけね。あくまで自分の意見ですが
勿論これはフェルマー理論の包含についても同じ
926:１３２人目の素数さん
18/01/23 18:16:10.78 tqiJnqOn.net
またアスペが
不等式がギャップとされるなら証明と関係ないだろうが
>>898
反例？
10＾20までで1400万の例があればそれは証明として有限なのか
君の理屈では10＾20は確かに有限だな
927:１３２人目の素数さん
18/01/23 18:27:16.58 tqiJnqOn.net
＞不等式から具体的な数値が計算できるかどうか
という話はちょっと違うと思うわけね。あくまで自分の意見ですが
勿論これはフェルマー理論の包含についても同じ
賢いかなんかしらんが俄か丸出しだろ
反例の個数や上限値、下限値は少なくとも観測上明示されてるわけだ
それに対して論文の数式が当てはまってるのかという疑問だ
＞勿論これはフェルマー理論の包含についても同じ
まさか最終定理の話をしてないよな、自称バカ広報は幾度もフェルマーの
最終定理は証明してないとアナウンスしてるが
もうバカらしいからエスケープするわ
928:１３２人目の素数さん
18/01/23 18:32:07.52 6mzSj2k9.net
それはこっちの台詞だわw
悪いけど電波にしか見えない
929:１３２人目の素数さん
18/01/23 18:34
930::22.91 ID:tqiJnqOn.net
931:１３２人目の素数さん
18/01/23 18:36:50.42 6mzSj2k9.net
何か数値的な話をするならソース出すだろ普通
勝手にあの数値がどうだとか答えてないとか、どっちがアスペなんだか
ワイルズは抽象過ぎる、自然数論でなければフェルマーは証明できないという主張を思い出すわw
932:１３２人目の素数さん
18/01/23 18:41:08.13 Y1T6hbUC.net
Inter-universal geometry と ABC予想 ２０ 山下剛のサーベイ出る [無断転載禁止]©2ch.net から
688１３２人目の素数さん2017/10/03(火) 08:33:41.66ID:GM8CrdYb
前レスに習うなら、証明と言うよりもはや誤差込みの
統計モデルだから、そもそも解いてない。
だから少なくとも無意義ではない。
有意義なら本人の預かり知らぬ応用だって有り得る。
ガバガバ目安でも、幾らか証明の指針にはなる。
752１３２人目の素数さん2017/10/07(土) 21:40:19.20ID:JI6/RP2v>>753
ブンゲンのテストって「解けたかどうかは大きな問題ではない」って書いても点くれるの？
753１３２人目の素数さん2017/10/07(土) 21:44:32.55ID:RTm9iAf8
>>752
論文でもいいらしいからくれるんじゃね？
777１３２人目の素数さん2017/10/08(日) 10:39:05.03ID:HDId30ow
>>757
>合っているかどうかは大きな問題ではない
その通り。この言葉の意味を理解できる奴がこのスレに少ない。
このスレの素人さん連中は「合っているかかどうか」という決着の
つきやすい安易な尺度でしか物事を見ていない。
そして数学の世界は【権威】の世界とでも思っているらしい。
なにか絶対的な権威が、数学の世界に客観的に存在し。その権威の
鶴の一声で選出された「難問」を解けば普遍的な数学的栄誉を手に入れられるとでも
勘違いしている。あたかもスポーツの世界みたいに。
でも実際は真逆。現代数学をより深遠な世界に【導いてくれる】モノこそが
一番価値があって、いわゆる「有名な難問」はその役割を期待される（推測される）
存在に過ぎない。なので解けたはいいがそれ以上の影響を数学全体に
及ぼさなかった（行き止まり）なんて事はいくらでもあり得て、
そうなれば当然数学的価値は低い。
933:１３２人目の素数さん
18/01/23 18:43:11.97 Y1T6hbUC.net
908１３２人目の素数さん2017/10/17(火) 01:51:53.77ID:xo6ISvI+
加藤和也曰く普通の数学者の頭3つ分と言われるファルティングスがIUTを理解しようと思えば余裕だと思うけどなんで興味持たないんだろうな
絶賛してるのが加藤文元とか。。
Inter-universal geometry と ABC予想 21 より
ここも反論や毀損なんて話が出なかったが事実なのか
394１３２人目の素数さん2017/12/03(日) 16:40:50.50ID:o97lhEUx>>396>>398>>401>>402
読売の取材拒否事件w
400１３２人目の素数さん2017/12/03(日) 21:43:28.25ID:T36+97BX
>394 実際のところイケるとは思ってなかったのかな
401１３２人目の素数さん2017/12/03(日) 23:07:51.37ID:B1FWWQFT
>394
マスコミを敵にまわしたら、アカンなw
402１３２人目の素数さん2017/12/03(日) 23:14:47.84ID:VQBFuomc>>403
>394
何の話?
403１３２人目の素数さん2017/12/03(日) 23:27:34.58ID:0+7YXgD7>>406>>408>>501
>402
S教授「M君、論文に間違いがあるから、撤回しなさい！！(￣▽￣)」
読売「Mさんの論文というのは正しいものなのですか？」
S教授「....(黙秘)」
4
934:07１３２人目の素数さん2017/12/04(月) 10:41:19.49ID:7jyA3QfM 下手したら大炎上、案件 408１３２人目の素数さん2017/12/04(月) 11:50:40.25ID:cLgW9iwY>>411 >403 実名は？ 409１３２人目の素数さん2017/12/04(月) 12:17:41.39ID:5KkKhWC6 イニシャルでわかるべ
935:１３２人目の素数さん
18/01/23 18:43:33.32 Y1T6hbUC.net
908１３２人目の素数さん2017/10/17(火) 01:51:53.77ID:xo6ISvI+
加藤和也曰く普通の数学者の頭3つ分と言われるファルティングスがIUTを理解しようと思えば余裕だと思うけどなんで興味持たないんだろうな
絶賛してるのが加藤文元とか。。
Inter-universal geometry と ABC予想 21 より
ここも反論や毀損なんて話が出なかったが事実なのか
394１３２人目の素数さん2017/12/03(日) 16:40:50.50ID:o97lhEUx>>396>>398>>401>>402
読売の取材拒否事件w
400１３２人目の素数さん2017/12/03(日) 21:43:28.25ID:T36+97BX
>394 実際のところイケるとは思ってなかったのかな
401１３２人目の素数さん2017/12/03(日) 23:07:51.37ID:B1FWWQFT
>394
マスコミを敵にまわしたら、アカンなw
402１３２人目の素数さん2017/12/03(日) 23:14:47.84ID:VQBFuomc>>403
>394
何の話?
403１３２人目の素数さん2017/12/03(日) 23:27:34.58ID:0+7YXgD7>>406>>408>>501
>402
S教授「M君、論文に間違いがあるから、撤回しなさい！！(￣▽￣)」
読売「Mさんの論文というのは正しいものなのですか？」
S教授「....(黙秘)」
407１３２人目の素数さん2017/12/04(月) 10:41:19.49ID:7jyA3QfM
下手したら大炎上、案件
408１３２人目の素数さん2017/12/04(月) 11:50:40.25ID:cLgW9iwY>>411
>403
実名は？
409１３２人目の素数さん2017/12/04(月) 12:17:41.39ID:5KkKhWC6
イニシャルでわかるべ
936:１３２人目の素数さん
18/01/23 18:46:55.12 YIkRENRn.net
数学家が物理屋に批判的なのもなんとなくわかる
937:１３２人目の素数さん
18/01/23 18:55:11.74 bDhEh80F.net
>>909
攻撃的なのは全部相手にしないほうがいいですよ。
５ｃｈの伝統で専門の人から聞き出すには知ってる単語を適当に並べて主張すれば
相手が聞いてもいないことをペラペラ喋ってくれて楽だｗっていうのがあるので。
堂々とそんなことを書いていたのに私は呆れてしまいましたがｗ
938:１３２人目の素数さん
18/01/23 19:01:20.37 3C+cum3D.net
いやぁ、この大量のコピペは否定派と言われる人たちの中にも
加藤和也氏やファルティングスらの権威に乗っかって否定する人がいる、という皮肉なんですかね？
地底人と最低人がいるように
肯定jinと否定jinがいるというわけか？
939:１３２人目の素数さん
18/01/23 19:02:44.67 6mzSj2k9.net
批判が正当かどうかはともかく、言いたいことは何となくわかるんだけどな
グロタンディークの素数のエピソードを思い出すわ
940:１３２人目の素数さん
18/01/23 19:04:22.70 Y1T6hbUC.net
都合の悪いコメントは無かった事に出来る方がたです
941:１３２人目の素数さん
18/01/23 19:04:40.50 Y1T6hbUC.net
都合の悪いコメントは無かった事に出来る方がたです
942:１３２人目の素数さん
18/01/23 19:08:06.36 0XipQIzU.net
mason stothers theoren？
簡単な証明があるらしい
943:１３２人目の素数さん
18/01/23 19:19:56.50 0XipQIzU.net
ABC予想の証明は 素数で難易度といい
簡単な証明があるmason stothers theorem
と別と思う。
普通 数値実験を行い調べる。
mason stothers theorem からのアプローチは
数学でないから知らなかった。
URLﾘﾝｸ(topologicalmusings.wordpress.com)
944:１３２人目の素数さん
18/01/23 19:30:07.35 0XipQIzU.net
数学の証明はwell defindedを始め
厳密が必要だね。
物理の「証明」ではない。
945:１３２人目の素数さん
18/01/23 21:24:16.90 XrnRR7Ch.net
有限の数学も難しいけど、数論は大体無限集合だからな。抽象化せざるをえない
抽象・構造的な議論を経由してるからこそ無限集合のシステムに定数がある、
みたいなことが言えるわけだけど
946:１３２人目の素数さん
18/01/23 21:40:16.80 RDs4Q1Kl.net
well definded 出来ない例も多い
947:１３２人目の素数さん
18/01/23 21:40:27.77 og69KnWu.net
文元って、数学的な信用度は？
948:１３２人目の素数さん
18/01/23 21:47:10.41 WIdMueTM.net
巨大数って面白そうだなあ
可能無限を考えてしまいがちな中で
巨大数と実無限をどう考えるのか
949:１３２人目の素数さん
18/01/23 22:44:35.78 XrnRR7Ch.net
Faltingsがどう思ってるかは知らないけど、やっぱりmordell-Weil理論よりは難しいわな
それは確か
Taoにしても間違いなく優秀だが、彼の数学経験からしたらやっぱり結構IUTTは異色なはず
勿論、だからといってそれらの優劣は比較できないけど
950:１３２人目の素数さん
18/01/24 01:15:17.38 aSRphMzl.net
文元の人間的な信用度は低いとでも言ってほしいのか？
951:１３２人目の素数さん
18/01/24 01:30:37.76 V+Hxbw2K.net
IUTの動画を見た。
全く新しい数学のイメージが
なんとなくわかった。
元々 ジェダイのフォースは暗黒面がある。
二つの舞台はジェダイの共和国軍宇宙と暗黒面の帝国軍宇宙。
美しい対称性のフォースはジェダイと
暗黒面に通信し、其々の宇宙でフォースより
ジェダイと暗黒面が計算する。
ジェダイが 歪みから暗黒面に落ち、
IUTの歪みが暗黒面で不等式と
952:なる。 シータ、無限の素点は映画のような イメージでてきとうに計算する、、
953:１３２人目の素数さん
18/01/24 02:22:22.20 12Z/X3/f.net
>>912
マジでS教授って誰なの？
ST先生？SS先生？
954:１３２人目の素数さん
18/01/24 03:04:41.03 ujczBg0e.net
>>920
数学でないってどういうことだろうかw
そっちのが単純なのは確かだが、ディオファントス的な証明の原理としては
根は同じかと。古典的なルーツはリーマンーロッホに遡るけど
アラケロフ理論自体がルーツはそこにあるから
その理論はabc(とヴォイタ)の別証可能性を示唆していると個人的に思う
そっちのが単純だと思うが、必要な一般化は簡単じゃない
955:１３２人目の素数さん
18/01/24 06:19:42.31 sSCPRi/+.net
省庁ってのはそこまでアホではない。
他の分野もそうだが援助が縮小傾向になったなら根拠があるのだ。
母校の数学科の同窓会で、フィールズ賞の受賞者かつ国際数学連合のトップの挨拶が、
「もうお金がないの、日本の数学は終わってしまいそう」だったのは、涙が出そうだった。
横から失礼します。手をこまねいていないで、文部科学大臣に陳情に行かれたらどうですか？
956:１３２人目の素数さん
18/01/24 06:54:23.48 /tKpCWqY.net
いままで散々援助させといて外人食わせて成果なしじゃそうなるわな
ヘンな自尊心と慣習にこだわってる自分らが悪いだけなのでは
957:１３２人目の素数さん
18/01/24 07:57:10.52 EtqXURrr.net
人事以外だと、ビッグプロジェクトの成果で非専門家にも広く認知されるようなものってあるのだろうか
958:１３２人目の素数さん
18/01/24 08:04:52.42 HfLuwo2X.net
ベーコン炒め、いやリーマン予想
959:１３２人目の素数さん
18/01/24 08:41:16.30 dqynY7dZ.net
>>933
目的が国内外の研究者との交流を目的としたセンターができて、
問題は訪問者がいるかだけど、訪問者数が指標かな。
960:１３２人目の素数さん
18/01/24 08:43:33.70 EkzZJA6z.net
>>930
数学の出身ではないということ。
今の数学、IUTはおたく だわ、、呆れた。
961:１３２人目の素数さん
18/01/24 08:49:27.63 voOux6hN.net
ついに、満足いく完成を見たようだな。無人コンビニが。中国よりアメリカのが便利そうだ。
欠点はスマホがなければダメってところか。おれ、スマホもってないからな。
レジ待ちストレスゼロ Amazon無人店
URLﾘﾝｸ(www.fnn-news.com)
962:１３２人目の素数さん
18/01/24 08:51:26.52 ZsQ09jl1.net
>>935 文化と学問の違いはあれど、まるで郵貯ホールではないか
963:１３２人目の素数さん
18/01/24 13:28:47.60 hXEYB7rJ.net
人手不足とは言え、斜陽国家だからな。景気も疑わしいし
ひとまず代数幾何・代数解析・ホモロジー代数ばかりやってたら終わるのは確か
964:１３２人目の素数さん
18/01/24 13:58:45.87 Rby4luE5.net
おたくに飛びつくとはね。
新しい幾何はシンプレクティック幾何の発展
なんだよ。
965:１３２人目の素数さん
18/01/24 16:37:54.69 1paxiNdA.net
シンプレクティック幾何は解析力学が生んだ。
良い数学は抽象的に見えても具体的なもの
と結びついている。
966:１３２人目の素数さん
18/01/24 18:31:06.07 12Z/X3/f.net
>>941
具体例に神が宿る
967:１３２人目の素数さん
18/01/24 18:59:33.63 HfLuwo2X.net
不等式に闇が宿る
968:１３２人目の素数さん
18/01/24 18:59:42.69 bAw4evRS.net
「間違ってるから撤回しろ」なんて馬鹿なこと言う教授がいるのかな？
何かが間違ってるとわかるなら数学的に指摘す
969:ればいいだけじゃん
970:１３２人目の素数さん
18/01/24 19:01:57.41 jzdkFpft.net
それまでに主張されていない定義が盛り込まれた場合リジェクトとされます。
971:１３２人目の素数さん
18/01/24 19:03:03.46 bAw4evRS.net
シンプレクティックといえば、岩波はいつオンデマンドにするんだろうな
アラケロフやリジッドが出てるんだからあれも出すべきだろう
972:１３２人目の素数さん
18/01/24 19:34:34.65 WDqKBiZo.net
シンプレクティック構造なんて多様体に彫られる入れ墨みたいなもんだよ
973:１３２人目の素数さん
18/01/24 19:52:56.25 wGczD0Jp.net
岩に彫られた彫刻ならそこから割れ目ができて崩壊すると
974:１３２人目の素数さん
18/01/24 20:30:05.23 oUocGx17.net
2004年頃の数セミはグロモフやコンツェビッチの特集が多かったような気がある
あの頃は山下純一や数学小説を書こうとしている人などなんかカオスだったな
数論ではザギエぐらいだったかな
975:１３２人目の素数さん
18/01/24 20:33:15.78 oUocGx17.net
あ、なんか変な日本語になってしまったな
ヴォエヴォドスキーやラフォルグがフィールズ賞を取った年だけど
ほとんど記事らしい記事もなかったな
976:１３２人目の素数さん
18/01/24 20:53:02.01 oUocGx17.net
MSRIのHPを覗いてみたらディラン・サーストンってウィリアムの息子だわ
団代数の専門家になってたんだ
977:１３２人目の素数さん
18/01/24 21:10:29.09 SfUgmxPV.net
サーストン来日、と聞いて見に行こうかなと思ったら息子だったのでやめた。
978:１３２人目の素数さん
18/01/24 21:42:59.55 SMGHqkGW.net
cluster長尾さんもやってたっけ？
979:１３２人目の素数さん
18/01/24 22:20:30.70 SQz2mNR4.net
>>931
M先生は今年のフィールズ賞の受賞式で
司会やるのかな？
980:１３２人目の素数さん
18/01/24 22:34:47.83 RNW0It3C.net
>>954
そうだよー。Peter shcolzeに授与するんだよねー。
981:１３２人目の素数さん
18/01/24 23:22:15.59 SMGHqkGW.net
読んだこともないしScholzeの凄さがよくわからない
例えばラングランズでいうと何を進めたの？
982:１３２人目の素数さん
18/01/24 23:31:54.14 SMGHqkGW.net
例えばリジッドとかp進をやっている研究者は色々いるが、何故Scholzeが良いのか、が
よくわからない
本来IUTTも結構関係ないんだよな俺
983:１３２人目の素数さん
18/01/25 00:30:26.75 tthRjp+L.net
>>956-957
URLﾘﾝｸ(www.quantamagazine.org)
↑の真ん中あたりの"Flying Over the Jungle"かな
Now, Scholze has shown how to extend the Langlands program to a wide range of structures in “hyperbolic three-space” ? a three-dimensional analogue of the hyperbolic disk ? and beyond.
By constructing a perfectoid version of hyperbolic three-space, Scholze has discovered an entirely new suite of reciprocity laws.
“Peter’s work has really completely transformed what can be done, what we have access to,” Caraiani said.
Scholze’s result, Weinstein said, shows that the Langlands program is “deeper than we thought … it’s more systematic, it’s ever-present.”
と、いうことだそうだ
984:１３２人目の素数さん
18/01/25 00:34:05.55 tthRjp+L.net
>>958
ちょっと文字化けしてるね
?になっているところはハイフンで
985:１３２人目の素数さん
18/01/25 00:36:06.46 tthRjp+L.net
ハイフンじゃない、ダッシュだw
986:１３２人目の素数さん
18/01/25 01:20:30.47 3puDu6n+.net
グロタンディークなんて俺の遥か格下の数学者でそれをそれなりに尊敬してたとかいうドリーニュもまた俺よりずっと格下なんだろうな
987:１３２人目の素数さん
18/01/25 01:23:00.66 kULgdTW8.net
>>958
正直言って今一つピンとこないが、(本来の数論的)ラングランズの幾何学的解釈を
深めたという感じなのか
988:１３２人目の素数さん
18/01/25 07:28:16.36 mP0Ewse7.net
>>953
clusterって何なんやろ
傍から見てると「環論の色んな別々の定義が（こういう時には）同値ですよ」
って事だけを延々やってる風にしか見えないんだけど。
どっちにしろ数論的文脈はなさそう
989:１３２人目の素数さん
18/01/25 10:33:00.79 2FiDRhlv.net
>>962
というか代数の先生に聞いてみればいいよ
990:１３２人目の素数さん
18/01/25 11:37:29.34 oSyjJvdY.net
>>947
元はハミルトン力学 ハミルトン形式で要
なのよ
>>952
ウィリアム サーストンの3次元多様体の本に
モジュライ タイヒミュラー空間がある。
S^3を内部からみる万華鏡視点も書いて
ある。
我々の宇宙の形 トポロジーに関係する
視点だね。
991:１３２人目の素数さん
18/01/25 13:14:31.49 1Z0gcenp.net
>>964
ブンゲンに聞いたら結構良さそうだよね
992:１３２人目の素数さん
18/01/25 14:02:05.06 1Z0gcenp.net
なるほど。やっぱりperfectoidが基本か。コンセプトというか動機はわかったが
正直scholzeがどうこうより、こういうことを誰もやらなかったのが不思議な気がする
それこそ望月さんも含めて
勿論そこを24歳ですっきりまとめるのはセンスがいいんだけども
993:１３２人目の素数さん
18/01/25 15:13:58.02 6pHO5lCB.net
もっちーのブログのコメントが公開されてるね。かなりの数だ。
数学の話をしている人も多い。
994:１３２人目の素数さん
18/01/25 15:28:04.34 MEvDz84S.net
URLﾘﾝｸ(www.google.co.jp)
995:１３２人目の素数さん
18/01/25 15:30:16.08 xTA5eJ21.net
ブンゲ○もコアなファンは多いが
996:１３２人目の素数さん
18/01/25 15:49:00.25 1Z0gcenp.net
>>963
リー代数やモジュライの空間を効率的に調べるためのものだから、使い方はまあ
そんな感じでいいんだろ
しかし、ああいうものを細かく調べていって何処へ行くのか…報われるのか？
箙理論くらいまでは意義がわかるんだけども、しかしああいうのをやる人間も必要なんだろう
997:１３２人目の素数さん
18/01/25 15:51:04.44 1Z0gcenp.net
てか、クラスターは数論と関係あるぜかなり
かなり新しい潮流だけど
998:１３２人目の素数さん
18/01/25 16:14:50.38 MEvDz84S.net
Peter Scholze points out possible error
in IUT (see comments)
>>969
999:１３２人目の素数さん
18/01/25 16:35:08.00 cpYqdXDZ.net
山中氏、科学誌創刊に深く関与か 京大、iPS研の論文不正
URLﾘﾝｸ(this.kiji.is)
1000:１３２人目の素数さん
18/01/25 17:23:04.53 xvLjohE1.net
>>973
ショルツは更新前の論文で指摘して、赤っ恥状態らしいよ。
1001:１３２人目の素数さん
18/01/25 17:40:45.76 XpDwsF5/.net
またウソつくことからはじめるし
1002:１３２人目の素数さん
18/01/25 18:10:42.26 xTA5eJ21.net
やっぱり京大系ってアレだな
1003:１３２人目の素数さん
18/01/25 18:19:08.34 B18EL3Fs.net
やってる事が売れ残りのお局オバちゃんたちと同レベルだからもうﾀヒよ
1004:１３２人目の素数さん
18/01/25 18:32:13.33 DDl395sD.net
ショルツは2018 フィールズ賞を 受賞するだろ。
授与はなぜか IUT絶賛のM教授？？
URLﾘﾝｸ(poll.pollcode.com)
1005:１３２人目の素数さん
18/01/25 18:35:58.02 /RMQVPi0.net
偽の命題から始められる奴は一流だよｗ
1006:１３２人目の素数さん
18/01/25 19:18:19.64 1ChmzrTV.net
望月新一でググると母親はアン・モチヅキなる人物だと出てくるが
I井さんの学生時代の日記読んでたらクォーターらしいって書いてあったからほんとっぽい
1007:１３２人目の素数さん
18/01/25 20:33:18.75 H4oGS6mI.net
なんか目新しい情報ないの？
1008:１３２人目の素数さん
18/01/25 20:52:20.69 2Vdb9U3e.net
>>982
jinです。
とある筋からの情報によりますと、海外マスゴミの余りにも卑下した記事、山中先生の捏造問題のせいで、アクセプトが当初より遅れているようであります。
1009:１３２人目の素数さん
18/01/25 22:27:25.21 1Z0gcenp.net
>>981
英語・ヨーロッパ語圏で育つのってやっぱり多大なるアドバンテージだと思う
読み書きできるできないの話ではなく、吸収・表現の効率や幅がやっぱり違う
1010:１３２人目の素数さん
18/01/25 22:30:29.76 FHtQCSKl.net
>>983
妄想乙
1011:１３２人目の素数さん
18/01/25 23:01:26.23 VRcqwgiV.net
次スレ
ｽﾚﾘﾝｸ(math板)
1012:１３２人目の素数さん
18/01/25 23:45:52.77 cXwTNFOn.net
>>985
妄想として信じないのも自由、信じるも自由でございます。とにかく早々の掲載報告はないでしょう。
1013:１３２人目の素数さん
18/01/25 23:54:57.63 tthRjp+L.net
>>983 >>987
いいかげん無責任な書き込みはやめなさい
捕まらなければ何をやってもいいと思ってるのですか
1014:１３２人目の素数さん
18/01/25 23:57:51.61 tthRjp+L.net
ツイッターのアカウントも早く消しなさい
あなたの発信情報は信憑性に著しく問題がある
1015:１３２人目の素数さん
18/01/26 00:38:00.66 0DGZsY8U.net
さっさと表アカ完全削除して一生裏アカに引っ込んどれ
1016:１３２人目の素数さん
18/01/26 03:00:20.83 H4LJeqH3.net
jinのやつ、何事もなかったかのように復活してて草
まぁこうなることは目に見えてたけれども、実際目の当たりにするとクッソ呆れるな
1017:１３２人目の素数さん
18/01/26 06:59:45.37 jpkQxaUB.net
全ての成功も間違いも未来の出来事に起因し、
絶妙に寸分違わぬコースを取っているのである
1018:１３２人目の素数さん
18/01/26 07:29:30.39 pvWhtolt.net
>>972
>てか、クラスターは数論と関係あるぜかなり
>かなり新しい潮流だけど
該当論文挙げて下さいよ
1019:１３２人目の素数さん
18/01/26 07:35:11.17 pvWhtolt.net
自分でググった限りではほぼ関係ないな
著者が勝手に自分のさじ加減で無理やりNTのタグつけてる論文は
ちょこちょこあるけど
1020:１３２人目の素数さん
18/01/26 09:42:28.79 5dfzklDv.net
>山中先生の捏造問題のせいで、
IPS関連の論文捏造は助教で
山中先生は論文を捏造していない。
通報対象だな。
IPS論文捏造問題とIUT論文は無関係、
IUT論文は既に数学の論文として
疑義が指摘されていた。
1021:１３２人目の素数さん
18/01/26 10:06:48.64 tcccS1Fj.net
ハインリッヒの法則だってさ
研究不正大国ニッポン
URLﾘﾝｸ(news.yahoo.co.jp)
1022:１３２人目の素数さん
18/01/26 10:21:31.59 Pvm2dzGo.net
う
1023:１３２人目の素数さん
18/01/26 10:21:59.85 Pvm2dzGo.net
め
1024:１３２人目の素数さん
18/01/26 10:22:39.00 Pvm2dzGo.net
る
1025:１３２人目の素数さん
18/01/26 10:23:09.36 Pvm2dzGo.net
1000なら新疑惑発覚
1026:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください�
1027:B life time: 19日 23時間 45分 48秒
1028:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています