778:１３２人目の素数さん
19/12/10 20:19:25.66 BH42nSPz.net
IUTスレで安倍w
779:１３２人目の素数さん
19/12/10 21:42:02.68 z+z5UHTd.net
「枝野がいい」とか言ってるバカよりはマシ
780:１３２人目の素数さん
19/12/10 21:47:07 z+z5UHTd.net
IUTなんて全然理解できないくせに、Gスレ1が憎さのあまりこのスレまで来て
暴れてるお前がウザいんだよ。
言ってることはIUTの数学的な問題点じゃなくて、「自分のとこのジャーナルで」
みたいな話しかできないくせして偉そうにするんじゃない。
しかもカマかけてIUTの話を聞き出そうとかして姑息。
政治的には左翼話の押し付け。ホントうざい。
Ｄｒ．Ｇで暴れていたときより劣化している。
781:１３２人目の素数さん
19/12/10 21:58:04.52 0uFfMIYM.net
>>727
荒らしにマジレスするのもナンセンスだが
経済学者のＩＱはそれであってるぞ
そのデータは日本で採ったデータじゃないからな
日本で採ったら医学部のＩＱが一番上くるだろうよ
782:１３２人目の素数さん
19/12/11 01:40:56.09 ohrjKyqF.net
ポジションとＩＱなんて言ってもしょうがないわな
783:１３２人目の素数さん
19/12/11 05:32:18.82 9uhum29h.net
巣へお帰り
784:１３２人目の素数さん
19/12/11 06:15:35.57 9uhum29h.net
>>745
お前もな
785:１３２人目の素数さん
19/12/11 06:26:07.35 8HE/i5uB.net
>>743-744
安倍なんてただの世襲馬鹿だけどな
おまえこそ妄想全開でウザいよ
786:１３２人目の素数さん
19/12/11 06:43:13.18 8HE/i5uB.net
ｽﾚﾘﾝｸ(math板:153番)
>ガロアスレ
今や完全にIUT翼賛スレですが
787:１３２人目の素数さん
19/12/11 06:59:43.51 jehBvT8c.net
>>749
お前は気づいてないかもしれないが、「世間のひと」は意外に賢いんだよ。
お前の正体なんてとっくにバレてるんだよ。驚いただろ？
お前なんて受験勉強が得意だっただけのアスペじゃん。
それで全般的に世間一般のひとの知性を上回ってると思い込んでるのが錯覚。
お前がバカと罵倒するGスレ1に勝てないと感じる点があるのもそれが原因。
788:１３２人目の素数さん
19/12/11 07:05:34.72 jehBvT8c.net
こいつはIUTは全然理解できない。「3ページくらい読んだか」
みたいに言ってたひとがいたが、おそらく1ページも読んでない。
それでこのスレで暴れるのが血迷ってる。
得意分野は基礎論。それで、何とか基礎論の話に翻訳してもらえば
何とかなるかもと思って、カマかけて話を訊き出そうとしてたこともバレてるんだよ。
789:１３２人目の素数さん
19/12/11 07:06:13.72 8HE/i5uB.net
>>751
妄想全開乙
◆e.a0E5TtKEは数学の初歩すら分かってないのに
「ガロア理論がー」とか粋がってるのが滑稽
この厚顔無恥ぶりには誰もかないませんよｗ
790:１３２人目の素数さん
19/12/11 07:08:26.69 8HE/i5uB.net
>>752
妄想全開乙
ScholzeとStixも理解できなかったIUTが
私ごとき浅学菲才の者にわかるわけないでしょ
あなたも理解してないんでしょ
ワカランチン同士仲良くしようぜｗ
791:１３２人目の素数さん
19/12/11 13:57:28.44 PgiGWF+u.net
どうやら動物園に迷い込んでしまったようだ
ブラウザそっとじ
792:１３２人目の素数さん
19/12/11 17:41:40.83 xXShOM+7.net
IUTも落ちぶれたな
793:１３２人目の素数さん
19/12/11 19:36:08.55 8HE/i5uB.net
ｽﾚﾘﾝｸ(math板:348番)
>>せっかくの成果を自分とこの大学の雑誌に投稿するとか
>>なんか胡散臭いよな
>まあ、確かに、胡散臭いと思われても仕方ない
だろ？
>なので、査読を透明化した方が良いだろうね
>査読者がきちんと実名を出して・・・
そこまでは必要ない
査読者が「身内」でなければ問題ない
794:１３２人目の素数さん
19/12/11 19:39:07.42 uE0iF
795:f7p.net
796:１３２人目の素数さん
19/12/11 19:39:20.56 8HE/i5uB.net
ｽﾚﾘﾝｸ(math板:354番)
>はっきりしてやれよ、日本数学会としてさ
おまえ、日本数学会好きだな（呆）
>（これから勉強ないし研究する方としては、はっきりしないの困るよね）
全然困らない
他人の後追いするヤツなんて自分のアイデアがないカス
797:１３２人目の素数さん
19/12/11 19:39:48.60 uE0iFf7p.net
間違えた。 Scholze。
798:１３２人目の素数さん
19/12/11 21:09:10 8HE/i5uB.net
ｽﾚﾘﾝｸ(math板:159番)
妄想全開乙
◆e.a0E5TtKEは実数の定義も分かってないが
線形独立も分かってないんだろうな
799:１３２人目の素数さん
19/12/11 21:21:27.76 8HE/i5uB.net
ｽﾚﾘﾝｸ(math板:359番)-360
なんか見当違いなこといってるな
ペレルマンの論文はarXivで公開されたのであって
どこかの雑誌に投稿されたわけではない
しかも誰も理解できないような摩訶不思議な呪文を唱えたわけではない
トポロジストにはなじみがなくても微分幾何の研究者なら読める
800:１３２人目の素数さん
19/12/11 21:33:16.61 8HE/i5uB.net
ｽﾚﾘﾝｸ(math板:362番)
宿題も自分でやらないクソガキ安倍を支持する国粋馬鹿が
「IUTは絶対正しい！！！大日本帝国バンザァァァァァイ！！！」
と発●してるな
こんな奴らがロクに仕事もせずに部下をこき使って搾取してるから
日本はブラック企業ばかりになったんだ
801:１３２人目の素数さん
19/12/11 21:42:05.03 8HE/i5uB.net
父方の祖父 安倍寛 東大法学部卒
母方の祖父 岸信介 東大法学部卒
父 安倍晋太郎 東大法学部卒
本人 安倍晋三 成蹊大法学部卒
やっぱ世襲はダメだね
802:１３２人目の素数さん
19/12/11 22:12:44.95 8HE/i5uB.net
>>743
安倍が乃木坂だとすると枝野は所詮欅坂なんだよね
URLﾘﾝｸ(www.youtube.com)
山本太郎は・・・BiSHか
URLﾘﾝｸ(www.youtube.com)
BABYMETALは・・・日本にはないな
URLﾘﾝｸ(www.youtube.com)
803:１３２人目の素数さん
19/12/11 22:23:20.75 RZBYtE39.net
>>765
正解に近いが、山本太郎がBiSHは持ち上げ過ぎ
似たようで違うBiSのほうだな
804:１３２人目の素数さん
19/12/11 23:15:34.39 YhFXpEM6.net
日立のおっさんのコメントを誇らしげにしてたアホがいたが内実はこの程度
URLﾘﾝｸ(www.jiji.com)
805:１３２人目の素数さん
19/12/12 07:53:49 aEgA7HUg.net
無知なおサル（下記）
１．望月論文も公開されている。いまどき、正規の雑誌に載る前に、arXivで公開は普通。望月論文は、自分のホームページ公開が異例だが
２．ペレルマンの論文は、単に”微分幾何の研究者”じゃ読めなかった
それが事実。実際に、各チーム複数人の専門家で時間を掛けて議論して、
２年くらいだったかな時間を掛けてようやく解読できたのが事実
（参考）
Inter-universal geometry と ABC予想 42
ｽﾚﾘﾝｸ(math板:762番)-
762 名前：１３２人目の素数さん[] 投稿日：2019/12/11(水) 21:21:27.76 ID:8HE/i5uB [8/11]
ｽﾚﾘﾝｸ(math板:359番)-360
なんか見当違いなこといってるな
ペレルマンの論文はarXivで公開されたのであって
どこかの雑誌に投稿されたわけではない
しかも誰も理解できないような摩訶不思議な呪文を唱えたわけではない
トポロジストにはなじみがなくても微分幾何の研究者なら読める
806:１３２人目の素数さん
19/12/12 07:54:44 aEgA7HUg.net
>>768
誤爆すまん（＾＾；
元の巣に貼る ｍ（＿＿）ｍ
807:１３２人目の素数さん
19/12/12 08:18:28 nNxlG/Fs.net
>>766
＞山本太郎がBiSHは持ち上げ過ぎ
＞似たようで違うBiSのほうだな
ゆっふぃー 元気か？
URLﾘﾝｸ(www.youtube.com)
808:１３２人目の素数さん
19/12/12 11:02:58.34 pLBbvO40.net
逸話ばっかり捏造するところはフランス現代思想フォロワーのニューアカそっくりだな
あいつらはwebが出来て誰でも参加できるような討論できるようになったらすぐに滅んだ
809:１３２人目の素数さん
19/12/12 11:04:27.38 pLBbvO40.net
>>750 バカがひとりでかいてるだけじゃん 日本語わかる？ことばえらべてる？
811:１３２人目の素数さん
19/12/12 11:15:06.34 ErpUo6eK.net
ペレルマンもショルツも極々真っ当なメインストリームの数学やってる人
有名ハイブランドをそつなく着こなすようなものだ
IUTは全身100万かかってるが奇抜過ぎてむしろ気持ち悪がられる意識高いお洒落さんみたいなものだ
812:１３２人目の素数さん
19/12/12 11:40:33 ZXLff8rg.net
オカルトマニアだけど、面白い研究記事見つけたわ
これまた俺の理論に合致する研究
電子そのものが個ではなく集合的な量子力学的体制を引き起こしつつ電荷を運んでいるっぽいって研究
電荷輸送の新しい理解により、エキゾチックな量子力学的体制が明らかになりました
URLﾘﾝｸ(phys.org)
＞室温付近での電荷輸送は、材料中の原子振動による電子散乱の単純な標準図では説明できません。
＞むしろ、輸送は、電子が個々ではなく集合的に電気を運ぶ微妙な量子力学的体制で発生し、電荷輸送の理論的限界に違反することを可能にします。
これずっと前からこのスレにも書いてるけど、IUTを基本とした原理で万物の理論が導けるならば
電子はそれ自体がもつれている量子マイクロブラックホールでなければならない
っていう俺の数秘術を端にした論理的予測と完全に合致している
813:１３２人目の素数さん
19/12/12 17:56:10.00 3qZ07n3Y.net
仮にIUTが否定されたとすると
将来にわたってガロアスレのスレ主みたいのが
「IUTは正しい、日本数学会は望月に謝罪せよ」って
素人がうじゃうじゃ湧いてくるだろうw
あるいは「IUTのギャップを埋めました」メールがどっさり
814:１３２人目の素数さん
19/12/12 20:08:16.49 APP6BFfn.net
普通の数学の枠組からIUTを見ると
奇異で違和感 ギャップがある。
が、IUT一派がIUTはまったくあたらしい
言語 概念を基盤としているから
IUT一派には間違いがないだろう。
オカルトマニア氏の数秘術の話も否定しない。
815:１３２人目の素数さん
19/12/12 20:43:06.88 Tu/gUvwm.net
Ｄｒ．Ｇ を知らないひとが多数だとか隔世の感だな。
（おれも直接知ってるわけではないけど。）
掲示板でいくら暴れても名前は残らないんだな。
モッチーの場合は正しくても間違っていても
伝説にはなるだろうな。
むしろ世間は忘れてくれない。
816:ID:1lEWVa2s
19/12/12 20:46:58.45 c5RLVQZg.net
>>777
素数の式書いた人は私ですよ.。
817:ID:1lEWVa2s
19/12/12 20:49:45.95 c5RLVQZg.net
>>777
Gなんて頭文字は名前につきませんが。
そもそもどくたーはやめてほしいです。
killerですか。名前付けた人。
818:ID:1lEWVa2s
19/12/12 20:55:08.55 c5RLVQZg.net
800ゲットウ
寝る.。
819:１３２人目の素数さん
19/12/12 23:06:33 Aic6UTpM.net
数学板らしくていいなあ
1: 軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。 (20)
2: フェルマーの最終定理の簡単な証明3 (615)
3: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (397)
6: Inter-universal geometry と ABC予想 42 (780)
820:１３２人目の素数さん
19/12/13 07:41:45.66 dgX3c3Hn.net
>>779
GはゲーデルのG。
他にも十数個ハンドルネーム知ってるよ。
そのときどきで関心がある�
821:ｱとをハンドルにする傾向があった。 理系でアスペが妙に持ち上げられることがあるけど、総合的に見てバカなんだと思う。 このスレやGスレ見れば分かるでしょ。 繰り返しを好む傾向がある。これは時間のロス。
822:ID:1lEWVa2s
19/12/13 08:06:20.95 BaxPftok.net
>>782
クルトゲーデルのほんはソフトバンクから出版されてる数学がーるで持ってる。
気分が良いときに4ぺぇじよんで
わかりません。まったく。って
そっとじ。
823:１３２人目の素数さん
19/12/13 15:51:45.61 xu1Fa6Iq.net
>>782
Ｄｒ．Ｇ とおっちゃんは面識ないけど、Ｄｒ．Ｇ の政治のレスには受けたw
政治の話は余り興味ないけど、今までのを見ていると、日本の政治家は自民も野党もダメ。
政治家が各官庁の官僚を統率する仕組みからしてよろしくない。
官僚のビューロクラシーによる天下りの仕組みもダメ。
これでは、庶民と官僚の待遇がまるで違って来る。
824:１３２人目の素数さん
19/12/13 16:21:30.75 xu1Fa6Iq.net
>>782
「Gスレ」という表現に「G」を用いている点が発音上紛らわしいが、
果たしてガロアスレのスレ主と Ｄｒ．Ｇ とは別人なのか？
両者とも政治の話をしている点では共通している。
825:１３２人目の素数さん
19/12/13 17:32:04.37 xu1Fa6Iq.net
>>782
念のため、ガロアスレのスレ主とおっちゃんも別人。
これまでのを見る限りでは、ガロアスレのスレ主と Ｄｒ．Ｇ に性格的な共通点があることからも、
おっちゃん的には両者が同一人物か区別が付かない。
826:１３２人目の素数さん
19/12/13 18:17:34.51 p07sJY8Z.net
長いことこのスレにいるなら、オカルトマニアの俺が書いてきた予測が
物理方面から尽く論文出てきてる事をそろそろ不思議に思っていいんじゃないかって思うよ
近似でしかない宇宙、そしてそれに伴い予言される磁気単極子(カブリIPMUから出たやつ)
電子はそれ自体がもつれている量子マイクロブラックホールだっていう予測に合致する研究結果のこれ
URLﾘﾝｸ(phys.org)
これらは俺の数秘術を端にした直感から
IUTを基本として導かれる8つの幾何学的不変量によって構成される3+1次元宇宙において予測された事柄
827:１３２人目の素数さん
19/12/13 19:21:52.31 Oi6zdVOh.net
来年からRIMSプロジェクトが始まる前の2019年の暮れにふさわしい
IUTスレになっておりますなあ
828:１３２人目の素数さん
19/12/13 20:26:25.39 U/4GdMU6.net
今日の動画
URLﾘﾝｸ(www.youtube.com)
私のおすすめは生田絵梨花ではなく唯月ふうか
829:１３２人目の素数さん
19/12/13 21:12:48.18 U/4GdMU6.net
>>784
＞日本の政治家は自民も野党もダメ
そもそも議会制がクソだから
議員ってのは官界財界の寄生虫
＞官僚のビューロクラシーによる天下りの仕組みもダメ。
官僚制は無駄仕事ばかり増やす根源
官僚ってのは有用な仕事は何もせずに
民衆から金を毟り取るヤクザ
830:１３２人目の素数さん
19/12/13 21:18:18.33 zcvipQPU.net
だいぶ前に「正準同型と等式」ついて或る数学者が書いたブログを紹介したけど、
最近彼がまた面白いことを書いています。最後の段落ではIUTについて触れています
このスレで少なくとも2人は先のブログを知っていると思うのでリンクは貼りません
ぜひ感想をお聞かせください
私の感想は、IUTに関しての彼の文章は完全に嫌味ですね
日曜日からほとんど荒らしばかりなのでこのような書き方をしてすみません
スレが落ち着いたらちゃんと書きます（あまり期待できませんが……）
831:１３２人目の素数さん
19/12/13 21:29:15.78 U/4GdMU6.net
警察と軍隊を有難がるのは最低最悪の馬鹿
警察と軍隊は一般人を嬲り殺す敵
832:１３２人目の素数さん
19/12/13 21:36:53.50 U/4GdMU6.net
カネがヒトを腐らせる
833: 貨幣制度は害悪そのもの
834:１３２人目の素数さん
19/12/13 21:45:32.35 5cJe5E3y.net
標準的な同型
835:１３２人目の素数さん
19/12/13 22:40:09.16 U/4GdMU6.net
国家のポチが隔離病棟で発●中
ｽﾚﾘﾝｸ(math板:163番)
＞「唯月ふうか」・・・って、IUTとどんな脈絡があるんだ？
官能小説愛読者のあいみょんはIUTと関係あんのか？（嘲）
ｽﾚﾘﾝｸ(math板:129番)
ちなみに唯月ふうかはもともと
スタダ所属のアイドルmomoこと川上桃子
その頃から歌はずば抜けて上手かった
そのせいでももクロに入れなかった
といわれてるｗ
URLﾘﾝｸ(www.youtube.com)
836:１３２人目の素数さん
19/12/14 07:30:20.86 t6RbzaaN.net
>>787
数秘術はIUTらしけど、
あなたも いわしのあたまも信心から
837:１３２人目の素数さん
19/12/14 13:10:02.44 COwET2Jn.net
数秘術はIUTらしいけど、
あなたも 「いわしのあたまも信心から」
類推より なんでもあり
838:１３２人目の素数さん
19/12/14 20:27:51.43 DmF8/nWn.net
まあ、仮定に仮定を重ね、仮説に仮説を重ねた挙句、数学用語では説明できなくなって、
自分の発想を大仰な文学的・哲学的な言い回しをしたり、造語を作ったのだろうね
で、これらの文体でしか表現できないから独特の言い回しや造語が増殖していった、と
サンスクリット語を少しでもやっていれば気持ちが分からないでもない
「環構造の解体」とか「乗法構造と加法構造を分離する」とかいう表現も、Teichmuller dilationで乗法構造のみを変形し、
それに伴って復元の際に加法構造もそれに合わせて変形されるということ
要するに、このように少しずつズレた環構造のコピーを作ってそれらを貼り合わせていくということ
このスレの他の人がよく「微分の一般化」とか「宇宙際ガウス積分」と言っていたのはこういうことだろう
ただ、ここでいう微分やガウス積分は、望月流のスキームの圏のIUT的な大域的な微分、ガウス積分ということね
839:１３２人目の素数さん
19/12/14 20:29:28.90 DmF8/nWn.net
私から見れば、今のところIUTは現代数学版・天動説
840:１３２人目の素数さん
19/12/14 21:28:46.16 ERIdEqm7.net
これだけは言える
世界にはSSのペーパーを完全に理解し、
IUTの評価についてはSSに完全に同調している人がたくさんいるということ。
勿論その中には日本人もいるだろう（そうであってほしい）
841:１３２人目の素数さん
19/12/14 22:10:52 bJG4PZ+S.net
このスレ住人の意見で多数決取っても意味ないんだよなぁ
842:１３２人目の素数さん
19/12/14 22:24:12.29 kFOp8tm9.net
望月のサーベイからしてポエミーだけど、下地がしっかりしてるから分かりやすい
843:１３２人目の素数さん
19/12/14 22:42:48.50 CsbquFhS.net
ｽﾚﾘﾝｸ(math板:415番)
>日本数学会全体としても、しっかりサポートしてほしいね
●違いですね
日本数学会にはMを支援する義務などないよ
844:１３２人目の素数さん
19/12/14 23:31:16.19 pHMyaD0y.net
>>802
望月反論レポートには 文元動画が参照にあり
サッパリわかりませんというか それがIUTで、
IUTの成り立ちから追っていけば
意外と手口が簡単な気もします。
845:１３２人目の素数さん
19/12/14 23:35:31.41 hdGoQC1u.net
1年ぶりにみたけどまだやってんのかこのスレ
Scholze-Stixにまともな反論できなかった時点で話は終わってるだろ
・身内で固めてたから客観的な検証が進んでなかった
・その間に研究費せしめるためにRIMSで大々的な宣伝をしてた
周りがそれに振り回されてたってだけでしょ
846:１３２人目の素数さん
19/12/14 23:56:28.86 DmF8/nWn.net
不定性についても当初は�
847:lガティブな言い方をしていて、それを剛性で抑えるんだということで、 円分剛性同型、クンマー理論などが必要だという話だったが、SSとの討論の後は不定性の効用を強調するようになったね 結局、何とでもいえる理論もどき、後から付け足して説明すればよいという態度（しかもレトリックを多用して）、 それらが多くの数学者から見放された原因だと思う しかも、これ以上の説明と言っても上で書いたようにIUT語、IUT文体の増殖しかできないわけで……
848:１３２人目の素数さん
19/12/15 01:06:45.89 WCrofMhO.net
物理実験屋の先生が文元本を読んで
「なんとなく望月教授が目指すものがわかった気になりました」と
どんな意味合いのコメントか分かりませんが
なんとなく様子見でしょうか
素粒子物理モデルでは満たすべき実験
データと望む結果を睨んで 、SUSYだの
ブレーンだのサブクオークだの余剰次元だの色々と張り合わせれば 形式的にはモデルが
完成する。
不都合な事実は測定不可能な高エネルギー
領域へ逃げる手もあるし
結局 不自然でシンプルでないモデルは
測定値の予測不可能で相手にされません。
また 非相対論的な物性モデルもローレンツ
対称性がないから素粒子標準モデルからの
類推だけでは成り立ちません。
SSレポートでは ディオファントス幾何の
ヴォイタの不等式とabc予想から始めて
IUTの矛盾をみちびいている。
数学 証明の話しですが興味深いです
849:１３２人目の素数さん
19/12/15 01:43:23.97 CuJ18Hdd.net
このスレ42ではなかなかの動きがあった
・2019/11/24(日) に加藤文元がTwitterに連ツイ（17時ごろ）
・翌日11/25(月) ID:ub/eJojY はB本人が降臨 423 426 429
ｽﾚﾘﾝｸ(math板:397番)-445n
850:１３２人目の素数さん
19/12/15 02:30:22.81 7Z7ks2Cy.net
>>807
IUT理解者は「sensitiveな感覚が大事」と言い、フォロワーは「微妙な何か」とか言ってしまうんですよね
お友達は何の根拠もなく「自然な論理」とか言い出すし
上記の理解者などは長大なコピペサーベイで「単遠アーベル的復元/構成は種の言語と突然変異で厳密に定式化できる」と
書いておきながら一向にそれはやらないで、多輻的アルゴリズム表現で説明しますと言うだけ
定理3.11→系3.12、特に3.12がブラックボックスになっているのだから、IU形式主義で厳密に定式化できているのなら
まずそれを説明することから先でしょ、と
まあ、圏論や数理論理学者に「圏論や集合論に精通していないのではないか？」と当初から言われていましたから
これに関しては望月も含めて誰も納得のいく説明などできないのでしょう
851:１３２人目の素数さん
19/12/15 02:40:00.96 7Z7ks2Cy.net
>>808
さすがにあれがB本人だとは思えないんですけどね
なんで私のレス>>430に答えられないの？ということです
あれはjinかjin同様のIUT関係者のパパラッチだと思うのですよ
ただ、B本人の可能性も全く捨てきれないのは、ひょっとしたらIUT説法を拝聴していただけで、
概要と結論だけを鵜呑みにしている可能性もあるからです
Bが詳細なサーベイやレポートを書かない限りは彼の理解など分かりませんからね
852:１３２人目の素数さん
19/12/15 12:01:18.94 4bvLAASC.net
ない証明の破綻を具体的に指摘せよという悪魔の証明を求めるだけで
人事予算やりたい放題 本まで売れて 人生バラ色
853:１３２人目の素数さん
19/12/15 12:24:23.74 53DMvjSJ.net
何か進展ないの？
854:１３２人目の素数さん
19/12/15 15:24:09.31 oddjJlmk.net
>>791
スマホで読んだら広告で切れてるのでどこにABC予想の話があるのかとしばらく気付きませんでしたw
自然同型といえば、例えばunique up to isomというのも近い話で、こういうものは結構強い条件ですから、
ある程度具体的な話をしている時にはあまり間違えないんですね
ところが、∞圏とか三角圏みたいな自由度も抽象性も高い理論になればなるほど間違いが増える
というか、後で見てみたら結構雑だったと言われる論文は多分たくさんあるでしょう
確かFaltingsのホッジ理論の完全系列も最初は大間違いだったみたいですね
これは古典的にはオイラーの時代の解析とコーシー以降の解析の違いにも言えるかもしれません
勿論、厳密ではなくとも話は伝わるという事もあるわけで、Scholzeとかの件の論文がどういう話なのかは
よくわかりません。要するに厳密ではなくても意義がある、という事は普通にありえますからね
IUTについての言及は、どの程度否定的なのかはわからないけど、皮肉なのは間違いないでしょうねw
自然同型というのは便利な言葉だけど、ある議論の目的ありきで話をしている時には
よく見たら情報が抜けているとか、逆に恣意性が加わっている可能性に注意しなければならない
特に過度の術語を駆使した理論というのは非常に危険ですね。皮肉を言われても仕方ありません
855:１３２人目の素数さん
19/12/15 16:41:11.52 oddjJlmk.net
個人的にはAnabelioidの計算の議論だけ取ったら特に問題ないと思うんですけどね
スリム圏というのは加法的な計算を1関手で済ませるための構成だろうし、エタールテータを局所的な対数殻で
計算するのは、関数の定義と単遠アーベルの定義から
必然的なのは確かです
重度の問題は基本的に乗法部分でしょう。何が一番おかしいのかと言えば、モノイド対象の標準的分裂を
利用して計算するという中で、宇宙全体で非自明な計算を実現するために非可換性とラベルを合わせて
辻褄を合わせなければならないことです。まあ、実際にはもう少しおかしいと思う所もあるけど
856:１３２人目の素数さん
19/12/16 12:29:20.47 sUWlqwcS.net
>厳密ではなくても意義がある、
という事は普通にありえますね
IUTの場合 オカルトマニア氏を
想起してしまうんだが、、
857:１３２人目の素数さん
19/12/16 13:37:00.15 XoXAwyA2.net
>厳密ではなくても意義がある、
まずは本人や取り巻きが「厳密ではない」と認めないと
「IUTは将来の数学の目標」という方向にすら進めないんだなあ
858:１３２人目の素数さん
19/12/17 22:06:56.34 XBPaypvG.net
>>814
まあ、アナベリオイドやラベルの発想があったからこそ、対数テータ格子とその非可換性という着想が得られたわけですね
2015年にショルツとメールでのやり取りで「対数テータ格子の非可換性」が問題になったそうなので、
やはり当時からラベルの問題、アナベリオイド幾何学の使用がショルツらには引っかかっていたのかもしれません
SSレポにアナベリオイド関連論文の参照がないのもそういうことでしょう。SSにとっては不必要・無意味だ、と
でも、この部分こそがIUTの基礎なんですけどね
ホッジ・アラケロフ、絶対遠アーベル、組合せ論的遠アーベル、p進タイヒミュラーについて問題があるとは聞いたことがないです
やはりIUTの構築自体の問題と捉えられているようです
ちょっとぼかして書きますが、RIMSに行った知り合いの中にも、IUTそのものはよく分からないが、
絶対遠アーベルやアナベリオイド幾何学に対する関心のほうが強い人が多い感じがします
実際、弟子を除けば論文やレポを書いたのはKirti Joshiぐらいで、これはIUTそのものではなく絶対遠アーベルと形式群の話
弟子だって南出を除けば遠アーベル関連しかないでしょう
あと、バザードのブログの件は後で書きます。感想ありがとうございます
859:１３２人目の素数さん
19/12/18 20:10:29.94 m7IcSTCT.net
中学数学からはじめる微分積分
URLﾘﾝｸ(www.youtube.com)
高校と大学の積分は決定的に違う？微分積分学の基本定理は実はすごい！
URLﾘﾝｸ(www.youtube.com)
中学数学からはじめる相対性理論
URLﾘﾝｸ(www.youtube.com)
理学部と工学部の違いとは？
URLﾘﾝｸ(www.youtube.com)
線を描くだけ！万能視覚的かけ算【インド式計算】
URLﾘﾝｸ(www.youtube.com)
大学と大学院の違い
URLﾘﾝｸ(www.youtube.com)
東大院生がYouTuberになった理由
URLﾘﾝｸ(www.youtube.com)
塾講師をはじめる君へ【新人講師・教師の方へ】
URLﾘﾝｸ(www.youtube.com)
なぜ勉強するのか
URLﾘﾝｸ(www.youtube.com)
860:１３２人目の素数さん
19/12/19 06:16:28.20 vUsZDapA.net
IUT翼賛スレ
ｽﾚﾘﾝｸ(math板:485番)-486
大阪の愛国馬鹿が発狂中ｗｗｗｗｗｗｗ
861:１３２人目の素数さん
19/12/19 07:25:47.73 MJq0roQH.net
巣へお帰り
862:１３２人目の素数さん
19/12/19 21:12:11.06 +9fThvdv.net
北大の森田って死んだの？
863:１３２人目の素数さん
19/12/19 21:44:35.73 OCXHAKyf.net
ホッジ予想のコンラッドの弟子も消えたよ
864:１３２人目の素数さん
19/12/20 02:06:38.42 yiLw1Jz8.net
0645
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です！
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
865:１３２人目の素数さん
19/12/20 02:42:27.44 rpmq4fRE.net
IUTから消える人は・・・？
866:１３２人目の素数さん
19/12/20 14:45:41.22 ttwVfhV6.net
１）アイデアがある
２）発達する
３）完成する
４）その部分ではだれも間違わなくなる（何が間違いかの議論の余地がなくなる）
近代では４）をもって３）とし、３）をもって数学的確かさとするという信念が
科学者に共有されていて、いわゆる数学的プラトニズムとして世界観として共有されてきた。
ところが今の時代を動かす技術のディープラーニングであるとかビッグデータであるとかは
３）の水準を満たさず、しかし技術としては有用さの水準を満たしている。
数学は数学的プラトニズムとの近接性から、数学自体が数学的プラトニズムの性質を
満たして表現ないし存在すべきという方向性で発達した経緯がある。
ところが望月さんの数学はおそらくその表現の性質が数学的プラトニズムの要件を満たしていない。
つまり誰がどの部分を読んでも同じように理解され疑問の余地がないものとして
自然に普及する性質を持たない。
な�
867:ﾌで形式への拒否が強い。しかしその拒否はディープラーニングやビッグデーターへの 拒否感、つまり何か中身がわからないのに一定の手続きを踏むと十分に有用な結果が出るという そのブラックボックス感の得体のなさへの恐れと同一の恐れではないか。 その恐れはあるいはコンピューターの数学研究への利用への拒否と同じ動機によるものかも しれない。それは数学者が大航海時代に対数表を計算するためにひたすら計算を繰り返した 職人の地位に転落する恐れともいえるようなものだ。 それはともあれ、少なくとも、数学は人間のなしうる行為の中で 本質的に最も高尚なものであると思うのであれば 望月さんの数学が少なくともその形式の範囲ではすでにある数学の一部しか表現できないと 証明されるのでない限り、その形式の非正統性をもって望月さんの数学を否定する理由に すべきではないと思う。
868:１３２人目の素数さん
19/12/20 16:53:14.10 vUqDEWsx.net
うだうだポエムを書いているが2020年のプロジェクトで大きな問題が次々解決して
IUTを笑っていた連中が来年の今頃は真っ青になっているさ
869:１３２人目の素数さん
19/12/20 17:51:09.96 5RleJ5Qn.net
どこで損切りできるかが運命の分かれ目
870:１３２人目の素数さん
19/12/20 18:09:46 ZuU0i/Zb.net
>2020年のプロジェクトで大きな問題が
次々解決
おや、既にRIMSは解決している
と報告している。
RIMSは平成22-27年度事業評価に
ついて「望月新一による宇宙際タイヒ
ミューラー理論の構築とその結果と
しての ABC 予想の解決は、特筆すべき
出来事である」と既に文科省へ現況
調査表で報告した。
871:１３２人目の素数さん
19/12/20 18:17:51.70 1eCzK2On.net
公務員はやらかしてもほっとけば済むからな
872:１３２人目の素数さん
19/12/20 19:19:16.24 ylfrCRaM.net
２０２０年の予言
望月新一の件で、安倍晋三が失脚するｗ
873:１３２人目の素数さん
19/12/20 20:50:24.49 vUqDEWsx.net
２０２０年は
望月新一が数学史に名を刻み、安倍晋三が自民党総裁4選して首相続投する
874:１３２人目の素数さん
19/12/20 23:21:08.89 dN89NZ8a.net
>>825
申し訳ないが、あなたの文章を読んでいるとB本人かBのエピゴーネンにしか見えません
ツッコミどころ満載なんですが、以下2点に絞って書きます
・ブラックボックスの件
これはIUTや望月に対してではなく、理解者たちに向けられた言葉。正しいと思うならなぜ理解可能で詳細な説明ができないのかということ
理解者たちはこのブラックボックスを解析できたわけだ。にも拘らず、その内容をなぜ説明せず、「3.12は原論文参照」としたり、
長大なまとめコピペにしたり、望月反論レポの超絶劣化簡略版コピペFAQしか書けないのかということ
さらに、コンラッドのオックスフォード・レポにもあるが、立ち話でも20分ぐらいあれば説明して理解してもらえるはずだろう、ということ
これができないから「理解者たちは3.12を“ブラックボックス化”している」と言われるわけだ
つまり、ブラックボックスそのものではなく、理解者たちが“ブラックボックス化”しているということ
・望月の数学の件
これはIUTに限定してのことだと思うが、あなたのレスの最終段落は私には意味不明です
そもそもナンセンスで理解不可能、望月本人でさえ“general nonsense techniques”と言っているもので、
ロバーツの言葉を借りれば“private fan dance”にか見えないものです
要するに、あまりにおかしくてまともに相手はできない、ということです
以上、2点に絞って長々と書きましたが、望月（のIUT）を擁護したいならもっと具体的に書いて下さい
875:理解者や支持者、擁護したい人たちに決定的にかけているのは具体的に、詳細に、納得できるように書くことです まず、充満多重同型の解説から始めて下さい
876:１３２人目の素数さん
19/12/20 23:54:13 dN89NZ8a.net
ついでに言っておくが、ファルティングスをして「理解不能、望月が何をやっているのか全く分からない」とまで言わしめたもので、
当然、私ごとき凡才にはIUTは数学にすら見えない
私語りで恐縮だが、私自身はIUTをまともな数学だと思ったことは一度もない
ジョイス『フィネガンズ・ウェイク』やマラルメ『イジチュール』の数学版だと書いて、過去スレでcanonicalなバカだと罵倒されたこともあるｗ
実際はこの偉大な文学作品の劣化版にしか見えないけどね
もっと正確には、ある種の現代音楽に近いと思った。今思うととんでもない勘違いで、作曲家や作品名は挙げないけど。
私は哲学、文学、絵画などよりも音楽からインスピレーションを受けやすいタイプなので、その辺でIUTに関心を持った
今となっては全くの無駄だと思うし、上記の文学を読み返したり、現代音楽を聴き直す方が私自身にとってはよほど建設的なんだけどね
まあ、IUTは暇潰しに多少読んだし、数学以外でも多くのこと（問題点）を考えられるから時々このスレを見て長文を書いてしまう次第ｗ
私語りスミマセンでした orz
877:１３２人目の素数さん
19/12/21 00:06:57.89 R5zXcFKP.net
確かに望月さんの数学がブラックボックスでなければならないという理由はないですね
数学は人の為すことなのでそれは人の責任ではないかといわれればその通りです。すみません。
望月さんの数学を数学的プラトニズムの要件を満たして表現するとなると、
たぶん多くの作業が必要で、例えば数学史では点列コンパクトの概念が
コンパクト性の概念に出世魚のように名前が変わり現れるとか
多くのある種の繰り返しが出てきますが、それを拡張された圏論上の手続きの分類と
その手続き（やその組み合わせ）にも拘わらず保存される性質のリストとして
網羅的に書き出す必要が出てくるのだと思います。
またその手続きの分類が現在の圏論を拡張した範囲で網羅しつくせるという保証もなく
ならばある圏論の拡張の小さなテストケースとそれにより定義される限られた性質の
組み合わせでまずは一つ成果を出そうというのが現状だと思うのです。
それがＡＢＣ予想という少し野心的な内容になり扱いがセンセーショナルになったのは歴史上の悲劇だと思います。
じゃあお前が何か「これが圏論の拡張」で「これがそれにより保存される数学的性質」で「これがその性質の組み合わせの範囲で書かれた証明だ」というような啓蒙的な例を書けと言われると実際わたくしは一介のディレッタントに過ぎず
その力がないのです。
その力がないのになぜ上のような文章を書くのかというとつまり
「あまりにおかしくてまともに相手をできない」たぐいのものに触発されて
やはり「あまりにおかしくてまともに相手をできない」ものを書いたのではないかと
確かにだんだんと頭が冷めてきた次第です。
思いがけぬお叱りの文章をいただき反省しております。どうもすみませんでした。
878:１３２人目の素数さん
19/12/21 00:24:02 R5zXcFKP.net
＞多くのある種の繰り返しが出てきますが、それを拡張された圏論上の手続きの分類と
それを→それを同一のものとして
これが抜けると文意をなしませんね
重ね重ねすみません
879:１３２人目の素数さん
19/12/21 00:30:20 R5zXcFKP.net
＞「これが圏論の拡張」で「これがそれにより保存される数学的性質」で「これがその性質の組み合わせの範囲で書かれた証明だ」
「これが圏論の拡張」で「これがそれにより保存される数学的性質」で「これがその数学的性質に対応する既存の数学での数学性質で」「これがその性質の組み合わせの範囲で書かれた証明だ」
としないとダメですね
でないとブラックボックスにしているという批判に対応していませんね
880:１３２人目の素数さん
19/12/21 07:18:21.86 UgqFkv4n.net
>>833
> 過去スレでcanonicalなバカだと罵倒されたこともあるｗ
まるで自分がバカでないかのような物
881:言いだがそれは間違っている
882:１３２人目の素数さん
19/12/21 07:54:51.23 sDHAtJ3L.net
圏の拡張よりアナルの拡張に興味があります
883:１３２人目の素数さん
19/12/21 11:12:03.76 RiKZpZyq.net
馬鹿が支持してる時点でIUTはダメだね
ｽﾚﾘﾝｸ(math板)
２０２０年の予言
望月新一の件で、安倍晋三が失脚するｗ
884:１３２人目の素数さん
19/12/21 11:15:43.87 RiKZpZyq.net
>>832
＞まず、充満多重同型の解説から始めて下さい
「充満多重同型」ってそもそも論文中で定義されてるの？
885:１３２人目の素数さん
19/12/21 13:18:23.28 R5zXcFKP.net
＞ここで,用語の説明ですが,宇宙際Teichm ̈uller理論では,ある2つの対象A,Bに対して,
＞AからBへの射のなすある(通常空でない)集合を多重射(poly-morphism)と,
＞AからBへの同型射のなすある(通常空でない)集合を多重同型(poly-isomorphism)と,
＞AからBへの同型射全体のなす集合を充満多重同型(full poly-isomorphism)と呼びます.
これ？
886:１３２人目の素数さん
19/12/21 13:31:21.06 R5zXcFKP.net
射がどのように同型であるかという性質の例として「円分物」の説明があるということですかね
その「円分物」というのがよくわかんないんですよね基礎学力不足で・・・
点列コンパクトとコンパクト性の例なら「被覆」の説明として例が作れる気がしますが
「射が「被覆」という性質で同型」ってどうやって式に書くのやら・・・
887:１３２人目の素数さん
19/12/21 13:48:50.51 R5zXcFKP.net
B←A：ｆ（∃Ｓ∃｛Ｕｊ｝i∈Ｉ｜Ｓ＝Ｕ＿i∈Ｉ Ｕi）
こんな感じ？
888:１３２人目の素数さん
19/12/21 14:06:14.42 eI2xnVZT.net
>>841
この定義ってなんか駄目なん？
889:１３２人目の素数さん
19/12/21 14:08:34.64 R5zXcFKP.net
おんなじ形式で点列コンパクトを書くと
Ｒｎの部分集合ＫはＫの任意の点列がＫの点に収束する部分列を含む
Ｂ←Ａ：ｆ（∃Ｒｎ∃Ｋ｜部分列はＫの任意の点列がＫの点に収束する、みたいな式）
で両方の射にたとえばＣ１とＣ２とか名前を付けると
Ｃ１とＣ２の扱いに同一の部分があるとしてさらに名前をつけ
射の型Ｃは被覆で同型を与えその基礎的性質は以下のように記述される
として記述できる形式がないとダメなんですが、まあなんか式の形が同じとして
「式の形が同じ」というのを式で書くとどうなるかというと
890:１３２人目の素数さん
19/12/21 14:09:17.33 R5zXcFKP.net
>>844
全然ダメじゃないと思いますよ
891:１３２人目の素数さん
19/12/21 14:17:28.99 R5zXcFKP.net
そこは数学的な中身に応じて射の性質の定義のリストを作って
「中身に意味があるからリストの最小単位として妥当だろう」とコンセンサスを作るしかない。
すると望月さんの数学は要は既存の数学をある方法で清書してみせたのに過ぎない
のかな？
それがかえって難読であるというのはむしろ可能性を示していて実際には
その延長線上には数学全体の記述がすっきり読みやすいものに整理されるという
地平がひろがっている、と。
892:１３２人目の素数さん
19/12/21 14:18:15.50 R5zXcFKP.net
満足しました。お騒がせしました。
893:１３２人目の素数さん
19/12/21 14:24:20.12 R5zXcFKP.net
絶対遠アーベル
アナベリオイド幾何学
みたいなのは内容がわからないのでコメントしづらいですが新しいのでしょう
望月さんの頭のなかでは数学がある種清書された形式で扱われているので
発見が出やすいのでしょう
清書法の清書が普及すれば数学界全体でも発見がより容易になり
それが全体に貢献するというのはいうまでもありません
望月さんえらい
では
894:１３２人目の素数さん
19/12/21 16:35:18 RiKZpZyq.net
>>846
>>841は具体的な条件が全く記されていないので
不十分とかいう以前に無意味ですね
895:１３２人目の素数さん
19/12/21 17:13:25.21 R5zXcFKP.net
>>850
集合論における空集合の定義みたいなもので
空集合も集合の要素としての具体的な内容は全く記されていませんが
不十分ないし無意味ではなく、これもそのようなものかと。
896:１３２人目の素数さん
19/12/21 17:25:07.79 RiKZpZyq.net
>>851
空集合は全く要素を持たない集合と定義されているので
これで完全に意味をもつ
897:１３２人目の素数さん
19/12/21 17:32:33.54 R5zXcFKP.net
>>852 多重射(poly-morphism)はAからBへの射のなすある(通常空でない)集合である。 多重同型(poly-isomorphism)はAからBへの同型射のなすある(通常空でない)集合である。 充満多重同型(full poly-isomorphism)はAからBへの同型射全体のなす集合である。 と書けばよいということでしょうか。
899:１３２人目の素数さん
19/12/21 17:34:48.92 ucYznWes.net
>>851
私は論文一ミリも読んでないので事情がよくわからないのですが>>841を定義だと考えて後で何か困るんですか？
後で定義ではそんな事言ってなかったろみたいな？
900:１３２人目の素数さん
19/12/21 17:38:59 R5zXcFKP.net
>>854
わたしも何も問題ないという立場です。
901:１３２人目の素数さん
19/12/21 18:09:58 rmMbDG2D.net
IPSは潰されそうになり
古澤さんはアメリカに差し出されるなか
IUTは完全放置ww
902:１３２人目の素数さん
19/12/21 18:26:33.29 RiKZpZyq.net
>>853
「ある集合」という言い方が「なんらかの条件を満たす集合」と読める
そうではなく、”空でなければどんな集合でもよい”のであれば
”多重射(poly-morphism)はAからBへの射のなす(通常空でない)集合”
”多重同型(poly-isomorphism)はAからBへの同型射のなす(通常空でない)集合”
”充満多重同型(full poly-isomorphism)はAからBへの同型射全体のなす集合”
と書けばよい
君は上記の意味だと理解しているのか？
903:１３２人目の素数さん
19/12/21 18:48:16.52 R5zXcFKP.net
>>857
そのとおりです。文意を読み取れておらずもうしわけございませんでした。
904:１３２人目の素数さん
19/12/21 18:53:24.01 RiKZpZyq.net
>>858
了解
905:１３２人目の素数さん
19/12/21 19:44:47.67 sIb5c2QE.net
>>833
>>834
凄い適当でもあり他方で確信もあり口を挟みますが、IUTのような議論はABC予想の証明に不可欠では
ありません。普通の普遍性を満たす完備、余完備な圏論を用いた証明が存在することは
近年の方向性から明らかです。8年経ってこの有り様では、別証明が出てきて定着するほうが先かもしれない
906:１３２人目の素数さん
19/12/21 19:49:10.77 R5zXcFKP.net
>>860
IUTの議論がABC予想の証明に不可欠ではない、という意見には賛成します。
907:１３２人目の素数さん
19/12/21 19:56:31.73 sIb5c2QE.net
エタール基本群（EFG）の位置付けについては難しい所があるが、モノイド上という新たな条件はあれど、
エタール基本群の一種の忘却関手を取って数体の非自明な解析的不変量が計算されるとはちょっと考えがたい
そんなに代数体のディオファントス幾何は単純ではないし、実際にはEFGの部分群ではなくて
一種の拡張を考えないといけないはずなんだよね。本当に難しいんですよ、私もこの数年で調べたんだけど
そこでIU形式主義+Anabelioidの枠組みが効果的かどうかが全てで、ここには書かないが
論理的に不十分なんじゃないかなと思う。アイデアの有無についてショルツを舐めちゃいけない
絶対ガロア群のトポロジーによる一般化など、perfectoidだけではない射程を持っている
それだけの数学者もアイデアが不十分と感じるというのは、もはや文学というよりプラトニズムに
関わるレベルでの疑念だと言えるんじゃないですか
908:１３２人目の素数さん
19/12/21 20:48:05.11 jmuA+gqL.net
充満多重同型の定義は原論文にちゃんとある
その上で、星の「ある(通常空でない)集合」は原論文の定義そのままのsubsetのこと
山下のサーベイでの多重射・多重同型の定義だが、これはこの同型がIUTで実際どう使われるかを先取りして書いた側面がある
つまり、“possibly empty”は忘却関手を指している
さらに、SSレポ脚注では“possibly indeterminate”とあり、これはエタール輸送不定性を指している
当たり前のことだが、定義だけ見てそれがどう使われるのか見なければ何も分からない
充満多重同型と書かれて、この「充満」って何？と思うのが普通
多重「同型」ということは充満忠実になっていて、さらにこれらすべてを充満として考えるの？ 充満-充満忠実？
え？でも“forgettig the histories of operations”とか言って忘却関手を強調し続けるんだよね？どうなってるの？
充満多重同型は絶対ガロア群G１→G2の関係性でエタール輸送不定性を生じるものでしょ？さらに位相構造を忘れる、と？
ま、こんな疑問は当たり前に出てくる
前にも書いたけど、充満多重同型はΘリンクを考えるという発想を前提としてみなければ全く分からない
つまり、Θリンク総体として「充満」多重同型を見なければ完全に意味不明になる
909:１３２人目の素数さん
19/12/21 20:57:13.95 RiKZpZyq.net
>>863
その書き込みを待っていた
で、その上で質問
Θリンクって何？
910:１３２人目の素数さん
19/12/21 21:13:02.81 jmuA+gqL.net
>>864
う～んとですね、もう自分で調べてくださいｗ
B本でもいいし、星入門でもいいですから……
上の充満多重同型だって論文やサーベイで語検索をかければすぐ出てきますよ
その上で、先ず自分で読む、考える、ほかの人の考えを訊く。当たり前のことだと思うんですけどね
まあ、IUT読むよりは他のことをやった方がいいですよ
私は暇潰しとは言え読んじゃったのでｗ 他にも幸か不幸か読んじゃった人がこのスレに少なくとも一人はいるので、
暇潰しでここを利用しているだけです
911:１３２人目の素数さん
19/12/21 21:14:57.21 RiKZpZyq.net
>>860
＞IUTのような議論はABC予想の証明に不可欠ではありません。
つまり、Scholzeや他の人が、他の方法でABC予想を証明してしまい
業績をかっさらってしまう可能性があるってことですね
912:１３２人目の素数さん
19/12/21 21:19:35.90 RiKZpZyq.net
>>865
ボクは数論屋じゃないんで 読んでも分からないですよｗ
ということで他人に聞く これ一番ラクちんな勉強法で
実は数学者でもこれが得意な人が少なくないとかｗ
＞IUT読むよりは他のことをやった方がいいですよ
ええ、だから読んじゃった人から聞いてすませようかと（極悪）
913:１３２人目の素数さん
19/12/21 22:09:08.21 jmuA+gqL.net
>>813
バザードの考え方は彼のブログを読めば分かるので、IUTは彼からすれば（私もそうだし、ロバーツもそうでしょう）、
同型＝等式ではない、もっと厳密に注意深く取り扱わなければならないという警鐘に対する極端な逆張りですね
望月の考えは「同型⊂充満多重同型」ですよ。だから何でもできる
圏論の望月流の利用（濫用？悪用？私的流用？ｗ）ですかね
ショルツの件はご存じだと思っていました。彼の今年の大学での講義“Condensed Mathematics”ですね
ネット上にPDFもあるし、youtubeにMSRIでの講義もあります。バザードのチャットでも盛り上がっていたようです
ちょっと読んだだけで詳しく分からないのであまり書けません
「理論的な数学」と「厳密な数学」というバザードの問題意識は、言葉を換えれば現代数学版デカルト『方法序説』ですね
詩や雄弁術は才能が必要だが、数学はすべての人間に備わっている良識（bon sens）があれば正誤を見分けられる、と
それをコンピュータ証明で実現しようということですね
しかし、その前に人間、それも優れた数学者たちによって理解され正しいと判定され、それを形式化しなければならない
そのうえでコンピュータ証明する、と
914:１３２人目の素数さん
19/12/21 22:27:31.23 jmuA+gqL.net
>>862
う～ん、やはり私にはIUTは文学にしか見えませんね。つまり、ショルツのIUTに関する主な関心事である、
抽象vs.具象、「望月は抽象と具象と厳密に区別していない」という指摘ですね
そういう意味ではちょうど先に書いたマラルメなどはプラトニストかつヘーゲル主義者です
詩人、それも象徴派の最高峰に位置する詩人で、極めて抽象的な思考の持ち主ですが、詩は語(mot)の選択と組合せという
具体的で、即物的で、唯物論的なものです
彼の詩に「類推の魔」というものがあります。タイトルだけでいえばIUTにピッタリではないでしょうかｗ
望月はSSのdrasticな単純化を彼らの「嗜好/美学」のように感じたと書いて
915:いましたが、SSだけでなくIUTに懐疑or否定的な見解を 持つ人にとっては望月こそが遠アーベル幾何学を中心に彼の「嗜好/美学」に拘って複雑怪奇なものを書いたと見えるでしょうね
916:１３２人目の素数さん
19/12/22 00:13:36.90 rvGvJ0P7.net
>>868
ああなるほど。仲間とDAGを重視してる事しか知りませんでしたが、ラングランズプログラムにDAGを
上手く応用するための理論か。やっぱり大物感あるなあ、ユニークな視点がコンツェビッチに似てる
917:１３２人目の素数さん
19/12/22 01:52:06.01 0p8SHIpA.net
>>867
僕は数論屋でもなく数学に無知ですね
IUTならB本を読んだらいかが
918:１３２人目の素数さん
19/12/22 07:13:05.54 NiwtZSFu.net
来年のワークショップで、effective ABCが解けた、と発表するんかね？南出氏のプレゼンで。
数学史上、エラいことだよね。
ABCだけでも凄いけど。
919:１３２人目の素数さん
19/12/22 07:51:10.86 dWgKJ6XY.net
＞数学はすべての人間に備わっている良識（bon sens）があれば正誤を見分けられる
＞それをコンピュータ証明で実現しよう
良識はあてになりませんね
公理やら定義やらの無矛盾性は良識では見分けられないですよ
コンピュータ証明では、公理から定理を導く証明のチェックは可能ですが
肝心の公理が無矛盾性を満たさない場合、いかなる定理も導けますから
そもそも公理系自体が無意味になりますね
920:１３２人目の素数さん
19/12/22 11:04:44.03 druy3BGR.net
テータリンクはB本読めば概要は理解できると思うよ
オカルトマニアの俺ですら概要はなんとなく理解できるもの
それを数学的に厳密にどういうかっていうと非常に難しいけど
ぶっちゃけB本の範囲内の概要でいうテータリンクの枠組みであれば
リンクする部分が対称性を持って繋がれるものであればほぼ何でもいけるって解釈でもいいんじゃない
本当に厳密にはたぶん、正則構造を維持できるものでなければ駄目
正則性公理を満たせる入れ子構造同士でなければテータリンクは成立しないと推測できる
しかし、このテータリンクは何度も言うように
あるデータに対して同等の複数のデータが与えられたときに
複数の舞台からみて正則性公理を互いに満たし合える構造同士であればよいだろうって予測はできる
ここが同じこと延々と書いてるたまに俺の相手をしてくれる人と相容れない部分なんじゃないの
双遠アーベル(この場合複数だから双子じゃないけど2n)と単遠アーベルが舞台からの見方次第で両方成立するっていう
この新しい概念を導入した上で、正則性公理をそれぞれの舞台から見た結果を組み合わせることで満たし合える構造(正則構造)
を維持している必要性がIUTにおけるテータリンクの枠組みを成立させるためには生じる
ってのが俺の考え
それで行列表現におけるデータにおいて、複数の舞台から見て正則性公理を満たし合えることが
対称性的に逆行列とかエルミート共役をとれるというような話と繋がっていて、そこから
正則性公理中の無限の入れ子構造の連続性につながるって枠組みが見えてくる
たぶんこの部分で楕円曲線系のお話とぶつかっていくんだと俺の直感的には思うよ
カブリIPMU？東大？から女性の専門家が合流した？って話が前に出てたけどとても良いことのように思える
まぁ俺の直感を普通の数学と違う考え方と表現でうだうだ書いても、ここの人はほぼまともに考えるつもりないみたいだろうから無駄だろうけど
俺はぜひ真面目に考えて見てもらいたい
921:１３２人目の素数さん
19/12/22 11:37:53.69 druy3BGR.net
>>874
対称性的に逆行列とかエルミート共役をとれるっておかしいな
対称性的に逆行列とかエルミート共役を取ったときに、ある一定の条件を満たす(単純例で言えば、ある舞台から見たときに自身になるとか)
と訂正しておく、ここは俺には数学的に上手く言�
922:皷ｻできないわ
923:１３２人目の素数さん
19/12/22 11:57:43.46 dWgKJ6XY.net
>>874
＞テータリンクはB本読めば概要は理解できる
じゃ、質問
テータリンクのテータって何？
924:１３２人目の素数さん
19/12/22 12:03:53.43 dWgKJ6XY.net
>>874
＞正則性公理をそれぞれの舞台から見た結果を組み合わせることで満たし合える構造(正則構造)
正則性公理の英語名はaxiom of regularity
正則構造の英語名はholomorphic structure
それぞれの「正則」の意味が異なりますが
分かってますか？
925:１３２人目の素数さん
19/12/22 12:26:24 OW1C1cWj.net
>>860
不可欠でないと言い切るとは難しいかと
926:１３２人目の素数さん
19/12/22 13:59:02.06 XxcuQU0+.net
>カブリIPMU？東大？から女性の
専門家が合流した？って話が前に
出てたけどとても良いことのように
思える まぁ俺の直感
オカルトマニア氏はIUTのパロディ
としては興味があるよ。
直感類推数物混同数秘術のIUT論文
をめざしてね
東大から山下氏がRIMS助教になった
がIUTとは無関係でしょ。
数学で非局所境界条件のあるAPS指数
定理を物理からドメインウォール有質量
フェルミオンより非局所を避けて
同じ結果を導いた。
(非局所条件は相対論の因果律を破る。
弦理論は非局所でも因果律を破らない
が相対論的場の量子論は局所因果律が
要請される)
この物理結果を数学の古田幹雄氏
山下氏たちが数学の立場で次元を
１つ上げ証明した。
良い仕事をしていますね
arxivを参照しました
927:１３２人目の素数さん
19/12/22 14:42:05.24 druy3BGR.net
>>876
対数テータ格子のテータだったり
テータ関数のテータじゃないの
その辺B本で言葉単体で説明してる部分あったか覚えてないな
星さんの入門を軽く流し読みした俺の理解としては、対称性情報の行列だと解釈しているよ
機械学習で最適化するコスト関数のΘと同じことでしょ？
すべてと考えるとすると無限次元になるんじゃないの
3+1次元空間で考えるなら7+1次元の対称性情報行列が核になるんじゃないか
ずっと前に書いたけど、1*2*3*5＝30と互いに素な数がオイラーのトーシェント関数から8つあるからね
これはすなわち正則性公理中の無限の入れ子構造の数値的表現の最も原初的なものであると言える
違ってたらゴメンな
B本でテータリンクという概要で説明していたのは覚えているし理解もしているけど
なんにせよそういう些事の問答は個人的にどうでもいいや
>>877
俺は何度も書いてるけど直感的に書いてるから
厳密に違ってることを揚げ足取られても理解できないわ
単純に俺の言っているのは、量子力学が完全に適用できる正則構造と
正則性公理を複数の舞台で満たした上でそれらが内部的に抱える無限の入れ子構造が
歪み＝不定性を考慮した上で、同一であるっていう直感的予測の上に成り立ってる論理だから
928:１３２人目の素数さん
19/12/22 14:50:46.76 dWgKJ6XY.net
>>880
>量子力学が完全に適用できる正則構造と
>正則性公理を複数の舞台で満たした上で
>それらが内部的に抱える無限の入れ子構造が
>歪み＝不定性を考慮した上で、
>同一であるっていう直感的予測
ポストモダン？
929:１３２人目の素数さん
19/12/22 14:56:36.93 dWgKJ6XY.net
ID:druy3BGRはもしかして精神科に通院してます？
930:１３２人目の素数さん
19/12/22 14:56:54.14 Z+l8F4KG.net
数学と物理を結びつけようという思考様式自体がすでに古臭い
931:１３２人目の素数さん
19/12/22 14:58:36.77 dWgKJ6XY.net
ワードサラダ
URLﾘﾝｸ(ja.wikipedia.org)
ワードサラダ（Word salad）、言葉のサラダとは、文法としては正しいが、意味が破綻している文章のこと。
精神医学では思考障害の一つに分類され、認知症、統合失調症、頭部損傷患者、言動性チックなどにみられる。
932:１３２人目の素数さん
19/12/22 15:07:44.80 druy3BGR.net
ご新規さんしかいないのかな
随分前から俺はここにいるから常連さんは俺がどういうやつかは知ってると思うし
俺の言っている予測が尽く物理方面から論文出てきてるってのも
定期的に見てれば分かると思うんだけどね
俺はIUTがやりたいわけでなくて、万物の理論を探求したいの
その道具としてIUTがどうやら正しかろうっていう直感で書いてる
量子重力には対称性はない ― 大栗機構長らが証明
URLﾘﾝｸ(www.ipmu.jp)
これによって示される
物理的に近似でしかありえない宇宙と、磁気単極子の予測
および電子はそれ自体がもつれている量子マイクロブラックホールだって予測
これも上にも書いた室温で電荷が量子力学的体制によって運ばれているって研究で示唆される
これらをもう2年くらい前からずっとこのスレ含めて俺は予測して書いていた
磁気単極子は2つの舞台から見たときの宇宙に概念上存在する
つまり、3+1次元空間においてはそれらを構成する7+1次元空間を考えたときに
それを7+1次元空間の一つの極である3+1次元空間から見たときに、概念上存在して見えるってことになる
ってこれももう何度もこのスレに書いてた気がするけど、詳しくは覚えてないな別のスレかもしれない
933:１３２人目の素数さん
19/12/22 15:09:22.63 dWgKJ6XY.net
ｽﾚﾘﾝｸ(math板:526番)
発言のトンチンカンな点を指摘したら発●
多分精神科で診てもらってるんだろう
934:１３２人目の素数さん
19/12/22 15:11:17.69 druy3BGR.net
それと俺の文章がワードサラダに見えるってのは
単に数学だけじゃなく物理的な研究まで俺が引用した上で
数学で表される定性的で厳密な文章でない素人の文章だからそう見えるだけでしょ
本当の糖質はこんな文章じゃないよ
935:１３２人目の素数さん
19/12/22 15:12:07.24 dWgKJ6XY.net
>>885
言い訳は結構です
精神科で診て貰ったことはありますか？
もしないなら診て貰ったほうがいいです
「物理に固執する」というのも症状の一つですから
936:１３２人目の素数さん
19/12/22 15:15:46.81 druy3BGR.net
自分たちの尺度で分からない
あるいは素人のレベルに合わせて理解するのがめんどくさいことになると糖質扱いするのは
物理スレでも数学スレでも同じか
本当にそういうのが真理の探求を遅らせてると思うよ
937:１３２人目の素数さん
19/12/22 15:15:59.41 dWgKJ6XY.net
>>887
そもそも数学や物理が分かってる人なら書かない類の文章です
そういう文章を平然と書ける時点で精神的に正常でない可能性が大です
統合失調症でないとしても統合失調型人格障害の可能性は大です
URLﾘﾝｸ(ja.wikipedia.org)
統合失調型人格障害の診断基準
・関係念慮を持ち偶然の出来事に特別な意味づけをするが、確信を持っている関係妄想はではない。
・文化規範から離れた奇妙なあるいは魔術的な信念があり、テレパシーや予知などで、簡単な儀式を伴うこともある。
・無いものがあるように感じるというように、知覚の変容がある場合がある。
・過剰に具体的であったり抽象的であったり、普通とは違った形で言葉を用いたりするなどの奇異な話し方をする。
・妄想様観念を持ち、疑い深く、自分を陥れようとしているのではないかなどと考える。
・不適切または限定された感情は、良好な対人関係を保つのに必要なことをうまく扱えない。
・奇妙な癖や外観は、視線を合わせなかったり、だらしのないあるいは汚れた服装などの特徴を持つことがある。
・親族以外にほとんど友人がいない。
・過剰な社会不安は、慣れによって減じることはなく、妄想的な恐怖によってである。
938:１３２人目の素数さん
19/12/22 15:20:09.08 dWgKJ6XY.net
>>889
あなたは分かっているつもりなのかもしれませんが
他人からみれば「分かってないことも分からない」状態です
あなたの「真理」は、他人からみれば奇妙な妄想です
妄想は真理ではないので興味ないのは当然でしょう
あなたが数学や物理の真理に貢献できることはないと断言します
でも世の中の人の99.99％はそんな人ですから
わたしもその一人です
939:１３２人目の素数さん
19/12/22 15:28:15.86 dWgKJ6XY.net
>過剰に具体的であったり抽象的であったり、
>普通とは違った形で言葉を用いたりするなどの
>奇異な話し方をする。
数学板や物理板には多いですね
専門家が専門用語で話してるのも同じことだろうという人がいますが
専門家なら相手のレベルに合わせて説明します
相手のレベルなどお構いなしに専門用語ばかり並べれば
ああこの人おかしいなと思うし、実際その通りです
もう何十年もネットに関わってますが外れたことはないですね
940:１３２人目の素数さん
19/12/22 15:37:05.26 druy3BGR.net
>>891
俺は何も分かってないよ
分かっていたらオカルトマニアなんて自称しないからね
ただ直感を書いてるだけ
941:１３２人目の素数さん
19/12/22 15:41:05.58 dWgKJ6XY.net
>>893
＞ただ直感を書いてるだけ
それで楽しいですか？
＞万物の理論を探求したいの
そんなの今の物理学者でもわかりませんよ
無駄だから諦めましょう
942:１３２人目の素数さん
19/12/22 15:50:48 NbuzSj5j.net
>>885
この結果は非常に面白いんだけど、一つ決定的な問題点があるな。疑問の余地があると言ったほうがいいか
ま、どう受け止めるかは自由だからね。後はそれで上手くいくかどうか
943:１３２人目の素数さん
19/12/22 16:05:36.06 dWgKJ6XY.net
ｽﾚﾘﾝｸ(math板:536番)
努力は大事だが、努力しても結果がでないなら
それは努力の仕方が見当違いだから
そのことに気づけないとしたら
そいつは才能がないんだろう
鈍感な奴は何をやっても無駄
944:１３２人目の素数さん
19/12/22 17:47:13.53 dWgKJ6XY.net
ｽﾚﾘﾝｸ(math板:171番)
世の中にはIUTのオカルトマニア氏を
「数論幾何学の第一線の研究者」
と信じたがって疑うことすらできない
精神異常者もいるようだ
945:１３２人目の素数さん
19/12/22 20:48:35.84 v/evItpZ.net
世の中にはIUTのオカルトマニア氏を
「数論幾何学の第一線の研究者」
と信じたがって疑うことすらできない
精神異常者もいるようだ(ﾆﾁｬｧ…
946:１３２人目の素数さん
19/12/22 21:02:25.40 NbuzSj5j.net
二度目だが>>885は本当に面白いよね
というのは、こういう所で研究の態度決定が求められるから。どう捉えるか？読み違うと迷宮に呑み込まれる
オカルトマニアさんの話には全くついていけないが、良いトピックに目を付けている
IUTも同じというか、大局感を上手く掴むのは重要。ご本尊もイメージ解説してくれてるわけだし
プロジェクト年度に先立ち、新年ブログは更新されるのかね
947:１３２人目の素数さん
19/12/22 21:10:58.48 181iT1kM.net
>>899
インチキな人間には近づかない方がよい
948:１３２人目の素数さん
19/12/22 21:31:27.12 dWgKJ6XY.net
>>899
インチキは群れたがる
949:１３２人目の素数さん
19/12/22 22:51:48.79 W4njpYOQ.net
本当の糖質は自分がすべてを知っている神で、そんなすべて知っているすごい人だから
嫁さんは皇女だ、みたいな奇想天外なこと考えてるぞ。
あんまりにも奇想天外なこと考えてるから社会不適合になってるんだよ
950:１３２人目の素数さん
19/12/22 22:57:11.93 W4njpYOQ.net
自分のことなんだけど。
IUTってなんか万能感刺激するから似たように全然知らないけどなんかみてるって人いるのかも。
自分で言うのもなんだけど関わらない方がいいね。なんにもないから
951:１３２人目の素数さん
19/12/22 23:37:08.23 5iLszvF7.net
>>883
なるほどIUTの出現より
数学と数秘術を結びつけるかもね
952:１３２人目の素数さん
19/12/23 00:48:45.00 /IXr5c2z.net
東洋の数秘術である易経は二進法が基礎なんだよね
一倍之法とか凄いわ
953:１３２人目の素数さん
19/12/23 00:54:54.25 qN9p
954:scyt.net
955:１３２人目の素数さん
19/12/23 05:00:37.55 HjyT9x8p.net
>>903
「すべて」という言葉と自他の自我を結びつける語法は認知の歪みといってちょっと問題が・・・
自分（達）はまったくえらい
あいつ（ら）はまったくえらい
自分（達）はまったく駄目だ
あいつ（ら）は全くだめだ
と列挙すると病的なのがよくわかると思います。
日常会話では許される部分もあるのでしょうがまじめな場でそういういいかたを
する雰囲気を作ってしまったとしたらすみません。（望月さんえらい、と書きました。）
956:１３２人目の素数さん
19/12/23 12:24:49.97 cDFd4CnL.net
圏論が曼陀羅みたいと書いたのは中島さち子だったか
確かに最近の数学は宗教的な雰囲気もなくはないよね
あと、物理との関係はむしろどんどん自然に近づいちゃってると思うけどね
数学に物理的な構造が浸透して、逆に物理に数学的な抽象化が浸透してきた
957:１３２人目の素数さん
19/12/23 17:28:30.88 WOPUmVWH.net
オカルトマニアの「正則構造の維持」という文を読んで目が点になり、直後に大爆笑したのは私だけではないだろう
望月どころかBだって椅子からずっこけると思うぞ。どうやったらそう読めるんだ、と
望月が正則構造を「一蓮托生」と表現し、それを解体するといい、Θリンクを「契約結婚」になぞらえている意味を全く理解していない
それどころか正反対の意味で捉えている
まあ、双遠アーベルと単遠アーベルの違い、relativeとabsoluteの違いを分かっていない、見ていない時点でお察しだったんだが、
「正則構造の維持」という文を読んでここまでこの人はブッ飛んでいたのかと再認識できたよ
というか、オカルトマニアが書いていることの意味が通じそうな部分だけをとれば、SSレポみたいになるんだけどな
要するにid-versionになるんだよ
まあ、最初から妄想的な固定観念に固執しているからまともに文章を理解できず、単語を見て自分の妄想で解釈しているだけだろう
958:１３２人目の素数さん
19/12/23 17:45:26.41 J0xZ43of.net
もう、ひたひただね
959:１３２人目の素数さん
19/12/23 17:47:38.26 WOPUmVWH.net
まあ、望月・星-SS討論もレベルの違いを除けばこんな感じだったんだろうな
「レベルが高いのか低いのか分からん論争」、「５ｃｈレベルの罵り合い」と書いたことがあるけど、
それを誘発しているのが望月・星やオカルトマニアみたいな連中
要するにSSはスルースキルを持っているということだよｗ
960:１３２人目の素数さん
19/12/23 18:00:20.39 IPOj6pqH.net
数学が現代のバラモンの学問なのは間違いないわ
961:１３２人目の素数さん
19/12/23 18:09:53.61 J0xZ43of.net
slew skill
962:１３２人目の素数さん
19/12/23 23:42:55.75 IO8IScN9.net
>>908 フェイク
>数学に物理的な構造が浸透して、
逆に物理に数学的な抽象化が浸透
してきた
数学は数秘術の構造が浸透したが
物理はやはり物理
963:１３２人目の素数さん
19/12/23 23:44:09.78 petpfgon.net
数学者？は私の数学が理解できないのだろうか？
964:１３２人目の素数さん
19/12/23 23:51:11.50 IO8IScN9.net
URLﾘﾝｸ(sd42dc40f051c90fc.jimcontent.com)
965:１３２人目の素数さん
19/12/24 06:09:12.24 eTA168Qc.net
オカルトマニア－オカルト妄想＝◆e.a0E5TtKE
専門用語で検索した結果をコピペして満足する素人馬鹿ｗ
ｽﾚﾘﾝｸ(math板:633番)-642
966:１３２人目の素数さん
19/12/24 06:19:04.63 eTA168Qc.net
◆e.a0E5TtKE トンデモ発言
１．{}∈{{}},{{}}∈{{{}}} だから {}∈{{{}}}
２．Zermelo構成�
967:ﾅは 0={},1={{}},2={{{}}},… だから Ω＝{{…(無限重)…}}
968:１３２人目の素数さん
19/12/24 10:33:03.19 GMwxWvzR.net
包含関係があり構造を維持して全体として考えなければならない１０の演算子と
代数幾何解析それぞれ１００の３００の宇宙の掛け合わせの
合計３０００の原子とでも呼べそうな基礎的な概念とそれらの性質に
数学が分類できる気がしてならないんですよ
969:１３２人目の素数さん
19/12/24 18:47:50.88 eTA168Qc.net
一元体F1 は以下のような性質をもつものであると信じられている。
・任意の有限集合は F1 上のアフィン空間であり、
また F1 上の射影空間でもある。
・任意の基点付き集合は F1 上のベクトル空間である。
・有限体 Fq は F1 の q-量子化である。
・ワイル群は F1 上の単純代数群である。
・単純代数群に対するディンキン図形が与えられたとき、
そのワイル群は F1 上の単純代数群である。
・Spec Z は F1 上の曲線である。
・任意の群は F1 上のホップ代数である。
もっと一般に、代数的対象の図式として定義されるいかなる対象も、
集合の圏において F1-類似物をもつ。
・集合上の群 G の作用は F1 上の群の射影表現であり、
これにより G は群ホップ代数 F1[G] となる。
・F1 上の代数多様体はトーリック多様体であり、
任意のトーリック多様体は F1 上の代数多様体を決定する。
・F1 上の P^N のゼータ函数は
ζ(s)=s(s-1)…(s-N) である。
・F1 の m-次の K-群 K(F1) は
球スペクトルの m-次安定ホモトピー群
でなければならない。
トポロジストにとっては最後がツボだな
970:１３２人目の素数さん
19/12/24 18:52:59.00 EziIP+M8.net
一体元F1をカン拡張して絶対数学？
971:１３２人目の素数さん
19/12/24 18:54:32.97 EziIP+M8.net
一元体F1な
972:１３２人目の素数さん
19/12/24 22:54:06.80 o41U9Kqq.net
>>920
あなたはトポロジストなの？
何だかんだ最先端の分野だよね
自分は師から「ホモトピーは大事だがあまり代数幾何とかトポロジーに頼りすぎるな」と言われてきたから
壮大な理論がこっちばかりなんで複雑な心境なんだよな。自分なりの方向性はあるんだけど
973:１３２人目の素数さん
19/12/25 03:56:15.58 FFF15gCs.net
effective モーデルは物理や工学に応用される？
974:１３２人目の素数さん
19/12/25 03:56:48.30 FFF15gCs.net
effective モーデルは物理や工学に応用される？
975:１３２人目の素数さん
19/12/25 03:56:48.30 FFF15gCs.net
effective モーデルは物理や工学に応用される？
976:１３２人目の素数さん
19/12/25 06:17:31.05 vcY8XrPJ.net
>>923
>あなたはトポロジストなの？
違うんじゃね？
「トポロジストだったら興味を持つだろう」
という第三者的ないいかただよな
977:１３２人目の素数さん
19/12/25 06:27:51.52 vcY8XrPJ.net
集合上のさまざまな構造のq-類似が Fq 上の射影空間の構造として得られ、
q = 1 へ特殊化することでもとの構造が F1 上の射影空間の構造として
計算される。
★集合は射影空間である。
有限体 Fq 上の (n － 1)-次元射影空間 P(Fqn) = Pqn－1 の元の個数は、
q-整数[n]_q:=(q^{n}-1)/(q-1)=1+q+q^2+…+q^(n-1)
で与えられる[。
q = 1 とすれば [n]q = n となる。
この q-整数の q-冪和への展開は、射影空間のシューベルト胞（英語版）分解に対応する。
★旗の置換
n 個の元からなる集合上の置換の総数は n! 個であり、
[n]_{q}!:=[1]_q[2]_q…[n]_q[n]
を q-階乗とすれば、Fqn における極大旗の総数は [n]q! である。
実際、集合上の置換はフィルター付き集合と考えることができ、
旗はフィルター付きベクトル空間とかんがえることができる。
たとえば、置換 (0,1,2) は {0} ⊂ {0,1} ⊂ {0,1,2} なる
フィルター付けに対応する。
★部分集合は部分空間である
二項係
978:数 n!/(m!(n － m)!) は n-元集合の m-元部分集合の総数を与え、 q-二項係数 [n]q!/([m]q![n － m]q!) は Fq 上の n-次元ベクトル空間 における m-次元部分空間の総数を与える。 q-二項係数の q-冪の和への展開は、グラスマン多様体の シューベルト胞分解に対応する。 「順列・組合せ」しか知らない素人でも興味をもつだろう さて、私は素人でしょうか？
979:１３２人目の素数さん
19/12/25 11:28:20.07 eKJj/JgP.net
このスレを読んでみた一般人から一言いわせてもらうよ。
数学について難しいことは解らないから外野から見たイメージだけど。
まず、イメージは大事なこと。人は見かけが9割とか何かに書いてあったよね。
突然、話は変わるけど詐欺に引っ掛かるのはなぜだと思う？
それは詐欺師が本当の事を言っているから。
別に、なぞなぞをしている訳ではないよｗ
簡単に言うと一部は本当のことだけど、全体を見ればウソになる。
その為にその事に注意を向かせないようにしたり、勢いで誤魔化そうとする。
まあ、これをいかにするかが詐欺師の腕の見せ所なんだけど。
で、話を戻すとSSって人がなんか質問したらそれがトンチンカンなことだったのか、ポイントを突いたのか俺では判断できないが、それをマヌケと罵倒して一刀両断するのは不味い対応としか言えない。
この場合は、相手に対し丁寧に理路整然と説明して根気よく対応し理解してもらわなければいけなかった。
勢いで反論して、その場を乗り切れても後々みんなが冷静になって、あれは何か後ろめたい処が有るのでは？と大半の人に思われるだけだよ。
980:１３２人目の素数さん
19/12/25 13:18:48.47 HS3WZ0V5.net
オカルトとポエム化が進む令和元年のIUTスレであった
981:１３２人目の素数さん
19/12/25 14:05:51.09 F26PVp78.net
>>920
＞・F1 の m-次の K-群 K(F1) は
＞ 球スペクトルの m-次安定ホモトピー群
＞ でなければならない。
そうでないと位相空間での斉次化の可能性の条件が満たされず
空間内の表現を対角化して解を一意に定める条件が満たされない
というポエム
982:１３２人目の素数さん
19/12/25 14:44:31.93 F26PVp78.net
三次元のトーラスで穴が一個の場合に表面に不動点がないというのを
斉次法的式である円や級から見てトポロジー的な性質を維持したまま
ベクトル空間上の表記に置き換えると穴が一個の場合が
平面の固有ベクトルが一種類（またな二種類が同値）の場合として
その方程式に一意の解がないのとトーラスに不動点がないのは
対応しているとして、それと同じ種類の問題だと思ったんですよ。
983:１３２人目の素数さん
19/12/25 14:49:32.61 F26PVp78.net
確かに、ポエムが書ける場であるからといってポエムであることに甘んじることを
無制限に自分に許してはいかんかったですね。すみません。
984:１３２人目の素数さん
19/12/25 14:58:54.54 F26PVp78.net
ネットでの議論の内容の帰属の放棄を書く先例を踏襲して
>>932 が >>920 のヒントになったらという部分は >>920 さんの
>>932 に直接書いた例の部分の帰属は >>930 さんにとします。
そんな内容ないというのならオカルト的妄言として無視して下さい。
985:１３２人目の素数さん
19/12/25 15:19:26.45 F26PVp78.net
帰属は正確には指名された人もしくは指名された人が指名した人の帰属とします。
現段階ではオカルト的であり論文として受理された時点で初めてアイデアになるという考えです。
発明のかつての先発明主義に対する現代の専願主義での扱いと同じ発想です。
その上での数学のコミュニティーの倫理的秩序に対し害を与えたくないと願っての内容なので
よろしくご審査願えればと思います。
986:１３２人目の素数さん
19/12/25 16:16:02.90 PqYVSxSH.net
GL_n(F_1)ってどうなるんだっけ？それに対してBGL_n^+とか考えれるの？
987:１３２人目の素数さん
19/12/25 17:33:00.42 87Vg7zWo.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
988:１３２人目の素数さん
19/12/25 17:33:55.08 87Vg7zWo.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
989:１３２人目の素数さん
19/12/25 19:13:39.17 vcY8XrPJ.net
ｽﾚﾘﾝｸ(math板:195番)-196
IUTを●信する馬鹿 発●中・・・
990:１３２人目の素数さん
19/12/25 20:19:09.48 87Vg7zWo.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
991:１３２人目の素数さん
19/12/25 20:20:01.40 87Vg7zWo.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
992:１３２人目の素数さん
19/12/25 20:40:24.41 6gdlQlp9.net
>>928
その辺はManinから始まりLorscheidやConnesらが色々調べたからね
しかしManinは凄いわ本当。最近の論文も凄い
マニンやグロモフはフィールズ賞がなくても壮大な数学者になれる好例だね
993:１３２人目の素数さん
19/12/25 20:55:24.36 6gdlQlp9.net
>>932
もっとすっきりした単純な見方ができますよ
不親切だから書きませんが
あなたはオカルトマニアさん？量子計算とF1にも本質的な関係があります
しかし現段階では恐らく論文になっていません
994:１３２人目の素数さん
19/12/25 23:29:41.10 L3OaI40v.net
>>903
嫁が皇女？
ＳＡＹＡ子様？？？
貴方ＫＵＲＯ田さんなんですか？
995:１３２人目の素数さん
19/12/25 23:32:57.32 L3OaI40v.net
嫁が偉過ぎてＫＵＲＯちゃんが
ＫＵＲＵった！？大変～！
鬼女スレに拡散して来なくっちゃ！
996:１３２人目の素数さん
19/12/25 23:34:16.87 L3OaI40v.net
ＫＵＲＯ田ＫＵＲＵ太ちゃん降臨！？
997:１３２人目の素数さん
19/12/26 06:38:58.30 hJ1Ksrnd.net
>>943
オカルトマニアという方ではありません
楕円に内接する二等辺三角形の角がα、α、２π－２αになりαが定まるとして
tanαが１の場合が円、tanα＞１の場合が楕円で、tanα＜１でも楕円
（２π－２α）／２であるπ－αとについて同様の場合分けを考え
エネルギーが最小化された場合に円になるαとの関係での
エネルギー最小化問題として考えると
αとπ－αが交わる点を考えればよくα＝π／２なら確かに円になる
エネルギーの量を考えずエネルギー最小化計算ができるのは
αに対して定まるという意味で正規化された半径ｒについての高々楕円であるような面積の範囲に
エネルギーＥが収まるのが自明だからその部分の記述を省略できるので
なぜこんな議論を考えているのかというと、ファインマンダイ�
998:Aグラムについて なぜ計算できるのかわからないところがあるというのをどこかで読んで その連想であろうところで考えてきたのであろう そのなぜファインマンダイアグラムかというと 経路積分とのお題があったからですね 確かに議論を単純化していくと本質的にはとても単純な議論かもしれません どうもありがとうございました
999:１３２人目の素数さん
19/12/26 06:44:57.85 hJ1Ksrnd.net
トーラスの穴が１個の場合を挟んで解が求まるというのと
議論が離散化されていないという点を除いて双対であるような議論であろうと
1000:１３２人目の素数さん
19/12/26 06:54:43.17 hJ1Ksrnd.net
α＋（π－α）がα’＋（π－α’）に置き換わっても全体としての定数πから
計算内では定数としてあつかっていいエネルギーＥについてはエネルギー保存則を守っていると
ファインマンダイアログとの直接の対応ではこのような議論に
1001:１３２人目の素数さん
19/12/26 07:12:29.37 jIPdb5we.net
>>947
＞オカルトマニアという方ではありません
別人だとしても同類だな
1002:１３２人目の素数さん
19/12/26 07:27:05.35 hJ1Ksrnd.net
三角形の内角の和の公式を間違えてあちこちで数値が倍に・・・
ダークエネルギーなんかの問題は扱えないがその範囲での統一理論ができて
宇宙のザ・定数が計算できるようになると思うと夢が膨らみますね
>>950
１）閃く
２）発展する（オカルト）
３）完成する（科学）
４）社会に実質的な影響を与える
でいうと３）と４）の境目に学会の査読とアクセプトがあるので
ネットでの公開の議論はどうしてもオカルトになりがちだと思うんですよ
たわいもない雑談と思ってご容赦ねがえればと
２ちゃんはしょせんは学会誌の代わりにはなりえない限界が最初からあるので
お気に障っている点はどうもすみません
1003:１３２人目の素数さん
19/12/26 08:55:11.28 hJ1Ksrnd.net
計算はめちゃくちゃですね
円に内接する二等辺三角形の必ずしも等しくない辺に接する角は
４５°でその時点で上の計算はおかしい
しかしここは不親切を見習って直しません
お騒がせしました
1004:１３２人目の素数さん
19/12/26 10:23:39.90 0uShN4BU.net
柏原さんが頑張った分を佐藤さんが受賞しちゃっていた影の努力が評価されて京都賞、チャーン賞という形かな。
1005:１３２人目の素数さん
19/12/26 13:15:25.23 uIr6kEDf.net
もっちーの影で努力している人はいない
1006:１３２人目の素数さん
19/12/26 17:01:08.80 AHYifmoo.net
>>951
単純な図形から考えるのは良いことですが、「F1の高次K理論が安定ホモトピー群と見なせる」というのは
どうやっても抽象的な概念を使わないと十分わからないです。特にスキームのK理論ですね
本当に興味がおありなら調べてみてください。後はManinの原論文です
1007:１３２人目の素数さん
19/12/26 17:43:20 4cBNS7w1.net
Maninの考察は200年後も読まれるだろうな
上手くいけばIUTも
果たしてショルツはどうかな？
1008:１３２人目の素数さん
19/12/26 17:50:38 Z4f02+vQ.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
1009:１３２人目の素数さん
19/12/26 17:50:53.12 Z4f02+vQ.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
1010:１３２人目の素数さん
19/12/26 18:03:04.68 0k8WZDEf.net
この ぶさいくぼうずは自画像？
1011:１３２人目の素数さん
19/12/26 18:13:41.03 snAMemQL.net
たとえばガロア理論というのは捨てられた理論だった
それを拾ったのがドイツ人数学者(誰だったか忘れた)
つまりドイツ人数学者が拾わなければガロア理論は存在しないのも同じだった
かつて高木さだはるがドイツ留学をして「るいたい�
1012:�ん」というゴミを論文にできたのも ドイツがゴミ収集車だったからだ じゃっぷにはちょうどよいと思われたのが「るいたいろん」なのだ しかもその「るいたいろん」というのはほとんどドイツ人に書かせ 向こうの日本人外交官に翻訳させたものだ かいせきがいろんくん死ね
1013:１３２人目の素数さん
19/12/26 19:41:21.23 aSQmJauy.net
↑よゐこの皆さんはＮＧ推奨です。
1014:１３２人目の素数さん
19/12/26 20:18:52.86 snAMemQL.net
後進国ドイツはゴミ回収とゴミの再生工場だった
それが第三帝国なんだよ
帝国
スペイン
ポルトガル
イギリス
フランス
アメリカ
だいにっぽんは後進国(第三帝国)の冊封として
高木さだはるを譲渡した
1015:１３２人目の素数さん
19/12/26 20:20:56.86 snAMemQL.net
後発によしだ洋一はフランス帝国に留学した
そこでの思い出はフランス語の家庭教師と
バス停の前にいた花売り(ばいしゅんふ)の少女
だった
よしだは晩年に推理小説の面白さがわからないとボヤキ
数学の思い出など一切なく色ボケしたじじいになってしまった
哀れだ
1016:１３２人目の素数さん
19/12/26 20:26:35.28 oc4YS0Je.net
なんなんでしょうか？この文学崩れは？
数学スレですよ？椿姫が何ですって？
森鴎外？泡姫が何ですって？
あ、間違えちゃった！つや姫だった。
1017:１３２人目の素数さん
19/12/26 20:41:04.91 KM4CbSJz.net
>>958
'`,､('∀`)'`,､( ´∀`)'`,､
('∀`)'`,､( ´∀`)'`,､('∀`)
'`,､( ´∀`)'`,､('∀`)'`,､
( ´∀`)'`,､('∀`)'`,､( ´∀`)'`
,､('∀`) '`,､
1018:１３２人目の素数さん
19/12/26 21:05:21.91 kM4c21d1.net
>>965
真似しないで。
1019:１３２人目の素数さん
19/12/26 21:31:33.44 hJ1Ksrnd.net
>>955
もとよりわかりたい人と励ましあっているのであって
何かわかったと思って書きこんでいる訳ではありません
気長に取り組んでみます
どうもありがとうございました
1020:１３２人目の素数さん
19/12/26 22:01:33.66 gQUazjvf.net
>>960
アホかな
1021:１３２人目の素数さん
19/12/26 23:52:46.72 AHYifmoo.net
>>967
トーラスみたいな単純な図形で考える事は正解なんですけどね
実はこれは「微分」の話でもあるんですよ。よっぽどの者じゃないとわからない書き方ですがね
色んな意味でIUTの話にも関係があります。実際にはIUTに問題があるとしてもです。それでは
1022:１３２人目の素数さん
19/12/27 00:09:47.14 lCQgnL2C.net
>>1です
誰か次スレの立ち上げをお願いします。