18/01/16 08:49:41.56 7IgzrObY.net
>>653
さてはお前、アンチ互助会役員の者だな？
>>649
647は擁護互助会役員の中でも最弱
682:１３２人目の素数さん
18/01/16 09:17:38.10 GsaSdhNa.net
>>654
その可能性が高いと思うよ。
IUTの論文を読んだ人は殆どいないだろうし、不正確な解説を読むにしても、
解説は数論幾何の人を対象に書かれていて、解説を読んでも大抵の人は分からないだろう。
つーか、abc予想の話ばかりでリトルウッドの予想の話がないよな。
IUTはリトルウッドの予想のような解析的な予想には無力なんだろうな。
683:１３２人目の素数さん
18/01/16 09:26:11.48 GsaSdhNa.net
IUTを擁護する人がいるみたいだな。
684:１３２人目の素数さん
18/01/16 09:44:24.12 70Ajxrzq.net
>>656
小保方の論文は捏造
685:１３２人目の素数さん
18/01/16 11:31:13.11 xTU+JG7F.net
jinがアカ消す宣言してるよ。
まどうせまた嘘だろう�
686:ｯどな
687:１３２人目の素数さん
18/01/16 13:03:13.38 UZN5lzjq.net
数学はもちろん科学史・科学哲学などの訓練を受けた形跡も見受けられず
ともすれば学部教養レベルの知識があるのかさえ疑わしいような人間に
ジャーナリスト、インタープリター気取りで振る舞われてもただひたすら有害なだけだし
本当に今すぐ消えて二度と戻ってこないでくれ頼むから
688:１３２人目の素数さん
18/01/16 14:01:58.46 QKJhIgfH.net
数学の定理に「自明」はありえない。
特に 主定理ではね。
689:１３２人目の素数さん
18/01/16 14:56:11.42 k0gzXrDz.net
ややこしい所を避けてしまったからな
主定理の記述に葛藤がみえる
690:１３２人目の素数さん
18/01/16 14:58:45.99 jrzx/ULq.net
>>654
>>658
そういう話をしたら逆のほうが問題だろ。つまり微塵も理解しないでアンチしてるわけだ
しかもリトルウッドとか持ち出してる時点で馬鹿丸だしなんだが
691:１３２人目の素数さん
18/01/16 15:02:27.37 k0gzXrDz.net
逆だというなら主定理から解を出せ
692:１３２人目の素数さん
18/01/16 15:05:26.70 70Ajxrzq.net
>>663
細かい議論を積み重ねておいて、主定理が自明になるような論文の書き方もある。
693:１３２人目の素数さん
18/01/16 15:10:41.85 BPfjMXvJ.net
もし本当にやばいなら多分評価の部分なんだが、ホッジアラケロフだな
数学的意味は明白なんだから計算して確認できるだろ
実はあれを読んでるIUTTのフォロワー少ないんじゃないか？
694:１３２人目の素数さん
18/01/16 15:15:05.62 BPfjMXvJ.net
そもそも論として(正否は別に)望月の狙いを見通せてる奴が少なさすぎ
悪いけど本人のプレゼンにも問題ある
695:１３２人目の素数さん
18/01/16 15:23:51.08 fCNdJMOq.net
>>668
→○ あの修正箇所だ。教えてやらんが。
696:１３２人目の素数さん
18/01/16 15:25:04.48 QKJhIgfH.net
>>667
一応 論文リストがあるね。
でも、主定理が自明 ではないようだね。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
697:１３２人目の素数さん
18/01/16 15:27:17.44 GsaSdhNa.net
>>665
リトルウッドの予想はabc予想と同じように
ディオファンタス近似の有名な予想なんだが。
698:１３２人目の素数さん
18/01/16 15:27:54.91 BPfjMXvJ.net
>>670
修正したのに間違いがあんの？PSの奴じゃなくて？
699:１３２人目の素数さん
18/01/16 15:46:20.61 KWje4BZG.net
>>672
同じディオファントスでも文脈が大分違うんだが
この予想への近似的なアプローチが未だに乏しいのもそれが理由
それならBSDのほうがまだ近いわ
700:１３２人目の素数さん
18/01/16 16:15:35.47 UP9ERVfy.net
査読できた人間がその種の問題の証明ができないのも変な話
701:１３２人目の素数さん
18/01/16 16:23:02.13 70Ajxrzq.net
>>671
君が
>数学の定理に「自明」はありえない。
>特に 主定理ではね。
と一般的な命題として述べたので、一般的には必ずしもそうではないと言った。
>>671では反例を挙げたことにならない。
702:１３２人目の素数さん
18/01/16 16:43:43.10 WYv1LfQJ.net
さすがに素人なのに数学者にやや攻撃的に絡んだりするのはどうかなとは思うけど、批判が多いから消すの？
703:１３２人目の素数さん
18/01/16 17:04:10.32 5yLhYi25.net
小保方より生物に詳しい報道関係者がいたのか
704:１３２人目の素数さん
18/01/16 17:09:44.97 GsaSdhNa.net
>>677
スレの流れからは文脈上意味を把握出来ないレスだが、一体何を消すんだ？
705:１３２人目の素数さん
18/01/16 17:10:52.20 KWje4BZG.net
ひとまずワイルズ理論と関連付けるのが先だな
それは3年あれば十分できたと思うんだが、まだできないの？
IUTTだけに集中できるような人ならね
706:１３２人目の素数さん
18/01/16 17:12:25.81 7bqT0lRK.net
余白は足りてるが自明→証明完了
707:１３２人目の素数さん
18/01/16 17:28:40.02 GsaSdhNa.net
>>674
やはり、リトルウッドの予想は解析的手法で攻めることになるんだろうな。
まあ、難しいけど。
708:１３２人目の素数さん
18/01/16 17:42:46.56 KWje4BZG.net
Green-Taoや弱双子素数は予想以上に代数幾何学的な文脈を使っているけどな
ただ、実数が強く絡むと既成の数論幾何は宇宙際も含めとことん弱いのも確か
少なくとも解析的な手法を組合わせる必要があるだろう
709:１３２人目の素数さん
18/01/16 17:48:35.07 KWje4BZG.net
関係ないが、どうも解決直後の黒川先生は解析寄りの積分として理解しようとした節があるな
「体積計算」と言い換えたほうがいいんだけどね
ゴリゴリの圏論からの積分とか言われてもそりゃピンとこなかったろうな
710:１３２人目の素数さん
18/01/16 18:27:29.23 I1KgOdHv.net
>>676
>>671の論文で RIMSはPreprintが多い。
RIMSの正式な論文ではないよね？
711:１３２人目の素数さん
18/01/16 18:28:20.92 Jq2w4/Ka.net
黒川氏の『２１世紀の新しい数学』では、望月氏はF１スキームや
F１上の幾何を使っていると書いているけどそうなの？
もし、そうなら黒川氏の絶対数学とも関わらないはずはないな
712:１３２人目の素数さん
18/01/16 19:38:03.64 70Ajxrzq.net
>>685
意味不明
713:１３２人目の素数さん
18/01/16 19:45:18.32 QKJhIgfH.net
preprintはarxivにある査読なしの論説 論文と
同等だ。
714:１３２人目の素数さん
18/01/16 22:01:21.43 OXArtbTK.net
定理は、公理や定義から証明されるものだから、公理からでなくても良く、定義から証明しても良いので、主定理がなくても、、、
新しい理論系とか。
715:１３２人目の素数さん
18/01/17 00:54:58.39 obwJAFsh.net
>>686
絶対ガロア群とモノイドをベースにして環の分解と関数空間を構成しているので
絶対数学といえば絶対数学の一種になっている
環より一般的な代数系を利用しているものはどれも絶対数学的な側面があるよ
しかし、IUTTの場合はどちらかといえば「整数環をモノイドのような基盤で分解したり
関数として扱う」論拠として一元体を手段的に経由しているので
意識的に一元体の上に数学を構成するという意味での絶対数学とは言えないだろうな
まあ絶対ガロア群のエタール系とフロベニウス射・モノイドの座標変換(LT-lattice)の
基盤はモノイド(gaussian monoidなど含め)なので、かなり絶対数学的な要素は強いけどな
716:１３２人目の素数さん
18/01/17 02:39:15.64 2eqsOxom.net
jinこと仁美が女であることが発覚したツイート
女子中高生向けのものとか行ったってことは実は若いのかも知れん
こんだけ行ってたら全体写真とかあれば検討つきそうなんだが…
math_jin ‏@math_jin
行く予定
3月11日 森重文先生最終講義＠京大
3月13日 数学の魅力ー女子中高生のためにー＠東大
3月28日(～4月4日) KTGU-IMUセミナー＠ＲＩＭＳ
3月29日 女性数学者のためのワークショップ＠ＲＩＭＳ
4月28日 ロマンティック数学ナイト＠六本木
#math
717:１３２人目の素数さん
18/01/17 03:00:57.74 jvbJUDBI.net
そんなに仁美に興味あるなら、新アカウントで活動するみたいだからDM送ってみればw
math_jin
Recently, I set up account about IUT information collection bot at another inter-universe.(closed space)
If you want to catch information on this account, plea
718:se contact me via DM. #IUTABC
719:１３２人目の素数さん
18/01/17 03:28:20.84 0LMLFy16.net
>>663
ピタゴラスの定理は、
概念からなる図を書いて定義すれば、導出された数式は自明
720:１３２人目の素数さん
18/01/17 05:45:32.77 z6dmjT06.net
>>693
ピタゴラスの定理が自明である訳ないでしょアンポンタン
現代数学的には「正方形」だけを既知とすれば
三角関数の無限級数による定式化の過程で自然に証明されるはず
初等的にも3行くらいで済む簡潔な証明もある（ユークリッドの公理は既知として）
721:１３２人目の素数さん
18/01/17 06:05:42.10 0LMLFy16.net
>>694
概念は図を見るだけで、自明だよ。
では一般論として、もととなる定理は、何の定理で導出されるのかな。
そのまたもとの定理は、何の定理で導出されるのかな。
無限に、もとの定理がある訳がないので、最初の定理があるはず。
その最初の定理は、何か定理で導出されないと、いけないの？
722:１３２人目の素数さん
18/01/17 06:32:02.92 z6dmjT06.net
>>695
一行目は藁人形論法のすり替え、今問題にしてるのは何某か(？)の概念の方ではなく
ピタゴラスの定理の導出だったはず、そして2行目以降の
指摘については「とてつもなくごく自然な前提」は存在する
その前提以上を更に遡るとそれは最早数学ではなく数学基礎論
723:１３２人目の素数さん
18/01/17 06:40:31.44 0LMLFy16.net
>>696
「とてつもなくごく自然な前提」は、「自明」と同じだから、
定理の中には、自明ですむ定理もある。
そうすると、
＞数学の定理に「自明」はありえない。
＞特に 主定理ではね。
は、反例となる数学の定理がある、ことになり、
「数学の定理に「自明」はありえない」という命題は、否定される。
724:１３２人目の素数さん
18/01/17 06:48:52.14 jvbJUDBI.net
jinの新アカ見つけた人いる？
725:１３２人目の素数さん
18/01/17 07:29:20.38 oMWL+e2B.net
「万物は数」のピタゴラス教団は
閉鎖された秘密結社だった。
暗黒の言い伝えが残っ ている。
教団はピタゴラスの定理を発見し、
始め相似による証明を与え神格化した。
音階を作り宇宙の調和を追求した。
無理数を発見したが、無理数へ緘口令
が引かれた。
緘口令の掟を破り 教団外部へ無理数を
漏らした者は海へ投げ捨てられた
そうだ。
726:１３２人目の素数さん
18/01/17 07:59:25.77 OtB4Jdqn.net
>>698
見つけた。鍵アカウントでフォロワー数5人しかいない。
727:１３２人目の素数さん
18/01/17 08:03:35.07 oMWL+e2B.net
>>697
宇宙際教団と詭弁が似合いそうな方ですね
728:１３２人目の素数さん
18/01/17 09:39:18.34 fQ2BrXIt.net
自明が通じない相手が、数学基礎論くらいから
で 話さないと分からないなら、たまらないね。
729:１３２人目の素数さん
18/01/17 10:07:24.50 0RjgwMjs.net
ファルティングスやショルツがわからないのになんでIUT教団如きがわかるんだ
730:１３２人目の素数さん
18/01/17 10:22:01.80 z4WPBZ2A.net
おまえらがjinjinと連呼するから人気者と勘違いしてまた活動再開してるぞ草
731:１３２人目の素数さん
18/01/17 10:52:08.84 TlTsZHc3.net
心配するな、おれたちのjinは必ず戻って来る。今まで何度もあったことじゃないかw
スレ12より
562 ：１３２人目の素数さん：2016/03/17(木) 00:59:33.22 ID:4QsSt0Rb
jinがもし女なら、数学のだめさ以上に致命的なのはあの英語のできなさ。
コンラッドやボロックのレポートレベルで、あたふたしながら誤訳をツイード
し続ける物悲しき姿は、バーコード禿げのおっさんにしか許されない。
732:１３２人目の素数さん
18/01/17 11:12:23.61 zpG1RBln.net
>>690
全くトン�
733:`ンカンな事を言ってたらスマソ 黒川氏はゼータ関数統一に関しての研究者で、当然ラングランズ思想にも肯定的。 その研究で黒川テンソル積を発明してゼータ解析に持ち込むが、それは多重三角関数の研究から来たもの。 IUTTもある意味乗法的ホッジ劇場や加法的ホッジ劇場などの多重を行うが、ある意味多重三角関数の 宇宙際化というものに近いとか？宇宙際フーリエ変換てのもあるというし。黒川テンソル積も多重。 その辺りにゼータの統一やラングランズ思想が関わりはしないの？
734:１３２人目の素数さん
18/01/17 12:21:53.95 G5voxvRs.net
叩いてたらいつの間にか恋をしてたなんてことにならないようにな
735:１３２人目の素数さん
18/01/17 13:24:13.32 6Dlb45na.net
「正忍伝」読了。
作者、名取兵左衛門。名取とは匿名という意味で、本名は藤一水子正武だといわれている。
堂々と、忍者とは盗人であると書いてある。ありえんだろ。ぶっ殺すぞ、忍者。
盗人から見た日本の歴史が書いてある。
盗人を手下としてよく使ったのは、聖徳太子、源義経、楠正成、徳川吉宗であるという。
忍者の起源をたどると、中国の黄帝や孫武にまでさかのぼるという。
夏王朝を滅ぼしたのが、盗人を従えた伊尹であると伝わっているので、忍者は王朝を滅ぼす技術であったのは常識のようだ。
忍者は、よく人の近づくものが良いとされ、美男美女を堂々と人のよく近づくものとして認識している点は凄まじいの一言である。
「人の善意は最大の隙なり。」と書いてあるよ。ありえねえよ。
大将と敵大将の使者についていくことが牛馬の術というらしい。
「喜怒哀楽愛悪欲」この七つの心はもともと先天的に人が持っている感情だと述べている。
736:１３２人目の素数さん
18/01/17 13:32:41.06 G5voxvRs.net
宇宙際について実は前から引っ掛かってたことがあるんだが
代数幾何は古いとか10年くらい前にどっかのスレで言ってた奴がいたのね
滅多に数学板見なかったんだけど、たまたまそれを見たわけ
そしたら遠アーベル幾何は、って聞いた奴がいたのね。突然
で、そこで古いと言った奴が「これからは宇宙の数学の時代ですよ」みたいなことを言った
そこでやり取りが終わった
まさか遠アーベルの話をしたのは望月本人で、対抗してあんなコンセプトを
持ち出したのでは、とどこかで疑っているんだよな
737:１３２人目の素数さん
18/01/17 13:36:32.22 G5voxvRs.net
ちなみに、俺がそこを見たのが何年前かは覚えてない。10年前ではないはず
とにかく古いレスだったのは確か
738:１３２人目の素数さん
18/01/17 13:43:32.83 TlTsZHc3.net
これはjinに替わる逸材の登場か？
739:１３２人目の素数さん
18/01/17 15:26:29.56 r8X/QaLh.net
誰がなんと言おうとjinはオワコン
永久に鍵アカウントに引きこもっとれ
740:１３２人目の素数さん
18/01/17 15:41:45.20 G5voxvRs.net
>>711
別にそんな電波話じゃねーだろ。高い確率とは思わないが
ブログ見ると軽く5chくらい見てても不思議じゃないしな
741:１３２人目の素数さん
18/01/17 15:56:43.28 HMlNIrgK.net
>>583
深く考えるなもなにも、ここからしてパニック状態やぞ
物理屋はさっさと幾何に話を進めてってるけど
数学的には3年ほど前にようやく進展が見られたかなという程度
742:１３２人目の素数さん
18/01/17 16:27:13.45 TlTsZHc3.net
jin様は鍵垢に満足するようなタマじゃねーよ
jin様はなあ、JK
743:、白ワンピース、大柄な菅野美穂という噂まであるんだぞ（自○ 俺の知人にツイッターで斎藤由貴似と言っている吉田沙保里を馬面にした強烈なババアがいるが それと お・な・じ・だ！！！ こんな腐れマ○コがおとなしく引きこもるわけねーよ
744:１３２人目の素数さん
18/01/17 16:34:11.22 n60aXsRC.net
>>709-710 >>713
モッチーが遠アーベル幾何を研究し始めたのは20年以上も前のことで
1997年（ちょうど21年前）に遠アーベル幾何で大きな業績を挙げて日本数学会賞を受賞した。そんとき望月新一の名は数学界で広く知られることになった。
そんで、そのモッチーがIUTなる理論でabc予想を解こうとしてるなんて噂は2003年くらいから流れてたよ。
2003年の研究集会で初めてIU理論の講演をしてる。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Hokudai%202003-11).pdf
2000年代は（加藤ブンゲンを含む）多くの数学者が数学板を闊歩してたんだから
研究集会でモッチーの話を聞いた誰かが数学板にカキコしたんだろ。
それを通りすがりの >>709 が見たわけだ。
745:１３２人目の素数さん
18/01/17 17:24:20.19 G5voxvRs.net
>>716
確かに2012年より前に覗いた時も望月新一の名前はあったと思うね。経歴が経歴だから
それなりに有名だったろうし
しかしIUTって名前は一体いつ頃から出たのだろう？2003年にはあったの？
自分が見たやり取りは多分2005年前後だったと思うんだが
746:１３２人目の素数さん
18/01/17 17:38:59.63 n60aXsRC.net
>>717
先述の通り2003年にはあった
2003年の九大や北大での研究集会の講演で「IUT」という用語が出てきてる
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
しかも2001年の名古屋大の講演で既にアイデアの片鱗が見かけられるな
本人の記録によるとアイデアの着想があったのは2000年夏だそうだ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
747:１３２人目の素数さん
18/01/17 17:57:03.26 mZCIBayH.net
なんか朝日の朝刊一面の所為でノリが二十年以上前の朝日ワンテーママガジンのアブない数学みたいになっとる
748:１３２人目の素数さん
18/01/17 19:17:07.86 dw/KBEnb.net
地底jin
749:１３２人目の素数さん
18/01/17 19:32:31.28 wQOzYkML.net
また懐かしい本が
750:１３２人目の素数さん
18/01/17 19:46:35.08 Zh91Pg0h.net
>>719
あの頃は山下純一と大沢健夫が同じ雑誌で連載するなんて夢にも思わなかった。
751:１３２人目の素数さん
18/01/17 19:52:38.94 9BtkzFPq.net
>>700
５人w 重要ねェんだなw
>>707
んな奴おらんがな
752:１３２人目の素数さん
18/01/17 20:01:44.49 9BtkzFPq.net
>>691
そんなことに興味あるなんてお前は変態だ
物好きが過ぎるぞ
753:１３２人目の素数さん
18/01/17 20:22:07.56 mOCyBmAY.net
>>719
ああいう本は本来出版されちゃあいけないんだ
世紀末だから許された感がある
754:１３２人目の素数さん
18/01/17 22:14:25.72 mZCIBayH.net
別冊宝島の真似したムックだろ単なる。
自由国民社の現代用語の基礎知識パクったイミダスもとっとと撤退したしアーカイヴ性のない言論文化で刊行してる左翼保身営利メディアが悪いだけ
755:１３２人目の素数さん
18/01/18 01:05:46.16 C1ukLYts.net
よくぞ、よくぞ、みなもと太郎の「風雲児たち」をすすめてくれました。
全２９巻のところ、まだ４巻までしか読んでおりませんが、
これこそ男たちの生き様であると号泣しておりましす。
歴史漫画の史上一位であるのは当然のこと、１８００冊ほどしか漫画を読んでないわたしの五本の指に入る傑作です。
横山三国志などすでに時代遅れ。
「風雲児たち」こそ、日本男児が読むべき本にございます。まことにありがたき教えをいただき感謝このうえなきこと。
死ぬまでに「風雲児たち」を読める幸せは至極格別でございます。
756:１３２人目の素数さん
18/01/18 08:51:04.23 lh+PvJZa.net
常温核融合を思い出す
757:１３２人目の素数さん
18/01/18 08:59:09.80 r7Iyhb90.net
タイムマシン理論を思い出す
758:１３２人目の素数さん
18/01/18 09:18:57.47 ydqHYqpV.net
数秘術を思い出す
759:１３２人目の素数さん
18/01/18 09:36:31.48 TuscCaUC.net
>>722
よく覚えてるな、そんなことw
760:１３２人目の素数さん
18/01/18 12:36:17.90 jvPO2phr.net
>>720
地底jinも知らないうちに最低jinから攻撃を受けているぞw
761:１３２人目の素数さん
18/01/18 12:41:54.84 4f9ERdck.net
地底jinのフォロワー増えてる
海外のやつが多いな
762:１３２人目の素数さん
18/01/18 12:56:33.26 jvPO2phr.net
地底jinをフォローする海外の最低jinたちw
「お おまー あっあ、あほやろー」
「わ、わーは、あ あっ あほっちゃうどー」
「お おまー・・・・・・」
以下略
763:１３２人目の素数さん
18/01/18 14:30:40.29 X1C7EBZf.net
ボケjinがいなくなって清々したわ
二度と現れんなゴミ糞ババア
764:１３２人目の素数さん
18/01/18 14:48:49.70 GdJ6QcwH.net
jin は公害なみの害悪
765:１３２人目の素数さん
18/01/18 14:49:51.21 952qrZfC.net
必ずしも深いとは言い切れないからこれ誰も触れないが、
テータ関数というよりガウス積分を強調した理由は、やはり経路積分を何らか意識している
のではないか？
ストリング理論の数学ではリーマン面の経路積分をモジュライにより調べるのが
今までにできる最大限の努力だしな
勿論厳密に言えば、ガウス積分は経路積分の基礎、ではない。技術的な手段だ
望月さんはヒストリーに影響を受けやすいのか、ウィッテンとの出会いを重視してそうだ
766:１３２人目の素数さん
18/01/18 14:57:32.07 952qrZfC.net
まあ、二次形式故にディラック作用素でもガウス積分ってのは顔を出すんだが、
あんまり経路積分以外でテータよりガウスを強調する書き方って見ないからさ
遡れば最初研究紹介のページを見た時にコンツェビッチ関連で
経路積分を意識してるかなと思ったんだ
767:１３２人目の素数さん
18/01/18 15:17:29.43 1PCBpbS1.net
物理のストリング理論は発見なのよ。
人工的に手を入れる数学とは違うね。
768:１３２人目の素数さん
18/01/18 15:33:37.39 952qrZfC.net
>>739
まさにそうだよ。発見法は経路積分に当たる
数学ではそれをモジュライとして調べる
経路積分はいわゆる加法速度論ではない。無限次元積分として理解しようとした
数学者は20世紀に少なからずいて、失敗している
だから非環論的な観点でガウス関数を考えるというのも可能な解釈として意味がある
769:１３２人目の素数さん
18/01/18 20:05:31.41 1PCBpbS1.net
経路積分は量子化、グリーン関数、
で物理のツールだ。
数学なら1次元は仕事があるが、
特に 4次元相対論的場の量子論が困難だ。
まずファイマン カッツの公式から。
ま、物理のインスタントンもモノポールも
数学が借用して数学対象にした。
770:１３２人目の素数さん
18/01/18 21:54:37.26 952qrZfC.net
>>706
多重三角関数は絶対ゼータ関数の一種だから、確かに宇宙際フーリエ変換に対する
ツールを提供できるだろう
しかし、絶対数学として見た時に宇宙際幾何学の完成度が何処まで高いのか？
集合論や集合宇宙は絶対数学で何処まで必要な概念なのか？
この辺は今のところ何とも言えない部分と言える
多重三角関数と黒川テンソル積は歴史的な存在感が完全に保証されてるレベルだな
771:１３２人目の素数さん
18/01/18 22:54:48.69 jvPO2phr.net
>>742
奇しくもIDがZFCになっているよ
IUTT-ⅣのSection 3: Inter-universal Formalism: the Language of Speciesはよくわからん
772:１３２人目の素数さん
18/01/18 23:35:25.84 952qrZfC.net
>>743
>>430>>431の、絶対ガロア群の商から来るFrobenioidのコピーであるとか、
総じて絶対ガロア群によるスキームの宇宙群の組合せ論的な特徴付け(DNA)
Core/multiradialのような、宇宙際のスケールで見た時の各々の宇宙の識別・同一視
そういう絶対遠アーベル的な視点から生物学の言葉をとったと思われる
つまり、集合論だけだとスケールの大きな関数空間を扱うには足りないので
効率的に巨大な数学的対象の処理を行う設定が必要である
それは必ずしも絶対遠アーベルだけでなく、広く数学の基礎論とできるだろうという感じか
773:１３２人目の素数さん
18/01/18 23:38:26.41 952qrZfC.net
↑絶対ガロア群の(部分)商から来る、というか部分商が作用するFrobenioidのコピー、だな
細かい話は別にいいと思うがw
774:１３２人目の素数さん
18/01/18 23:52:01.04 jvPO2phr.net
>>744
レスありがとう
正直言ってIUTTはよくわからんので、↓のHPの以下の指摘・意見はどうなんだろう？
URLﾘﾝｸ(www40.atwiki.jp)
----------引用開始----------
以下の問題点が指摘されている。
・同じ言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない。
・ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。
これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV
の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、著者が数理論理学について理解をしていない
可能性があるという意見がある。（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。）
---------引用終了-----------
775:１３２人目の素数さん
18/01/18 23:52:34.60 Oa5WkY3D.net
絶対ガロア群とかフロベニオイドのような具体的な対象は
個々のグロタンディーク宇宙に属していると考えているんだろうが
個々のグロタンディーク宇宙自体はどこに属していると考えているのか？
776:１３２人目の素数さん
18/01/18 23:53:20.58 Oa5WkY3D.net
あとSpeciesの定義と具体例のわかりやすい解説キボンヌ
777:１３２人目の素数さん
18/01/19 01:09:18.39 52lt0jRC.net
>>746
そんなサイトあるんだ
正直言ってあまり断言するようなことを言うべき段階ではないけど
絶対遠アーベル的な観察から数学の基礎として論じるには早まったという可能性はあると思う
しかし、見るところその二点は例のセクションの思想に対し完全に致命的な議論には見えない
ZFCの公理が無限であるというのも、ユーザである非論理学者と論理学者では
捉え方が違うだろう。強いて言えば、もう少し「直観的」な階層性の整備を論じているのが
論理学者的には厳密性において違和感を与えているように見える
778:１３２人目の素数さん
18/01/19 02:15:47.76 nZC5+R6V.net
軽く寝る前に一つ足すと、基本的な想定舞台はトポスなんだろうけど
トポスではできる、と非論理学者の数学者が感じていることをZFCや集合論の基礎に
翻訳するのは厳密性の点で難しいのかもしれない
まず集合論として注意が向いてるのは基本的な包含関係や選択公理との整合性だと思うので
数学者が大丈夫だと感じるなら大丈夫だと思うな、本質部分は
779:１３２人目の素数さん
18/01/19 10:32:18.88 Fw5dBXWi.net
またトンデモを連れてくるから期待させるなよー
>>116-122 辺りが解決しないと結局は袋小路
780:１３２人目の素数さん
18/01/19 11:02:23.89 40eivbEl.net
ボクもテータ関数という〔魔法のじゅうたん〕を使いたいです
781:１３２人目の素数さん
18/01/19 11:13:47.91 YzalHj4M.net
数秘術の理論は ジョンキング著 数秘術、、
782:１３２人目の素数さん
18/01/19 11:13:55.88 7WrIkJv/.net
不便なものさしに続いて魔法の絨毯の発売希望
783:１３２人目の素数さん
18/01/19 14:48:40.31 i0GQj2Sd.net
でも周期予想って「意外と代数凄くね？」という予想であって
「代数的手法は袋小路」って話とはまた違うような
てか、若林君まさか自己ステマしてないよね
784:１３２人目の素数さん
18/01/20 01:10:38.36 7BOOEU80.net
新一の「心の一票」はやはり本人のブログなのかな？
ツイッターやってる近しい人たちからも否定の声が上がらないし
せ○○ーんだったけ（間違ってたらゴメン）「ついにバレてしまった」みたいなツイートしてたのは？
本人だったとしたらあの内容は驚きだわ
違うのだったらツイッターやってる近しい人が否定のコメント出したらいいのに
785:１３２人目の素数さん
18/01/20 02:41:08.35 eFnZZ79G.net
>>756
せ○○ーん以外にも同様のツイートしてた人が一人いた
二人に共通しているのは某数学イベントに参加してた人間だってこと
おそらく某数学イベントでブンゲンがバラしたものと思われる
786:１３２人目の素数さん
18/01/20 03:44:21.90 SdK8jIbd.net
一見すると思ったより俗っぽいなとか感じるかもしれないけど
数学と同じようにあらゆる物事を見ているんだな、という意味では期待を裏切ってないよ
787:１３２人目の素数さん
18/01/20 04:40:33.09 pcsJnTBA.net
草
788:１３２人目の素数さん
18/01/20 11:13:10.83 Sxle5g6M.net
） ｿ ,. .' ／＾＾⌒＾へ
´) ( ）ｿ .' ,. / （0＼）》）ノ) .' ＇
).' ) )丶 ． ξミ ￣ ⌒∞＼.'´＂.' ／巛／巛／巛／巛／巛／巛
丿 . ｿ( . ' 彳ゞ:》 |＼＿＿＿＿）..'’: .:┏┓ ┏━┓ ┏┓巛
(: ')) ,. .': ゞ》ソ/ | ∨VVVV∨ ┏┛┗┓┃┏┓┃ ┃┃ ＜
（ ﾉ. , 彳》ゞ/ | (｀･ω･´) ＜ ┗┓┏┛┃┗┛┃┏━┓┃┃ 巛
.'/| .'.） ゞ》ゞ/ ＼/VVVVV) ┏┛┗┓┃┏┓┃┗━┛┃┃ ＜
／/.'; : 彳ｼ ＼ ￣￣￣／ ┗┓┏┛┗┛┃┃ ┗┛ 巛
（ ' ヽゞゞゞゞｿξ ＼ ⌒＼ .| ⌒＼ ┃┃ ┃┃ ┏┓ ＜
ヽ ´⌒⌒ 入（ ソ `ＶＶＶ ﾉ）`ＶＶＶ ┗┛ ┗┛ ┗┛巛
).'＼ （ ノーー-、＿／ーー-、 ＼巛＼巛＼巛＼巛＼巛＼巛
｀ーー-（ (＼＼＼ (＼＼＼
￣￣￣�
789:P＾⌒＾⌒ ￣＾⌒⌒ 天皇陵発掘される。 行燈山古墳(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)。
790:１３２人目の素数さん
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とか呼ばれるんだろうか？
791:１３２人目の素数さん
18/01/20 12:03:41.30 cHWKW//t.net
呼ばれないよ、自明だから
792:１３２人目の素数さん
18/01/20 12:07:06.06 Q5HNpKNU.net
ガウスからアーベル、ヤコビ、リーマンの時代なら
40年位かけて起きる事柄や手紙のやり取りが、
数年に凝縮しているからな。
津田塾の数学史シンポジウムの記録に
載せて欲しい
793:１３２人目の素数さん
18/01/20 13:54:44.31 IiExePrl.net
IUTが出来て、環論スキーム論による数学という概念から、位相群やモノイドによる数学が使えることで、今までより精緻な議論が可能になる。大幅な拡張、これが一番のポイントな。
794:１３２人目の素数さん
18/01/20 14:05:08.48 TMW1LCaZ.net
それならなんでIUTにはコホモロジーがないの？
795:１３２人目の素数さん
18/01/20 14:41:29.31 IiExePrl.net
結局既存の数学的対象を分解して再構築するんだから、コホモロジーも糞もないわな
796:１３２人目の素数さん
18/01/20 14:45:02.28 TMW1LCaZ.net
それなら再構築の過程でコホモロジーも作れんじゃない？
797:１３２人目の素数さん
18/01/20 14:51:38.68 IiExePrl.net
それはそうかもしれんな。そこまではまだ解読できとらんわ。
798:１３２人目の素数さん
18/01/20 15:05:06.74 eFnZZ79G.net
>>765
それはお前の思い込みだな
IUTの中でホモロジーは使われてる
>>766
分解して再構築するからこそ
コホモロジーのような数学的道具を使う必要がある
799:１３２人目の素数さん
18/01/20 15:07:00.88 eFnZZ79G.net
>>769
コが抜けちまった
800:１３２人目の素数さん
18/01/20 15:08:54.80 o1bhbh2V.net
確かにモノイドはスキームを分解する手段だ
位相群についてはmono-analyticな空間を計算するためのツール
これが意味するのは、スキームを乗法的に分解してから、環部分と単解を区別しての
計算が必要だったということ
さらに、環部分をアルゴリズムで区別する必要があったということ
多分、構造的に選り分けることが宇宙際では大事ですよね、と望月さんに聞いたら
頷くんじゃないの
801:１３２人目の素数さん
18/01/20 15:11:52.14 TMW1LCaZ.net
環から加法を忘却したり乗法を忘却したりしてるわけでしょ？
802:１３２人目の素数さん
18/01/20 15:13:32.34 o1bhbh2V.net
位相群自体は多様体では馴染みあるものだけど、普通代数幾何学では
それ自体を利用することはないんだな
望月さんが単解性をブログで強調するのは、普通の環論より広い話をしているから
803:１３２人目の素数さん
18/01/20 15:15:44.92 o1bhbh2V.net
>>772
加法と乗法を群論的に分けること自体は整数論で前からやってるのよ
ワイルズだってやってる
宇宙際では整数環の抽象的な二次元座標としてそれを考えてるのが
新しいっちゃ新しい
804:１３２人目の素数さん
18/01/20 15:20:47.79 TMW1LCaZ.net
>>769
フロベニオイドにコホモロジーが定義できるということ？
805:１３２人目の素数さん
18/01/20 16:28:11.23 zyXn/NtM.net
well-defined 、
定義できないことも多い。
806:１３２人目の素数さん
18/01/20 17:18:16.10 TMW1LCaZ.net
コホモロジー群がダメでもコホモロジーモノイドが定義できるとか
807:１３２人目の素数さん
18/01/20 17:23:17.45 AksEd9W6.net
一旦従来の数学を細かく砕いて原子のようにし、そこから復元、再構築するという操作は、まさに望月オリジナル
808:１３２人目の素数さん
18/01/20 17:45:07.54 kf6ywpqg.net
１つの情報で２つの情報を持つことは可能
パチンコ玉１個につき３ｇでどうだ
809:１３２人目の素数さん
18/01/20 17:50:54.63 Xs97C/Ua.net
>>778
それってmotivicalな考えじゃない？
810:１３２人目の素数さん
18/01/20 18:14:21.36 o1bhbh2V.net
絶対遠アーベル自体がgeneralized motiveの派生である可能性が考えられる
実際グロタンディークの思考遍歴をデータから推測するとありそうだ
これについては最低二つ、支持するものがある
飯のネタだから言わないけども
どのみち、望月さんが超人だとは俺は思わないんだよね、代数幾何だけに限っても
他にも宇宙際がカバーしてない部分があるわけで
811:１３２人目の素数さん
18/01/20 18:21:05.04 o1bhbh2V.net
前に似たようなことを書いたけど、それとは話が違う
これは代数幾何学的な絶対遠アーベル幾何学の位置付けの話だから
812:１３２人目の素数さん
18/01/20 18:50:16.16 TMW1LCaZ.net
で、査読の結果どうなってますか
813:１３２人目の素数さん
18/01/20 19:01:09.84 QxqL/oIU.net
そんな還元主義的に理解できる代物だとは思わないねえ
814:１３２人目の素数さん
18/01/20 19:10:06.62 szAYrOyQ.net
スタンダード予想の裾野の更に外側に出たとか？
815:１３２人目の素数さん
18/01/20 19:11:01.70 GPhzMbS8.net
>>783
jinにでも聞け
816:１３２人目の素数さん
18/01/20 19:22:05.81 fTDe3YpW.net
英語版のうぃきみて悟った。
デイビッド・マッサーと望月はドレスが青にみえてるにちがいない。
URLﾘﾝｸ(kazoo04.hatenablog.com)
817:１３２人目の素数さん
18/01/20 19:27:33.29 AksEd9W6.net
>>783
朝日の報道だと早ければ1月
818:１３２人目の素数さん
18/01/20 19:52:22.13 7BOOEU80.net
SSさんが来てたのかな？
ブログの件だけど、あまりにそのまんますぎて眉唾物に思ってたんだけど、どうやら本人みたいだね
なんと言うか、率直な人だなあ
819:１３２人目の素数さん
18/01/20 20:41:31.05 t/WtF8y3.net
>>784
やはり Numerology だね
820:１３２人目の素数さん
18/01/20 21:26:42.59 QxqL/oIU.net
忘れ去られた数学って明倫館書店で200円くらいで売ってる
なんか悲しい
821:１３２人目の素数さん
18/01/20 21:58:38.48 o1bhbh2V.net
還元主義は大事だけどな
最近だと物理で量子力学から熱力学第二法則を出した話があったしな
822:１３２人目の素数さん
18/01/20 22:05:06.02 IiExePrl.net
環の分子レベルまでの解体と再構築
数学の歴史上はじめての手法だわな
823:１３２人目の素数さん
18/01/20 22:29:57.63 GlDZKSR0.net
>>793
分子レベルとか馬鹿か
824:１３２人目の素数さん
18/01/20 22:31:02.82 7BOOEU80.net
>>792
そう言えば、佐藤幹夫先生が対談でデカルトを思想家としてではなく
数学者としてしか興味がない、みたいなことを言ってたことがあるよね
『佐藤幹夫の数学』だったっけ、いま手元にないのだけど
825:１３２人目の素数さん
18/01/20 22:47:32.88 t/WtF8y3.net
ニュートンと思うな。
1637 デカルト方法序説 発刊
「幾何学」記号代数
1663 ニュートンの師 バローがルーカス就任
↓
デカルト幾何学を考察
三次曲線の分類 曲線図形の求積法 考察
↓
1687 プリンキピア 発刊
ケプラーの法則から万有引力の法則を
厳密に。証明。
ケプラーの方程式は解析的に解けない。
(ニュートンは べき級数解法、近似解法の
ニュートンの多角形、を知っていた)。
代数曲線の定理がある。←アーノルド
↓
1706 光学 付録 三次曲線の分類
曲線図形の求積法
826:１３２人目の素数さん
18/01/20 22:48:10.73 riqknH6L.net
還元つったら集合論で十分じゃん。
827:１３２人目の素数さん
18/01/20 22:50:36.61 IiExePrl.net
>>794
もののたとえだよボケ
828:１３２人目の素数さん
18/01/20 23:20:47.39 7BOOEU80.net
なんとな～くだが、ふとヘルマン・ワイルという名を思い出してしまった・・・
829:１３２人目の素数さん
18/01/20 23:23:26.32 o1bhbh2V.net
分解自体は結構他でもやってるんだが、問題はその「再構築」というプロセスが
何処まで必要かだな
結局代数幾何学的でない対象にまで手を出しているということは
ラングランズも含めて一つの展望が見えてきたのかもしれない
830:１３２人目の素数さん
18/01/20 23:48:10.69 t/WtF8y3.net
>>797
集合論から組み立てないとグジャグジャに
なるんだよね。
831:１３２人目の素数さん
18/01/21 00:44:16.23 xQhTyPFh.net
AksEd9W6
jinくせぇレスw
832:１３２人目の素数さん
18/01/21 01:19:59.01 GdOKvpfw.net
そんな遅れた情報は、jinじゃないだろ。
PRIMS刊行は2月20日ごろで、それ以前は漏れないだろ、
って前に書いてあったろ。
833:１３２人目の素数さん
18/01/21 01:39:20.18 ZasbLOpr.net
いちいち宣伝しなくていいよ
834:１３２人目の素数さん
18/01/21 02:32:12.27 KxlZfsuC.net
>>798
例えは適切でないと意味がない
分子レベルとは何を例えているのだ？
835:１３２人目の素数さん
18/01/21 03:28:35.17 5684eruu.net
>>805
横からだけど
どう不適切なのかあなたから語り始めましょうよ
質問返しの詭弁�
836:ﾆか見苦しい屁理屈は数学板では禁止
837:１３２人目の素数さん
18/01/21 03:31:51.73 5684eruu.net
文元先生のリジッド幾何の百科事典を読むくらいなら
EGAとSGAを一から全部読もうとして一生を終えた方が有意義だよね
838:１３２人目の素数さん
18/01/21 05:45:39.48 DaTTtPWh.net
>EGAとSGAを一から全部読もうとして
一生を終えた方が有意義だよね
↑
個人の趣味で、悪趣味と言う人もいる。
ニュートンのプリンキピアは世界の名著
です。>>796
839:１３２人目の素数さん
18/01/21 07:57:24.58 KxlZfsuC.net
>>806
ただの妄想でしかない可能性が高いから
840:１３２人目の素数さん
18/01/21 08:02:26.57 BUze0+Pn.net
斬新なのはいいが復元あたりから怪しくなって古典理論で帰着とかこれイカに
841:１３２人目の素数さん
18/01/21 08:44:06.64 KUrbeeBB.net
還元と言えば表現論ではないのか？
842:１３２人目の素数さん
18/01/21 09:15:29.27 aaOJWhtE.net
>>803
2/20刊行ってどこ情報よ？
843:１３２人目の素数さん
18/01/21 09:47:53.49 5684eruu.net
>>809
あなたのレストートロジーでしかないよ
具体性がない
844:１３２人目の素数さん
18/01/21 10:51:40.89 cP1Qr0cI.net
公家側は京都御所にて篭城作戦にでたのであった
845:１３２人目の素数さん
18/01/21 11:21:29.33 Pb2tZ9AM.net
ぬう、手勢の大阪や四国・九州東北はアテにはならぬ、南蛮渡来の神通力に託すか
846:１３２人目の素数さん
18/01/21 11:42:33.36 U2jb6wwc.net
家康まで寝返りおって、ポプテピピックおそるべし
847:１３２人目の素数さん
18/01/21 11:47:20.35 KUrbeeBB.net
IUTとは違う方向性で遠アーベル研究してる人はどう見てるんだろう？
848:１３２人目の素数さん
18/01/21 13:05:50.99 5684eruu.net
>>817
遠アーベル自体が中々のマイナーだと
どっかで読んだことある
849:１３２人目の素数さん
18/01/21 13:48:23.61 KUrbeeBB.net
ｐ進というからには岩澤理論と関係ありそうですが
IUTと岩澤理論とのつながりを考えてる人いますか？
850:１３２人目の素数さん
18/01/21 14:03:58.17 KxlZfsuC.net
>>813
例えば前層から層を作るとき、各点の芽に分解してから貼り合わせるみたいなことをするけど、
今の場合、環を何に分解するのかが明示されていない。
851:１３２人目の素数さん
18/01/21 14:49:37.08 XUiD1hq3.net
>>820
あなたが相手にしてるのはおそらくjinだから無視してほしい（しかもID変えながら自演している）
馬鹿レスははじめにjinではないかと疑ってみること、次に何を言われても無視すること
jinは適当に単語並べて相手の上に立った気分に浸りたいだけのクズだから
アンチからも擁護派からの消えてほしいと切望されているのがjin
馬鹿レスはjinだと思って関わらないでほしい
852:１３２人目の素数さん
18/01/21 15:16:19.86 Gt1efLyk.net
ワタミンは熱心な創価学会の信者だが。
判明。
創価学会の心のよりどころは、法華経でも池田大作の人間革命でもなく、
みなもと太郎の漫画「風雲児たち」であった。
日蓮の人生もありえないくらい素晴らしいらしいが、封印されててわからない。
「風雲児たち」はマジでいい漫画なので、せめて五巻までは読もう。
どんな聖書や仏典より素晴らしい。
853:１３２人目の素数さん
18/01/21 16:38:29.58 7jnxWoM9.net
還を分解するという時にモノイドが指標になっているのだから
せめてFrobenioidと言えばまだ良かったのにw
分子と言われてもよくわからんしな
>>430>>431に大まかな正解が書いてあるが
Frobenioidを定義するモチベーションというのがある
ただ、IUTTの場合、個々の圏や集合よりはそれらの相互作用を重視した
構成になっているので
下手に細かい話をするよりは「分解して復元するんだ」程度の理解のほうが健全かもな
854:１３２人目の素数さん
18/01/21 16:47:57.91 7jnxWoM9.net
ここで素朴なスキームとの関係がよくわからないのは普通だと思うが
IUTTの古典的基盤は代数関数論と共に「arithmetic」 schemeであることを注意するべき
勿論この二つを現代的に取り結ぶ観点の一つがmoduli stackになる
855:１３２人目の素数さん
18/01/21 16:54:37.96 AwB7zoFl.net
現代数学の根本概念を解体、再構築するという、独創的かつ新奇的な方法を定式化した。望月新一はグロタンディークの生まれ変わりかもな。
856:１３２人目の素数さん
18/01/21 17:11:10.65 7jnxWoM9.net
それはちょっと主眼が違うな
この理論で一番ポイントになるのはあくまでも遠アーベル幾何学的な部分だよ
これを何処まで本質的な現象と見るかは、今はトップクラスでも意見が分かれるだろうな
857:１３２人目の素数さん
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.
-----------引用終わり-------------
858:１３２人目の素数さん
18/01/22 01:39:05.52 OJCp+4kD.net
しかし実際にはFrobenioidとAnabelioidという、素朴な遠アーベルを拡張するものが
必要だったのも事実だな
特に>>430>>431だとわかりにくいが、絶対ガロア理論は両輪的な対象になっている
環を分解しても不変性を保ちFrobenioidにもAnabelioidにも作用を持つものとして
859:１３２人目の素数さん
18/01/22 06:23:24.93 C/MBWxnt.net
望月の手法、というよりRIMSの遠アーベル学派は異端だよな。だから理解が進まない。
860:１３２人目の素数さん
18/01/22 09:18:14.28 qR367KFg.net
RIMSの数理解析ではないね。
グロタンディクの夢を追い求めてでしょ。
861:１３２人目の素数さん
18/01/22 11:45:29.05 wJ3MvUFG.net
>>828
はったりかますんじゃねぇ！
てめーFrobenioidやAnabelioidの定義をちゃんと理解してましゅか？？
ちょっと数学知ってる人間が一瞥すれば判ることなのでしゅが
どちらも数論幾何の人間なら誰でも見たことあるよねーって感じの
全く新規性のない概念だよーん
862:１３２人目の素数さん
18/01/22 13:19:55.17 BmgB6IrU.net
FrobenioidやAnabelioidって位相空間になるの？
863:１３２人目の素数さん
18/01/22 13:36:42.46 1lsTq91e.net
>>832
位相空間ではなく圏
864:１３２人目の素数さん
18/01/22 13:54:36.32 8MPCH3ki.net
>>831
新規性のない概念なら定義する必要がないんだが
数学者の言うこととは思えない。Wikipediaで調べて既成の理論を踏まえてるから
新規性がないと言ってるんだろう。ガロア圏とかな
865:１３２人目の素数さん
18/01/22 13:55:49.96 BmgB6IrU.net
>>833
ああ、圏なんですね
グロタンディーク位相が定義できて
コホモロジーが得られればよいのですが
866:１３２人目の素数さん
18/01/22 14:08:27.39 8MPCH3ki.net
>>835
素朴な位相空間ではないが幾何学的な圏ですよ
然るべき手順でコホモロジーは作れます
867:１３２人目の素数さん
18/01/22 14:13:08
868:.18 ID:8MPCH3ki.net
869:１３２人目の素数さん
18/01/22 14:19:18.41 BmgB6IrU.net
然るべきコホモロジーが定義できるならヴェイユ予想の場合のように
ガロア群の表現を通してラングランズへつながるとも考えられますか？
870:１３２人目の素数さん
18/01/22 15:33:09.29 WIWnZqJa.net
URLﾘﾝｸ(www.ipmu.jp)
871:１３２人目の素数さん
18/01/22 15:40:34.58 kDUAvJVT.net
そうですね(棒)
872:１３２人目の素数さん
18/01/22 17:16:04.93 BmgB6IrU.net
ABCはともかくプロならもっと夢を語ってくれないかな、数学の夢を
873:１３２人目の素数さん
18/01/22 18:20:27.64 8MPCH3ki.net
ラングランズへ繋がるかというか、本人がどう言うかは別として
どう考えてもストリングもラングランズも意識してるんで
ガロア表現と繋がるかなんてのは当たり前の話でしかないんでわざわざ聞くことでもない
能力のある若手はまず確実にコスパで迷うし、迷うくらいならやめたほうがいい
874:１３２人目の素数さん
18/01/22 18:24:21.36 8MPCH3ki.net
そういう意味では迷宮だよね、専門選び
深谷先生も本当は解析的な非可換幾何学をやりたかったんじゃないかって思うw
難しすぎるから手を引いただけで
875:１３２人目の素数さん
18/01/22 18:39:01.72 mGSUzlSv.net
この件に関しては望月氏本人の仮説と感想があるよ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
↑のp.7～9、特に(H3)と(T3)
まぁ、たしかに若手は迷うところだろうね
876:１３２人目の素数さん
18/01/22 18:56:19.54 mGSUzlSv.net
まぁ～アレだね、HPにある３つの報告を読んだ上でブログを読めば
ああいうのもアリか、とは思うけどw
M本氏のHPとかもスゴイでしょw
877:１３２人目の素数さん
18/01/22 19:01:05.79 xLwWw7vb.net
>>828
なんでFrobenioidとAnabelioidが素朴な遠アーベルを拡張するものになってると言えるの？
>>837
具体的にどこのどういう点が絶対遠アーベル幾何をやるためのスマートな構成になってるの？
878:１３２人目の素数さん
18/01/22 19:37:21.68 8MPCH3ki.net
>>846
とりあえず調べてわかんなかったら聞けばいいんじゃないか。あまりそれが感じられない
逃げたで結構
絶対遠アーベルというだけでなく、IUTTのための必然性が強い概念たち
Arakelovの専門家にはやや物足りないかもしれない、抽象的すぎて
879:１３２人目の素数さん
18/01/22 19:51:20.65 8MPCH3ki.net
簡単に言うと、「IUTTの環変形論を見越した上で」
「Hodge-Arakelov理論」の圏論的抽象化
「絶対遠アーベル幾何学」の圏論的抽象化
という理念にそれらは対応しているとも取れる
但し、
「何故普通のHodge-Arakelovでは駄目なのか？」
「絶対遠アーベル幾何学の絶対は基本的には絶対ガロア群の話だが、特にIUTTではどういう
意味を持つのか？」
これを念頭に自分で考えたらいいと思う
それでもわからないならもっと基礎から勉強したほうがよほど有意義ですわ
5chのレスとしてはこれで十分親切かと
880:１３２人目の素数さん
18/01/22 20:39:41.45 Kkkr4w7E.net
京大ｉＰＳ研助教の論文で捏造・改ざん 調査結果を発表
URLﾘﾝｸ(headlines.yahoo.co.jp)
881:１３２人目の素数さん
18/01/22 20:44:26.46 Kkkr4w7E.net
大学によると、論文は昨年３月に米科学誌「ステム・セル・リポーツ」に掲載され、血中に含まれた薬物や有害物質が脳に入るのを防ぐ「血液脳関門」の�
882:@能を持つ構造体を、ｉＰＳ細胞を使って体外で作り出すことに成功したという内容。 昨年、同研究所相談室に「論文の信憑（しんぴょうせい）性に疑義がある」との通報があり、論文掲載のグラフの再構成を試みたが再現できず、７月に大学の通報窓口に通報した。
883:１３２人目の素数さん
18/01/22 20:59:02.62 DCBM5AWT.net
>>843
？？
非可換幾何で量子場 場の量子論を捉えられない
ワイル量子化はウィグナー分布関数 の
統計力学の粗視化だが、実際は量子光学は
弱測定まである。
経路積分もあるが 正準量子化が基本だ。
インスタントンはトンネル効果がある、、
シンプレック幾何は解析力学からの流れ、
超弦理論は散乱S行列が起源だ。
一方、超弦理論のＤブレイン ウィッテン
不変量ミラー対称性では
フレアーホモロジー、ウィッテン不変量
がシンプレック幾何に対応する。
佐藤幹夫先生は物理も学び、佐藤超関数では
正則関数の境界値からコホロモジー 層へ
進み場の量子論のくさびの刃の定理を
位置づけた。
イジングモデル ソリトンの頂点作用素
特異摂動、量子群、
物性 素粒子散乱問題のS行列
場の量子論がベースにありロシアで
佐藤スクールの数学へ評価が高い。
884:１３２人目の素数さん
18/01/22 21:16:24.78 DCBM5AWT.net
>>851
訂正
×ウィッテン不変量が ◯グロモフ不変量が
885:１３２人目の素数さん
18/01/22 21:19:05.93 W74y09p3.net
>>849
もっちー「」
886:１３２人目の素数さん
18/01/22 22:05:16.18 /p7IGxhY.net
数学の場合は盗用だな
887:１３２人目の素数さん
18/01/22 22:09:41.32 BmgB6IrU.net
>>842
当たり前だと言うんならそうゆう方向で
どんどんやったらいいんじゃないですかね
これまで何年間もそういう話は聞かないですが
888:１３２人目の素数さん
18/01/22 22:54:28.79 8MPCH3ki.net
>>855
それは非常に難しい話だけども、今のところ淘汰されるのかメジャーになるのか不明
「ゴチャゴチャしすぎではないか？」というのは多くの数論研究者が感じているのではないか
勿論それは無知だからかもしれないし、正しい直観かもしれない。不明ですわ
889:１３２人目の素数さん
18/01/22 23:00:40.70 JhJrCiXo.net
捏造報道絶賛炎上中
ｽﾚﾘﾝｸ(newsplus板)
890:１３２人目の素数さん
18/01/22 23:49:09.26 WrKBOnse.net
査読が終わっているのと内容がただしいかどうかは関係ありませんがそうなります
891:１３２人目の素数さん
18/01/23 00:11:45.06 Sm3JAUCP.net
139名無しさん＠１周年2018/01/22(月) 23:53:21.64ID:zmG78j1i0
>>110
さすがに医学部の研究不正は有名過ぎて誰でも分かる
理系外国人に知り合いがいたら、日本の医学部は既に捏造天国で中国韓国よりも格下の扱いだって教えてくれる
山中伸弥がノーベル賞を取れたのは、iPS細胞プロトコルに客観的な再現性があったからだもの。
ディオバン事件、鉄門門脇の捏造天国、STAPなんか目じゃ無い程のウソ塗れ
東大医学部の腐敗は有名だったけど、これで京大もダメ大学なのがはっきりしたね
892:１３２人目の素数さん
18/01/23 00:13:23.29 Sm3JAUCP.net
148名無しさん＠１周年2018/01/23(火) 00:08:35.83ID:qXpPXukY0
>>105
再現性ある細胞としては使えるだろうけど、その一丁目一番地が脳関門の再現なのがコレだからね。
893:１３２人目の素数さん
18/01/23 00:22:51.85 84flm0Cz.net
前の方のレスで取材合戦がどうのとほざいてたクズがいたが、どんなツラしてんだろ。
894:１３２人目の素数さん
18/01/23 00:30:21.11 lvCkN9wA.net
「次世代幾何学研究準備センター」で
「新しい数学思想に基づく幾何学に関して」
は宇宙際タイヒミュラーなのか。
RIMSは何処へ行くんだろ、サッパリわからん
895:１３２人目の素数さん
18/01/23 00:58:22.24 84flm0Cz.net
客観的な再現性
896:１３２人目の素数さん
18/01/23 01:04:34.18 YIkRENRn.net
合っているかどうかは問題ではない、なんていう詭弁擁護論は通用しない
897:１３２人目の素数さん
18/01/23 01:41:15.11 ymJX7Ze5.net
この結論にしようと考えたとして、前提や引用論をあまりにも拡大解釈せざるを得ないとしたら、
それは何かがおかしい証拠といえます。つまり現実を無視した結論をゴリ押ししているために、
あちこちに歪みや修正が出てくるのですね。
898:１３２人目の素数さん
18/01/23 08:48:50.68 SPbhebIP.net
iPS騒動見てると、iUTも懐疑的に思えてしまう。
誰も検証できないように抽象的な議論弄んで成果にしてしまおうとしてんじゃないかと邪推したくもなる。
助教の事情ともっちー周辺もどうもオーバーラップして感じる。
899:１３２人目の素数さん
18/01/23 09:08:43.87 rJsksr7d.net
度々>>864みたいな発言が関係筋から出るのも懐疑的になる要因だ。
RIMSの上層部と編集委員はレアケースの判断力が弱いのではないかと思ってしまう。
900:１３２人目の素数さん
18/01/23 10:18:44.27 aT3jjLqB.net
iUTw
901:１３２人目の素数さん
18/01/23 12:29:29.71 3C+cum3D.net
>>867
関係筋のそんな発言あったの？
902:１３２人目の素数さん
18/01/23 12:32:45.93 mw/Kc912.net
ブンゲンの講演の冒頭とか前々スレ後半あたりから見りゃわかるだろ
903:１３２人目の素数さん
18/01/23 12:36:34.26 pTsDD5Kn.net
PRIMSに掲載されたら、永遠にブラックボックスのまま
904:１３２人目の素数さん
18/01/23 12:43:51.42 YIkRENRn.net
なんねーよ
905:１３２人目の素数さん
18/01/23 12:49:29.95 3C+cum3D.net
ブンゲン氏の動画の冒頭見たけど、あれはそんな意味じゃないと思うけどね
とりあえず、jinのアンチ版もスルーだな
906:１３２人目の素数さん
18/01/23 12:51:00.61 DoTOkyWA.net
バカ人乙
907:１３２人目の素数さん
18/01/23 12:55:52.93 DoTOkyWA.net
>>873
分解からの復元の際の歪が一定でなく再現できないのに何を証明したんだ？
アンタの物の見方ってどんだけバイアスかかってんだよ
908:１３２人目の素数さん
18/01/23 13:05:21.34 tqiJnqOn.net
都合が悪くなると逃走する擁護派
しばらくすると何事もなかったかのように復活してくる鉄面皮ゾンビ一派
909:１３２人目の素数さん
18/01/23 13:16:48.43 YIkRENRn.net
都合の悪い情報を見てないことにしたり、残っている不具合を魔法のように消せる素晴らしい人達
910:１３２人目の素数さん
18/01/23 13:17:40.83 3C+cum3D.net
いや、俺は擁護しているのではないよ、IUTはよくわからないし事態を静観しているだけ
>>875 の見解には詳しい人がコメントしてくれるのじゃないかな？
最近のレスを読むと詳しい人がいるみたいだし
911:１３２人目の素数さん
18/01/23 13:20:08.69 tqiJnqOn.net
＞あれはそんな意味じゃないと思うけどね
思いっきり主観がはいってるけど
912:１３２人目の素数さん
18/01/23 13:27:19.04 YIkRENRn.net
ここまでの否定論に対して詳しい人のコメントなどない件について
913:１３２人目の素数さん
18/01/23 13:28:56.05 wu7k3Kiw.net
これで実は証明できませんでしたという結論だとまた朝日の黒星だな。
で、Ⅲの不等式の証明の件はどうなのよ？
これは理解できないとかじゃなくてかなり具体的な論理の飛躍の指摘
914:だと思うが。
915:１３２人目の素数さん
18/01/23 13:31:14.58 1JrX6Zjm.net
結論出るまでいったい何年かかるねん
916:１３２人目の素数さん
18/01/23 13:36:47.56 tqiJnqOn.net
>>881
書いてある、定義により自明、では理解を得られないわな
917:１３２人目の素数さん
18/01/23 13:37:28.92 tqiJnqOn.net
なので実例を出せとかいわれる
918:１３２人目の素数さん
18/01/23 14:31:11.09 BSz7qTpw.net
朝日新聞何の根拠もなく一面に出す訳ないだろ。朝日に肩を持つ内通者がいて、情報流してたんじゃねーの？
何なら、観測気球をあげるという意味で、IUT周辺がリークしたんじゃねーかと邪推もしたくなる。お陰でRIMSは準備万端で本格的発表に備えることができてそう。
919:１３２人目の素数さん
18/01/23 14:39:06.80 bkZgg6L5.net
何の根拠もなく一面に出すのは朝日新聞のお家芸。
ソースが多すぎてここにカキコすると字数制限にひっかかる。
920:１３２人目の素数さん
18/01/23 14:46:44.30 aT3jjLqB.net
そもそも>>875は何処から出てきた批判なんだ？
色々な「不定性や誤差はあるが」有限の操作で整理し「不等式を抑えられる」という
主旨で本人らが処方を解説しているではないか
それを含めアルゴリズム的と言っているんだが
問題点を「あるが」の部分から切り取っただけではないか？
望月がブログで「組合せ論的整理」と言っているのは数学的にはそのことだ
基礎としては集合論で無限集合を論じるのと変わらないというわけだ
921:１３２人目の素数さん
18/01/23 14:52:49.37 xP8b/PnB.net
(おそらく)今でも数学板を覗いている織田先生はこの騒動をどう見てるのかな？
922:１３２人目の素数さん
18/01/23 14:56:48.13 j1fkelI4.net
(おそらく)数学板をいまでもみていらっしゃる増田哲也氏はどう思ってらっしゃるのか？
923:１３２人目の素数さん
18/01/23 15:01:19.77 aT3jjLqB.net
補足すると、場合に応じ不定性を消す、抑える云々の部分は俺も引っかかっていたんだが
(不定性云々に関わらず)数学自体がある意味でそういう「明示的な判別」を方々で示している
という見方をしたら納得はできた
典型的なのは式変形だな
924:１３２人目の素数さん
18/01/23 15:29:48.05 VEbAxPGL.net
実際、擁護派と否定派の割合ってどれくらい？
925:１３２人目の素数さん
18/01/23 15:56:52.75 3C+cum3D.net
要するに>>875 の批判は相手にする必要なし、とスルーされたと理解してok？
あと、ブンゲン氏の講演の冒頭での発言は、
「現時点では査読中なのでABC予想の証明の正否についてはコメントを控える、ここではIUTの方法について
素人に向けてラフスケッチを提示する」という意味で俺は理解している
926:１３２人目の素数さん
18/01/23 16:10:01.11 tqiJnqOn.net
>>890-892
納得しねーな
なら証明したというのはおかしくねーか
892はそうならブンゲンがそういうだろ
927:１３２人目の素数さん
18/01/23 16:16:10.00 tqiJnqOn.net
＞色々な「不定性や誤差はあるが」有限の操作で整理し「不等式を抑えられる」という
主旨で本人らが処方を解説しているではないか
a,b,cの組み合わせの個数が有限であるかないかとの問いに対してどうなのか
928:１３２人目の素数さん
18/01/23 16:17:02.50 tqiJnqOn.net
いくつなのか、ｋの上限値でも出してるなら見せてくれということ
929:１３２人目の素数さん
18/01/23 17:03:20.39 aT3jjLqB.net
>>894
まず、類似するプロの批判をソースとして挙げたら？というのもそういう言い方だと
ちょっと引っかかるんだよな。つまり、ディオファントスの基本的な知識が
ないだけなんじゃねーのと
不等式の由来とか調べたのかと
知識があった上で軽く論理を辿ったらこういう欠陥が見つかったってなら勿論
京大で聞くべきなんだが
930:１３２人目の素数さん
18/01/23 17:13:20.53 YIkRENRn.net
ディオファントスの基礎知識を持ってる国内外の学者さんはなぜ理解できないの
あなたがわかってるなら答えを出してくれればいいじゃないの
931:１３２人目の素数さん
18/01/23 17:21:47.12 tqiJnqOn.net
結局擁護派はもっちーがそういっ
932:てるから、の1点張りなんだよな オレがいってることは明快 10＾20までの1400万通りの反例にたいして何を示したのか、という話 不等式と全然関係がなさそうじゃないか
933:１３２人目の素数さん
18/01/23 17:24:42.52 6mzSj2k9.net
>>897
それは、ディオファントスは単に一部の文脈だからですよ
変形理論自体はまた別のコストがかかる
勿論正直な話、自分もわざわざ論文をおさらいして具体的な話ができるほどの
余裕はない。そういう意味で非力です。レスしてても別のことを考えながらだったりするんで
とは言え、今自分のわかる範囲で言えることもなくはないとしても、
明らかに知識や調査が足りない人に何でも喋るのはどうかと
個人的に疑問なのは、「プロは何がわからないのか」について、PSの指摘以外に
何か共通性があるんだろうかという点。自分も知りたいですね
934:１３２人目の素数さん
18/01/23 17:26:35.51 YIkRENRn.net
またアホ人が炙り出されて活動再開したな
935:１３２人目の素数さん
18/01/23 17:38:19.12 6mzSj2k9.net
>>898
反例？
それはともかく、俺は「望月がそう言ってるから」じゃなくて
不等式の由来とそのアプローチの意味を調べたのかと言ってるだけだよ
そこまで全て編み出すほど彼は宇宙人じゃねーからなw
936:１３２人目の素数さん
18/01/23 17:58:27.30 3C+cum3D.net
否定派に賛成しない人たちを擁護派と見做すのはどうかと思うよ
擁護派と見做されている人たちは慎重なだけではないかと
全肯定しているのはjinみたいな人だけかと
937:１３２人目の素数さん
18/01/23 18:06:21.29 6mzSj2k9.net
IDを辿ったら「否定派」の二人(一人？)っつうのがどうも怪しいな
そもそも「abcと何の関係があるんだ？」みたいなこと言ってるプロいたっけ？
いたら誰かソース教えてくれ
938:１３２人目の素数さん
18/01/23 18:14:09.94 6mzSj2k9.net
ちょっと基本的な話なんだけども、関数版のabcは証明されているわけですよ
なので、疑問があるならば「関数版の理論の適切な一般化になっているのか？」という
抽象的な部分がむしろメインになるべきで、不等式から具体的な数値が計算できるかどうか
という話はちょっと違うと思うわけね。あくまで自分の意見ですが
勿論これはフェルマー理論の包含についても同じ
939:１３２人目の素数さん
18/01/23 18:16:10.78 tqiJnqOn.net
またアスペが
不等式がギャップとされるなら証明と関係ないだろうが
>>898
反例？
10＾20までで1400万の例があればそれは証明として有限なのか
君の理屈では10＾20は確かに有限だな
940:１３２人目の素数さん
18/01/23 18:27:16.58 tqiJnqOn.net
＞不等式から具体的な数値が計算できるかどうか
という話はちょっと違うと思うわけね。あくまで自分の意見ですが
勿論これはフェルマー理論の包含についても同じ
賢いかなんかしらんが俄か丸出しだろ
反例の個数や上限値、下限値は少なくとも観測上明示されてるわけだ
それに対して論文の数式が当てはまってるのかという疑問だ
＞勿論これはフェルマー理論の包含についても同じ
まさか最終定理の話をしてないよな、自称バカ広報は幾度もフェルマーの
最終定理は証明してないとアナウンスしてるが
もうバカらしいからエスケープするわ
941:１３２人目の素数さん
18/01/23 18:32:07.52 6mzSj2k9.net
それはこっちの台詞だわw
悪いけど電波にしか見えない
942:１３２人目の素数さん
18/01/23 18:34:22.91 tqiJnqOn.net
はいはい、具体例も出せないボクちゃんｗｗｗ
943:１３２人目の素数さん
18/01/23 18:36:50.42 6mzSj2k9.net
何か数値的な話をするならソース出すだろ普通
勝手にあの数値がどうだとか答えてないとか、どっちがアスペなんだか
ワイルズは抽象過ぎる、自然数論でなければフェルマーは証明できないという主張を思い出すわw
944:１３２人目の素数さん
18/01/23 18:41:08.13 Y1T6hbUC.net
Inter-universal geometry と ABC予想 ２０ 山下剛のサーベイ出る [無断転載禁止]©2ch.net から
688１３２人目の素数さん2017/10/03(火) 08:33:41.66ID:GM8CrdYb
前レス�
945:ﾉ習うなら、証明と言うよりもはや誤差込みの 統計モデルだから、そもそも解いてない。 だから少なくとも無意義ではない。 有意義なら本人の預かり知らぬ応用だって有り得る。 ガバガバ目安でも、幾らか証明の指針にはなる。 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 >合っているかどうかは大きな問題ではない その通り。この言葉の意味を理解できる奴がこのスレに少ない。 このスレの素人さん連中は「合っているかかどうか」という決着の つきやすい安易な尺度でしか物事を見ていない。 そして数学の世界は【権威】の世界とでも思っているらしい。 なにか絶対的な権威が、数学の世界に客観的に存在し。その権威の 鶴の一声で選出された「難問」を解けば普遍的な数学的栄誉を手に入れられるとでも 勘違いしている。あたかもスポーツの世界みたいに。 でも実際は真逆。現代数学をより深遠な世界に【導いてくれる】モノこそが 一番価値があって、いわゆる「有名な難問」はその役割を期待される（推測される） 存在に過ぎない。なので解けたはいいがそれ以上の影響を数学全体に 及ぼさなかった（行き止まり）なんて事はいくらでもあり得て、 そうなれば当然数学的価値は低い。
946:１３２人目の素数さん
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教授「....(黙秘)」
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
イニシャルでわかるべ
947:１３２人目の素数さん
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
イニシャルでわかるべ
948:１３２人目の素数さん
18/01/23 18:46:55.12 YIkRENRn.net
数学家が物理屋に批判的なのもなんとなくわかる
949:１３２人目の素数さん
18/01/23 18:55:11.74 bDhEh80F.net
>>909
攻撃的なのは全部相手にしないほうがいいですよ。
５ｃｈの伝統で専門の人から聞き出すには知ってる単語を適当に並べて主張すれば
相手が聞いてもいないことをペラペラ喋ってくれて楽だｗっていうのがあるので。
堂々とそんなことを書いていたのに私は呆れてしまいましたがｗ
950:１３２人目の素数さん
18/01/23 19:01:20.37 3C+cum3D.net
いやぁ、この大量のコピペは否定派と言われる人たちの中にも
加藤和也氏やファルティングスらの権威に乗っかって否定する人がいる、という皮肉なんですかね？
地底人と最低人がいるように
肯定jinと否定jinがいるというわけか？
951:１３２人目の素数さん
18/01/23 19:02:44.67 6mzSj2k9.net
批判が正当かどうかはともかく、言いたいことは何となくわかるんだけどな
グロタンディークの素数のエピソードを思い出すわ
952:１３２人目の素数さん
18/01/23 19:04:22.70 Y1T6hbUC.net
都合の悪いコメントは無かった事に出来る方がたです
953:１３２人目の素数さん
18/01/23 19:04:40.50 Y1T6hbUC.net
都合の悪いコメントは無かった事に出来る方がたです
954:１３２人目の素数さん
18/01/23 19:08:06.36 0XipQIzU.net
mason stothers theoren？
簡単な証明があるらしい
955:１３２人目の素数さん
18/01/23 19:19:56.50 0XipQIzU.net
ABC予想の証明は 素数で難易度といい
簡単な証明があるmason stothers theorem
と別と思う。
普通 数値実験を行い調べる。
mason stothers theorem からのアプローチは
数学でないから知らなかった。
URLﾘﾝｸ(topologicalmusings.wordpress.com)
956:１３２人目の素数さん
18/01/23 19:30:07.35 0XipQIzU.net
数学の証明はwell defindedを始め
厳密が必要だね。
物理の「証明」ではない。
957:１３２人目の素数さん
18/01/23 21:24:16.90 XrnRR7Ch.net
有限の数学も難しいけど、数論は大体無限集合だからな。抽象化せざるをえない
抽象・構造的な議論を経由してるからこそ無限集合のシステムに定数がある、
みたいなことが言えるわけだけど
958:１３２人目の素数さん
18/01/23 21:40:16.80 RDs4Q1Kl.net
well definded 出来ない例も多い
959:１３２人目の素数さん
18/01/23 21:40:27.77 og69KnWu.net
文元って、数学的な信用度は？
960:１３２人目の素数さん
18/01/23 21:47:10.41 WIdMueTM.net
巨大数って面白そうだなあ
可能無限を考えてしまいがちな中で
巨大数と実無限をどう考えるのか
961:１３２人目の素数さん
18/01/23 22:44:35.78 XrnRR7Ch.net
Faltingsがどう思ってるかは知らないけど、やっぱりmordell-Weil理論よりは難しいわな
それは確か
Taoにしても間違いなく優秀だが、彼の数学経験からしたらやっぱり結構IUTTは異色なはず
勿論、だからといってそれらの優劣は比較できないけど
962:１３２人目の素数さん
18/01/24 01:15:17.38 aSRphMzl.net
文元の人間的な信用度は低いとでも言ってほしいのか？
963:１３２人目の素数さん
18/01/24 01:30:37.76 V+Hxbw2K.net
IUTの動画を見た。
全く新しい数学のイメージが
なんとなくわかった。
元々 ジェダイのフォースは暗黒面がある。
二つの舞台はジェダイの共和国軍宇宙と暗黒面の帝国軍宇宙。
美しい対称性のフォースはジェダイと
暗黒面に通信し、其々の宇宙でフォースより
ジェダイと暗黒面が計算する。
ジェダイが 歪みから暗黒面に落ち、
IUTの歪みが暗黒面で不等式となる。
シータ、無限の素点は映画のような
イメージでてきとうに計算する、、
964:１３２人目の素数さん
18/01/24 02:22:22.20 12Z/X3/f.net
>>912
マジでS教授って誰なの？
ST先生？SS先生？
965:１３２人目の素数さん
18/01/24 03:04:41.03 ujczBg0e.net
>>920
数学でないってどういうことだろうかw
そっちのが単純なのは確かだが、ディオファントス的な証明の原理としては
根は同じかと。古典的なルーツはリーマンーロッホに遡るけど
アラケロフ理論自体がルーツはそこにあるから
その理論は
966:abc(とヴォイタ)の別証可能性を示唆していると個人的に思う そっちのが単純だと思うが、必要な一般化は簡単じゃない
967:１３２人目の素数さん
18/01/24 06:19:42.31 sSCPRi/+.net
省庁ってのはそこまでアホではない。
他の分野もそうだが援助が縮小傾向になったなら根拠があるのだ。
母校の数学科の同窓会で、フィールズ賞の受賞者かつ国際数学連合のトップの挨拶が、
「もうお金がないの、日本の数学は終わってしまいそう」だったのは、涙が出そうだった。
横から失礼します。手をこまねいていないで、文部科学大臣に陳情に行かれたらどうですか？
968:１３２人目の素数さん
18/01/24 06:54:23.48 /tKpCWqY.net
いままで散々援助させといて外人食わせて成果なしじゃそうなるわな
ヘンな自尊心と慣習にこだわってる自分らが悪いだけなのでは
969:１３２人目の素数さん
18/01/24 07:57:10.52 EtqXURrr.net
人事以外だと、ビッグプロジェクトの成果で非専門家にも広く認知されるようなものってあるのだろうか
970:１３２人目の素数さん
18/01/24 08:04:52.42 HfLuwo2X.net
ベーコン炒め、いやリーマン予想
971:１３２人目の素数さん
18/01/24 08:41:16.30 dqynY7dZ.net
>>933
目的が国内外の研究者との交流を目的としたセンターができて、
問題は訪問者がいるかだけど、訪問者数が指標かな。
972:１３２人目の素数さん
18/01/24 08:43:33.70 EkzZJA6z.net
>>930
数学の出身ではないということ。
今の数学、IUTはおたく だわ、、呆れた。
973:１３２人目の素数さん
18/01/24 08:49:27.63 voOux6hN.net
ついに、満足いく完成を見たようだな。無人コンビニが。中国よりアメリカのが便利そうだ。
欠点はスマホがなければダメってところか。おれ、スマホもってないからな。
レジ待ちストレスゼロ Amazon無人店
URLﾘﾝｸ(www.fnn-news.com)
974:１３２人目の素数さん
18/01/24 08:51:26.52 ZsQ09jl1.net
>>935 文化と学問の違いはあれど、まるで郵貯ホールではないか
975:１３２人目の素数さん
18/01/24 13:28:47.60 hXEYB7rJ.net
人手不足とは言え、斜陽国家だからな。景気も疑わしいし
ひとまず代数幾何・代数解析・ホモロジー代数ばかりやってたら終わるのは確か
976:１３２人目の素数さん
18/01/24 13:58:45.87 Rby4luE5.net
おたくに飛びつくとはね。
新しい幾何はシンプレクティック幾何の発展
なんだよ。
977:１３２人目の素数さん
18/01/24 16:37:54.69 1paxiNdA.net
シンプレクティック幾何は解析力学が生んだ。
良い数学は抽象的に見えても具体的なもの
と結びついている。
978:１３２人目の素数さん
18/01/24 18:31:06.07 12Z/X3/f.net
>>941
具体例に神が宿る
979:１３２人目の素数さん
18/01/24 18:59:33.63 HfLuwo2X.net
不等式に闇が宿る
980:１３２人目の素数さん
18/01/24 18:59:42.69 bAw4evRS.net
「間違ってるから撤回しろ」なんて馬鹿なこと言う教授がいるのかな？
何かが間違ってるとわかるなら数学的に指摘すればいいだけじゃん
981:１３２人目の素数さん
18/01/24 19:01:57.41 jzdkFpft.net
それまでに主張されていない定義が盛り込まれた場合リジェクトとされます。
982:１３２人目の素数さん
18/01/24 19:03:03.46 bAw4evRS.net
シンプレクティックといえば、岩波はいつオンデマンドにするんだろうな
アラケロフやリジッドが出てるんだからあれも出すべきだろう
983:１３２人目の素数さん
18/01/24 19:34:34.65 WDqKBiZo.net
シンプレクティック構造なんて多様体に彫られる入れ墨みたいなもんだよ
984:１３２人目の素数さん
18/01/24 19:52:56.25 wGczD0Jp.net
岩に彫られた彫刻ならそこから割れ目ができて崩壊
985:すると
986:１３２人目の素数さん
18/01/24 20:30:05.23 oUocGx17.net
2004年頃の数セミはグロモフやコンツェビッチの特集が多かったような気がある
あの頃は山下純一や数学小説を書こうとしている人などなんかカオスだったな
数論ではザギエぐらいだったかな
987:１３２人目の素数さん
18/01/24 20:33:15.78 oUocGx17.net
あ、なんか変な日本語になってしまったな
ヴォエヴォドスキーやラフォルグがフィールズ賞を取った年だけど
ほとんど記事らしい記事もなかったな
988:１３２人目の素数さん
18/01/24 20:53:02.01 oUocGx17.net
MSRIのHPを覗いてみたらディラン・サーストンってウィリアムの息子だわ
団代数の専門家になってたんだ
989:１３２人目の素数さん
18/01/24 21:10:29.09 SfUgmxPV.net
サーストン来日、と聞いて見に行こうかなと思ったら息子だったのでやめた。
990:１３２人目の素数さん
18/01/24 21:42:59.55 SMGHqkGW.net
cluster長尾さんもやってたっけ？
991:１３２人目の素数さん
18/01/24 22:20:30.70 SQz2mNR4.net
>>931
M先生は今年のフィールズ賞の受賞式で
司会やるのかな？
992:１３２人目の素数さん
18/01/24 22:34:47.83 RNW0It3C.net
>>954
そうだよー。Peter shcolzeに授与するんだよねー。
993:１３２人目の素数さん
18/01/24 23:22:15.59 SMGHqkGW.net
読んだこともないしScholzeの凄さがよくわからない
例えばラングランズでいうと何を進めたの？
994:１３２人目の素数さん
18/01/24 23:31:54.14 SMGHqkGW.net
例えばリジッドとかp進をやっている研究者は色々いるが、何故Scholzeが良いのか、が
よくわからない
本来IUTTも結構関係ないんだよな俺
995:１３２人目の素数さん
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.”
と、いうことだそうだ
996:１３２人目の素数さん
18/01/25 00:34:05.55 tthRjp+L.net
>>958
ちょっと文字化けしてるね
?になっているところはハイフンで
997:１３２人目の素数さん
18/01/25 00:36:06.46 tthRjp+L.net
ハイフンじゃない、ダッシュだw
998:１３２人目の素数さん
18/01/25 01:20:30.47 3puDu6n+.net
グロタンディークなんて俺の遥か格下の数学者でそれをそれなりに尊敬してたとかいうドリーニュもまた俺よりずっと格下なんだろうな
999:１３２人目の素数さん
18/01/25 01:23:00.66 kULgdTW8.net
>>958
正直言って今一つピンとこないが、(本来の数論的)ラングランズの幾何学的解釈を
深めたという感じなのか
1000:１３２人目の素数さん
18/01/25 07:28:16.36 mP0Ewse7.net
>>953
clusterって何なんやろ
傍から見てると「環論の色んな別々の定義が（こういう時には）同値ですよ」
って事だけを延々やってる風にしか見えないんだけど。
どっちにしろ数論的文脈はなさそう
1001:１３２人目の素数さん
18/01/25 10:33:00.79 2FiDRhlv.net
>>962
というか代数の先生に聞いてみればいいよ
1002:１３２人目の素数さん
18/01/25 11:37:29.34 oSyjJvdY.net
>>947
元はハミルトン力学 ハミルトン形式で要
なのよ
>>952
ウィリアム サーストンの3次元多様体の本に
モジュライ タイヒミュラー空間がある。
S^3を内部からみる万華鏡視点も書いて
ある。
我々の宇宙の形 トポロジーに関係する
視点だね。
1003:１３２人目の素数さん
18/01/25 13:14:31.49 1Z0gcenp.net
>>964
ブンゲンに聞いたら結構良さそうだよね
1004:１３２人目の素数さん
18/01/25 14:02:05.06 1Z0gcenp.net
なるほど。やっぱりperfectoidが基本か。コンセプトというか動機はわかったが
正直scholzeがどうこうより、こういうことを誰もやらなかったのが不思議な気がする
それこそ望月さんも含めて
勿論そこを24歳ですっきりまとめるのはセンスがいいんだけども
1005:１３２人目の素数さん
18/01/25 15:13:58.02 6pHO5lCB.net
もっちーのブログのコメントが公開されてるね。かなりの数だ。
数学の話をしている人も多い。
1006:１３２人目の素数さん
18/01/25 15:28:04.34 MEvDz84S.net
URLﾘﾝｸ(www.google.co.jp)
1007:１３２人目の素数さん
18/01/25 15:30:16.08 xTA5eJ21.net
ブンゲ○もコアなファンは多いが
1008:１３２人目の素数さん
18/01/25 15:49:00.25 1Z0gcenp.net
>>963
リー代数やモジュライの空間を効率的に調べるためのものだから、使い方はまあ
そんな感じでいいんだろ
しかし、ああいうものを細かく調べていって何処へ行くのか…報われるのか？
箙理論くらいまでは意義がわかるんだけども、しかしああいうのをやる人間も必要なんだろう
1009:１３２人目の素数さん
18/01/25 15:51:04.44 1Z0gcenp.net
てか、クラスターは数論と関係あるぜかなり
かなり新しい潮流だけど
1010:１３２人目の素数さん
18/01/25 16:14:50.38 MEvDz84S.net
Peter Scholze points out possible error
in IUT (see comments)
>>969
1011:１３２人目の素数さん
18/01/25 16:35:08.00 cpYqdXDZ.net
山中氏、科学誌創刊に深く関与か 京大、iPS研の論文不正
URLﾘﾝｸ(this.kiji.is)
1012:１３２人目の素数さん
18/01/25 17:23:04.53 xvLjohE1.net
>>973
ショルツは更新前の論文で指摘して、赤っ恥状態らしいよ。
1013:１３２人目の素数さん
18/01/25 17:40:45.76 XpDwsF5/.net
またウソつくことからはじめるし
1014:１３２人目の素数さん
18/01/25 18:10:42.26 xTA5eJ21.net
やっぱり京大系ってアレだな
1015:１３２人目の素数さん
18/01/25 18:19:08.34 B18EL3Fs.net
やってる事が売れ残りのお局オバちゃんたちと同レベルだからもうﾀヒよ
1016:１３２人目の素数さん
18/01/25 18:32:13.33 DDl395sD.net
ショルツは2018 フィールズ賞を 受賞するだろ。
授与はなぜか IUT絶賛のM教授？？
URLﾘﾝｸ(poll.pollcode.com)
1017:１３２人目の素数さん
18/01/25 18:35:58.02 /RMQVPi0.net
偽の命題から始められる奴は一流だよｗ
1018:１３２人目の素数さん
18/01/25 19:18:19.64 1ChmzrTV.net
望月新一でググると母親はアン・モチヅキなる人物だと出てくるが
I井さんの学生時代の日記読んでたらクォーターらしいって書いてあったからほんとっぽい
1019:１３２人目の素数さん
18/01/25 20:33:18.75 H4oGS6mI.net
なんか目新しい情報ないの？
1020:１３２人目の素数さん
18/01/25 20:52:20.69 2Vdb9U3e.net
>>982
jinです。
とある筋からの情報によりますと、海外マスゴミの余りにも卑下した記事、山中先生の捏造問題のせいで、アクセプトが当初より遅れているようであります。
1021:１３２人目の素数さん
18/01/25 22:27:25.21 1Z0gcenp.net
>>981
英語・ヨーロッパ語圏で育つのってやっぱり多大なるアドバンテージだと思う
読み書きできるできないの話ではなく、吸収・表現の効率や幅がやっぱり違う
1022:１３２人目の素数さん
18/01/25 22:30:29.76 FHtQCSKl.net
>>983
妄想乙
1023:１３２人目の素数さん
18/01/25 23:01:26.23 VRcqwgiV.net
次スレ
ｽﾚﾘﾝｸ(math板)
1024:１３２人目の素数さん
18/01/25 23:45:52.77 cXwTNFOn.net
>>985
妄想として信じないのも自由、信じるも自由でございます。とにかく早々の掲載報告はないでしょう。
1025:１３２人目の素数さん
18/01/25 23:54:57.63 tthRjp+L.net
>>983 >>987
いいかげん無責任な書き込みはやめなさい
捕まらなければ何をやってもいいと思ってるのですか
1026:１３２人目の素数さん
18/01/25 23:57:51.61 tthRjp+L.net
ツイッターのアカウントも早く消しなさい
あなたの発信情報は信憑性に著しく問題がある
1027:１３２人目の素数さん
18/01/26 00:38:00.66 0DGZsY8U.net
さっさと表アカ完全削除して一生裏アカに引っ込んどれ
1028:１３２人目の素数さん
18/01/26 03:00:20.83 H4LJeqH3.net
jinのやつ、何事もなかったかのように復活してて草
まぁこうなることは目に見えてたけれども、実際目の当たりにするとクッソ呆れるな
1029:１３２人目の素数さん
18/01/26 06:59:45.37 jpkQxaUB.net
全ての成功も間違いも未来の出来事に起因し、
絶妙に寸分違わぬコースを取っているのである
1030:１３２人目の素数さん
18/01/26 07:29:30.39 pvWhtolt.net
>>972
>てか、クラスターは数論と関係あるぜかなり
>かなり新しい潮流だけど
該当論文挙げて下さいよ
1031:１３２人目の素数さん
18/01/26 07:35:11.17 pvWhtolt.net
自分でググった限りではほぼ関係ないな
著者が勝手に自分のさじ加減で無理やりNTのタグつけてる論文は
ちょこちょこあるけど
1032:１３２人目の素数さん
18/01/26 09:42:28.79 5dfzklDv.net
>山中先生の捏造問題のせいで、
IPS関連の論文捏造は助教で
山中先生は論文を捏造していない。
通報対象だな。
IPS論文捏造問題とIUT論文は無関係、
IUT論文は既に数学の論文として
疑義が指摘されていた。
1033:１３２人目の素数さん
18/01/26 10:06:48.64 tcccS1Fj.net
ハインリッヒの法則だってさ
研究不正大国ニッポン
URLﾘﾝｸ(news.yahoo.co.jp)
1034:１３２人目の素数さん
18/01/26 10:21:31.59 Pvm2dzGo.net
う
1035:１３２人目の素数さん
18/01/26 10:21:59.85 Pvm2dzGo.net
め
1036:１３２人目の素数さん
18/01/26 10:22:39.00 Pvm2dzGo.net
る
1037:１３２人目の素数さん
18/01/26 10:23:09.36 Pvm2dzGo.net
1000なら新疑惑発覚
1038:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 19日 23時間 45分 48秒
1039:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています