20/05/24 12:28:17.91 eSmHIbwZ.net
3.12を具体的にポイントついた上で理解できないという人がどれくらいいるかだな。
遠アーベル界隈だと批判でてるの？Stix以外で。
804:１３２人目の素数さん
20/05/24 12:28:43.91 2h/OYPBV.net
|
|(д\)゜。
805:１３２人目の素数さん
20/05/24 12:52:57.78 c6gsDzcC.net
>>748
分離閉包さん
＝正規部分群さん
＝箱入り無数目さん
＝公理図式さん
＝読まずにコピペさん
そしてその正体は・・・ガンバレ・ニッポンさんｗ
806:１３２人目の素数さん
20/05/24 12:54:59.50 7dB8qUo6.net
>>752
ミスター維新さんは黙ってて
807:１３２人目の素数さん
20/05/24 12:55:02.54 9J+vU7FH.net
>>745
IUTはフィールズ賞受賞者レベルじゃないとわかりっこない
つまり、教授のファンが一定数いるということだ
ろくにインタビューにも答えないおっちゃんなのにすごいカリスマ性だね
808:現代数学の系譜 雑談
20/05/24 13:10:55.16 WD4sBPKv.net
>>754
>IUTはフィールズ賞受賞者レベルじゃないとわかりっこない
>つまり、教授のファンが一定数いるということだ
>ろくにインタビューにも答えないおっちゃんなのにすごいカリスマ性だね
そりゃ、ノーベル賞を考えれば、双対でしょうよ
日本人ノーベル賞の 真の意味を学問的に理解できる人は、専門家でも一握りでしょう？
加えて、加藤本の影響も大
マスコミのヨイショの影響も大
809:１３２人目の素数さん
20/05/24 13:19:46.27 gYz8PN0j.net
>玉川教授は「全く新しい理論で、
さらなるインパクトを生み出す可能性がある。」 >>1
IUTは遠アーベル幾何学とも違い
全く新しい理論。
理解者.加藤文元本でもP 51
IUT語
「IUT理論は、一般的な数学の
パラダイムの枠組みでは語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
信じても救われない
IUT教会としか思えない
810:現代数学の系譜 雑談
20/05/24 13:21:10.70 WD4sBPKv.net
>>750
どうも
> 3.12を具体的にポイントついた上で理解できないという人がどれくらいいるかだな。
>遠アーベル界隈だと批判でてるの？Stix以外で。
１．まず、多くの海外数論研究者達は、Cor3.12まで達していない（下記の Brian Conrad レベルで平均以上、偏差値70くらい（＾＾； ）
２．ショルツでさえ、偏差値80くらいかも。Stix入れて偏差値90だろうが、まだ足りない
３．結局、ショルツ先生もWoitブログにおいて 自白していたのは、「実はIUTは難しくて、定義が正確には読めていない」って話だった
４．結論として、（定義が正確には読めていない）「SSレポートは ダメ」ってことです。さて 数学界での検証はいまから、改めて始まりま～す！（＾＾
（>>453）
（参考）
URLﾘﾝｸ(github.com)
on 24 Feb 2016 annonymath
Brian Conrad によるオックスフォードでの IUT ワークショップのノート（試訳）
背景
基本的な考え方の理解を遅らせたのは何か？
宇宙際 Teichmuler 理論 (IUTT = IUT) とは何か？
ワークショップで何があったか？
聴衆のフラストレーション
終わりに
811:１３２人目の素数さん
20/05/24 13:23:12.27 7dB8qUo6.net
「全く新しいフレームワークと言語・概念体系を基盤として構築」されたものが、
既存の数学に適用できる保証はどこにもない
812:現代数学の系譜 雑談
20/05/24 13:25:06.97 WD4sBPKv.net
>>745
ID:PZHyt/0pさんか、面白いことをいうね
”応援スレってのがそもそも学問の精神に反してるよね
誰だよこんなアホスレ立てたの”
ご高説はしかと承った
で、どうぞｗｗｗ
本スレで、あなたのご高説を実践ください！！
今日中に、なにか書いて見て、IUTについて、学問の精神？ どうぞ
IDが変わらない内にね
それで、あたのいう ”学問の精神”がどんなものか分かるだろう
みんなで、それを見て、笑いましょう～！ｗ（＾＾；
813:現代数学の系譜 雑談
20/05/24 13:28:34.99 WD4sBPKv.net
>>758
>「全く新しいフレームワークと言語・概念体系を基盤として構築」されたものが、
>既存の数学に適用できる保証はどこにもない
いいんじゃね？
ABCだとか
Szpiroだとか
Vojutaだとか
IUTが正しければ
全部終わる
予想じゃく、定理になる
それで十分じゃないですか？
814:現代数学の系譜 雑談
20/05/24 13:29:41.91 WD4sBPKv.net
>>760 タイポ訂正
Vojutaだとか
↓
Vojtaだとか
分かると思うが（＾＾；
815:１３２人目の素数さん
20/05/24 13:31:16 7dB8qUo6.net
>>759
ここはあなたの隔離スレなんだから、sage進行でひっそりとやっておけばいいのに
なぜスレをageるんだい？
816:１３２人目の素数さん
20/05/24 13:34:25 gYz8PN0j.net
ま、全く新しい理論IUTにより
京大RIMSと取り巻き限定abc「定理」
になった。
RIMSが税金を使わず広告の裏にでもかいているならいいんじゃね
817:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/24 13:36:23 WD4sBPKv.net
>>744
(引用開始)
>査読が通ったものは証明を詳しく書く
ことができない、なんてことは全くない
誰ができたのだろうか？
柏原先生もできたのだろうか？
(引用終り)
同感
まあ、これからでしょう（＾＾
>>743
>それなら公開したレポートの撤回をScholzeに求めるはず。
>してないってことは意見は変わってないんだろう。
双対で
Stix「おれは納得してないぞ～」と叫ぶのもありだろうけど
いま、再検証しているんじゃないかな？ 静かにね
だって、Stixは遠アーベルのプロで、ショルツはアマだもの
>>742
＞査読が云々とかそういう御託を並べる前に3.12の証明を詳しく書けばいい
＞査読が通ったものは証明を詳しく書くことができない、なんてことは全くない
「査読が通ったものは証明を詳しく書く」は、解説だよ
論文とは切り離せ
査読は査読だよ
818:現代数学の系譜 雑談
20/05/24 13:43:09.98 WD4sBPKv.net
>>741
>（おそらく弟子たちですらlabel managementについて説明できないだろう）
ほいよ
下記嫁め
といっても、おサルのレベルじゃ読めないだろうが（＾＾；
（参考）
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
宇宙際Teichmuller理論入門(On the examination and further development of inter-universal Teichmuller theory)
星 裕一郎 Aug-2019 数理解析研究所講究録別冊 B76
(抜粋)
P80
§ 18. カスプのラベル類
P82
テータ関数に代入するべき点は, LabCusp±K～= Fl という集合の元たちで自然にラベ
ル付けされます. Fl の各元での特殊値に関する考察から, F×l = Fl \ {0} でラベル付けさ
れた点での特殊値によって (b) が得られ, そして, 0 ∈ Fl でラベル付けされた点での代入
によって, (テータ関数が登場する) “テータモノイド” の分裂が得られることがわかりま
す. また, 0 ∈ Fl での代入によるこの分裂は, 後に, 対数写像を通じて, (b) や (c) に対す
る適切な “入れ物” としての (a) と結びつきます. (§19 や §20 の議論や §8 や §9 の議論
の一部を参照.) そして, 非常に大雑把なレベルでは, §13 から §20 までで構成される “加
法的 Hodge 劇場” (つまり, D-Θ±ell Hodge 劇場や Θ±ell Hodge 劇場) は, テータ関数, そ
の代入点のラベルの管理, 及び, その特殊値 (つまり, (b)) のための “入れ物” (つまり, 最
終的には (a) となるもの) のための設定だと考えられます.
また, (c) の多輻的な表示は, その “加法的 Hodge 劇場” による加法的対称性を用い
たラベルの管理を破壊してしまわないようなラベルの管理のもとで実現されなければなり
ません. その上, “加法的 Hodge 劇場” に現れる大域的な対称性と多輻的に表示されるべ
き (c) の非両立性に, ラベルの管理を対応させなければなりません. (§21 の議論を参照.)
LabCuspK～= F×l/{±1} という集合は, テータ関数の非単数的特殊値に対する自然なラベ
ルの集合であり, この集合に対する乗法的対称性は上述のラベルの管理に関連します.
819:１３２人目の素数さん
20/05/24 13:48:54.12 XzLjKtGO.net
>>764
何か根本的にずれてるな
初歩的な例で言えば、全単射の証明で「単射性を示せば十分である」と書いて証明を終えるとする
そこに「ギャップがある」と言われれば、本人にとっては自明でも理解していれば全射性の証明を付け加えることが(やるかやらないかは別として)できる
相手が学部生で、全射性を示すことは簡単という状況でこの例は、証明を詳しく書かずに自分で考えさせるかもしれない
だが、今回の場合、つまりIUTを学界に証明したと認めてほしいのであれば、証明に付け加えるべき
820:現代数学の系譜 雑談
20/05/24 13:50:17.78 WD4sBPKv.net
>>740
(引用開始)
望月ブログにはモノドロミーに関する反論は一切ないよ 読むだけ無駄
モノドロミーに関する反論は望月レポートのp28-29（LbEx1)にあるが
「2点を1点としたΓloopで生じるモノドロミーの矛盾は、
2点を区別するΓsegとして扱えば回避できる。」
といってるようだ
しかし、そんな口先だけの説明で誤魔化せる問題ではない
(引用終り)
ほいよ
”loopで生じるモノドロミーの矛盾”ってのが
下記の Taylor Dupuy ”the diagram in section 2.2”だろうが
”That does not appear in Mochizuki’s manuscript. I think people should stop citing it.”
だってよｗｗ
スレ違い（食い違い？）だよｗ（＾＾；
（参考）
URLﾘﾝｸ(twitter.com)
math_jinブログ
math_jinさんがリツイート
Taylor Dupuy
5月3日
The manuscript with Stix has problems. The worst being the diagram in section 2.2. That does not appear in Mochizuki’s manuscript. I think people should stop citing it.
(deleted an unsolicited ad)
821:現代数学の系譜 雑談
20/05/24 13:53:15.72 WD4sBPKv.net
>>739
>結局Dupuyはクレームをつけても
>補題3.12の証明を導いていない。
１．Dupuyの役割は、SSレポートを否定したこと
２．IUTを使ったDR論文を指導すること
それで十分でしょ
「補題3.12の証明を導いていない」？
IUT論文IIIに証明があって、査読は終わった！！！ｗ（＾＾；
822:１３２人目の素数さん
20/05/24 13:53:53.95 PZHyt/0p.net
>>759
では私の高説を実践します
こ の ス レ を 削 除 し て は ？
あなたに上記を推奨することが私の高説の実践となります 以上
823:現代数学の系譜 雑談
20/05/24 13:55:21.57 WD4sBPKv.net
>>766
>だが、今回の場合、つまりIUTを学界に証明したと認めてほしいのであれば、証明に付け加えるべき
それは、査読者が考えるべきこと
査読者よりレベルの低い人に、合わせる必要なしだな
そこなことしたら、追加記述の山になるぜ（＾＾；
824:現代数学の系譜 雑談
20/05/24 13:58:39.14 WD4sBPKv.net
>>769
(引用開始)
では私の高説を実践します
こ の ス レ を 削 除 し て は ？
あなたに上記を推奨することが私の高説の実践となります 以上
(引用終り)
１．敗北宣言に等しいな、学問さんよｗｗ（＾＾
自分、学問スレがあっても、何にも書けないってかい？ｗ
２．”ス レ を 削 除 し て は ？”か、どうぞ
数学板の運営に申し出ては？
825:現代数学の系譜 雑談
20/05/24 13:59:45.26 WD4sBPKv.net
>>770 タイポ訂正
そこなことしたら、追加記述の山になるぜ（＾＾；
↓
そんなことしたら、追加記述の山になるぜ（＾＾；
だな
分かると思うが（＾＾；
826:１３２人目の素数さん
20/05/24 14:01:28.23 eSmHIbwZ.net
数学板なんて過疎スレなんだからアゲサゲで揉めるなよ。むしろいまはIUTくらいしか話題ないだろ。
827:１３２人目の素数さん
20/05/24 14:02:22.99 XzLjKtGO.net
>>770
査読者しか理解しなくていいというのであれば、
身内査読者以外の数学者はABC予想を予想のままとして扱って終わる
RIMSの面々がそう思ってる可能性はあるけど
828:１３２人目の素数さん
20/05/24 14:02:59.31 eSmHIbwZ.net
主はmathjinに対抗して情報掲示役をどんどんやればいいよ。
829:１３２人目の素数さん
20/05/24 14:03:10.85 XzLjKtGO.net
そう思ってる→それでもいいと思ってる
830:１３２人目の素数さん
20/05/24 14:04:05.31 mnbV8PSW.net
スレ主はガロア理論もう飽きちゃったん？
検索したらもう立ってないけど
831:１３２人目の素数さん
20/05/24 14:05:42.72 eSmHIbwZ.net
ここには支持側の内部者でもなく、批判側の内部側のコミュニティにも入れない程度の人しか来ないんだからまったり行こうぜ。
832:１３２人目の素数さん
20/05/24 14:14:58.19 2h/OYPBV.net
。＊゜
゜。ガロアスレもう...
○゜
゜...たってないけど
゜。
|…゜○。＊゜。
|ﾉд)゜。
(↑犯人…?)
833:１３２人目の素数さん
20/05/24 14:30:48.61 2h/OYPBV.net
Mr.維新さんが面白くって…
…絵文字でﾊﾞｶｶｷｺ…
しまくっちゃってたら…
…83か84ｽﾚめが2度Banされちゃって…
新ｽﾚが立てられなくなっちゃって…
|ﾉд)。゜
(↑※ｺｿｺｿｶｷｺ…)
834:１３２人目の素数さん
20/05/24 14:31:48.41 c6gsDzcC.net
>>765
＞ほいよ
君、その論文の日付、確認した？
2019年8月って書いてあるね
S&Sと望月の議論って2018年だよね
つまり議論の後、書いてるね
S&Sに指摘されて初めて、ラベルの管理が重要だと気付いたんだろうね
で、なんで日本語なの？Scholzeに読まれてつつかれないため？
腰が引けてるねぇ ABC予想の解決を認めてほしいんだろ？
だったら英語で書かなきゃ 日本国内で吠えたって意味ないだろ
ということで、「ほいよ」と5chに投げずに君が翻訳して
Scholzeに「ほいよ」と投げて見な ほれ「ほいよ～」って
なんじゃ、この落書きは？といわれても知らねぇよ
835:１３２人目の素数さん
20/05/24 14:39:13.79 2h/OYPBV.net
(主ｻﾏ、ｺﾞﾒﾝﾅｻｨ…
もぅ、主ｻﾏの立てるｽﾚで
維新さんに絡ﾐﾏｾﾝ…)
|д`)。
836:１３２人目の素数さん
20/05/24 14:51:35.39 c6gsDzcC.net
>>777
直接の経緯は、>>779-780に書かれてる通りですが、
既に
837:スレッド10で、正規部分群の定義を間違える初歩的ミスが露見した時点で ガロア理論から無関係な方向にシフトしていきました （もともと、代数がよくわかってないから無理してたんでしょう） スレッドが83まで続いたのは、数学セミナー「箱入り無数目」に イチャモンつけるトンデモ街道を驀進したからでしょう だから、綽名は分離閉包より「反・箱入り無数目」のほうがいいんですよ 望月支持の理由は不明ですが、ことあるごとに オリンピックの応援とかいってるんで 「日本人を応援するのは日本人の義務！！！」 とか思ってるんでしょう 「ガンバレ・ニッポン」も綽名としてはいいんじゃないですか？ >>753 私の綽名なら、D1a2aでお願いします https://ja.wikipedia.org/wiki/%E3%83%8F%E3%83%97%E3%83%AD%E3%82%B0%E3%83%AB%E3%83%BC%E3%83%97D1a2a_(Y%E6%9F%93%E8%89%B2%E4%BD%93) ほぼ日本人しか見つからないらしいですが 某遺伝子検査会社で登録された結果を見ると ・韓国人 ・メキシコ人 ・オーストラリア人 が１名ずついますね 実は韓国でも全羅道あたりでは２～３％はみつかるようです 過去（古墳時代）の日本の半島進出と関係があるかもしれません （当該地域で前方後円墳が見つかっているとか） 他の２件についてはおそらく父系祖先に日本人がいるんでしょう
838:現代数学の系譜 雑談
20/05/24 14:58:10.76 WD4sBPKv.net
>>783
おサル違うよ
>既にスレッド10で、正規部分群の定義を間違える初歩的ミスが露見した時点で
>ガロア理論から無関係な方向にシフトしていきました
>（もともと、代数がよくわかってないから無理してたんでしょう）
もともと、個人趣味のスレだったのよ、ガロアスレって（いまのここと同じ）
古典ガロア理論って、10スレもやったら、ネタが尽きる
だから、オムニバス スレに成っていた
”ガロア”を付けると、人寄せになるんだな（キーワードに反応する人多い）（＾＾
おサルが、数セミの時枝記事のときに、哀れな素人氏に誘導されて、ガロアスレに来たのです
隔離スレで、放し飼いにしていたところ、新スレが拒否されて、飼っていたおサルが暴れ出した
これが真相ですｗ
839:現代数学の系譜 雑談
20/05/24 15:05:16.77 WD4sBPKv.net
>>781
>君、その論文の日付、確認した？
>2019年8月って書いてあるね
>S&Sと望月の議論って2018年だよね
ホイよ
おっさん、嫁め（＾＾
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
宇宙際Teichmuller理論入門(On the examination and further development of inter-universal Teichmuller theory)
星 裕一郎 Aug-2019 数理解析研究所講究録別冊 B76
(抜粋)
謝辞 本稿執筆時に限らずこれまで宇宙際 Teichm¨uller 理論に関する無数の議論にお
付き合いくださった望月新一先生に感謝申し上げます. また, 2013 年度に合計 100 時間
以上にも及ぶセミナーで宇宙際 Teichm¨uller 理論について説明してくださった山下剛先生
に, そして, そのセミナーを共に乗り切りそこでの数々の議論にお付き合いくださった玉
川安騎男先生, 松本眞先生に感謝申し上げます. そして, 本稿に対していくつもの有益な
指摘をくださった安田正大先生と査読者の方に感謝申し上げます.
本稿の §1 から §3 までの部分は 2015 年 3 月に京都大学数理解析研究所で行われた
研究集会 “宇宙際タイヒミューラー理論の検証と更なる発展” での筆者による講演 “数体
の単遠アーベル的復元” の内容の一部をまとめて更に説明を付け加えたものであり, そし
て, 本稿の §1 から §8 までの内容をもとに 2015 年 6 月に九州大学の数論幾何学セミナー
において “宇宙際 Teichm¨uller 理論入門” という題目の講演を行いました. これら講演の
機会を与えてくださった望月新一先生, 田口雄一郎先生にお礼申し上げます.
(引用終り)
840:>で、なんで日本語なの？Scholzeに読まれてつつかれないため？ 上記の通り 「 2015 年 3 月に京都大学数理解析研究所で行われた 研究集会」 「2015 年 6 月に九州大学の数論幾何学セミナー」ってあるよね それで、日本語でしょ >腰が引けてるねぇ ABC予想の解決を認めてほしいんだろ？ おまえには無理だよ 最初からな！
841:１３２人目の素数さん
20/05/24 15:10:27.20 c6gsDzcC.net
>>784
歴史を書き換えちゃいけませんよ
正規部分群の定義を間違えたのは事実でしょう
gHg^(-1)=H を gHg^(-1)がHと同型 と誤解したっていう話
「ガロア」の名前だけを有難がる素人は自分ですよね？
ことあるごとにグロタンディクとか言ってたし
有名人へのあこがれが凄まじいですよね
「箱入り無数目」を見た瞬間、
「これは変数の独立性に反するから間違ってる！！！」
と脊髄反射して以来、一貫して吠えてましたよね
この人、大学数学勉強したこと一度もないんだろうな、と思いましたが
∈と⊂を間違える初歩的ミスを見た瞬間、確信に変わりました
同じ間違いを粋蕎って人もやらかしてましたが、
コテハンつける人に賢い人はまずいませんねｗ
842:現代数学の系譜 雑談
20/05/24 15:11:40.53 WD4sBPKv.net
>>773
>数学板なんて過疎スレなんだからアゲサゲで揉めるなよ。むしろいまはIUTくらいしか話題ないだろ。
全く同意です（＾＾
>>774
>査読者しか理解しなくていいというのであれば、
>身内査読者以外の数学者はABC予想を予想のままとして扱って終わる
１．まずは、論文の掲載の可否判断は、査読者だけで良いのです
２．RIMSは、今年４回国際会議を予定していた。新型コロナで中止だけれど、今後計画を練り直しでしょうね
>>778
＞ここには支持側の内部者でもなく、批判側の内部側のコミュニティにも入れない程度の人しか来ないんだからまったり行こうぜ。
同意です
まあ、それぞれのコミュニティの内部では、動き始まっていると思う
さらに言えば、自分が海外の数論研究者なら「情報集め」をやるけどね
日本の知り合い含めて、自分の知り合い達に
「どうなってんだ～？」ってね（＾＾；
それで
IUTが確からしいか
あるいは
ダメらしいか？
まず、自分なりの判断を下すだろうね
（判断を下せるように、情報収集に努めると言った方がいいかもな（＾＾ ）
843:１３２人目の素数さん
20/05/24 15:11:53.11 0xi7hflJ.net
自称おっちゃんです。
「おっちゃん」を「自称おっちゃん」に変えることにも、紛らわしさがなくなるなどの利点はあるね。
>>784
時枝記事以降は殆どガロア理論とは無関係の話が続いていた。
伝説も生まれたし、面白かったけど。
844:現代数学の系譜 雑談
20/05/24 15:13:16.36 WD4sBPKv.net
>>786
おサル必死だなｗ（＾＾
悪いが
おサルのレベルじゃ
”屁理屈合戦”では、おれには勝てないよｗｗ（＾＾；
845:現代数学の系譜 雑談
20/05/24 15:13:48.73 WD4sBPKv.net
>>788
おっちゃん、どうも
レス ありがとう（＾＾
846:１３２人目の素数さん
20/05/24 15:21:16.01 XzLjKtGO.net
>>787
駄目ですね
アクセプトで認められてきたのは信頼の問題で十分条件ではない
今回は身内で査読を通した疑いがあるから無意味
847:１３２人目の素数さん
20/05/24 15:22:42.50 c6gsDzcC.net
>>785
＞おまえには無理だよ
>>786
＞”屁理屈合戦”では、おれには勝てないよ
勝手に間違って自爆するあなたの芸には誰も勝てませんよ
・・・勝ちたくもありませんがｗ
848:１３２人目の素数さん
20/05/24 15:31:15.75 c6gsDzcC.net
>>785
2018年のS＆Sとの議論後、慌てて加筆した可能性がありますね
2015年版があるなら比較するのもいいですね
>>742
ABC予想論文ですが、査読者はラベルの管理に関するところは
全くといっていいほどチェックしてませんね
何をどうチェックしたのか知りませんが無意味ですね
849:１３２人目の素数さん
20/05/24 15:37:50 c6gsDzcC.net
>>788
昨日 別スレで面白いこというヤツがいましたよ
そいつ、整数の全体Zが乗法群だ、っていうんですよ
-1の逆元は-1だ、としか示してなくて、
ある人が 2の逆元はどうした？といったら
そんなもの考える必要はない！とわめき散
850:らして わけのわからない理屈にもならないことを 滔々とまくし立ててました 久しぶりに「本物の●違いを見た」と思いましたね
851:１３２人目の素数さん
20/05/24 15:42:16 eSmHIbwZ.net
ミスター維新相変わらずだな。
852:１３２人目の素数さん
20/05/24 15:42:55 7dB8qUo6.net
素人の妄想スレをいちいちageられると邪魔なんだわ
853:１３２人目の素数さん
20/05/24 15:44:21.89 SCiuvyRH.net
>>794
だから「たとえ話」は「ケアレスミス」だったって認めてるじゃん……
ヨビノリの説明が合ってるということの説明が「わけがわからない」のは君が勉強してないだけ
854:１３２人目の素数さん
20/05/24 15:48:48.14 2h/OYPBV.net
(”;)(ｲﾀ…?)
855:１３２人目の素数さん
20/05/24 15:55:48.39 c6gsDzcC.net
>>797
なにいってるのか全然分からないな
856:１３２人目の素数さん
20/05/24 16:01:27.79 SCiuvyRH.net
>>799
ああ、そういえば同じスレで俺と同じような勘違いに引っかかってしまった人がいたな
その人の話か
857:１３２人目の素数さん
20/05/24 16:01:29.98 c6gsDzcC.net
>>796
だいたい、アレは邪魔なことしかしませんね
・数学的に無価値な駄スレを立てる
・自分でも理解できない文章をコピペする
（しかも数式は化けるのでどうでもいい文章ばかり）
・何かというと「オレが勝った！」と吠える
（今までの人生負け続けだったんでしょうが）
しかし、駄スレも立てずコピペもせず勝利宣言もしない
というのは、人生の全否定なんでしょうな
「嘘でもいいから他人に勝ちたい！」
それしかないヤツですからねえ
858:１３２人目の素数さん
20/05/24 16:06:17.69 c6gsDzcC.net
>>800
昨日のID:QshsK5fn？
>>794で言ったのは、ID:a8RN5dFTとかいうヤツ
あれはひどい 君もそう思うだろ？
859:１３２人目の素数さん
20/05/24 16:23:06 0xi7hflJ.net
>>794
整数の全体Zは、乗法群ではなく加法群。加法群Zの単位元は 0∈Z。
環Zの標数を0か2ではない素数として考える。このとき、Zから0を取り除いた Z^{×} を乗法群とする。
環Zの標数が0のとき。
Z^{×} は或るどんな整数とも異なる有理数を含むことになって矛盾が生じる。
ここに、Zは標数0の体として構成される。
環Zの標数が2ではない素数pのとき。
Z^{×} は或る何らかの整数ではない元を含むことになって矛盾が生じる。ここに、Zは標数pの体として構成される。
だから、環Zの標数を0か2ではない素数として考えたときは、Z^{×} は乗法群にはならない。
環Zの標数を2とすれば、Z^{×} は 1∈Z^{×} を単位元とする乗法群になる。ここに、Zは標数2の体。
860:粋蕎
20/05/24 16:46:29.23 bqzcTIrk.net
5ch反IUT論装戦線お猿の一石めーくん維新ﾁﾞﾁﾞｯﾁｬﾏ ◆y7fKJ8VsjM の無政府主義は個である｡
5ch反IUT論装戦線お猿の一石めーﾁﾞﾁﾞｯﾁｬﾏ ◆y7fKJ8VsjM の無政府主義は大業を成すに連帯が必要｡
無政府主義は中共の格好の餌である上に個の連帯は幻想であり欠陥があるので余計に好都合な餌である｡
故に儂に言わせりゃ此奴も売国奴や国賊の餌である｡
所で瀬田氏の応援行為は贔屓の引き倒しと褒め殺しから成るRIMS裸の王様化行為｡
仕方ない。望月新一氏自信が裸で出歩いてる様なものである。勲章爺が如し｡
861:１３２人目の素数さん
20/05/24 16:49:19.81 c6gsDzcC.net
>>803
１行目はよかった
２行目はおや？と思った
３～４行目はまあよかった
５行目は意味不明と思った
６～８行目はこりゃアカンと思った
（Ｚ／ｐＺ）^｛ｘ｝って乗法群だろ
ｐ＝３
×│１ ２
─┼──
１│１ ２
２│２ １
ｐ＝５
×│１ ２ ３ ４
─┼────
１│１ ２ ３ ４
２│２ ４ １ ３
３│３ １ ４ ２
４│４ ３ ２ １
ｐ＝７
×│１ ２ ３ ４ ５ ６
862: ─┼─────────── １│１ ２ ３ ４ ５ ６ ２│２ ４ ６ １ ３ ５ ３│３ ６ ２ ５ １ ４ ４│４ １ ５ ２ ６ ３ ５│５ ３ １ ６ ４ ２ ６│６ ５ ４ ３ ２ １ ・・・
863:１３２人目の素数さん
20/05/24 16:56:11.87 c6gsDzcC.net
>>804
君の所得がいかほどか知らんけど、もし高額所得者でないなら
いろいろ調べて考えたほうがいいと思うんだ・・・
URLﾘﾝｸ(ja.wikipedia.org)
864:１３２人目の素数さん
20/05/24 17:05:57.62 DgYLcsNW.net
所得の話->革命の話->IUT批判->荒らし->維新の話->所得の話....
維新群の構造
865:１３２人目の素数さん
20/05/24 17:10:23.39 c6gsDzcC.net
>>807
経済システムを有難がるのは金持ちだけだよ
経済格差が進むのは必然だと証明した数学者は
ノーベル経済学賞を受賞できるんだろうか？ｗ
866:１３２人目の素数さん
20/05/24 17:12:58.25 0xi7hflJ.net
>>805
あっ、標数2のときのZの乗法群 Z^{×} の -1 の逆元 -1 は (-1)^{-1}＝-1 と表されるか。
標数3の2の逆元2に等しい「2^{-1}」という式が整数の形で一意に表さるか？ とかいうような感じで、
標数Zの元について見た目の式が整数の形で一意に表されるかどうかを考えて区別しようとしていた。
>>803は間違いだった。
867:現代数学の系譜 雑談
20/05/24 17:13:33.66 WD4sBPKv.net
>>804
粋蕎 さん、レスありがとう
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援だが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、本スレでやれよｗ（＾＾；
868:１３２人目の素数さん
20/05/24 17:15:55.51 c6gsDzcC.net
>>809
標数２ならそもそも、-1＝1だろｗ 1+1=0なんだからさ
869:現代数学の系譜 雑談
20/05/24 17:18:17.01 WD4sBPKv.net
>>792
おサルがだめなのは
維新さん 笑えない あさってレスとか
数学的に無内容
他人をディするしか芸がない
あんたの数学レベルは、中学生程度
まったく受けないんだよね、関西では ”シャレにならんな！” というんだよ（吉本でも使えないやつｗ（＾＾； ）
870:１３２人目の素数さん
20/05/24 17:21:45.01 0xi7hflJ.net
>>809の訂正
標数3の2の逆元2 → 標数3の「Zの元」2の逆元2
標数Zの元について → 「各」標数「の」Zの元について
871:１３２人目の素数さん
20/05/24 17:23:22.71 c6gsDzcC.net
>>810
精神論者のガンバレ・ニッポン曰く
＞「ちゃんと査読された」ということを認める
そもそもそれを認める根拠がない
むしろ否定せざるを得ない状況証拠ばっかり出てくる
悪いが私は「日本人だから無条件に日本人を支持する」精神論者ではない
＞専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
ショルツ氏はむしろ良く理解したといっていい
ショルツ氏の指摘に対して、完璧に論理的な反論ができない時点でダメダメ
＞数学の検証に終りがない。査読は一次の通過でしかない。
だから査読はユルユルでいい、というならそれは甘え
君のいう応援は、ミニスカはいてポンポンふるだけみたいなもん
君が美少女なら�
872:ﾆもかく、還暦直前だか直後だかの年寄なんだろ？ そういうみっともない真似はやめてくれよ オゾマシイからｗ
873:１３２人目の素数さん
20/05/24 17:23:31.38 2h/OYPBV.net
>>807
嵐->維新
の間に
->
ＳＵ-ＭＥＴＡＬ∨坂道系アイドル＆下ﾈﾀ
->
って挿入してみてくださぃ…
874:１３２人目の素数さん
20/05/24 17:29:05.93 c6gsDzcC.net
>>812
＞数学的に無内容
君のカキコって、コピペ以外は、数学的にウソばっかりなんだが・・・
＞他人をディするしか芸がない
君のカキコって、コピペで他人にマウントする以外の芸がないんだが・・・
（しかも肝心のマウントにも一度も成功してないんだが）
もしかして君、自分の書き込みで他人から尊敬を浴びてると思ってるの？
そんなこと全然ないから
「なんか訳も分からず検索した結果をコピペするだけの痛々しいヤツだなあ
きっと会社でも無能でうだつが上がらないんだろうなあ」
と思われてることに気づけ
嫌だろうがそれが現実
875:１３２人目の素数さん
20/05/24 17:31:21.89 c6gsDzcC.net
脱線
>>815
＞嵐->維新
維新なんて名前のグループ、ジャニーズにいたっけ？と思ってしまった・・・
876:１３２人目の素数さん
20/05/24 17:33:05.08 2h/OYPBV.net
(*´艸)
877:粋蕎
20/05/24 17:33:44.88 bqzcTIrk.net
>>810
…終わりが無い？
878:１３２人目の素数さん
20/05/24 17:34:08.18 2h/OYPBV.net
|=3
879:１３２人目の素数さん
20/05/24 17:35:38.52 c6gsDzcC.net
「ガンバレ・ニッポン」君の心のテーマ曲
URLﾘﾝｸ(www.youtube.com)
880:１３２人目の素数さん
20/05/24 17:38:24.08 0xi7hflJ.net
それじゃ、自称おっちゃんもう寝る。
881:１３２人目の素数さん
20/05/24 17:59:30.89 7dB8qUo6.net
>>812
ブーメラン刺さってますよ
あとその程度のレスでいちいちageるな
882:１３２人目の素数さん
20/05/24 18:13:26 PrQ2TieB.net
望月さんって英語を聞くのがもう嫌になって日本に戻って来たらしい。
吾輩も英文を読むとじんましんが出る。
883:１３２人目の素数さん
20/05/24 18:33:24 3doACIaF.net
おっちゃんて相変わらずメチャクチャだなｗ
Zはいつだって標数0だろｗ
Z/nZのことを「標数nのZ」と呼ぶバカはいない
884:１３２人目の素数さん
20/05/24 18:40:16 RMbAsztl.net
IUT周りの人が岩波とかから本出たとしても気持ち悪くてもう買えない
一般の素人からもこう見られてるんだら、
世界の数学会からもはや毛嫌いされてる気がする
柏原正樹氏は全然関係ないと思うし別格だが
885:１３２人目の素数さん
20/05/24 18:43:36 DgYLcsNW.net
数学のことなんて世界の人関心ないし、本出たらみんなとりあえず買う人多いと思うよ。しかも数学の中でもアンチは声が大きいだけで少数派じゃねーのか。ほとんどが中立だろ。
886:１３２人目の素数さん
20/05/24 18:45:53 nh0G4ecb.net
予想と定理の中立なんてないけどな
それは予想のまま派ということ
887:１３２人目の素数さん
20/05/24 18:51:21.61 r1+6ob+l.net
>査読が終わったのは、RIMS内部の
陰謀だとか、内部でデタラメをやって
いるとか ・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員
グルだとか
実際は
欧米の数学コミュニティでも
IUT論文がRIMSの教授同僚内で
処理されてきたと認識されている。
・Quant Magazine 2018.9.30
Calegari wrote a blogpostdecrying the
situation as “a complete disaster,” to a
chorus of a
888:mens from prominent number theorists. "We do now have the ridiculous situation where ABC is a theorem in Kyoto but a conjecture everywhere else,” Calegari wrote. ・woit blog 2020.4.3 That Mochizuki is the chief editor of the journal and that the announcement was made by two of his RIMS colleagues doesn’t help at all with the situation. 欧米でもIUT論文に関する経緯の資料は >>684を含め読まれているかもね 翻訳機能も向上したし。 事実が大切さ
889:１３２人目の素数さん
20/05/24 18:51:32.15 DgYLcsNW.net
IUTが成立する人と困る人もいるらしい。
890:１３２人目の素数さん
20/05/24 18:51:48.71 DgYLcsNW.net
成立すると困る人。
891:１３２人目の素数さん
20/05/24 18:54:06.88 DgYLcsNW.net
WoitとCalegariは別に欧米を代表してないだろうがな。
英語になってれば欧米ならFesenkoならイギリス代表かよw
892:１３２人目の素数さん
20/05/24 18:57:06.03 r1+6ob+l.net
京大RIMS及び取り巻き限定の
abc「定理」があるのだろ
893:１３２人目の素数さん
20/05/24 18:59:17.96 r1+6ob+l.net
>>832
>>684を嫁
894:１３２人目の素数さん
20/05/24 19:08:35 RMbAsztl.net
>>829
「a complete disaster」
「the ridiculous situation」
やっぱだめなんすね
Quant Magazine
とうのは独立した雑誌みたいだけど
パートナーに、Scientific Americanなんか入っているから、
それなりに欧米の代表的意見を反映してるんだろうな
895:１３２人目の素数さん
20/05/24 19:11:29 RMbAsztl.net
>>835
てことは
ニュートンには掲載されたけど
日経サイエンスからは排斥されてるということですかね
896:１３２人目の素数さん
20/05/24 19:19:22.67 dyxq6jFv.net
>>833
証明が正しければ望月定理という名前になるんじゃないの？
897:現代数学の系譜 雑談
20/05/24 19:19:55.15 WD4sBPKv.net
>>823
私の投げた ブーメラン 貴方にも 当たったようですね
問う ID:7dB8qUo6 さん、貴方の書いたことで、数学的な内容のカキコを示してくださいｗｗ（＾＾；
>あとその程度のレスでいちいちageるな
別に、専用ブラウザ使用なので、スレ毎に当初に設定されたままですよ
それに、貴方の指図に私が従う理屈がないのですｗｗ
898:１３２人目の素数さん
20/05/24 19:35:13.82 7dB8qUo6.net
>>838
>別に、専用ブラウザ使用なので、スレ毎に当初に設定されたままですよ
>>681でsageているのに、どうしてそんなにくだらない嘘をつく？
899:現代数学の系譜 雑談
20/05/24 19:40:15.97 WD4sBPKv.net
>>829
>欧米の数学コミュニティでも
>IUT論文がRIMSの教授同僚内で
>処理されてきたと認識されている。
”同僚内”の定義を知らないが
（下記）少なくとも、過去に下記の”OP says:”氏に、”the referee team for the IUT papers.”を依頼したのは事実らしいぜ
なので、最初から仲間でつるんでってことではないな
”OP says:”氏は、断ったらしいし、その後海外でだれか引き受けたか不明だ
ところで、インターネットの以前では、例えば米国の雑誌の論文掲載については、普通に米国内で査読したんじゃないですかね？
それを日本に当てはめれば、日本国内で査読するのは普通でしょ（特に、もし日本語の論文であれば）
あと、査読についての”うんぬん”は無意味ですよ
”査読OK”の結論は、覆らない
それに前も言ったが、再審査しても同じで、問題解決になりませんよ
選択肢は、IUT論文掲載を事実として受入れて、「さて、自分はどうするか？ IUTを潰しに行くか、受入れるか、IUTの影響しないところで仕事をするか の三択」ですよ
URLﾘﾝｸ(www.math.columbia.edu)
900:rdpress/?p=11723 Not Even Wrong Why the Szpiro Conjecture is Still a Conjecture Posted on April 18, 2020 by woit (抜粋) OP says: April 18, 2020 at 4:41 pm This practical (albeit psychological) concern came to mind almost immediately after I was asked early on to be on the referee team for the IUT papers. I have great respect for Mochizuki’s mathematical talent, and no doubt in the sincerity of his belief that he has a proof of the main result. But I could see that the referees would not only have to check the details of an extremely long work written in a very obscure style (which didn’t provide insightful reasons for confidence in the approach being used). They would also have to engage in a herculean effort to get the writing substantially changed. It was too much, so I declined and communicated my concerns to the editorial board. (I recommended immediate rejection with a demand that the work be completely rewritten before it could be reconsidered.)
901:１３２人目の素数さん
20/05/24 19:42:01.18 nh0G4ecb.net
>>840
OP says:氏はわざとなの？
902:現代数学の系譜 雑談
20/05/24 19:42:45.02 WD4sBPKv.net
>>827
>数学のことなんて世界の人関心ないし、本出たらみんなとりあえず買う人多いと思うよ。しかも数学の中でもアンチは声が大きいだけで少数派じゃねーのか。ほとんどが中立だろ。
同意
それと、声が大きいのは
・５ｃｈの数学素人たち
・海外の遠アーベル素人たち
ですね（＾＾
903:現代数学の系譜 雑談
20/05/24 19:44:13.81 WD4sBPKv.net
>>824
＞望月さんって英語を聞くのがもう嫌になって日本に戻って来たらしい。
失恋は？
ないの？
ｗ（＾＾；
904:現代数学の系譜 雑談
20/05/24 19:45:02.96 WD4sBPKv.net
>>822
おっちゃん、お休みなさい（＾＾；
905:現代数学の系譜 雑談
20/05/24 19:46:02.01 WD4sBPKv.net
>>818
> (*´艸)
ここだけ同意
ふいた～！（＾＾
906:現代数学の系譜 雑談
20/05/24 19:56:21.54 WD4sBPKv.net
>>841
＞OP says:氏はわざとなの？
質問の意味が取れないが
もう1つ ”OP says:”があるので引用しておきます
(引用開始)
OP says:
April 18, 2020 at 8:49 pm
@David Roberts:
Just to clarify: I wasn’t a referee on the IUT papers, but rather was invited to serve as one, and I declined (giving the editorial board my recommendation for how I thought would be best to proceed).
As for Katz’ work as a referee on the initial FLT paper, my impression is that this only became public knowledge sometime after the fix was found and the corrected version had gone through the review process (e.g., maybe via the BBC video that was made about it).
(引用終り)
”As for Katz’ work as a referee on the initial FLT paper, my impression is that this only became public knowledge sometime after the fix was found and the corrected version had gone through the review process (e.g., maybe via the BBC video that was made about it).”
に私も全く同感です
ワイルズさんの最初の証明、オイラーシステムを使う方法は、原理的にダメだったという
それをスルーして、後で、ダメと分かって、しかも他人に先に修正案を出されたら？
ワイルズさんの証明はダメで、栄誉はその修正を提案した人に行ったかもしれない
つまり、査読者の温情は、数学の査読では、決して著者のためにならないのです
真の友人こそ「駄目なものはダメ」と厳しく、ダメだしをすべきです
きっと、玉川先生は、それをやったことでしょう（＾＾；
907:１３２人目の素数さん
20/05/24 19:57:32.75 r1+6ob+l.net
>>840
返答のレスはいりません。
908:１３２人目の素数さん
20/05/24 19:58:45.84 nh0G4ecb.net
>>846
OP氏に見えるんだが……
909:現代数学の系譜 雑談
20/05/24 20:04:54.52 WD4sBPKv.net
>>839
>>別に、専用ブラウザ使用なので、スレ毎に当初に設定されたままですよ
>>>681でsageているのに、どうしてそんなにくだらない嘘をつく？
なるほど
確かにな
あんまり意識していなかったな
専用ブラウザ使用は間違いないが
”682 自分：現代数学の系譜 雑談 ◆e.a0E5TtKE [] 投稿日：2020/05/23(土) 14:37:41.56 ID:jlNBK+nU [8/20]”から、age でのカキコだね
では、＜訂正＞
別に、専用ブラウザ使用なので、スレ毎に当初に設定されたままですよ
↓
別に、専用ブラウザ使用なので、2020/05/23(土) 14:37:41.56に設定されたままですので、いちいち sageだ age だとのご注文は煩わしいので、お応えできません。 悪しからず（＾＾；
以上
910:現代数学の系譜 雑談
20/05/24 20:09:23.21 WD4sBPKv.net
>>848
>OP氏に見えるんだが……
ああ、そっちの話か～ぁｗ
OP says:氏＝OP氏だと
まあ、そうですね
コピー範囲が、”OP says”も結構楽なのですよ（＾＾
911:１３２人目の素数さん
20/05/24 20:17:05 SbSEZ3Gi.net
>>843
16才の清純派真っ盛りの薬師丸ひろ子を好きな少年が、気のキッツい自己主張強めな爆弾ボディ女に囲まれたら去勢されたみたいになっちゃうんじゃないかな
戦う前から負けてた気がするよ
912:１３２人目の素数さん
20/05/24 20:28:10 7dB8qUo6.net
嘘を訂正すれば嘘じゃなくなると思っている残念な奴だったか
913:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/24 20:38:02 WD4sBPKv.net
>>852
どう解釈しようが、あなたの勝手ですよ
>>851
> 16才の清純派真っ盛りの薬師丸ひろ子を好きな少年が、気のキッツい自己主張強めな爆弾ボディ女に囲まれたら去勢されたみたいになっちゃうんじゃないかな
>戦う前から負けてた気がするよ
そうか
そっちか
確かにな 気のキッツいはともかく、「自己主張強め」とは思ってないでしょうね ”自己主張”？普通でしょ ってね（＾＾
914:１３２人目の素数さん
20/05/24 20:43:11 nh0G4ecb.net
>>850
OPなんてコピペするほどでもないやろ
ニ文字やん
915:１３２人目の素数さん
20/05/24 20:44:35 iINYqpDF.net
プリンストンの数学科って女の子いるの？
916:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/24 20:55:12 WD4sBPKv.net
NLPって、面白そうだね
IUTも、将来 これで検証されるかもね（＾＾
URLﾘﾝｸ(twitter.com)
math_jinさんがリツイート
theHigherGeometer
Source for quote: section 2b of URLﾘﾝｸ(jiggerwit.wordpress.com)
(I think the idea promoted in this blog post would be cool application of
@math3ma's work in NLP, if anyone is interested)
An Argument for Controlled Natural Languages in Mathematics
What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a ca…
jiggerwit.wordpress.com
URLﾘﾝｸ(jiggerwit.wordpress.com)
(deleted an unsolicited ad)
917:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/24 20:58:50 WD4sBPKv.net
>>855
>プリンストンの数学科って女の子いるの？
多分少ないだろうね
日本でいわゆる リケジョの数学版でしょ（＾＾；
>>854
>OPなんてコピペするほどでもないやろ
>ニ文字やん
確かにな（＾＾
でもな、普通全角のローマ字変換設定にしていて
”OP”を打つとすると、シフトでOPと打つことになるし
あと、コピーの方が間違いないという安心感もあるのです（＾＾；
918:１３２人目の素数さん
20/05/24 21:30:45 0xi7hflJ.net
自称おっちゃん、起きてきちゃいました。
>>825
>おっちゃんて相変わらずメチャクチャだなｗ
>Zはいつだって標数0だろｗ
Zが普通の整数の集合なら、当たり前だ。下らんことでレスさせるな。
>Z/nZのことを「標数nのZ」と呼ぶバカはいない
単位的環Rの標数とか考えたことないのか。
919:１３２人目の素数さん
20/05/24 21:33:06 0xi7hflJ.net
それじゃ、自称おっちゃんまた寝る。
920:現代数学の系譜 雑談
20/05/24 21:47:50.39 WD4sBPKv.net
>>858-859
921: おっちゃん、どうも レスありがとう（＾＾；
922:１３２人目の素数さん
20/05/24 22:32:05 3doACIaF.net
>>858
>単位的環Rの標数とか考えたことないのか。
あるから貴方の言うことはおかしいと言っている。
>>803は2重、3重に間違ってる。
>環Zの標数を0か2ではない素数として考える。
これが最初の間違い。環Zの標数は必ず0。
貴方は単位的環R=1を含む環R があって
1+1+... という元が考えられれば、そのようなRの部分構造をZと呼んでよい
と思っているようだが、そうではない。
Zという構造は唯一つ。
923:１３２人目の素数さん
20/05/24 22:51:07 3doACIaF.net
環Rの乗法可逆元（=単元）の全体をR^{x}であらわすと
R^{x}いつだって乗法群だよ。乙には丁度いい練習問題だろう。
924:１３２人目の素数さん
20/05/24 23:16:13 ljjG/nFf.net
本当にモテるやつは男子校だろうが女子校だろうがモテるから。
数学科に女子がいないなら他学部と合コンしたらいい
モテないのはフラれるのがいやとか時間の無駄とか言い訳しても、自分からグイグイいかないせい
プライド捨ててグイグイ行かないと。
ビューティフルなんとかのナッシュはそうしてた
925:粋蕎
20/05/24 23:22:48.88 bqzcTIrk.net
>>863
流石に女に借金の連帯保証人にさせる意気地は無いわ
そういうのは意気地ぃ言わん
926:１３２人目の素数さん
20/05/24 23:58:42.12 PZHyt/0p.net
>>803
>整数の全体Zは、乗法群ではなく加法群。加法群Zの単位元は 0∈Z。
>環Zの標数を0か2ではない素数として考える。
Zの標数を０以外と仮定すると、Zから負数を取り除いた集合Nはペアノの公理を満たさないけどいいの？
927:１３２人目の素数さん
20/05/25 03:24:22.89 se0kGF+A.net
自称おっちゃんです。
>>861-862
>>865
pを正の素数とするとき、任意の標数pの環Zの0でもpの倍数でもないような整数aに対してaの逆元 a^{-1} を a^{-1}：＝1/a と定義する。
ペアノの公理は0から p-1 までの整数に対して適用する。すると、大小関係の問題はともかく、
標数pの環Zの乗法群 Z^{×} の元を有理数の感覚で代数的に扱えるようになる。
例：標数 p＝3 の環Zについては、2^{-1}・2＝(1/2)・2＝1、2・2＝4＝1 だから、2＝2^{-1}＝1/2、
よって、4＝1、8＝2、16＝1、32＝2、……。
2^{-1}+2^{-1}＝2+2＝4＝1、2^{-1}+2^{-1}＝(1/2)+(1/2)＝1。
標数 p＝5 の環Zについては、4^{-1}・4＝(1/4)・4＝1、4・4＝16＝1 だから、4＝4^{-1}＝1/4、
3・3＝9＝4 だから 3^{-1}・4＝3 から 3^{-1}＝3/4＝1/3。
よって、3^{-1}+3^{-1}＝(1/3)+(1/3)＝2/3＝2・3^{-1}＝2・2＝4、(3/4)+(3/4)＝6/4＝3/2＝4、(1/3)+(1/3)＝2/3＝4
で、3^{-1}+3^{-1}＝(3/4)+(3/4)＝(1/3)+(1/3)＝4。
或いは、3^{-1}+4^{-1}＝(1/3)+(1/4)＝7/12＝(5+2)/(10+2)＝2/2＝1、
3^{-1}+4^{-1}＝2+4＝6 (3^{-1}＝2、4^{-1}＝4) で、1＝6 を満たす。
ここに、7/12＝6 として考えたときは、7＝12・6＝2・1＝2 を満たしている。
3^{-1}・2+4^{-1}・3＝(1/3)・2+(1/4)・3＝2/3+3/4＝17/12＝(5・3+2)/(5・2+2)＝2/2＝1、
3^{-1}・2+4^{-1}・3＝2・2+4・3＝4+12＝16＝1 (3^{-1}＝2、4^{-1}＝4)、
17/12＝16 として考えたときは、2＝17＝12・16＝2・1 で条件を満たしている。
928:現代数学の系譜 雑談
20/05/25 06:17:45.55 eyKRxUQp.net
良い感じのスレになって来ましたね
ガロアスレの再現ですなｗ（＾＾；
929:１３２人目の素数さん
20/05/25 06:18:00.44 OoA989Ly.net
>>865
>環Z
そこはZじゃなくRといいなよ
自然数の全体Zと一致しないし
930:１３２人目の素数さん
20/05/25 06:19:17.56 OoA989Ly.net
>>867
こんなんで？あんたホントレベル低いね
931:現代数学の系譜 雑談
20/05/25 06:23:42.49 eyKRxUQp.net
>>686 追加
Tate twistsの佐藤 周友先生
Acknowledgements に Nottingham Ivan Fesenko 氏が出てくるね（＾＾；
URLﾘﾝｸ(arxiv.org)
[Submitted on 13 Oct 2006]
p-adic etale Tate twists and ar
932:ithmetic duality Kanetomo Sato Graduate School of Mathematics Nagoya University In this paper, we define, for arithmetic schemes with semistable reduction, p-adic objects playing the roles of Tate twists in etale topology, and establish their fundamental properties. Comments: 66 papges. to appear in Ann. Sci. Ec. Norm. Sup. (4) (抜粋) P60 Acknowledgements. The research for this article was supported by JSPS Postdoctoral Fellowship for Research Abroad and EPSRC grant. The author expresses his gratitude to University of Southern California and The University of Nottingham for their great hospitality, and to Professors Shuji Saito, Kazuhiro Fujiwara, Wayne Raskind, Thomas Geisser and Ivan Fesenko for valuable comments and discussions. Thanks are also due to Doctor Kei Hagihara, who allowed the author to include his master’s thesis at Tokyo University as Appendix A.
933:１３２人目の素数さん
20/05/25 06:27:12.53 OoA989Ly.net
>>856
>NLPって、面白そうだね
自然言語処理って書いてくれ
神経言語プログラミングかと思った
もうちょっと頑張れば機械でもあんたの読解能力超えるかもしれん
そのくらいあんたの読解能力は低い 小学生並み
934:現代数学の系譜 雑談
20/05/25 06:30:01.41 eyKRxUQp.net
>>869
>こんなんで？あんたホントレベル低いね
１．レベルの話は、してないんだけどｗ
２．５ｃｈで、ここよりレベル高いところがあったら、教えてくれるかな？ｗｗ
３．IUTの査読が、STAPもどきで、望月－玉川－柏原 全部グルの陰謀だとか、そういう幼稚な話よりも、レベル高いと思うよ（＾＾
935:１３２人目の素数さん
20/05/25 06:38:24.90 OoA989Ly.net
>>872
＞レベルの話は、してないんだけど
環の議論がおもしろいといってるんだろ？
だからレベルが低いといってやった
こんなん初歩だろ
＞ここよりレベル高いところがあったら、教えてくれるかな？
あんた競争してるの？馬鹿だねぇ・・・
936:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 06:46:40 eyKRxUQp.net
>>871
>神経言語プログラミングかと思った
へー、そういうのがあるのか（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
神経言語プログラミング
(抜粋)
神経言語プログラミング（しんけいげんごプログラミング、神経言語学的プログラミングとも, Neuro-Linguistic Programming: NLP）は、ジョン・グリンダー（言語学者）とリチャード・バンドラーによって提唱された、コミュニケーション、能力開発、心理療法へのアプローチを目指す技法である。
人間は客観的な現実を理解することはできないというポストモダン的な立場を取り、主観的経験の構造の研究によって記述された「メタ学問」である[1][2]。
個人の主観性・主観的な経験に大きく焦点を当てた自己啓発の体系を持つ[1]。
信念を、能力・行為・環境の間、アイデンティティとスピリチュアリティの間にあると考え、信念を変えることで真の潜在能力を発揮できるようになることを目指す[1]。
神経言語プログラミングという名称は、人間の行動は神経学的な過程から始まること、人間は考えをまとめたり他者と交流
937:するのに言語を用いること、人間は自分が望む結果を出すために自身の行動、自身の脳を「プログラムする」ことができるという3つの概念を含んでいる[3][4]。 心と体は一つのシステムであるという前提を持ち、情動レベルの側面にも注意を向ける[5]。 実践者の多くはNLPに理論的根拠がないと考えており、クライエントにとって有効かという実用性を重視する[7]。一方で、複数の専門家がその理論を疑問視し、疑似科学ともみなされてきた。その効果を裏付けるような質の高い研究はほとんどなく、研究の土台がないと批判されてきた（2007年時点）[5]。 (引用終り)
938:１３２人目の素数さん
20/05/25 06:47:22 OoA989Ly.net
あんたはガロア理論ガーとか吠える前に
円分方程式を解いてたほうがよかった
５次方程式がなぜ一般的に代数的に解けないのかなんて
工学部卒のあんたのオツムじゃ到底理解できない
あんたは解ける問題だけシコシコ解いて自己満足してりゃいい
939:１３２人目の素数さん
20/05/25 06:50:20 OoA989Ly.net
>>874
いっとくけど、それ、典型的なトンデモだから
940:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 06:52:51 eyKRxUQp.net
>>873
どうも
レスありがとう
なんか勘違いしてない？
重箱の隅の些末な話だが
>環の議論がおもしろいといってるんだろ？
おれは、おっちゃんのカキコは基本読まないんだ
で、それを真面目に読む人がいるんだな
で、真面目くさった議論が始まる
どこかで見た光景でね、ガロアスレであったなと
それが、面白いということですよ
ちなみに、環はあまり詳しくなかったけど、体論より環論の方が（というより環のイデアルが）、現代数学にとっては重要なんだね（＾＾
勉強させてもらったよ（＾＾；
941:１３２人目の素数さん
20/05/25 06:57:31 OoA989Ly.net
>>877
＞環はあまり詳しくなかったけど、
群や体なら詳しいみたいな口ぶりはよせ
群もダメ、体もダメだっただろｗ
あんたは数学科のスタートライン（大学３年開始時）にも立ててない
大学１年の微積分と線形代数も怪しいレベルだからな
用語の定義も読まない人に、大学数学は無理
別にあんたが憎くていってるわけじゃない
こんなことはあたりまえなんだ
あんたが中学高校のいい加減な勉強法のまま
大学数学に挑戦しようと無謀なことしてるから
親切に教えてやったまで 有難く思え 礼は要らない
あんたが人に負けるのが嫌いな●違いだってことは百も承知だ
942:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 06:59:14 eyKRxUQp.net
>>876
>いっとくけど、それ、典型的なトンデモだから
ありがとう
>>874の
URLﾘﾝｸ(ja.wikipedia.org)
神経言語プログラミング
に書いてあるね
日本のスピリチュアル 江原啓之 みたいなものか
鰯の頭も信心から
URLﾘﾝｸ(ja.wikipedia.org)
江原啓之
URLﾘﾝｸ(ja.wiktionary.org)
鰯の頭も信心から
943:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 07:13:01 eyKRxUQp.net
>>878
なんだよ、おサルか
自称 数学科修士卒なれど、その実態は落ちこぼれ
統合失調のクスリのお世話になるオトコ
いまのレベルは中学生がせいぜいだろ？
944:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 07:15:28 eyKRxUQp.net
>>873
>＞ここよりレベル高いところがあったら、教えてくれるかな？
>あんた競争してるの？馬鹿だねぇ・・・
競争はしていない
”５ｃｈごときに、何を期待しているんだ？”ってことよ
このスレより、レベルが高いスレを教えてくれよ
ないでしょ！ｗｗ（＾＾；
945:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 07:23:38 eyKRxUQp.net
>>871
>>NLPって、面白そうだね
>自然言語処理って書いてくれ
違うんだな（＾＾
自然言語処理 略称：NLP （下記）だが、それは”IMEなどの文字変換”の方でしょ
>>871のNLP は
946:Controlled Natural Languages (CNL) を使って、数学のProof を、数学者が書こうって話だと読んだけど（＾＾ （参考） https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E8%A8%80%E8%AA%9E%E5%87%A6%E7%90%86 自然言語処理 (抜粋) 自然言語処理（しぜんげんごしょり、英語: natural language processing、略称：NLP）は、人間が日常的に使っている自然言語をコンピュータに処理させる一連の技術であり、人工知能と言語学の一分野である。 「計算言語学」（computational linguistics）との類似もあるが、自然言語処理は工学的な視点からの言語処理をさすのに対して、計算言語学は言語学的視点を重視する手法をさす事が多い[1]。 データベース内の情報を自然言語に変換したり、自然言語の文章をより形式的な（コンピュータが理解しやすい）表現に変換するといった処理が含まれる。応用例としては予測変換、IMEなどの文字変換が挙げられる。
947:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 07:37:45 eyKRxUQp.net
繰返す
（再録>>810）
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、本体スレでやれよｗ（＾＾；
948:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 07:54:03 eyKRxUQp.net
>>883 訂正
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
↓
１．RIMSのIUTを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
だな
分かると思うがｗ（＾＾；
949:１３２人目の素数さん
20/05/25 08:01:22 OoA989Ly.net
>>881
>>あんた競争してるの？馬鹿だねぇ・・・
>競争はしていない
否定するな あんたは競争しか頭にない
人に勝つことでしか、自分の存在意義を見出せない哀れな奴なんだよ
一方で、あんたは勉強が大嫌いだ 数学書なんか最初の１ページで
「あー、なにいってんだかわからん」といって放り出すだろ
そんなあんたが、勉強抜きに人に勝てると思って見つけた方法が
「専門用語の検索結果をコピペする」という技 実にアサハカ
数学に全く興味ないんだったら、数学板に書くな、というか読むなよ
どうせ一字も理解できないんだから
あんたの数学は、高校卒業で終わったの
大学１年の微積と線形代数は、あんたが数学とお別れする儀式だな
理論は理解できんしそもそも理解する気もない
計算だけできればOKという計算馬鹿に成り下がるための儀式
教授も工学部の奴らに理屈を理解しろなんていわない 到底無理だからな
だから、試験の計算問題が解ければ単位を呉れてやる 有難く受け取っとけｗ
950:１３２人目の素数さん
20/05/25 08:04:00 OoA989Ly.net
>>882
なんかグダグダ言い訳しとるが、
NLPが何の略語だと理解したか
書かないんなら無意味
あんた、英語もダメなんか？
ま、日本語がダメな奴が、英語がわかるわけないか
951:１３２人目の素数さん
20/05/25 08:05:49 0kzc96OE.net
>>866
整数環Zといいつつ整数じゃない元があるんだなｗ
ペアノの公理？君全然分かってないね
952:１３２人目の素数さん
20/05/25 08:08:21 BtoYT5dB.net
閲覧注意
黒を白と詭弁を使うデマサイト
盗人猛々しい
↓
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
953:１３２人目の素数さん
20/05/25 08:10:45 OoA989Ly.net
>>887
＞「ちゃんと査読された」ということを認める
ちゃんと査読されたんなら、他の人がそろいもそろって
「わけわからん」というわけないだろ
しかも「わけわからん」といってる箇所は
遠アーベルと無関係なラベルの管理の話
そこを望月も弟�
954:qも同僚も論理的に説明できない 査読者が見過ごしてることは明らか 宿題やってないのに「やった」とウソつく 某首相の子供の頃みたいなこといってんじゃねぇよ ＞数学の検証に終りがない。査読は一次の通過でしかない。 読んで分らないからって、読者に丸投げで査読通すなよ 馬鹿
955:１３２人目の素数さん
20/05/25 08:11:17 0kzc96OE.net
>>868
>そこはZじゃなくRといいなよ
Zと言ってるのは>>803なんだけど
956:１３２人目の素数さん
20/05/25 08:16:41 OoA989Ly.net
>>880
＞いまのレベルは中学生がせいぜいだろ？
君は高校時代がピークみたいだから
指数・対数関数と三角関数の楽園で遊んでなさい
URLﾘﾝｸ(www.chart.co.jp)
957:１３２人目の素数さん
20/05/25 08:18:56 OoA989Ly.net
>>890
アンカーミス 正しくは>>866
958:１３２人目の素数さん
20/05/25 08:19:57 gGG1fptt.net
こうしてキチガイだけがスレに残りました
959:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 08:23:48 eyKRxUQp.net
>>893
正しくは
こうしてキチガイだけがスレに残りました
↓
こうしてキチガイだけが５ｃｈに残りました
（＾＾
960:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 08:25:40 eyKRxUQp.net
>>885
>>>あんた競争してるの？馬鹿だねぇ・・・
>>競争はしていない
>否定するな あんたは競争しか頭にない
>人に勝つことでしか、自分の存在意義を見出せない哀れな奴なんだよ
競争などしていない
５ｃｈの数学板に数学を期待するな
この当たり前の事実を客観的に述べた
おサル必死
笑えるよｗ（＾＾
961:現代数学の系譜 雑談
20/05/25 08:27:17.96 eyKRxUQp.net
>>888
だからさ～
(引用開始)
閲覧注意
黒を白と詭弁を使うデマサイト
盗人猛々しい
↓
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
(引用終り)
そういう、子供じみた
幼稚な話は、本体スレへ
がんばれよｗｗ（＾＾；
962:１３２人目の素数さん
20/05/25 08:31:32.59 OoA989Ly.net
>>>>あんた競争してるの？馬鹿だねぇ・・・
>>>競争はしていない
>>否定するな あんたは競争しか頭にない
>>人に勝つことでしか、自分の存在意義を見出せない哀れな奴なんだよ
>競争などしていない
し・て・い・る 自分の姿を鏡で見ろ
>５ｃｈの数学板に数学を期待するな
あんた、なにがしたいんだ？
一方で、わけもわからず検索結果をコピペ
もう一方で、うっかり自分のトンデモぶりを露見したら、数学を期待するなと言い訳
あんた、数学に全く興味ないのか？
興味ないなら、なんで数学板に書きこむんだ？
必死なのは、数学が分らん上に分かるための真っ当な努力を一切しないくせに
分ったフリするための嘘偽りで他人にマウントしたがる、あんただよ
あんた、他人に勝てさえすれば、どんな卑怯卑劣な手をつかってもいいんか？
あんた、正真正銘のサイコパスだな
963:１３２人目の素数さん
20/05/25 08:36:44 OoA989Ly.net
>>891
＞指数・対数関数と三角関数の楽園
対数関数は指数関数の逆関数だし
三角関数も引数が複素数の場合の指数関数だと考えれば
端的には「指数関数の楽園」といっていいな
964:１３２人目の素数さん
20/05/25 09:12:26 se0kGF+A.net
>>866の訂正：
環Z → 環R
素数 → 素元
(pの)倍数 → (pの)倍元
>ペアノの公理は0から p-1 までの整数に対して適用する。
は、削除
965:１３２人目の素数さん
20/05/25 09:22:00 se0kGF+A.net
>>892
代数なのに、>>866のような一般的な話が有理整数環Zに適用出来ないのは何とも不思議だけど。
966:１３２人目の素数さん
20/05/25 09:28:15 se0kGF+A.net
>>866の訂正：
整数 → (環Rの)元
967:１３２人目の素数さん
20/05/25 09:34:54 OoA989Ly.net
>>900
ｐ進整数Zp⊃Zを考えれば、ｐの倍数でないZpの元ｎについて
その逆元n^(-1)が、Zpの中に存在する
いっとくけどZpは標数０ね（ここ、間違いやすいから！）
968:１３２人目の素数さん
20/05/25 09:48:28.52 OoA989Ly.net
例えば ２進整数では１１（＝３）の逆数は以下の通り
ー ・・・１０１０１０１＝１１＾（－１）
969:現代数学の系譜 雑談
20/05/25 11:36:33.14 ynbMVhgd.net
>>695
＞”一点抜き楕円曲線”下記 中村「楕円曲線ひく１点の基本群は」と同類の話だろう
”トーラスから1点だけが抜け落ちたものを考えてしまっている”（1点＝特異点）ってわけね（＾＾
URLﾘﾝｸ(tsujimotter.)はてなブログ/entry/complex-multiplication-2
tsujimotterのノートブック
2018-05-19
虚数乗法論 (2)：楕円曲線の由来
数学 虚数乗法 整数論
(抜粋)
虚数乗法シリーズ、第２回目です。
今日は、楕円曲線の基本的な事項についてお話します。この記事を読んだら、楕円曲線の由来が楕円関数からきていることが納得できるかと思います。
また、度々言及される 「楕円曲線はトーラスの形をしている」 ということの意味について解説したいと思います。
ワイエルシュトラスのペー関数
高校で習う三角関数は周期を持つ関数でした。つまり、任意の x に対して
f(x+ω)=f(x)
を満たす周期 ω が存在するような関数です。
楕円曲線の標準形とトーラス
ペー関数を準備しましたので、ようやくですが楕円曲線との関連を見ることができます。
これはまさに 楕円曲線の定義方程式 になっています！！
もしかすると、楕円曲線の定義方程式といえば、こちらの式で覚えている方も多いかもしれません。
y2=x3+ax+b(9)
この形の式をワイエルシュトラスの標準形と言います。式 (8) に x←x/36,y←y/108 を代入してあげれば、この標準形に変形できますので安心してください。
つづく
970:現代数学の系譜 雑談
20/05/25 11:37:17.18 ynbMVhgd.net
>>904
つづき
さて、ここまでで重大な結果を得ることができました。
ワイエルシュトラスのペー関数 p,p′ は複素数平面 C 上の関数でした。その行き先 (p,p′) が、（適切に変数変換を施せば）C 上の楕円曲線 E:y2=x3+ax+b と対応しているというのです。
極と無限遠点
注意深く読んできた方は「ちょっと待て、極はどうするんだ？」と思うかもしれません。z=0 はペー関数の極に対応しており、発散してしまいます。したがって、そのままでは C2 の点 (x,y) に対応づけられません。
つまり、C 上の楕円曲線はトーラスと同相といいつつも、実際のところはトーラスから1点だけが抜け落ちたものを考えてしまっているわけです。
この問題を解消する方法の一つとしては、無限遠点 という点を加えるものがあります。
おわりに
楕円関数によってパラメータ化されるので、「楕円」曲線と名付けられたそうです。これが楕円曲線という名称の由来です。
(引用終り)
以上
971:１３２人目の素数さん
20/05/25 11:49:58.16 OoA989Ly.net
>>904-905
＞「楕円曲線ひく１点の基本群は」
なんじゃ、あんた、計算できんのか？
それじゃ大学院の入試は確実に落ちるのぉ
ふぉっふぉっふぉ
972:１３２人目の素数さん
20/05/25 11:55:55.53 OoA989Ly.net
>>９０６
一般化した質問
「種数ｎの曲面から１点を抜いたものの基本群は？」
おぬしに答えられるかのぉ ま 無理じゃろうのぉ
ふぉっふぉっふぉ
973:１３２人目の素数さん
20/05/25 11:58:14.18 eKE29GRO.net
朝日新聞の朝刊にABCの特集がでてたね。
偉い数学者の何人かがABCを絶賛しているみたいな話なんだが、
彼らが数学の未来が洋々と開けるみたいな楽観的なのには違和感を持った。
理系の大部分は、あと３０年でAIによる自動が普通になって、数学者の仕事がなくなる
と思っているはずなのに、偉い数学者たちは世間知らずなんだなと思った。
彼らはどうせ死んでると思って、無責任なことを言ってるのかもしれないが、
若者はこれでは困るだろう。
974:１３２人目の素数さん
20/05/25 12:02:07.24 cZ4wq6/6.net
>>896
だからさ～
↑
盗人が開き直り
975:１３２人目の素数さん
20/05/25 12:02:48.23 se0kGF+A.net
>>902
pを素数として、有理数体Qを非アルキメデス付値で完備化しても、p進整数環 Z_p の標数は0なのか。
976:１３２人目の素数さん
20/05/25 12:14:38.46 LVm/CtRv.net
>>908
既にabc conjectureが正しいと仮定した論文が出ているんだ�
977:ｩら 単にのどに引っかかった小骨がとれたみたいなすっきり感じゃないかな ゲーデルの不完全性定理以降の数学者は妄想を吹聴して税金をかすめ取る盗賊と大差ないのかも
978:１３２人目の素数さん
20/05/25 12:20:50.71 OoA989Ly.net
>>911
＞既にabc conjectureが正しいと仮定した論文が出ているんだから
Riemann Hypothesisを仮定した論文なんか山ほど出てるがな
ついでにいうとゲーデルの不完全性定理は数学には無関係
実際、論理学者以外は、不完全性定理の証明なんか知らんだろうな
979:１３２人目の素数さん
20/05/25 12:21:50.45 OoA989Ly.net
>>910
０だよ だって、例えばｐ＝０にならんじゃん
980:１３２人目の素数さん
20/05/25 12:26:43.23 zLcYjLRu.net
朝日の記事読んだが、これは森さんも論文読んだようだな。
981:１３２人目の素数さん
20/05/25 12:31:18.97 6+N7E5U3.net
＞理系の大部分は、あと３０年でAIによる自動が普通になって、数学者の仕事がなくなる
と思っているはず
現在の人工知能を知っている人からしたら、こんなこと絶対思わないんだけどな
982:１３２人目の素数さん
20/05/25 12:35:01.10 se0kGF+A.net
>>913
体Qを非アルキメデス付値で完備化する際、素数は関係ないのか。
983:１３２人目の素数さん
20/05/25 12:39:08.47 OoA989Ly.net
>>916
人に尋ねずに自分で付値を計算すれば分かるだろ
計算できないの？
984:１３２人目の素数さん
20/05/25 12:42:51.45 nBeSLhJX.net
abcがちゃんと解けてるなら、その向こうに洋々たる未来が広がってる
というのは嘘じゃないだろう。
それはabcや数論幾何の由来を紐解いてみれば分かるだろう・・・
が、当の望月がabc以外にIUTの応用はないみたいに言ってるんでしょ？
これがまず怪しい
abcを解くための辻褄合わせ（人工的なラベル付けなど）がIUTで
本当には解けてないんじゃないか、つまり
見つけにくいだけで根本的に間違ってる箇所があるんじゃないか
と世界の多くの数学者は思ってるんじゃないかな。
985:１３２人目の素数さん
20/05/25 12:43:43.84 o4mrSicY.net
>>912
数学者も一部の人は知ってるな
986:１３２人目の素数さん
20/05/25 12:45:55.32 OoA989Ly.net
>>919
対角線論法を使うとかいうのは知ってる内には入らんよ
987:１３２人目の素数さん
20/05/25 12:45:59.73 se0kGF+A.net
>>917
>>903の
>ー ・・・１０１０１０１＝１１＾（－１）
のような式の取り扱いや計算は、分からず、慣れていない。
988:１３２人目の素数さん
20/05/25 12:47:17 lWEgftuY.net
>>783
半島進出という言い方は間違いだよ
もともと半島には縄文人のほうが先に定住していた
ずっと後に朝鮮人の祖先であるエヴェンキ族が北方から南下してきたんだよ
半島の歴史と言うのは
倭人
エヴェンキ族
中国からの植民
の三つ巴の戦いであり激突した歴史だ
989:１３２人目の素数さん
20/05/25 12:48:45 o4mrSicY.net
>>920
もちろんそういうレベルの話ではなく、分野によっては知ってる人もいると思われるが
990:１３２人目の素数さん
20/05/25 12:51:03 OoA989Ly.net
>>923
どんな分野？ 「論理学者以外は」と書いたから、論理学関係はダメだぞ
991:１３２人目の素数さん
20/05/25 12:52:11 OoA989Ly.net
>>921
言い訳すんなよ
ｐと０の付値を計算してみ？
992:１３２人目の素数さん
20/05/25 12:52:25 nBeSLhJX.net
乙には多分、同型と準同型の区別が付いてない
ZとZ/nZは準同型であって、同型ではない。
前者の標数は0、後者の標数はn。
アルキメデス付値とか非アルキメデス付値とかいうのは
距離の入れ方の違いだから、代数的構造とは全然別。
たとえば、2,4,8,16,...という列は2進距離では0に近づいていくとか、そういう話。
993:１３２人目の素数さん
20/05/25 12:53:41 o4mrSicY.net
>>924
論理学者かつ数学者は駄目なの？
994:１３２人目の素数さん
20/05/25 12:59:01 NqhcTQBn.net
>>918
それあんま関係ないんだよね。
abc予想自体はこれまでの統計的分析でも多分真なわけだし、
abc予想がabc定理になったからなにか新しく分かるってわけじゃない。
重要なのはabc予想�
995:�するときに使った手法が興味深いこと。 IUTはこれを満たしていない。
996:１３２人目の素数さん
20/05/25 13:01:11 AtQCu2oC.net
IUTのサーベイって誰のが上手くかけてるのかね？
星のが良いんだったら、英訳してショルツに送ってやれよ。
997:１３２人目の素数さん
20/05/25 13:04:31 zW23mgIq.net
>>922
奪還だよね
998:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 13:05:42 ynbMVhgd.net
>>915
(引用開始)
＞理系の大部分は、あと３０年でAIによる自動が普通になって、数学者の仕事がなくなる
と思っているはず
現在の人工知能を知っている人からしたら、こんなこと絶対思わないんだけどな
(引用終り)
同意です
１．AIが絶対ではない。例えば、正しい解のために、条件A、B、Cを入れて答えが出たとする。おかしな答えだった。調べると条件Dが抜けていた。これは、現在は 人でなければ気付かない
２．機械学習をさせるとき、へんなデータを学習させると、悪い癖がつく。マイクロソフトのAIが差別発言をするようになったとか。あるいは、翻訳ソフトで、翻訳の悪い例を学習するとかね
そのチェックは、人がやる必要がある
３．AIを使う人を指導する人が必要です。三菱UFJの社長に東大数学科出身者、かれは人を使える人なのでしょうね。AIを使う人を指導する人が必要です。その人に何をやらせるのか？ 指導し、指揮命令する人。これは無くならない
999:１３２人目の素数さん
20/05/25 13:10:13 se0kGF+A.net
>>925
いや、
>>ー ・・・１０１０１０１＝１１＾（－１）
のような形の式(の左辺)は殆ど見たことがない。
あと、「付値を計算する」とは、どう意味でいっている？
1000:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 13:18:29 ynbMVhgd.net
>>908
>朝日新聞の朝刊にABCの特集がでてたね。
これか（＾＾；
URLﾘﾝｸ(www.asahi.com)
異次元の数学者がかけた魔法 ABC予想を読み解くと 朝日
有料会員限定記事
石倉徹也
2020年5月25日 9時00分
数学の超難問「ABC予想」を証明した京都大数理解析研究所の望月新一教授（51）。成功の鍵は「異次元からやって来た」「理解者は世界で約10人」と言われるほど独創的な新理論だった。その偉業を、数学が苦手な人もわかるように読み解いてみた。（石倉徹也）
URLﾘﾝｸ(www.asahicom.jp)
足し算とかけ算を比べる
それはa+b=cという単純な式から始まる。正の整数aと整数bの「足し算」であるcと、三つの数a、b、cそれぞれの素因数の「かけ算」であるdの大きさを比べた時、両者にある特別な関係があることを示している。
具体的にa=5、b=27で考えると、cはaとbの足し算なので32。次に、b=27は「3×3×3」と素因数分解できるので素因数は3。同様にc=32は「2×2×2×2×2」で素因数は2。a=5は素数のため素因数は5。すると、かけ算（d）は「5×3×2=30」となる。足し算のc=32と、かけ算のd=30を比べると足し算が大きい。
でも実は、他のa、b、cで試すと、ほとんどの場合、かけ算が大きくなる。ABC予想は「足し算がかけ算より大きくなるのはとても珍しい」ということを主張する命題だ。
URLﾘﾝｸ(www.asahicom.jp)
1001:１３２人目の素数さん
20/05/25 13:20:45 nBeSLhJX.net
>ー ・・・１０１０１０１
これは無限級数の形で書くと
-(1+2^2+2^4+…) となる。
大事なことは、これが2進距離で収束するということ。
そして、-(1+2^2+2^4+…)×(1+2)=-(1+2+2^2+…)
は1に収束することが確かめられる。
1002:１３２人目の素数さん
20/05/25 13:27:10 OoA989Ly.net
>>932
おまえ、ｐ進付値知らんの？
知らんなら検索しろよ
URLﾘﾝｸ(ja.wikipedia.org)
これで計算できるだろ
1003:１３２人目の素数さん
20/05/25 13:31:00 OoA989Ly.net
>>922
半島と列島の分岐時期が1万年前とかであれば半島の縄文人という説も成り立つが、
実際には2000年前程度だったりするのであり得ない
ちなみに列島内部で1万年以上前に分岐した系統が存在するので
縄文人が列島に入ってきた時期は旧石器時代と考えられる
1004:１３２人目の素数さん
20/05/25 14:29:46 4/RrOWCH.net
。✳゜。○゜。゜*。
それじゃ大学院の入試は確実におちるのぉ
ふぉっふぉっふぉ
おぬしに答えられるかのぉ
ま 無理じゃろうのぉ
ふぉっふぉっふぉ
゜。
。*゜○゜。✳゜。
|¨)…
ｷ”ｬ”ﾜ”ｴ”ｪ”ﾅ”ｧ”…
|`*)…
|=3
1005:１３２人目の素数さん
20/05/25 14:31:50 se0kGF+A.net
>>935
>おまえ、ｐ進付値知らんの？
知らない。
>知らんなら検索しろよ
>…(サイト名略)…
>これで計算できるだろ
こういうので済ますと、誰かさんと同じことをいっていることになるぞw
最初は、本で学習するモンだろ。
1006:１３２人目の素数さん
20/05/25 14:37:41.08 OoA989Ly.net
>>938
書いてあることは同じだよ
言い訳するな 計算しろ
1007:１３２人目の素数さん
20/05/25 14:42:09.98 OoA989Ly.net
>>937
いや、あの、ほんとに、マジでこれ、基本だからさ
曲面自体の基本群はもうちょっと面倒なんだけど
一点除くと・・・あ~ら、不思議
ま、でも、精神論者のガンバレ・ニッポンには
逆立ちしても解けないだろうな
1008:１３２人目の素数さん
20/05/25 14:44:32.94 se0kGF+A.net
>>939
いや、いい訳ではなく、していることは同じことだよ。
まあ、私にはp進付値の知識は必要ないから、p進付値はどうでもいいけど。
1009:１３２人目の素数さん
20/05/25 15:18:47 4/RrOWCH.net
゜。○゜
。゜だれかqになりたいひと
゜。いませんか。。。？
ﾊ~ｨ。゜○。✳゜
|“)ﾉ｡*゜
゜じゃｐになりたいひと。。。
1010:１３２人目の素数さん
20/05/25 15:26:59 JiGMFsw9.net
数学掲示板群 URLﾘﾝｸ(x0000.net)
学術の巨大掲示板群 - アルファ・ラボ URLﾘﾝｸ(x0000.net)<)
微分幾何学入門
URLﾘﾝｸ(x0000.net)
1011:１３２人目の素数さん
20/05/25 16:22:23 se0kGF+A.net
それじゃ、自称おっちゃんもう寝る。
1012:１３２人目の素数さん
20/05/25 16:30:18 4/RrOWCH.net
|…ｐｸﾝｶﾞ…ｲﾅｨ…
|_q_
|ﾉд`)。
1013:１３２人目の素数さん
20/05/25 16:43:26 4/RrOWCH.net
|…
|\)。
1014:１３２人目の素数さん
20/05/25 19:00:50.63 4/RrOWCH.net
|д`)!
…ｽﾙﾙｪが止まっちゃってる…
ｺﾞﾒﾝﾅｻ~ｨ!
(ﾉд`)。
もぅ変なｶｷｺはしませ~ん…!
1015:１３２人目の素数さん
20/05/25 19:01:31.21 4/RrOWCH.net
|=3 ｺﾞﾒﾝﾅｻ~ｨ!
1016:１３２人目の素数さん
20/05/25 19:37:40.43 OoA989Ly.net
>>906 の答えを書いとくな
階数（＝生成元の数）２の自由群
>>907 の答えも書いとくな
階数（＝生成元の数）２ｎの自由群
これ「４次元のトポロジー」（松本幸夫）に書いてあるぞ
学生時代、これで読書会やったなあ
1017:１３２人目の素数さん
20/05/25 19:52:10.92 OoA989Ly.net
「ガンバレ・ニッポン」は自由群とか知らなそうだな
自由群
URLﾘﾝｸ(ja.wikipedia.org)
階数1の自由群（＝Z)
{e,a,a',aa,a'a',aaa,a'a'a',…}
(a'はaの逆元)
階数2の自由群
{e,a,b,a',b',aa,ab,ab',ba,bb,ba',a'b,a'a',a'b',b'a,b'a',b'b',…}
(a',b'はそれぞれa,bの逆元)
…
1018:１３２人目の素数さん
20/05/25 21:39:11 nBeSLhJX.net
要するに、a,bが生成する自由群というのは、a,bの間に何らの捩れ（拘束条件）もない最も「自由」な群なんだな。
それに対して、種数1の閉リーマン面（楕円曲線）の基本群は1点に縮まない独立なループa,bに対して
(*) a^{-1}b^{-1}
1019:ab=e （単位元) のような関係式が入り かつ、(*)の他には独立な関係式はまったくない。 これはa^{-1}b^{-1}abのあらわすループがリーマン面上で1点に縮むという意味。 これが一点穴あきだと a^{-1}b^{-1}ab=c のようになる。 cは一点穴の周りのループをあらわし、cは無限巡回群を生成する。 これは、a,bの間に何らの（=eとなるような）関係式がないのと同じ状態だというわけですね。
1020:１３２人目の素数さん
20/05/25 22:11:11 0kzc96OE.net
>>866
>pを正の素数とするとき、任意の標数pの環Zの0でもpの倍数でもないような整数aに対してaの逆元 a^{-1} を a^{-1}：＝1/a と定義する。
一行目からダメダメ。
なんで「任意の」標数pの環なのに整数元を持つことが突然出て来るんだよ バカなの？ キチガイなの？
1021:１３２人目の素数さん
20/05/25 22:23:46 OoA989Ly.net
>>951
まあ、そういうことになるんだろうね
1022:１３２人目の素数さん
20/05/25 23:16:10 dmqr90V3.net
何らの捻れ(拘束条件)のない、という拘束条件があるからあまり自由じゃなくね？
1023:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 23:37:01 eyKRxUQp.net
次スレ立てた
よろしく
ここを、適当に使ったら
新スレへ
長く続きそうな話題は、早めに新スレへどうぞ（＾＾
現代数学の系譜 雑談#雑談ガロア
ｽﾚﾘﾝｸ(math板)
1024:１３２人目の素数さん
20/05/25 23:40:32 OoA989Ly.net
ガロアだけ余計だったな
1025:別人
20/05/25 23:42:29.17 dE6ck3kC.net
トリップ漏れてますよ
1026:現代数学の系譜 雑談
20/05/25 23:42:50.29 eyKRxUQp.net
>>947
>…ｽﾙﾙｪが止まっちゃってる…
意味がわからんが、あまり心配するな
IUT応援スレは止まらないよ
止められるのは、運営の削除のみだよｗ
予想外にスレの進みが早いから、次スレの用意をしていた
テンプレをちょっと書き直していたんだ
IUT応援スレらしくね（＾＾；
1027:
20/05/25 23:44:35.02 4/RrOWCH.net
これは？>>957
1028:現代数学の系譜 雑談
20/05/25 23:47:25.08 eyKRxUQp.net
>>957
>トリップ漏れてますよ
ありがとう
そうか、スレ立て失敗したな
やり直すわ
1029:１３２人目の素数さん
20/05/25 23:47:47.79 4/RrOWCH.net
。✳゜主ｻﾏ…ｱﾘｶﾞﾄｳｺﾞｻﾞｨﾏｽ…゜。○゜。✳゜
|“)>>958