トップページ⇒math
992コメント331KB

Inter-universal geometry と ABC予想　11 [無断転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん2015/12/17(木) 16:43:59.39ID:tv0M+EMN
IU幾何とABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ
Inter-universal geometry と ABC予想　10
http://wc2014.2ch.net/test/read.cgi/math/1447408765/
0232１３２人目の素数さん2015/12/22(火) 22:18:51.90ID:I8YkhWxk
トポロジーを超える概念だもんなあ
0233１３２人目の素数さん2015/12/22(火) 22:19:36.33ID:lSYCd2Kj
ABC予想の証明は十分すぎるほどの有効な理論だろうがｗｗｗ
0234１３２人目の素数さん2015/12/22(火) 22:21:10.90ID:/M0FFvOX
フェティンコ自身は、復元の際の不安定性についてどんな見解を持ってるんだろうな。
abc予想の拡張性がないと言うならば、何に使おうとしてるのか。
0235１３２人目の素数さん2015/12/22(火) 22:31:01.47ID:6mq1td8D
>>231は>>228に向けた言葉だ
0236１３２人目の素数さん2015/12/22(火) 23:21:36.74ID:q+SdO7XQ
ま、あれだな。
対称性から外れた部分が説明できんからだろう。
0237１３２人目の素数さん2015/12/22(火) 23:25:32.31ID:KT6o94Zs
複雑系ってすでに終わった分野だろ・・・
0238１３２人目の素数さん2015/12/22(火) 23:27:53.43ID:QA5A29pP
え？
複雑系ってもう終わってたの？
AIとかでこれからとか思ってたんだけど
0239１３２人目の素数さん2015/12/23(水) 00:28:18.21ID:yjP9g1Bk
AIは幻想
0240１３２人目の素数さん2015/12/23(水) 00:30:06.70ID:uqOZsCrh
>>237
はじまってすらいない
0241１３２人目の素数さん2015/12/23(水) 00:51:32.96ID:NXqaRyOE
Szpiro予想までの最短コース明示したサーベイ書いただけで手柄として
称賛されそうだな。
0242１３２人目の素数さん2015/12/23(水) 00:52:29.70ID:WvtR9LKW
複雑系は始まってすらいないって事はカオスやセルオートマトン、非線形微分方程式等を学んでも役に立たないから、大学で学んだ知識を活かして民間企業に就職する事は出来ないんですか？
0243１３２人目の素数さん2015/12/23(水) 00:57:47.34ID:csBmSPGh
なんだか君は
「世の中の数学科卒業者は民間企業で数学知識を活かしバリバリ活躍している」
などと勘違いしていそうだな
0244１３２人目の素数さん2015/12/23(水) 00:59:00.15ID:GCwrRVix
デザイン系で使えるかも
0245１３２人目の素数さん2015/12/23(水) 01:56:06.87ID:DT6TT+7Z
実際アート系で使ってる人はまあいる
0246１３２人目の素数さん2015/12/23(水) 03:24:57.41ID:3LI9NTXG
何気にIUTⅠの謝辞にWSSpeakerだったEmmanuel Lepageの名があるな。
この人も結構読み込んでるのか。
0247１３２人目の素数さん2015/12/23(水) 03:42:42.84ID:My97mkCL
数学のワークショップでここまで事前事後に盛り上がったものなんてかつてないよなあ。
良くも悪くもだが。
とりあえずワークショップ中、２ｃｈやテキサスジジイに踊らされてＡＢＣ予想間違っている
とか嬉々として書き込んでいた情弱連中は、一回頭を坊主にして反省した方がいいと思う。
0248１３２人目の素数さん2015/12/23(水) 04:23:25.69ID:j3K3Ookt
対数リンクってのはやっぱり乗法と加法を結びつける何かってのは想像できる．．
0249１３２人目の素数さん2015/12/23(水) 05:15:03.47ID:RmY8Fn3B
>>246
https://twitter.com/math_jin/status/676637206966964224
jinが先週指摘してたりする.
0250１３２人目の素数さん2015/12/23(水) 05:26:22.40ID:3LI9NTXG
あいつ修正内容をわざわざ本編まで見に行ってチェックしてんのかｗ
0251１３２人目の素数さん2015/12/23(水) 06:09:14.50ID:rIQZW6lv
今日あたりモッチの報告来るか？
リーマン予想の進捗が最大の関心事
0252１３２人目の素数さん2015/12/23(水) 06:39:06.33ID:My97mkCL
American Mathematicians are just SHIT!
They only blamed workshop organizers and speakers if they could not understand talks without any preparation.
They may consider that they are geniuses and authorities so that they should understand everything immediately without reading anything.

interuniversal teichmuller theory Shinichi Mochizuki Ivan Fesenko Brian Conrad Clay Workshop

メリケン野郎にも読めるようにささやかながら俺も英語で苦情を書いておく。
0253１３２人目の素数さん2015/12/23(水) 08:31:24.05ID:uZDDJGxm
髭は数学者を
A. 作る
B. 作らない
0254１３２人目の素数さん2015/12/23(水) 09:24:30.54ID:tb3UCqnF
Goのヒゲは見苦しい
0255１３２人目の素数さん2015/12/23(水) 12:07:35.94ID:yENDWVlX
>>132
素晴らしい！

この訳とは関係ないですが、望月さんもgithubで著作を公開すれば良いのに。
0256１３２人目の素数さん2015/12/23(水) 12:38:15.18ID:+XezRKoF
さすがの大家も、見たこともないような数式記号が次から次へと出てきて
理解できなかったみたいだね。それなら記号の解説集でも作ったら
いいのではないか
0257１３２人目の素数さん2015/12/23(水) 12:48:27.98ID:OMOPRPsI
そうだね。予習も不十分らしいし。
まぁ、分からないことは十分な予習も出来ないけどね。
言語が分からないと話しにならないよね。
0258１３２人目の素数さん2015/12/23(水) 16:05:52.89ID:vnxpvDh7
>>132
細かいことですが5章の
準同型→同型だと思います。
02591322015/12/23(水) 16:19:14.40ID:w+JCC6A+
Qu*nta の記事も日本語訳してみました。コッソリ次に掲載しておきます。
https://gist.github.com/annonymath/d858aec07b495063850c
secret gist なので、一応公開はされているもののリンクを所持している人以外は見れません。

mathbabe と異なり、Qu*nta は明確に著作権規定を設けています。
許可なし翻訳は普通にアウトなので、SNS 等での拡散はやめてください。
現在メールで repository として公開していいか直接確認中ですが、厳しいかもしれません。
このスレ以外に漏れたのを観測し次第、上記ファイルは削除します。

>>258
おっと本当ですね…、修正しました。
0260１３２人目の素数さん2015/12/23(水) 17:12:59.03ID:c4NeTX0Y
その記事の英語はよ見やすいから別に訳いらんな。
コンラッドは助かったが。
0261１３２人目の素数さん2015/12/23(水) 19:05:46.17ID:yjP9g1Bk
これだけ翻訳作業していてご自身の仕事に差し障りはないんですか？
0262１３２人目の素数さん2015/12/23(水) 19:13:57.15ID:OMOPRPsI
大イベントも終わったことだし、
次は何だ？
0263１３２人目の素数さん2015/12/23(水) 19:28:02.72ID:iwEVv9wB
年末恒例のもっちーの検証報告だよ。
0264１３２人目の素数さん2015/12/23(水) 19:31:45.98ID:RmY8Fn3B
明日の夜かな？jinグルベール♪jinグルベール♪
0265１３２人目の素数さん2015/12/23(水) 21:49:27.89ID:l2rnkepi
Not Even Wrongのコメント欄でウォイトがフェセンコをディスりはじめてる。否定派と肯定派のバトルは思ったより熱くて面白いな！
0266１３２人目の素数さん2015/12/23(水) 22:12:07.08ID:w+JCC6A+
>>261
最初の記事はけっこうホネで休みがつぶれてしまいましたが、Qu*nta の記事はそう時間もかからず終わりましたし、趣味の範囲でやっています。
0267１３２人目の素数さん2015/12/23(水) 22:38:35.56ID:M48hxWbH
>>259
Good jobですd(^_^o)
0268１３２人目の素数さん2015/12/23(水) 22:51:34.83ID:rIQZW6lv
そこまで数学用語含めて訳ができるのなら、ShiningStarの論文英訳してあげればいいのに。
0269１３２人目の素数さん2015/12/23(水) 23:00:43.78ID:r1wCtmqY
Fesenkoがnatureに書いたコメントをabsurdとdisるDavid Hansen...
0270１３２人目の素数さん2015/12/23(水) 23:02:14.55ID:uZDDJGxm
見知らぬ人から仕事の心配されたり指導されたり
デキる子はいろいろと大変だなｗ
0271１３２人目の素数さん2015/12/23(水) 23:31:56.93ID:C4RlCmaz
>>各位
Go氏の左手薬指に注目して頂きたい。
https://www.quantamagazine.org/wp-content/uploads/2015/12/ABC_02-615x400.jpg
0272１３２人目の素数さん2015/12/23(水) 23:33:23.67ID:GCwrRVix
海原雄山
0273１３２人目の素数さん2015/12/23(水) 23:43:55.50ID:iwEVv9wB
http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Kenshou%20Houkoku%202013-12.pdf
なんか2年前の報告で書かれてた事がそのまま起こってる感じがするな。

一週間程度で本格的に理解することは不可能とか、
ABCの数値的側面ばかり見てないで、大事なのは理論の方だとか、
IUTの本筋については、既存（準備論文）の理論と同様の議論だと思うと挫折するぜとか。
0274１３２人目の素数さん2015/12/24(木) 00:28:17.02ID:GzNG+AQx
>>271
山下のホームページに妻子がいるって書いてある。
0275１３２人目の素数さん2015/12/24(木) 00:55:15.32ID:hvGZnQMc
GO人気者
0276１３２人目の素数さん2015/12/24(木) 01:02:19.59ID:mi/VXS7F
>>273
散々そう望月さんが言ってるのにも関わらず、ブラジリアン親父のように準備論文さえ読まずに出席して、挙げ句の果てにぶーたれる一流研究者がいっぱいいたんだな。ワークショップに。
0277１３２人目の素数さん2015/12/24(木) 01:29:02.68ID:mi/VXS7F
jin仕事はやっ！

2015年12月24日
　・（論文）コメントを更新：
　　Semi-graphs of Anabelioids.
　・（論文）修正版を更新（修正箇所のリスト）：
　　Inter-universal Teichmuller Theory I: Construction of Hodge Theaters.
　　Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic
　　　　Evaluation.
　　Inter-universal Teichmuller Theory III: Canonical Splittings of
　　　　the Log-theta-lattice.
　　Inter-universal Teichmuller Theory IV: Log-volume Computations
　　　　and Set-theoretic Foundations.
0278１３２人目の素数さん2015/12/24(木) 01:48:56.70ID:0s2GHDzL
あるべきはずのブツがないじゃないか。
0279１３２人目の素数さん2015/12/24(木) 01:50:42.88ID:0s2GHDzL
ていうかjinの野郎いつも早寝早起きなのに報告が近いとみて夜更かししてんだな。
0280１３２人目の素数さん2015/12/24(木) 04:48:41.90ID:s81iCLyP
今年は報告ないんじゃないのか。
去年、一昨年に比べると、世に流通している検証に関する情報が
多すぎて、いまさらモッチーがレポートするものがない気が。
結局言えることって、来年の7月に向けて準備中であるとかその程度
でしょ。
0281１３２人目の素数さん2015/12/24(木) 08:49:31.97ID:la0ocPpu
検証に何年かかるんだ？
0282１３２人目の素数さん2015/12/24(木) 10:18:26.67ID:TQfrzAB4
jin世界で大人気wwww

@Brian Conrad: Thank you for the illuminating comments and for the excellent notes on the Oxford IUT Workshop you’ve posted here (via the “mysterious” @math_jin):

http://mathbabe.org/2015/12/15/notes-on-the-oxford-iut-workshop-by-brian-conrad/

@Lieven le Bruyn: I’ve also very much appreciated your expository work on Frobenioids. Thank you for pointing out the @math_jin account, it would seem to be very useful at this stage.
0283１３２人目の素数さん2015/12/24(木) 10:30:00.58ID:lFbUvVju
>>282
jinさんの苦労が報われてるｗ
0284１３２人目の素数さん2015/12/24(木) 10:54:13.92ID:481ctTzw
ミステリアスjinワロタw
0285１３２人目の素数さん2015/12/24(木) 11:01:51.94ID:OclBNOon
同じネタで盛り上がんなよ気持ち悪い
0286１３２人目の素数さん2015/12/24(木) 11:40:37.45ID:nQTnMNrm
ギャラリーはトッププロの活躍にしか興味ないんだよなぁ。
将棋でもゴルフでもなんでもそうだよな。
（2chで活躍のプロには興味なし）
0287１３２人目の素数さん2015/12/24(木) 12:10:44.04ID:nCiWmWwB
もうじき日本のマスコミにも取り上げられるだろうからjinの野郎まとめブログにアクセス集中させてアフィで小遣い稼ぐつもりだな。
0288１３２人目の素数さん2015/12/24(木) 12:55:25.72ID:McOedLGw
>>281
検証に10年以上かかった証明もあるよ
0289１３２人目の素数さん2015/12/24(木) 13:03:15.10ID:b4CAA9b5
> 検証に10年以上
検証も大事だけど、並行してアプリケートできる対象を見つけることも重要じゃないかな
「適切な数学的理解」の正体が「美意識」で終わってしまう。
0290１３２人目の素数さん2015/12/24(木) 13:10:52.24ID:b4CAA9b5
> 望月さんもgithubで著作を公開すれば良いのに
望月さんの仕事を増やす気はないけど
公開する場所や仕組みはともかく、何らかの意味でtexソースor差分がわかるものを公開してくれれば
思考の履歴がたどれてプロ・アマ問わずハッピーだとは思う。

RHに関する追記とかも
http://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html
には書かれていないし、このスレでの指摘がなかったら気づかなかった。
0291１３２人目の素数さん2015/12/24(木) 13:15:47.67ID:nQTnMNrm
本人たちの間では既に検証は終わっているんだけれどな。
普通に考えて、本人たちは、より先に進むよな。
0292１３２人目の素数さん2015/12/24(木) 13:20:52.52ID:McOedLGw
証明が正しいとされた後に形式化して検証システムにかけたら間違いだったとわかったものも最近あるからなあ
0293１３２人目の素数さん2015/12/24(木) 13:24:24.43ID:nQTnMNrm
いいんじゃないの。
理解できるやつはどんどん先に進んで。
理解できない奴は、後に残して一流から降りてもらうで。
0294１３２人目の素数さん2015/12/24(木) 13:30:32.18ID:lFbUvVju
>>292
そ、そぉなの？
0295１３２人目の素数さん2015/12/24(木) 14:28:55.02ID:GzNG+AQx
>>292
面白そう
詳しく
0296１３２人目の素数さん2015/12/24(木) 14:40:27.31ID:Rk/3PW5B
>>287
>もうじき日本のマスコミにも取り上げられるだろうから


Kimが引き立て役という役回りで絡んでいるこの問題を韓国のマスコミがどう報じるか興味がある。
0297１３２人目の素数さん2015/12/24(木) 14:42:40.45ID:cCjdGEyy
そういやＩＵＴにもアルゴリズムって言葉が出てくるけどまさか計算機に乗るって話じゃあないよな．
0298１３２人目の素数さん2015/12/24(木) 15:00:11.51ID:OP6SJ76d
計算機に乗らないものをアルゴリズムとは呼ばないのだが
0299１３２人目の素数さん2015/12/24(木) 16:03:21.12ID:OclBNOon
>>297
その文脈では、何からの数学的な手続きのことをアルゴリズムと呼んでいる。

>>298
ほう。では、絶対ガロア群から数体を復元するアルゴリズムを計算機に乗っけて見せてくれ。
0300１３２人目の素数さん2015/12/24(木) 16:11:44.44ID:OP6SJ76d
何のことか知らないが、その口振りからすると、
その「アルゴリズム」は原理的に計算機に乗せられないにもかかわらず「アルゴリズム」と呼ばれているのか？
それとも単に未だ誰もやっていないだけ？
どちらだ？
0301１３２人目の素数さん2015/12/24(木) 16:28:43.48ID:J9kzB+Cc
>>300
恥の上塗りしてどうする
0302１３２人目の素数さん2015/12/24(木) 16:31:21.57ID:OP6SJ76d
>>301
よかったら>>299の解説をしてくれ
0303１３２人目の素数さん2015/12/24(木) 16:38:39.52ID:OclBNOon
国語力を鍛えて出直してこい
0304１３２人目の素数さん2015/12/24(木) 16:43:48.01ID:OP6SJ76d
>>303
いや、なんでここで貴方の方が逃げるんだよ…
人間の行動として不自然だろ
0305１３２人目の素数さん2015/12/24(木) 17:30:23.52ID:6zAvqwzC
>>303
2chmateでIDが望月
0306１３２人目の素数さん2015/12/24(木) 17:31:23.96ID:oLeh0nDA
電子計算機上に何らかの適切に設計された言語を用いて具体的に実装することを指して「計算機に乗せる」と言っているならば、
「原理的に可能」で、「誰も（実質的には到底不可能なので）やっていないだけ」というのが正しいと思う。
「絶対ガロア群から数体を復元するアルゴリズム」の「アルゴリズム」が通常の意味でのアルゴリズムならだけど。
0307１３２人目の素数さん2015/12/24(木) 17:35:41.58ID:GzNG+AQx
>>304
絶対ガロア群 復元
で検索すると、星裕一郎さんのpdfが出てきて、そこに「手続き」の意味に関する考察がある。
0308１３２人目の素数さん2015/12/24(木) 18:55:37.18ID:0s2GHDzL
Science Times記事になってるぞ、仕事しろjin
0309記憶喪失した男(愛知県)2015/12/24(木) 19:48:08.44ID:suUQNXlh
円城塔の「エピローグ」ポチッたぜ。
「テキスト９」の二番煎じくさいが、意欲作、最高傑作との評価により購入をけてい。

うおおおお。最先端のＳＦがここにある。
0310１３２人目の素数さん2015/12/24(木) 20:21:28.51ID:oBjlxPg/
そうか。もしかして、こういうのを指して深谷賢治とかはSFとか言ってんのか？
0311１３２人目の素数さん2015/12/24(木) 20:40:39.63ID:nQTnMNrm
君、何やってんの。こんなところで。
クリスマスだよ。クリスマス。
0312１３２人目の素数さん2015/12/24(木) 20:41:21.59ID:G+CTrAvN
クリスマスは明日だよ
0313１３２人目の素数さん2015/12/24(木) 20:46:29.01ID:3owynH1f
ケーキに合うのは日本酒
0314１３２人目の素数さん2015/12/24(木) 20:48:17.66ID:McOedLGw
もともと24日の日の入りから25日の日の入りまでがクリスマスでクリスマスの夜だからクリスマスイブ。クリスマスの前日という意味ではない。
0315１３２人目の素数さん2015/12/24(木) 20:52:20.51ID:hvGZnQMc
空気読めないなって言われるだろ
0316１３２人目の素数さん2015/12/24(木) 20:59:10.81ID:3owynH1f
酒くれ
0317１３２人目の素数さん2015/12/24(木) 21:08:30.41ID:oBjlxPg/
考え無しで行動すると悲惨なことになるぞ。
チープな考えで行動するな。これは現実だぞ。
0318１３２人目の素数さん2015/12/24(木) 21:14:53.65ID:71w/pnGK
これが本当の戦場なら「次」なんてないんだぞ
0319１３２人目の素数さん2015/12/24(木) 21:37:05.00ID:oBjlxPg/
そういうのが安っぽいと言っとるの。
0320１３２人目の素数さん2015/12/24(木) 22:07:14.43ID:uVEf/5Ar
The Twitter account https://twitter.com/math_jin is collecting links to relevant material as well (in Japanese, but usual translation techniques are passable -- thanks to +Rongmin Lu​​​ for pointing this out)
0321１３２人目の素数さん2015/12/24(木) 22:50:02.29ID:oBjlxPg/
回りくどいな。
0322１３２人目の素数さん2015/12/24(木) 22:50:12.27ID:JFso3Cwi
Xmas　http://www.youtube.com/watch?v=xz2A75jNU_g
http://www.youtube.com/watch?v=unUORQ7iv_0

戦場なら次なんてない　/名言かもな
0323１３２人目の素数さん2015/12/24(木) 22:58:08.16ID:VKO4pmGM
もっち報告ﾏﾀﾞｧ-？
(･∀･ )っ/凵⌒☆ﾁﾝﾁﾝ


ちょっとー
　はやくしてくれる？

　 ☆ ﾁﾝ　ﾊﾗﾍｯﾀ～
　　　　　　 ﾊﾗﾍｯﾀ～
☆ ﾁﾝ　 〃　∧＿∧
　ヽ＿＿_＼(＼･∀･)
　 ＼＿／ ⊂ ⊂＿)
　 ／￣￣￣￣￣ ／|
　|￣￣￣￣￣￣|　|
　|淡路たまねぎ|／
　 ￣￣￣￣￣￣
0324１３２人目の素数さん2015/12/25(金) 03:50:19.66ID:VTKKUWwM
望月新一の最新情報更新



ｺﾅｲ
0325１３２人目の素数さん2015/12/25(金) 18:24:21.69ID:PwMVqJzt
望月新一、一番最近、京都を出たのはいつなんだろう？
0326１３２人目の素数さん2015/12/25(金) 18:52:26.71ID:2R1C1DMs
クリスマスは12日
12夜やれ！
https://ja.m.wikipedia.org/wiki/十二夜_(民俗行事)
0327１３２人目の素数さん2015/12/25(金) 18:54:46.55ID:iJeyLcXx
モッチーは宇宙旅行してるから
0328１３２人目の素数さん2015/12/25(金) 19:36:40.80ID:LNqq8uG8
地に足のつかない奴だ
0329１３２人目の素数さん2015/12/25(金) 21:23:16.78ID:3msNPsSX
まあオックスのワークショップがあって、その後その感想戦が盛り上がって
やっと今すこし落ち着いたって感じか
0330１３２人目の素数さん2015/12/25(金) 22:18:58.18ID:v8zvFtH4
ｷｯﾄｷﾐﾊｺﾅｰｲ
0331１３２人目の素数さん2015/12/25(金) 22:21:51.03ID:qblQ7CJJ
雪江と代わるだろう
■ このスレッドは過去ログ倉庫に格納されています