1 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/17(日) 10:01:11 ID:9UHEbX30.net] 20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) (下記)は、新しい局面に入りました。 査読が終り、IUTが正しいことは、99%確定です。 このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 (なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです!(^^;) (参考) https://mainichi.jp/articles/20200403/k00/00m/040/295000c 望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日 (抜粋) https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg 会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。 2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、(ショルツ教授からの)再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。 玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。 https://www.youtube.com/watch?v=7BnxK_NMwaQ 数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン (参考) https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96宇宙際タイヒミュラー理論
511 名前:132人目の素数さん mailto:sage [2020/05/21(Thu) 23:33:25 ID:QAdTV/tM.net] 今回の件、望月が積極的に絡んでるんじゃなくて、 まわりが望月の業績で資金獲得しようとしたらその業績が間違っていて、 ひっこみがつかなくなったという流れっぽいんだよね。
512 名前:132人目の素数さん mailto:sage [2020/05/21(Thu) 23:35:41 ID:UQ90NFy7.net] >>484 もし落とされたら3年くらい再起不能になりそうw
513 名前:132人目の素数さん mailto:sage [2020/05/21(Thu) 23:37:02 ID:6EciHgHc.net] >>485 ore ha wakaranai メールして聞いてみたら意外と返信あるかも
514 名前:132人目の素数さん mailto:sage [2020/05/21(Thu) 23:45:57 ID:6EciHgHc.net] お前ら全然わかっていないから軽く注意しておく RIMSの人たちは巨大研究費に興味がない 調べてみれば分かると思うが意外とRIMSの人たちはでかいのをとっていない というか最初からとりにいっていない でかい研究費をあてるとお金を使うために逆に研究以外で忙しくなってめんどくくさくなる 基盤Sとか大きな研究費当てたがるのは地方大学の二流三流の研究者 でかい研究費を
515 名前:当てるのがステータスと思っているか 自分の関係者の出来損ないのポスドクを特任で採用するため [] [ここ壊れてます]
516 名前:132人目の素数さん mailto:sage [2020/05/21(Thu) 23:49:21 ID:6EciHgHc.net] 神戸とか大阪とか名古屋とか東北とか調べてみるとわかるとおもう
517 名前:132人目の素数さん mailto:sage [2020/05/21(Thu) 23:57:09 ID:bDtp1czm.net] >>489 じゃあ次世代幾何学センターも廃止でいいじゃん。金の無駄。
518 名前:132人目の素数さん mailto:sage [2020/05/21(Thu) 23:57:50 ID:aDK00zly.net] そこまで無欲アピールするならPRIMSに載せる必要もないしな。
519 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:04:51 ID:6EhJwuRK.net] 二度と海外には行かないという決意を感じるな
520 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:06:25 ID:PAD81S3v.net] >>491 RIMSには共同利用・共同研究拠点って研究所の役割があるだけ そこのテーマ 少しは勉強しよう これ以外にも共同利用の研究会はたくさんある >>492 研究の認定はピアレビューのある雑誌での出版 研究は出版して初めて研究論文が完結する世界であることを理解してからものをいおう たくさん研究費をとることとよい研究論文を出版することは線形独立
521 名前:132人目の素数さん [2020/05/22(金) 00:06:30 ID:UQrRsKBf.net] 妬みがすごいな
522 名前:132人目の素数さん [2020/05/22(金) 00:07:25 ID:Bx0mrhZY.net] 本当に霞くっていきたいなら 最初から大学になんて行ってないだろw
523 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:11:13 ID:oaXyklxK.net] >>494 ペレルマンの論文はarXivの時点でだいたい正しいって認定されてるじゃん。 ペレルマンと比較して俗物的すぎるのよね。
524 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:11:24 ID:PAD81S3v.net] それはともかく 佐藤幹夫氏がRIMSを私物化していた時代だったら 知ったら君ら怒り狂っていたと思うけど
525 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:11:51 ID:QHSdqkYA.net] 好きな数学の話ができる人が欲しかったんでしょ
526 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:12:46 ID:QHSdqkYA.net] >>499は>>496さんに、でした。
527 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:12:56 ID:tPPf2oDB.net] >>498 論点が意味不明なんだが、佐藤幹夫は間違ってそうな論文の強行掲載をしたことがあるのか? 論点ってそこだけだろ。
528 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:13:43 ID:tPPf2oDB.net] 金に興味があるかどうかなんてどうでもいい。 問題は今回みたいなプロセスに疑義のある強行掲載の不祥事は前代未聞だってことだけ。
529 名前:132人目の素数さん [2020/05/22(金) 00:13:51 ID:UQrRsKBf.net] >>488 メディアはいろいろいうけど徐々に若い人も集まってきてる感じするから展開気になってます。 IUTの次にモッチが何をターゲットに研究していくのかも気になるわ。
530 名前:132人目の素数さん [2020/05/22(金) 00:16:13 ID:PAD81S3v.net] 大学いくなんて俗物 論文を投稿するなんて俗物 研究費応募するなんて俗物 共同利用のテーマにされるなんて俗物 俗物認定の基準がヤバイ お前らまさか空気吸ってないよな俗物過ぎるぞ
531 名前:132人目の素数さん [2020/05/22(金) 00:17:38 ID:UQrRsKBf.net] しかし久々にこのスレに6EciHgHc氏みたいなまともなレスをする人間が現れた気がw
532 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:18:41 ID:OsuwN5QX.net] 無根拠にRIMSは清廉潔白だ、と言い張って、 しかも地方の研究者とか佐藤幹夫の名誉を貶めてるのがまともなのか?
533 名前:132人目の素数さん [2020/05/22(金) 00:20:31 ID:UQrRsKBf.net] IUTの研究会、ノッティンガムの他に中国、フランスの参加者が増えてた気がしたけど 中国だと今数論の研究の方向どういう感じで見てるのか気になるなー。
534 名前:132人目の素数さん [2020/05/22(金) 00:22:58 ID:ch/jSopg.net] jinと諸法無G, 早く寝ろ
535 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:23:54 ID:8fBFxuYO.net] もう議論が堂々巡りだから話すことも実際にはないんだよな 擁護するとしたら 査読者がいいっていったからいいんだ っていう論法か、他の数学者の悪口を言って相対的に持ち上げるしかないし、 批判してる側の新しく批判する内容も出てこないし
536 名前:132人目の素数さん [2020/05/22(金) 00:29:37 ID:UQrRsKBf.net] そりゃ
537 名前:メディアの記事とtwitter周りしか話理解できないから堂々巡りになるわなw [] [ここ壊れてます]
538 名前:粋蕎 ◆C2UdlLHDRI mailto:sage [2020/05/22(金) 00:31:45 ID:OHCJf9VK.net] >>472 そらおかしいじゃろ姐さん、当人らの一方の気持ちだけ汲み取って言うのは、おかしいじゃろ
539 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:31:55 ID:PAD81S3v.net] 日付かわって昨日のID:6EciHgHcだけど 頭の固くなった頭の大きなおじさまには何をいっても いまさらどうしようもないし生産性もなく そういうじいさんはぶつぶついいいながらさっさと棺おけに入ってもらったほうがいいとおもっているんだけど ちょっと研究者の世界にいればすぐわかるようなことも知らずにデタラメをかたるんで ついついつっこんでしまいたくなっただけ 佐藤幹夫の件は普通知っていると思うけどブラック過ぎるからやめとく
540 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:36:06 ID:T3jZkptd.net] >>512 >佐藤幹夫の件は普通知っていると思うけどブラック過ぎるからやめとく 知らないので是非教えてください
541 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:37:15 ID:JfewJzUd.net] いえ、書かなくて大丈夫です
542 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:39:33 ID:T3jZkptd.net] >>514 あなたも知っているんですか? 意地悪せずに教えてください
543 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:44:37 ID:QHSdqkYA.net] >>512 軽く深げw
544 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:46:57.83 ID:feYYW3wJ.net] IUTスレ、前からIUT界隈以外の数学者を侮辱しまくったあげく、 自分が特定の人物から攻撃を受けてると主張してるやつがいるよな。
545 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:49:49.72 ID:PAD81S3v.net] 書くと自分自身が灰色のなりそうなんでやめます RIMSはそれ以外にも人命にかかわる案件が数件はあるし 絶対口外できない Faltingsだって毒舌で日本人一人...
546 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:49:59.94 ID:QHSdqkYA.net] (…チッ!…ッセーンダョッ! ε٩(#`·₃·)۶з) >>511
547 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:52:25.61 ID:QHSdqkYA.net] (もっちさまが。。。 がっきーさんと結婚できますょぅに…)
548 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:54:23.08 ID:PAD81S3v.net] 詳しくは研究者になってワークショップの懇親会などで 京都出身のおじいさんらに聞いてみると もしかするとおしえてもらえるかもしれませんよ
549 名前:132人目の素数さん mailto:sage [2020/05/22(金) 00:56:16.93 ID:acY/8NRQ.net] RIMSの内部通を自称するなら今回の不祥事が内部でどう扱われるのか書いてくれんと新鮮味がない
550 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:01:36.38 ID:x6WU4Fb/.net] 佐藤幹夫って誰?
551 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:05:14.37 ID:T3jZkptd.net] 匿名掲示板に書き込むくらいなら全然大丈夫ですよ
552 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:07:29.69 ID:PAD81S3v.net] >>523 数学の天才
553 名前:132人目の素数さん [2020/05/22(金) 01:13:48.87 ID:qP813p7t.net] アクセプトされたけと、IUTのabc証明はグレーなん?
554 名前:粋蕎 mailto:sage [2020/05/22(金) 01:16:01.14 ID:OHCJf9VK.net] >>512 其れ…実説の流布?其れとも風説の流布? あぁ最初に言うとくが事実供述にしろ裏が取れん内に言うたと成ると出任せ判定に成り、 後で事実と判明した後でも情状酌量して貰える位にしか成らんぞ。 つまりは、事実と判明する前に世間に明るみにして風評侵害を齎した、言う事。 初犯なら厳重注意記録にしか成らん例が多いが常習犯ならキッチリ法の落とし前を付けさせられるわ。
555 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:18:21.38 ID:PAD81S3v.net] 証明が青と黄色と赤だったら学会っぽいwww
556 名前:132人目の素数さん [2020/05/22(金) 01:19:08.41 ID:MAS5BbiO.net] >玉川教授は「全く新しい理論で、 さらなるインパクトを生み出す可能性 がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と
557 名前:ケを張った RIMSは数理.数学の共同利用・共同の 研究拠点からポストモダン.数秘術 のクラスターになったのね [] [ここ壊れてます]
558 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:24:41 ID:WyQ/1f2R.net] abc予想の論文出した直後に出回ってた写真、 黒いスーツ着てるのや白いポロシャツ着てる前歯出して変態っぽい写真とかだとまだわりと若い感じなのに 最近のはもうすっかりおじさんだね たった8年でこんな老けるか
559 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:25:42 ID:PAD81S3v.net] 心配しなくても玉川さんはお前らの 100億倍賢くて100億倍は注意深いから それ以上にお前らに関係ない話w
560 名前:132人目の素数さん [2020/05/22(金) 01:29:06 ID:UQrRsKBf.net] >>531 これは間違いないな。ラジオ聞いたけどすげー頭いいのがわかるw
561 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:31:23 ID:T3jZkptd.net] >>531 ショルツは?
562 名前:132人目の素数さん [2020/05/22(金) 01:33:05 ID:UQrRsKBf.net] 佐藤幹夫の朝起きて云々に話は才能がなければついてけないわな どこまでも追い込めるような人たちの世界やねー
563 名前:粋蕎 ◆C2UdlLHDRI mailto:sage [2020/05/22(金) 01:36:39 ID:OHCJf9VK.net] >>519-520 女のアンタが何で女側の気持ち無視して結婚してやりぃ言うんじゃ? 身内か?大奥気取りか?何で女なのに女側の敵に回る真似するん? 人に吹っ掛けずに自分でかぶればええ、つまりアンタが結婚してやればええ言う事。 まさか自分じゃできねぇ無理じゃ言って人にやらす様な人間じゃ無かろうなぁ姐さんはぁ?
564 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:38:49 ID:QHSdqkYA.net] ゜。゜✳。゜ 。○゜ ゜前歯出して変態っぽい写真 ゜○。゜ 。゜。✳゜。゜(ノд)。゜
565 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:41:59 ID:T3jZkptd.net] 老人同士の生産性0のレスバやめい
566 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:42:16 ID:QHSdqkYA.net] >>535(キコェナ~ィ!(ノ ゚д゚))
567 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:45:54 ID:PAD81S3v.net] >>531 Scholzeも出してる結果を見る限りめちゃんこ賢いよ 話したことないけど Woitのブログにはいきなり間違えたこと書いこんでてふいたけど そこらへん注意深さはないね Wiotって日本でいう茂木健一郎的な立ち位置なんかな
568 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:48:53 ID:PAD81S3v.net] 佐藤幹夫って朝起きたときには数学にとかなんとか いうてるけど彼自身数学やってないときには全然なんもやってないんだよな 俺はいつもやっていないけどw
569 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:50:10 ID:T3jZkptd.net] >>539 >話したことないけど まるで玉川とは話したことがあるかのような書き込みだな
570 名前:132人目の素数さん [2020/05/22(金) 01:53:26 ID:UQrRsKBf.net] >>539 根性の曲がった竹内薫じゃないか。 研究者じゃないしな。
571 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:54:29 ID:PAD81S3v.net] >>541 あったらまずい?ww
572 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:55:51 ID:T3jZkptd.net] >>543 信じられないので証明してください
573 名前:132人目の素数さん [2020/05/22(金) 01:56:09 ID:UQrRsKBf.net] FaltingsのページのSelected Ph.Dにモッチいるのなw まあ当然といえばそうだがw https://www.hcm.uni-bonn.de/people/faculty/profile/gerd-faltings/
574 名前:132人目の素数さん mailto:sage [2020/05/22(金) 01:58:17 ID:PAD81S3v.net] >>544 玉川さんめっちゃ性格いいww
575 名前:132人目の素数さん mailto:sage [2020/05/22(金) 02:00:03 ID:T3jZkptd.net] しょーもな
576 名前:132人目の素数さん mailto:sage [2020/05/22(金) 02:05:04 ID:WyQ/1f2R.net] >>545 これって数学者になったのがここに出てる人だけなのかな? それとも数学者になったけど業績しょぼい人は載せてないのかな? フィールズ賞学者でもこんなもんか
577 名前:132人目の素数さん mailto:sage [2020/05/22(金) 02:12:14 ID:PAD81S3v.net] Faltingsの学生になるだけでもう ものすごい秀才じゃないといけないんだ 弟子をほとんどとらなかったのでこうなった USで学部からそのまま同じ大学院にすすんで更にFaltingsにつくなんてほぼ不可能 調べれば分かるが不文律があって どんなに優秀でもほとんどのUSの学生は学部と院はかえないといけない 望月氏はSGAを全部読んでから来いといわれたらしいし
578 名前:132人目の素数さん [2020/05/22(金) 02:14:02 ID:UQrRsKBf.net] >>548 さすがにもっといるだろうし、selectedというだけに弟子と認めた
579 名前:lしか載せてないと思うわ。 [] [ここ壊れてます]
580 名前:132人目の素数さん mailto:sage [2020/05/22(金) 02:16:20 ID:PAD81S3v.net] 19や20のとき望月氏がよみ終わっていたSGAを俺なんかいまだほとんど読んでないからねww 絶望する
581 名前:132人目の素数さん mailto:sage [2020/05/22(金) 02:19:34 ID:PAD81S3v.net] 実はFaltingsが一番熱心に指導してたのは娘という説があって、あんまりできないもんだから 親父ががんばっていたという
582 名前:132人目の素数さん [2020/05/22(金) 02:20:42 ID:UQrRsKBf.net] >>552 それはワロタ Faltings人相悪くて指導教官としては鬼な感じが滲み出てる。
583 名前:132人目の素数さん [2020/05/22(金) 02:22:26 ID:UQrRsKBf.net] >>551 BrianConradもあの長いのは全部読まなくても道具は手に入るとかレポートに書いてた気が。
584 名前:132人目の素数さん mailto:sage [2020/05/22(金) 02:24:05 ID:PAD81S3v.net] 彼がドイツに帰った後のMax Planckでは一時期噂になってたらしい 娘以外は優秀でどうせほっておいても大丈夫だろうし
585 名前:132人目の素数さん mailto:sage [2020/05/22(金) 02:26:27 ID:PAD81S3v.net] >>554 望月氏 Conradすら舌をまく秀才だったので
586 名前:132人目の素数さん mailto:sage [2020/05/22(金) 02:53:44.66 ID:QHSdqkYA.net] >552 (ノд`)。
587 名前:132人目の素数さん mailto:sage [2020/05/22(金) 02:59:54.77 ID:QHSdqkYA.net] >555 ゜。✳゜。゜ ○゜。娘以外は優秀で ゜。 ✳。゜ 。゜○。✳゜。゜(ノд)。゜
588 名前:132人目の素数さん mailto:sage [2020/05/22(金) 03:41:34 ID:qDsLb9zD.net] >>530 ストレスだろうね この8年の
589 名前:132人目の素数さん [2020/05/22(金) 05:20:42 ID:QNPTQEnc.net] >>552 Faltingsの言うあまりできないってどのレベルだよ
590 名前:132人目の素数さん mailto:sage [2020/05/22(金) 05:44:12 ID:QaFEzNvI.net] 昨日のID:6EciHgHc(投稿数13)の言い訳 「望月新一は金もらってない」(だから詐欺ではない) 金は要らんけど名声は欲しいんだろ?
591 名前:132人目の素数さん mailto:sage [2020/05/22(金) 05:52:17 ID:QaFEzNvI.net] 今日のID:PAD81S3v(現在、投稿数18)の言い訳 「研究の認定はピアレビューのある雑誌での出版 研究は出版して初めて研究論文が完結する世界」 「佐藤幹夫はRIMSでやりたい放題」(だからオレもやりたい放題するぜ) 「Faltingsはひどい人だ」(チクショー見返してやるぜ) 「玉川さんはいい人」(誉めてやったからオレのいうこと聞けよ) もしかして・・・もっちー?w
592 名前:132人目の素数さん mailto:sage [2020/05/22(金) 05:57:21 ID:QaFEzNvI.net] >>549 >望月氏はSGAを全部読んでから来いといわれたらしい 今、某大学の教授やってる某氏はT大でK又先生(当時)の研究室入るときに 「Hartshoneは読んどいてください」といわれたそうだが、その時 まだ読んでなかった、といってた(でも今代数幾何の研究者やってるけど) 某さん、その節は大変お世話になりました
593 名前:132人目の素数さん mailto:sage [2020/05/22(金) 06:12:42 ID:QaFEzNvI.net] >>494 >研究の認定はピアレビューのある雑誌での出版 >研究は出版して初めて研究論文が完結する世界 自分がピアレビューのある雑誌の編集者になって 独断で自分の論文を出版させれば架空の成果を認定できる ってことですね? でも、世の中そんなに甘くなかったようですよ
594 名前:132人目の素数さん mailto:sage [2020/05/22(金) 06:28:48.20 ID:QaFEzNvI.net] 今日のID:UQrRsKBf(現在 投稿数12)は茶坊主の典型 ID:PAD81S3vとグルだったら笑う RIMS 緊急事態宣言解除後 初の活動は 深夜の5ch数学板でプロパガンダ!www
595 名前:132人目の素数さん mailto:sage [2020/05/22(金) 06:34:09.59 ID:QaFEzNvI.net] 余談 娘ってこの人かな https://www.genealogy.math.ndsu.nodak.edu/id.php?id=232406
596 名前:132人目の素数さん [2020/05/22(金) 07:27:05 ID:ZxOmjIDr.net] >>556 たしかに秀才で天才ではないな 秀才が妄想からなんでもありの暗黒面 へ落ちていっただけ
597 名前:132人目の素数さん mailto:sage [2020/05/22(金) 07:30:06 ID:6EhJwuRK.net] >>530 白いポロシャツは20代かと思ってた スーツが32くらい? 数理研の記念講演が42とか でも51で自分に無頓着ならあんなもんじゃないのか むしろホームページの地鶏が太って無惨に見えたから持ち直したんだなと安心したわ
598 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 07:38:24 ID:gk5ulKI8.net] >>443 (引用開始) もし査読者がいるとすれば、フェセンコとサイードだろう つまり望月の支持者は、本人を除けば フェセンコ・サイード・玉川・星・南出 の5名か (引用終り) 非常につまらんジョークで恐縮だが(^^; 5名で、2^5=32で、確率は 1-2^5=31/32=0.968=〜
599 名前:97% 6名で、2^6=64で、確率は 1-2^6=63/64=0.984=〜98% (6名:本人含む場合) 確かに、これだと99%(>>432)に足りないな〜w(^^ [] [ここ壊れてます]
600 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 07:52:41 ID:gk5ulKI8.net] >>453 ブライアン・コンラッド:谷山?志村予想の人だったのか(^^ https://ja.wikipedia.org/wiki/%E8%B0%B7%E5%B1%B1%E2%80%93%E5%BF%97%E6%9D%91%E4%BA%88%E6%83%B3 谷山?志村予想 (抜粋) 数学において、谷山・志村予想は、「すべての有理数体上に定義された楕円曲線はモジュラーである」という主張であり、アンドリュー・ワイルズとその弟子クリストフ・ブロイル(英語版)、ブライアン・コンラッド(英語版)、フレッド・ダイアモンド(英語版)、リチャード・テイラーらによって証明された。 今日ではモジュラー性定理またはモジュラリティ定理と呼ばれ、数論における一つの帰結と考えられている。ワイルズは半安定楕円曲線における谷山・志村予想を証明することで、フェルマーの最終定理も証明した。 モジュラリティ定理は、ロバート・ラングランズによるより一般的な予想の特別な場合でもある。ラングランズ・プログラムは、保型形式、あるいは保型表現(適切なモジュラ形式の一般化)を、例えば数体上の任意の楕円曲線のような、より一般的な数論的代数幾何学の対象へ関連付けようとする。 拡張された予想のうち、ほとんどのケースは未だ証明されていないが、Freitas, Le Hung & Siksek (2015) が実二次体上定義された楕円曲線がモジュラーであることを証明した。 参考文献 ・平方因子を持たない場合 ワイルズ 1995 Andrew Wiles (May 1995). “Modular elliptic curves and Fermat's Last Theorem (モジュラー楕円曲線とフェルマーの最終定理)”. Annals of Mathematics 141 (3): pp. 443-551. Richard Taylor and Andrew Wiles (May 1995). “Ring-theoretic properties of certain Hecke algebras (ある種のヘッケ環の理論的性質)”. Annals of Mathematics 141 (3): pp. 553-572. ・27で割れない場合 リチャード・テイラー他 1999 Conrad, B.; Diamond, F.; Taylor, R. (1999). “Modularity of Certain Potentially Barsotti-Tate Galois Representations” (PDF). J. Amer. Math. Soc. 12: pp. 521-567. ・一般の場合 Breuil, Christophe; Conrad, Brian; Diamond, Fred; Taylor, Richard (2001), “On the modularity of elliptic curves over Q: wild 3-adic exercises”, Journal of the American Mathematical Society(英語版) 14 (4): pp. 843-939,
601 名前:132人目の素数さん mailto:sage [2020/05/22(金) 07:53:40 ID:h2ThgtF/.net] 数学板で安倍がどうのこうのいう輩は大抵数学とは無縁の人間だろう
602 名前:132人目の素数さん [2020/05/22(金) 07:56:05 ID:ZxOmjIDr.net] >>1 【閲覧注意】隔離スレ >なお、このスレは本体IUTスレの43 からの分裂スレ
603 名前:ナすが、実は 分裂した No43スレの中では このスレ立ては 最初だったのです!(^^;) スレ主は削除されたガロアスレと 同一人物でコピぺ収集魔。 IUTスレの乗っ取りを謀るも失敗し 現在 スレ主の隔離スレ [] [ここ壊れてます]
604 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 07:56:44 ID:gk5ulKI8.net] >>570 追加 (参考) https://www.math.kyoto-u.ac.jp/~tetsushi/files/Galois_fest_ito_200705.pdf 谷山・志村予想について: MATHEMATICS.PDF 整数論の最前線 楕円曲線の数論幾何 フェルマーの最終定理,谷山-志村予想,佐藤-テイト予想,そして・・・ 講演用スライドを加筆・修正したもの 伊藤 哲史 京都大学理学部数学教室 ガロア祭 2007年5月25日(金) (引用終り) ところで >・一般の場合 > Breuil, Christophe; Conrad, Brian; Diamond, Fred; Taylor, Richard (2001), “On the modularity of elliptic curves over Q: wild 3-adic exercises”, Journal of the American Mathematical Society(英語版) 14 (4): pp. 843-939, pp. 843-939,だから、およそ100ページだけど この中に、読んで理解した人いる?(^^
605 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 08:04:35 ID:gk5ulKI8.net] >>572 1つだけ、ギャップを指摘しておく >IUTスレの乗っ取りを謀るも失敗し ここ、ギャップあり!w 1.IUT本体スレには、殆ど書いていない 2.”No43スレ”を立てた経緯は、「自分は立てられないから、だれか立てて」という依頼があったから 立てただけで、あんまり書く気は無かったのだが (その後、No43が2つ立って、計3つになった。その内の1つは、まだ残っている(下記)) Inter-universal geometry と ABC 予想 43 https://rio2016.5ch.net/test/read.cgi/math/1577518389/ 3.私の立てたNo43は、ずっと放置されていたが、4月3日の記者会見を受けて、放置されていた43を応援スレとして 使い出したってことなのです(^^ 以上
606 名前:132人目の素数さん mailto:sage [2020/05/22(金) 08:13:53 ID:QaFEzNvI.net] >>569 >5名で、2^5=32で、確率は 1-1/2^5=31/32=0.968=〜97% >6名で、2^6=64で、確率は 1-1/2^6=63/64=0.984=〜98% なぜ確率1/2?なぜ独立?
607 名前:132人目の素数さん mailto:sage [2020/05/22(金) 08:17:57.62 ID:V3+7rBdi.net] もっちの画像ぐぐってたら急にぽんっと和服着たガッキーが出てきて癒される 本当に清楚なお嬢さんだわ
608 名前:132人目の素数さん [2020/05/22(金) 08:40:12.64 ID:QHSdqkYA.net] ググると… 「ファルティングス」 ↓ ゜✳。数学者。✳゜(パピー) 。。。 「ウルリケ」。。。 ↓ ・・・ 「ウルリケ·マリー·マインホフ」… 「西ドイツのテロリスト、ジャーナリスト。 ドイツ赤軍の創設者、指導者の一人。 1960年代末から70年代にかけてドイツ全土で、銀行強盗、誘拐、爆破テロを行い、逮捕後、裁判中に獄死した」 ゜○。 。✳゜。゜ 一番熱心に指導していたのは娘 あんまりできないもんだから 。 ゜。✳゜。○゜。…(ノд)゜ 。○゜
609 名前:132人目の素数さん [2020/05/22(金) 08:59:48 ID:QHSdqkYA.net] ゜*。゜ 。゜一生懸命やってても ゜早死に獄死テロリストより 。゜。埋もれてて。。。 ゜*苦*差アァッ…!ʬʬʬʬʬʬ*腐*゜ 。*゜。○゜。゜(ノ∀`)。゜
610 名前:132人目の素数さん mailto:sage [2020/05/22(金) 09:17:25 ID:y0MCuuMW.net] 「やりたい放題」て要するに自分の弟子を優遇するとかでしょ?
611 名前:132人目の素数さん mailto:sage [2020/05/22(金) 09:22:47 ID:QaFEzNvI.net] Tarskiみたいに弟子(♀)と「寝た」とかいうんなら まさに「ヤリたい放題」だが
612 名前:132人目の素数さん mailto:sage [2020/05/22(金) 09:34:48 ID:laKZPzR1.net] 少なくともEGA、そしてSGAも読んでいる人が多い世界で「準備も含めて1000ページ以上だ」というIUTの大言壮語は通用しないな EGAだけで1800ページ、SGAは6500ページだし
613 名前:現代数学の系譜 雑談 mailto:sage [2020/05/22(金) 09:53:54.12 ID:koULGAjk.net] >>575 (引用開始) > 5名で、2^5=32で、確率は 1-1/2^5=31/32=0.968=〜97% >
614 名前: 6名で、2^6=64で、確率は 1-1/2^6=63/64=0.984=〜98% なぜ確率1/2?なぜ独立? (引用終り) お答えします(^^ ベイズ推定(下記)もどきで、初期値として「二択の確率1/2 及び 独立」を仮定した 真値の推定に不足と判断すれば、さらに推定を進めれば良いのです(^^ (参考) https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%BA%E6%8E%A8%E5%AE%9A ベイズ推定 (抜粋) ベイズ推定(ベイズすいてい、英: Bayesian inference)とは、ベイズ確率の考え方に基づき、観測事象(観測された事実)から、推定したい事柄(それの起因である原因事象)を、確率的な意味で推論することを指す。 ベイズの定理が基本的な方法論として用いられ、名前の由来となっている。統計学に応用されてベイズ統計学[1]の代表的な方法となっている。 ベイズ推定においては、パラメータ \,Θ}\,Θの点推定を求めることは、ベイズ確率(分布関数)を求めた後に、決められた汎関数: p(Θ)→Θ^の値(平均値もしくは中央値など)を派生的に計算することと見做される。 ・標語的には、「真値は分布する」、「点推定にはこだわらない」などの考え方に依拠している。 ベイズ確率(ベイジアン)の考え方では、A を定数とする必要はなく、上記のような分布に従う確率変数としてよい(客観的に定義できるものではないから、主観確率である)。 この考え方からすると、上のベイズの定理の式は、 主観確率分布 P(A) に、係数 P(X|A) / P(X) を掛けることにより、証拠 X を加味して、より客観性の高い確率分布 P(A|X) を求める と解釈できることがわかる。このように確率分布をより客観的にする方法(ベイズ改訂)を利用して、A を推定する方法が、ベイズ推定である。 さらに新たな証拠が加えられれば、事後確率を新たに事前確率として扱い、ベイズ改訂を繰り返すこともできる(さらに高い客観性が期待される)。 [] [ここ壊れてます]
615 名前:132人目の素数さん mailto:sage [2020/05/22(金) 09:58:34.39 ID:QaFEzNvI.net] >>582 >ベイズ推定もどきで 「もどき」なんだw >初期値として「二択の確率1/2 及び 独立」を仮定した 仮定が誤りだと君が認めるのは、いかなる場合?
616 名前:132人目の素数さん [2020/05/22(金) 10:04:37 ID:ZxOmjIDr.net] >>574 1 うそ 2 スレの趣旨を改変 3 応援隔離スレとなる 隔離スレでがんばれ
617 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 10:07:00 ID:koULGAjk.net] >>581 >少なくともEGA、そしてSGAも読んでいる人が多い世界で「準備も含めて1000ページ以上だ」というIUTの大言壮語は通用しないな >EGAだけで1800ページ、SGAは6500ページだし その話は、下記 Brian Conrad の記事が参考になるだろう >>453より(参考) https://github.com/annonymath/brianconrad_note_oxford/blob/master/Notes_on_the_Oxford_IUT_workshop_by_Brian_Conrad.md on 24 Feb 2016 annonymath Brian Conrad によるオックスフォードでの IUT ワークショップのノート(試訳) (抜粋) 2. 基本的な考え方の理解を遅らせたのは何か? 時には IUT より以前に発表された望月の他の論文、一般の数学者にとっては不慣れな内容(Frobenioid や anabeliod)に関する論文への参照がなされ、数多くの新しい概念を理解する必要に迫られる。この結果として無限退行するかのような印象が生み出され、これもまた意欲を削ぐ効果をもたらした。 しばしば望月の議論は一般論から具体論へ進むという形をとるからである(論理としてはよいだろうが、新しい概念を学ぶ際には必ずしもよい順序とは言えない)。 例えば、もし望月の理論における Frobenioid(この単語は「Frobenius」と「monoid」の合成語である)という重要な概念を理解しようとしたとき、この概念を構築しようとするモチベーションが、彼の楕円曲線に関する Hodge-Arakelov 理論の研究から来ていることがわかる。 しかし、この結果として 2 つの(数学的なというよりは)心理的な障害にぶつかる: 1.Hodge-Arakelov 理論は最終的には使われない(数論的な 小平-Spencer 理論を構築することが、関数体の場合に触発された望月の当初の狙いであったが、このアプローチは失敗した)。 最終的には使われないとしたら、ただモチベーションを理解するためだけに、どれだけの時間を非自明な理論の学習に費すべきなのだろうか?(もし費すとしたら、だが) つづく
618 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 10:07:31 ID:koULGAjk.net] >>585 つづき 2.Frobenioid の理論に関するほとんどの部分(望月の、IUT より以前に発表された 2 つの論文の内容)も、最終的には使われない(特殊例のみで十分である)。 しかし、初めて学ぼうとした読者は気付かないかもしれず、全ての理論を理解しなければならないと(誤って)思い込むかもしれない。 望月の Web ページに、究極的にはこの理論のほとんどが使われないことを述べている短い注釈があるが、独学中の数学者は気付かないかもしれない。 たとえこの注釈を発見し、これらの論文のうち最終的に使われる重要な特殊例を取り扱った部分のみを読もうとしても、膨大な記号・用語や、前の方で述べられている結果が使用されているのを目のあたりにすることになる。 こうして、「特殊例を理解するためだけでも、結局のところ最も一般的な議論を理解するために最初から読まなければならないのではないか」という恐怖を(間違ってはいるものの)感じ、結局は意欲を失ってしまうかもしれない。 これは Grothendieck のエタール・コホモロジーを学ぶときのことを思い起こさせる。近年では、この理論を一から直接的かつ(多かれ少なかれ)効率的なやりかたで構築し、重要な定理を証明していくようなよい本がいくつかある。 数分冊に渡る SGA4 における Grothendieck の定式化では、非常に抽象的なトポスの一般理論を構築するために最初の何百ページもが割かれている。これは後の様々な一般化のための基礎となることを目指して書かれていた(そして後に実際に一般化された)。 このような非常な一般性はしかし、エタール・コホモロジーのみを理解しようとするためには(任意の圏を理解するためにさえも)完全に不必要である。 3. 宇宙際 Teichmuler 理論 (IUTT = IUT) とは何か? (引用終り)
619 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 10:09:45 ID:koULGAjk.net] >>584 応援ありがとうw(^^;
620 名前:132人目の素数さん mailto:sage [2020/05/22(金) 10:17:55 ID:QaFEzNvI.net] >>585-586 github.com/annonymath/brianconrad_note_oxford/blob/master/Notes_on_the_Oxford_IUT_workshop_by_Brian_Conrad.md コピペするなら、真っ先にこの箇所だろう −−− IUT を理解した数学者たちの責務は、より広い数論幾何学者コミュニティに重要な点を説明するために全力を尽くすことだ。 理解している数学者は、証明がどのように動いており、何が Szpiro 予想につながる最も重要な洞察なのか、他の数論幾何学者に対してよりうまく説明する必要がある。 難しい数学理論を学ぶために時間を費そうと人々を動機付けるのは、文書および口頭で効果的に重要な考え方を伝えるコミュニケーションだ。 最近の例を挙げるなら、perfectoid 空間に関する 1 年あまりのセミナーをやってみて私が気付いたのは、この話題に関して基礎となる理論の詳細はおそろしく膨大であるのにもかかわらず、要領のよいサーベイ論文や、時間・量ともに程
621 名前:々なレクチャが理論の公表後かなり早いうちに現れたことだ。 私がオックスフォードにいた間に経験したことは全て、広く共有されている次の考えを支持している:数学においてこれまでなされた偉大なブレークスルーに対してできたように、IUT について上記のようなことができないとは思えない。 これまで 3 回ワークショップが開催された。3 年が経っている。もう半年次のワークショップまで待つというのは、このような窮状に対する答えではない。 −−− [] [ここ壊れてます]
622 名前:132人目の素数さん mailto:sage [2020/05/22(金) 10:20:57 ID:QaFEzNvI.net] >>588のつづき ーーー 私がこれまで理解したどんな数学的内容についても、十分訓練を受けた数学者に対して重要な点を分かり易く示せる教育的で基本的な例や簡潔な命題が存在する。 IUT が特殊だと考える理由は、特にオックスフォードのワークショップに参加したような人々を前提聴衆とするならば、ない。 これを簡単な例で示そう。 ティーブレイクの際、解析学を専門とするポスドクと話していた。 私は、最初はまるで意味を欠く abstract nonsense だと思われたが、その実より具体的な手法では面倒な(あるいは不可能な)取り扱いを非常に効率化するような理論の例として、層論を挙げた。 このポスドクは層論で何ができるのかまったく知らなかったので、私は彼に層コホモロジーを用いて de Rham の定理と複素解析における topological obstruction を統一的に取り扱い、分析する方法を説明した; 20 分のうちに彼は理解し、もっと勉強したいと言った。 誰も IUT の重要部分を 20 分のみで理解できるなどとは思わない。 しかし、もし IUT を理解したという数学者が、教育的かつわかりやすい例や、重要な点を明快に示す簡潔な主張を提示できないのであれば、努力が足りない。 深く強力な考え方に違いないものを学ぶためならば、誰もが全力で理解しようとするだろう。 しかし彼らが旅立つ前に、これから歩を進めようとする場所の地形を頭に入れておかなければならない。 ーーー
623 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 10:38:39 ID:koULGAjk.net] >>586 (引用開始) こうして、「特殊例を理解するためだけでも、結局のところ最も一般的な議論を理解するために最初から読まなければならないのではないか」という恐怖を(間違ってはいるものの)感じ、結局は意欲を失ってしまうかもしれない。 これは Grothendieck のエタール・コホモロジーを学ぶときのことを思い起こさせる。近年では、この理論を一から直接的かつ(多かれ少なかれ)効率的なやりかたで構築し、重要な定理を証明していくようなよい本がいくつかある。 数分冊に渡る SGA4 における Grothendieck の定式化では、非常に抽象的なトポスの一般理論を構築するために最初の何百ページもが割かれている。これは後の様々な一般化のための基礎となることを目指して書かれていた(そして後に実際に一般化された)。 このような非常な一般性はしかし、エタール・コホモロジーのみを理解しようとするためには(任意の圏を理解するためにさえも)完全に不必要である。 (引用終り) 思うに、山下サーベイに求められていたのは 厳密な”The exposition was designed to be as self-contained as possible.”ではなく むしろ、ラフな ガイドブック あるいは 目的地に 楽に到達できる 道筋を示すもの(厳密さを欲する人は IUTの何ページを とか) だったような気がする 自学自習をするとき、薄い本はかえって読みにくいことがある 分厚いけれども、分かり易く丁寧に書いてある本がある。米国の本に多い 山下サーベイは、ページ数だけ減らして しかし 記載は無理矢理詰め込んだという気がする 山下サーベイを読んで、IUTが分かったと名乗り出た人皆無 かつ、望月サイトから、山下サーベイへのリンクなし(星のIUT入門にはリンクある) 但し、山下サーベイの良いところは、Indexが充実しているので、IUT辞書(あるいは辞典)としての使い道があるように思う もっとも、IUT辞典と考えるなら、そういう視点で、もう少し改善の余地ありと思う なんにせよ、現状は 山下サーベイは望月先生に受けていないのが なんともね〜(^^;
624 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 10:47:39 ID:koULGAjk.net] >>588-589 あなたが引用した部分については全く同意だ (引用開始) 私がこれまで理解したどんな数学的内容についても、十分訓練を受けた数学者に対して重要な点を分かり易く示せる教育的で基本的な例や簡潔な命題が存在する。 IUT が特殊だと考える理由は、特にオックスフォードのワークショップに参加したような人々を前提聴衆とするならば、ない。 誰も IUT の重要部分を 20 分のみで理解できるなどとは思わない。 しかし、もし IUT を理解したという数学者が、教育的かつわかりやすい例や、重要な点を明快に示す簡潔な主張を提示できないのであれば、努力が足りない。 深く強力な考え方に違いないものを学ぶためならば、誰もが全力で理解しようとするだろう。 しかし彼らが旅立つ前に、これから歩を進めようとする場所の地形を頭に入れておかなければならない。 (引用終り) それは、私の>>590 >思うに、山下サーベイに求められていたのは >厳密な”The exposition was designed to be as self-contained as possible.”ではなく >むしろ、ラフな ガイドブック あるいは 目的地に 楽に到達できる 道筋を示すもの(厳密さを欲する人は IUTの何ページを とか) >だったような気がする とほ
625 名前:レ同じ趣旨を、もっと適確に数学的に言ったのですしょうね だが、もし、それが達成されても、あなたがIUTを数学的に理解できないことだけは、断言できな おれと、同じかそれ以下レベルだよ、あなたは、無限公理さん!ww(^^; [] [ここ壊れてます]
626 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 10:48:57 ID:koULGAjk.net] >>591 タイポ訂正 だが、もし、それが達成されても、あなたがIUTを数学的に理解できないことだけは、断言できな ↓ だが、もし、それが達成されても、あなたがIUTを数学的に理解できないことだけは、断言できるな 分かると思うが(^^;
627 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 10:50:45 ID:koULGAjk.net] >>591 補足 >おれと、同じかそれ以下レベルだよ、あなたは、無限公理さん!ww(^^; ZFCでは、公理が無限にある?か 笑えるぜ(^^;
628 名前:132人目の素数さん mailto:sage [2020/05/22(金) 10:55:37.46 ID:QaFEzNvI.net] >>591 私がIUTを理解する必要はないが 君は、ここ、何言ってるか理解したかい? 「層コホモロジーを用いて de Rham の定理と複素解析における topological obstruction を統一的に取り扱い、分析する方法」 特に”topological obstruction”(位相的な障害)ね
629 名前:132人目の素数さん mailto:sage [2020/05/22(金) 11:09:19 ID:QaFEzNvI.net] >>593 まだ公理図式を理解してないの? 実は、数学大嫌いでしょ?
630 名前:132人目の素数さん mailto:sage [2020/05/22(金) 11:10:21 ID:cUSKSCSg.net] RIMSは天才集団みたいな現実とのギャップがある評価が気になる。 そういう思い上がりが発生させたまちがいだと思うし。
631 名前:132人目の素数さん mailto:sage [2020/05/22(金) 11:13:38 ID:ERhcpVzW.net] モッチーってふと寂しくなったりすることないのかな
632 名前:132人目の素数さん mailto:sage [2020/05/22(金) 11:16:03 ID:QaFEzNvI.net] 公理型(公理図式) https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E5%9E%8B 「高階論理では有限!」と脊髄反射的言訳をする前に 公理図式の具体的な使い方を理解しようね 「数学的帰納法(まさに公理図式)の中の命題Pは公理か定理に限る!」 なんて力みかえって絶叫したら大声で嘲笑されるよ マジで https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%B8%B0%E7%B4%8D%E6%B3%95
633 名前:132人目の素数さん mailto:sage [2020/05/22(金) 11:19:07 ID:QaFEzNvI.net] ところで 星の検索結果「宇宙際 Teichmüller 理論入門」(&「続・・・」)には モノドロミーって言葉が全く出てこないね
634 名前:132人目の素数さん mailto:sage [2020/05/22(金) 11:24:03 ID:IxQXZiFM.net] 自称おっちゃんです。 >>590 >自学自習をするとき、薄い本はかえって読みにくいことがある IUT や数論幾何に限らないが、高度な数学になると、殆どの分野についてその分野の薄い本はないといっていい。 一冊でその分野の標準的なレベル以上の内容は書き切れない。
635 名前:132人目の素数さん mailto:sage [2020/05/22(金) 11:33:46 ID:QaFEzNvI.net] >>600 高校までの数学とはわけが違うからね 大体、全貌がわかってるような話はまずないから 例えば、トポロジーだったら2次元の場合は 向き付け可能な閉曲面の場合「穴」の数で分類できるし どうやってそういう曲面を構成するかもわかってる しかし3次元の場合はもう同様の「全体図」は期待できない まさに発展途上だから 一般次元の場合、抽象的な一般論とその適用による成果の話が主 だから理屈に興味のない人はほぼ読むところがない
636 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 11:56:15 ID:koULGAjk.net] >>594 ここだけ 私がIUTを理解する必要はないが ↓ 私がIUTを理解できるはずがないが! ”あなたには”ね! www(^^;
637 名前:132人目の素数さん mailto:sage [2020/05/22(金) 12:11:01 ID:QaFEzNvI.net] >>602 公理図式の使い方、理解したか? ∈と⊂の違いも判らんようじゃ、無理か あんた、この板で何したいの? コピペでマウントなんて、無理だって あんたが大学数学の初歩も分かってないってことはみんな承知だから 数学板のミソッカスで嬉しい? https://ja.wikipedia.org/wiki/%E3%81%BF%E3%81%9D%E3%81%A3%E3%81%8B%E3%81%99
638 名前:132人目の素数さん [2020/05/22(金) 12:15:45 ID:QHSdqkYA.net] >>597。○゜*。゜✳。゜ 。゜ * ま 逃 気 ふ ゜ す れ づ と さ 。 ま る い 我 う ○ す や た に し ゜ 数 う 寂 返 て 。 学 に し っ * に ま さ て ゜ 没 た か 。 頭
639 名前: ら ○ す ゜ る * の 。 で ○ せ 。 う ゜ か [] [ここ壊れてます]
640 名前:132人目の素数さん [2020/05/22(金) 12:24:01.95 ID:QHSdqkYA.net] >>604 (↑上記レス訂正致します↙) >没たか → 没たか >頭ら →→ 頭*ら (*印·一枡空白)
641 名前:132人目の素数さん [2020/05/22(金) 12:40:52.76 ID:QHSdqkYA.net] ゜。○゜。✳゜゜ 。゜ >あんたこの板で何したいの? ゜。 。゜。✳゜ 。○゜(…ポポ…ポェム…(*‥)) ✳゜ ゜。 。✳゜○。 >数学板のミソッカスで ゜○。゜嬉しい? 。゜ (;¨)ハッ! …ゴッ…ゴゴ… ゴメンナサ~ィ…゜。゜(ノд`)゜
642 名前:132人目の素数さん mailto:sage [2020/05/22(金) 12:47:12.65 ID:QaFEzNvI.net] >>606 癒される書き込みなら許すよ
643 名前:現代数学の系譜 雑談 mailto:sage [2020/05/22(金) 13:24:28.64 ID:koULGAjk.net] >>603 おっさんの弱点は、できるだけ記号で思考しようとしている点だよ。それで数学科落ちこぼれたんだ ZFC 9個の公理と言わずに、8個の公理+1個の公理図式とでもいえばよかったか? なお、IUTがZFCの公理系に翻訳できるとしても、IUT内では必ずしも 一階述語論理とは言えないよね ∵ 圏論を使いまくりだから それに、ZFCの保存拡大のフォン・ノイマン=ベルナイス=ゲーデル集合論(NBG)は、有限公理化されている ∵ クラスの概念を使うから おっさんのシッタカは、底が見えているよw(^^; https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96 公理的集合論 ZF 公理系 ・置換公理 "関数クラス"による集合の像は集合である: ∀ x∀ y∀ z((ψ (x,y)∧ ψ (x,z))→ y=z)→ ∀ X∃ A∀ y(y∈ A←→ ∃ x∈ Xψ (x,y)) 。 この公理は、論理式 ψ をパラメータとする公理図式である。 つづく
644 名前:現代数学の系譜 雑談 mailto:sage [2020/05/22(金) 13:24:46.84 ID:koULGAjk.net] >>608 つづき https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E5%9E%8B 公理型 (公理図式から転送) ナビゲーションに移動検索に移動 公理型(英:axiom schema、英複数形:axiom schemata)とは、数理論理学における用語で、公理を一般化した概念である。 有限公理化 型変数に代入されうる部分論理式や項の個数が可算無限だとすれば、ある公理型は可算無限個の公理の集合を表すことになる。 この集合は通常は再帰的に定義できる。公理型を用いずに公理化できる理論は「有限公理化」可能であると言う。 有限公理化可能な理論は、たとえそれらが推論を行う上で実用性に劣っていても、超数学的なエレガントさの上では幾分か優位であると看做される。 公理型の例 公理型の実例としてよく知られているものを二つ挙げる。 帰納型:ペアノ算術の一部であり自然数の算術である。 置換の公理型(英語版):集合論の標準的なZFC公理系による公理化の一部。 これらの型は除去できないことが証明されている(最初の証明はリチャード・モンタギューによる)。従ってペアノ算術とZFCは有限公理化できない。このことは数学の様々な公理的理論や、哲学、言語学その他についても当てはまる。 有限公理化可能な理論 ZFCで証明できる定理は全てフォン・ノイマン=ベルナイス=ゲーデル集合論(英語版)(NBG)でも証明できるが、大変驚くべきことに、後者は有限公理化されている。新基礎集合論(NF)は有限公理化可能だが、その場合はエレガントさが幾分か失われる。 つづく
645 名前:現代数学の系譜 雑談 mailto:sage [2020/05/22(金) 13:25:10.66 ID:koULGAjk.net] >>609 つづき 高階論理において 一階述語論理における型変数は、二階述語論理においては通常は除去できる。何故なら、型変数は何らかの理論中に現れる要素間で成り立つ性質や関係そのものを代入可能な変数として位置付けられることが多いからである。上で挙げた帰納法 と
646 名前:置換 の型は正にそうした例に当る。高階述語論理では量化変数を用いてあらゆる性質や関係を渡るような記述ができる。 https://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96 圏論 集合論に基づく定式化では不十分だった代数幾何学の公理化を与える言葉として進展した。さらに一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている。 (引用終り) 以上 [] [ここ壊れてます]
647 名前:132人目の素数さん [2020/05/22(金) 13:31:54.13 ID:QHSdqkYA.net] |∞(コソッ…) |;“)…チョット気ニナッテ…覗ィテ…) 。○゜ ゜。癒される書き込みなら゜*。 ゜。✳゜ 。○゜ ゜(((*“))) 。✳゜ 。゜ ゜。✳゜🎶。゜ | |\(*´∀`)/))♪!
648 名前:132人目の素数さん [2020/05/22(金) 13:36:06.67 ID:QHSdqkYA.net] |≡3 ピュッ!
649 名前:現代数学の系譜 雑談 mailto:sage [2020/05/22(金) 13:49:36.16 ID:koULGAjk.net] >>594 別に理解したくはないが、キーワード検索すれば下記だな https://ja.wikipedia.org/wiki/%E7%89%B9%E6%80%A7%E9%A1%9E 特性類 特性類 (Characteristic class)とは、位相空間 X の上のベクトル束やより一般に主束に対してさだまる X のコホモロジー類である。 特性類は、主束の切断がどの程度存在するによって定まるもので、局所的には自明である主束の構造が大域的にどれほど非自明であるかをはかる位相不変量である。 特性類は、代数多様体上のベクトル束に対しても定義され、代数トポロジー、微分幾何学や代数幾何学における統一した幾何学的な考え方の一つである。 1935年の多様体上のベクトル場についてのエドゥアルト・シュティーフェル (Eduard Stiefel) とハスラー・ホイットニー (Hassler Whitney) の仕事より、特性類の考え方が発生した。 動機 特性類は、反変性を持ち、本質的にコホモロジー論的な現象である。ベクトル束の切断は空間上の函数の一種で、変更を必要とする切断の存在から反変性を導く。 ホモロジー論やホモトピー論は空間への写像を基礎とする共変な理論であり、反変な理論であるコホモロジー論はその後に発見された。 障害の理論(英語版)(obstruction theory)の一部として特性類の理論が生まれた1930年代において、ホモロジー論の「双対」な理論を構築しようとする大きな理由として特性類の理論がある。 曲率不変量に対する特性類のアプローチは、一般化されたガウス・ボネの定理を証明するための理論を作ることが目的であった。 つづく
650 名前:現代数学の系譜 雑談 mailto:sage [2020/05/22(金) 13:50:23.08 ID:koULGAjk.net] >>613 つづき <障害の理論(英語版)(obstruction theory)> https://en.wikipedia.org/wiki/Obstruction_theory Obstruction theory In mathematics, obstruction theory is a name given to two different mathematical theories, both of which yield cohomological invariants. In the original work of Stiefel and Whitney, characteristic classes were defined as obstructions to the existence of certain fields of linear independent vectors. Obstruction theory turns out to be an application of cohomology theory to the problem of constructing a cross-section of a bundle. In homotopy theory The older meaning for obstruction theory in homotopy theory relates to the procedure, inductive with respect to dimension, for extending a continuous mapping defined on a simplicial complex, or CW complex. It is traditionally called Eilenberg obstruction theory, after Samuel Eilenberg. It involves cohomology groups with coefficients in homotopy groups to define obstructions to extensions. (引用終り) 以上
651 名前:132人目の素数さん [2020/05/22(金) 14:12:05.67 ID:UQrRsKBf.net] >>555 Faltingsが娘に継がせようとしてるのワロタw
652 名前:132人目の素数さん mailto:sage [2020/05/22(金) 14:26:09.36 ID:iAiYPYhL.net] ブンゲンインタビュー、縦読みしてきたけど確かに既出なことばかりだな もっちーがブンゲンを聞き手として頼りにしてたのはわかったよ 数学もドラマの感想までも何年もじっくり聞いてもらって論文書き上げたんだから、感謝してるんだろうな でも2人きりでセミナーしようとか一日中食事して美術館いったりするとか、共同研究ってデートみたい
653 名前:132人目の素数さん mailto:sage [2020/05/22(金) 15:28:31 ID:QaFEzNvI.net] >>608 そもそもZFCの公理の数を書く必要あったか? 圏論が一階論理上の体系でないならますますZFCを持ち出すのはおかしい (二階論理上ならZFC2と書くのが正しい) NBGはZFCとは異なる体系だから公理の数は違うよ あんた必死に言い訳してるが、あんた、自分が馬鹿だと気付いてないんか 気付いたら恥ずかしくて生きてられないんか なら死ぬか 今死ぬか ここで死ぬか 死ぬならさっさと死んでくれ あんたに死ぬ勇気があるんなら見せてくれ 死ぬ勇気もないくせに、自分は馬鹿じゃないとか言い訳するな みっともない
654 名前:132人目の素数さん mailto:sage [2020/05/22(金) 15:34:16.08 ID:QaFEzNvI.net] >>613 >キーワード検索すれば あんた、キーワード検索しただけで自惚れる悪い癖やめたら? 結果、読まずにコピペしとるだろ 読んだというなら、障害類とよばれるコホモロジー類は何の「障害」か答えてみろ そもそも、あんた、コホモロジーが何だか知っとるのか?
655 名前:132人目の素数さん [2020/05/22(金) 16:08:43 ID:UQrRsKBf.net] またLonelyWolfか
656 名前:132人目の素数さん mailto:sage [2020/05/22(金) 16:28:48 ID:QaFEzNvI.net] >>619 今日の深夜、暴れてた人だねw RIMSの人なの?
657 名前:132人目の素数さん mailto:sage [2020/05/22(金) 16:31:50 ID:QaFEzNvI.net] 495 :132人目の素数さん[]:2020/05/22(金) 00:06:30.66 ID:UQrRsKBf 妬みがすごいな 503 :132人目の素数さん[]:2020/05/22(金) 00:13:51.10 ID:UQrRsKBf メディアはいろいろいうけど徐々に若い人も集まってきてる感じするから展開気になってます。 IUTの次にモッチが何をターゲットに研究していくのかも気になるわ。 505 :132人目の素数さん[]:2020/05/22(金) 00:17:38.74 ID:UQrRsKBf しかし久々にこのスレに6EciHgHc氏みたいなまともなレスをする人間が現れた気がw 507 :132人目の素数さん[]:2020/05/22(金) 00:20:31.82 ID:UQrRsKBf IUTの研究会、ノッティンガムの他に中国、フランスの参加者が増えてた気がしたけど 中国だと今数論の研究の方向どういう感じで見てるのか気になるなー。 510 :132人目の素数さん[]:2020/05/22(金) 00:29:37.43 ID:UQrRsKBf そりゃメディアの記事とtwitter周りしか話理解できないから堂々巡りになるわなw 532 :132人目の素数さん[]:2020/05/22(金) 01:29:06.91 ID:UQrRsKBf これは間違いないな。ラジオ聞いたけどすげー頭いいのがわかるw 534 :132人目の素数さん[]:2020/05/22(金) 01:33:05.11 ID:UQrRsKBf 佐藤幹夫の朝起きて云々に話は才能がなければついてけないわな どこまでも追い込めるような人たちの世界やねー 542 :132人目の素数さん[]:2020/05/22(金) 01:53:26.58 ID:UQrRsKBf 根性の曲がった竹内薫じゃないか。 研究者じゃないしな。 545 :132人目の素数さん[]:2020/05/22(金) 01:56:09.96 ID:UQrRsKBf FaltingsのページのSelected Ph.Dにモッチいるのなw まあ当然といえばそうだがw https://www.hcm.uni-bonn.de/people/faculty/profile/gerd-faltings/ 550 :132人目の素数さん[]:2020/05/22(金) 02:14:02.83 ID:UQrRsKBf さすがにもっといるだろうし、selectedというだけに弟子と認めた人しか載せてないと思うわ。 553 :132人目の素数さん[]:2020/05/22(金) 02:20:42.55 ID:UQrRsKBf そ
658 名前:黷ヘワロタ Faltings人相悪くて指導教官としては鬼な感じが滲み出てる。 554 :132人目の素数さん[]:2020/05/22(金) 02:22:26.57 ID:UQrRsKBf BrianConradもあの長いのは全部読まなくても道具は手に入るとかレポートに書いてた気が。 [] [ここ壊れてます]
659 名前:132人目の素数さん mailto:sage [2020/05/22(金) 16:40:31.52 ID:QaFEzNvI.net] 494 :132人目の素数さん[sage]:2020/05/22(金) 00:06:25.13 ID:PAD81S3v RIMSには共同利用・共同研究拠点って研究所の役割があるだけ そこのテーマ 少しは勉強しよう これ以外にも共同利用の研究会はたくさんある 研究の認定はピアレビューのある雑誌での出版 研究は出版して初めて研究論文が完結する世界であることを理解してからものをいおう たくさん研究費をとることとよい研究論文を出版することは線形独立 498 :132人目の素数さん[sage]:2020/05/22(金) 00:11:24.38 ID:PAD81S3v それはともかく 佐藤幹夫氏がRIMSを私物化していた時代だったら 知ったら君ら怒り狂っていたと思うけど 504 :132人目の素数さん[]:2020/05/22(金) 00:16:13.19 ID:PAD81S3v 大学いくなんて俗物 論文を投稿するなんて俗物 研究費応募するなんて俗物 共同利用のテーマにされるなんて俗物 俗物認定の基準がヤバイ お前らまさか空気吸ってないよな俗物過ぎるぞ 512 :132人目の素数さん[sage]:2020/05/22(金) 00:31:55.42 ID:PAD81S3v 日付かわって昨日のID:6EciHgHcだけど 頭の固くなった頭の大きなおじさまには何をいっても いまさらどうしようもないし生産性もなく そういうじいさんはぶつぶついいいながらさっさと棺おけに入ってもらったほうがいいとおもっているんだけど ちょっと研究者の世界にいればすぐわかるようなことも知らずにデタラメをかたるんで ついついつっこんでしまいたくなっただけ 佐藤幹夫の件は普通知っていると思うけどブラック過ぎるからやめとく 518 :132人目の素数さん[sage]:2020/05/22(金) 00:49:49.72 ID:PAD81S3v 書くと自分自身が灰色のなりそうなんでやめます RIMSはそれ以外にも人命にかかわる案件が数件はあるし 絶対口外できない Faltingsだって毒舌で日本人一人... 521 :132人目の素数さん[sage]:2020/05/22(金) 00:54:23.08 ID:PAD81S3v 詳しくは研究者になってワークショップの懇親会などで 京都出身のおじいさんらに聞いてみると もしかするとおしえてもらえるかもしれませんよ 525 :132人目の素数さん[sage]:2020/05/22(金) 01:07:29.69 ID:PAD81S3v (佐藤幹夫は)数学の天才 528 :132人目の素数さん[sage]:2020/05/22(金) 01:18:21.38 ID:PAD81S3v 証明が青と黄色と赤だったら(創価)学会っぽいwww
660 名前:132人目の素数さん mailto:sage [2020/05/22(金) 16:41:23.40 ID:QaFEzNvI.net] 531 :132人目の素数さん[sage]:2020/05/22(金) 01:25:42.11 ID:PAD81S3v 心配しなくても玉川さんはお前らの 100億倍賢くて100億倍は注意深いから それ以上にお前らに関係ない話w 539 :132人目の素数さん[sage]:2020/05/22(金) 01:45:54.41 ID:PAD81S3v Scholzeも出してる結果を見る限りめちゃんこ賢いよ 話したことないけど Woitのブログにはいきなり間違えたこと書いこんでてふいたけど そこらへん注意深さはないね Wiotって日本でいう茂木健一郎的な立ち位置なんかな 540 :132人目の素数さん[sage]:2020/05/22(金) 01:48:53.16 ID:PAD81S3v 佐藤幹夫って朝起きたときには数学にとかなんとか いうてるけど彼自身数学やってないときには全然なんもやってないんだよな 俺はいつもやっていないけどw 543 :132人目の素数さん[sage]:2020/05/22(金) 01:54:29.22 ID:PAD81S3v (玉川と話したこと)あったらまずい?ww 546 :132人目の素数さん[sage]:2020/05/22(金) 01:58:17.06 ID:PAD81S3v 玉川さんめっちゃ性格いいww 549 :132人目の素数さん[sage]:2020/05/22(金) 02:12:14.46 ID:PAD81S3v Faltingsの学生になるだけでもう ものすごい秀才じゃないといけないんだ 弟子をほとんどとらなかったのでこうなった USで学部からそのまま同じ大学院にすすんで更にFaltingsにつくなんてほぼ不可能 調べれば分かるが不文律があって どんなに優秀でもほとんどのUSの学生は学部と院はかえないといけない 望月氏はSGAを全部読んでから来いといわれたらしいし 551 :132人目の素数さん[sage]:2020/05/22(金) 02:16:20.24 ID:PAD81S3v 19や20のとき望月氏がよみ終わっていたSGAを俺なんかいまだほとんど読んでないからねww 絶望する 552 :132人目の素数さん[sage]:2020/05/22(金) 02:19:34.83 ID:PAD81S3v 実はFaltingsが一番熱心に指導してたのは娘という説があって、あんまりできないもんだから 親父ががんばっていたという 555 :132人目の素数さん[sage]:2020/05/22(金) 02:24:05.32 ID:PAD81S3v 彼がドイツに帰った後のMax Planckでは一時期噂になってたらしい 娘以外は優秀でどうせほっておいても大丈夫だろうし 556 :132人目の素数さん[sage]:2020/05/22(金) 02:26:27.15 ID:PAD81S3v 望月氏 Conradすら舌をまく秀才だったので
661 名前:132人目の素数さん mailto:sage [2020/05/22(金) 16:49:19 ID:D0q4jktZ.net] 天才だと吹聴しておけばなんとなかるって思ってるID:PAD81S3vと、 難しい話題をコピペすれば頭がよくなったと勘違いしてる◆e.a0E5TtKE、 まさにIUTの縮図な気がする。
662 名前:132人目の素数さん [2020/05/22(金) 16:52:23 ID:UQrRsKBf.net] おぬしはその想像力と執拗さを数学に当てておけば Lonely Wolf=桜坂46=革命家ミスター維新
663 名前:132人目の素数さん mailto:sage [2020/05/22(金) 16:57:57 ID:QaFEzNvI.net] >>624 ID:PAD81S3vがもっちー本人だったら笑う ◆e.a0E5TtKEは大学数学が理解できなかったのが悔しいんでしょう もうアラ還暦だというのに諦めの悪い人だ
664 名前:132人目の素数さん mailto:sage [2020/05/22(金) 16:59:54 ID:QaFEzNvI.net] >>625 数学は難しすぎた(ボソッ)
665 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 17:02:45 ID:koULGAjk.net] >>613 追加 大沢健夫先生 複素解析 層 解析接続の障害が ∂ ̄ コホモロジー類として表せる 話(下記) (参考) https://www2.math.kyushu-u.ac.jp/~joe/math/ 福岡複素解析シンポジウム https://www2.math.kyushu-u.ac.jp/~joe/math/ohsawa.pdf 解析接続の問題に現れる解析と幾何 大沢健夫先生集中講義 2019/07/09(日付 Google 要約より) 大沢健夫 数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。 岡潔 『一葉舟』(角川ソフィア文庫 2016) 目次 1. はじめに 2. 解析接続と正則領域 3. 複素多様体上の接続問題と ∂ ̄ コホモロジー 4. ∂ ̄ コホモロジーの L 2 理論 5. L 2 拡張定理とその応用 6. Bergman 核の話題から 7. 幾何構造の接続 P5 Poincar´e と Cousin の理論を完成型に導いたのは岡潔による上空移行原理の発見 (1936) だったが13そこへの最重要の一歩が Hartogs(1906) による擬凸性の発見であった。Hartogs の理論 は多変数の解析関数は孤立特異点を持ちえないこと (Hurwitz,1897) と相対収束半径14の逆数が対 数的劣調和性を持つこと (Faber,1902) を敷衍したものだが、正則領域すなわち正則関数の存在域が 擬凸性という凸性に似た幾何学的性質を持つことを結論付けるもので15、まさに解析接続の原理的 な急所を突くものであった。その結果、それでは任意の擬凸領域は正則領域であろうかという逆問 題が自然に生じた。滑らかな境界を持つ領域に対して擬凸性の微分幾何的表現を与えた Levi(1911) にちなみ、この問題や同趣旨の一般化された問題は Levi
666 名前:問題の名で知られるようになった。これ はしばらく多変数関数論の中心的課題であった (cf. [Sa], [Siu-1])。 つづく [] [ここ壊れてます]
667 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 17:03:12 ID:koULGAjk.net] >>628 つづき 現代流の層の言葉で言えば、Weierstrass が考案した解析的形成体 (analytische Gebilde) は正則 関数の定義域を Cn の構造層の連結成分と考えたもので、これらはとくに Cn 上の不分岐領域すな わち Cn への局所正則同型を持つ複素多様体になっている。これと Riemann の導入した分岐被覆 の考えと合わせて、解析関数の自然な定義域は Cn 内の領域だけでなく、Cn のコンパクト化上で 「自然に分岐した」領域であろうということになった。Cn 上の不分岐領域に対する Levi 問題は岡 潔 [O-2,4] により解決されたが、この偉業は金字塔の名にふさわしい。分岐領域については様相は より複雑で未解明の部分が残されているが、その研究のために H.Cartan の研究 [C-1] に触発され て岡 [O-3] が導入した不定域イデアルの理論は、Weierstrass の理論 (=予備定理) の射程を大いに 延ばすことになった。さらにこの理論は Cartan[C-3] により層係数コホモロジーの言葉に翻訳され て Stein 多様体上の基本定理 (Cartan の定理 A,B) として結実し、以後の数学の展開に多大な影響 を与えた。 P16 3 複素多様体上の接続問題と  ̄∂ コホモロジー 複素多様体上の ∂ ̄ コホモロジーは代数幾何を通じて数論の問題とも関連する重要な不変量であ るが、解析接続の文脈においても自然に現れる。以下では解析接続の障害が ∂ ̄ コホモロジー類とし て表せることと、それが消えるための条件について述べる。 (引用終り) 以上
668 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 17:07:03 ID:koULGAjk.net] >>627 >数学は難しすぎた(ボソッ) 良いタイミング >>628より ”大沢健夫 数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。 岡潔 『一葉舟』(角川ソフィア文庫 2016)” www(^^;
669 名前:132人目の素数さん [2020/05/22(金) 17:08:02 ID:UQrRsKBf.net] 大学数学が理解できたかできないかとかはここで語られる数学者のレベルからすれば誤差。 昨日のfaltingsの話をしてくれた人の降臨希望。
670 名前:132人目の素数さん mailto:sage [2020/05/22(金) 17:12:24 ID:WyQ/1f2R.net] 代数幾何ってフランス語読めて当たり前の世界なの? 英語話せなくてもノーベル物理学賞取れるのに?
671 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/22(金) 17:16:32 ID:koULGAjk.net] >>630 補足 (引用開始) >数学は難しすぎた(ボソッ) 良いタイミング >>628より ”大沢健夫 数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。 岡潔 『一葉舟』(角川ソフィア文庫 2016)” (引用終り) 1.以前に、数学のアカデミック ポストの数を、オリンピック陸上100mの代表候補に例えたが 走るのが早くても、100mで10秒を切るくらいでないと、オリンピック代表になれない もし、10秒を切る人が何人も出て、代表が3人に限られるとしたら、はみ出る人が出ることを、数学では鳩ノ巣理論というw(^^; 2.しかし、走ることは、いろんな運動の基本であり、オリンピック代表以外は 100m走 落ちこぼれと思う必要はないのです 3.サッカーやラグビーや、いろんなスポーツで、その走力を生かせる分野があるはず と同様に、数学以外で その数理能力を生かせる学問分野が 沢山あるはずなのです(^^ 4.数学で落ちこぼれるのは、真に理解しようとせず、記号の理解で止まってしまっているからではないでしょうかね? 例えばおサルのようにww(^^;
672 名前:132人目の素数さん mailto:sage [2020/05/22(金) 17:32:51 ID:y0MCuuMW.net] 岡潔は「数学の怖ろしさ」とか書いてたはずだし、数学の発見に関して 「直進しようとするから行き詰る。行き詰ったときは大体7年くらい行き詰ってる。 行きやすいところを選って行けば行き詰ることはないが、それだと 発見という言葉は虚しき言葉です。」と言ってたと思う。 てか、◆e.a0E5TtKE は岡潔の発言が気に入らなくて 「弟子も満足に育てられなかったくせに」とか言
673 名前:チてたのに 何時から岡信者になったの?w [] [ここ壊れてます]
674 名前:132人目の素数さん mailto:sage [2020/05/22(金) 17:35:26 ID:QaFEzNvI.net] >>631 なんだ、てっきりコンビでやらせの会話してるのかと思ったが
675 名前:132人目の素数さん mailto:sage [2020/05/22(金) 17:35:31 ID:IxQXZiFM.net] それじゃ、自称おっちゃんもう寝る。
676 名前:132人目の素数さん mailto:sage [2020/05/22(金) 17:43:06 ID:QaFEzNvI.net] >>628-629 それが>>618の答えのつもりかい? それにしても、トポロジーの話なのに わざわざ多変数関数論のネタもってくるとか マゾなのかね? >解析接続の障害が ∂ ̄ コホモロジー類として表せる Q1. 解析接続の障害、って何だい? Q2. ∂ ̄ コホモロジー類って何だい? ああ 面白いw
677 名前:132人目の素数さん [2020/05/22(金) 17:50:41 ID:QHSdqkYA.net] 。゜○。゜ 。✳゜ ゜数学は難しすぎた (ボソッ) ゜✳。゜ 。○゜ \\\゜✳。゜ ゜*。∞ ٩٩\(*´д`)/(…可愛スギィィッ!)  ̄ ̄バタッ! ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
678 名前:132人目の素数さん mailto:sage [2020/05/22(金) 17:51:22 ID:QaFEzNvI.net] >>633 >走ることは、いろんな運動の基本 >いろんなスポーツで、その走力を生かせる分野があるはず >数学以外で その数理能力を生かせる学問分野が 沢山あるはずなのです その通りだよ だから別に数学で新しい発見をしようと思わず 分っている結果を利用するだけでも十分役に立つよ しかしそういうレベルのことなら わざわざ数学科にいく必要はないんだよw 君は分けも分からずコピペしてるけど、そういうネタは まさに「どうやって100mで10秒を切るか」みたいな話ばっかりなんだな 君の能力に見合ってないの わかる? 君はまず自分の家の近所をランニングするところから始めたほうがいい いきなり小難しいことやったって君のオツムでは無理 具体的に言うと、理論的な話は無理 まず計算から始めなw 論理的思考をしたことない人に、数学書読むのは無理 公理とか定義とか証明とか一切読まないんでしょ? だったら数学書なんか購入するだけ無駄 結果としての式だけ見るんなら、ネットで十分
679 名前:132人目の素数さん [2020/05/22(金) 18:03:05.49 ID:QHSdqkYA.net] |゜*。∞ |٩٩((_´д`)_ハッ! |キョロキョロ |((”;)三(*“)) |≡3 ピュッ!
680 名前:132人目の素数さん mailto:sage [2020/05/22(金) 18:03:40.38 ID:UmN7bckY.net] 数学書を読むと訳語のいい加減さにうんざりするから日本語の用語は無視したほうが精神衛生上よろしい
681 名前:132人目の素数さん mailto:sage [2020/05/22(金) 18:05:32.06 ID:QaFEzNvI.net] >>637 障害っていうのは、連続写像でもバンドルの切断でも解析接続でもなんでもいいけど 要するに「空間からある集合への写像」の延長の障害なんだな 障害類がコホモロジーで表されるってのいうのは、コホモロジーが コサイクル(サイクルの双対、つまりサイクルからある集合への写像) で定義されることを考えれば当然なんだな
682 名前:132人目の素数さん mailto:sage [2020/05/22(金) 18:14:52.17 ID:UmN7bckY.net] classは級だろ 何だよ類って 類はtypeだろが イメージが意図的にずらされてんだわ わざと数学が理解できないようにするために
683 名前:132人目の素数さん [2020/05/22(金) 18:15:31.51 ID:Bx0mrhZY.net] 翻訳本は読まないようにしている しかし自分で訳せるわけでもない 日本人の著書のみを読んでいる
684 名前:132人目の素数さん [2020/05/22(金) 18:17:38.68 ID:Bx0mrhZY.net] おそらく本気出しても 線型代数の幾つかの本が読める程度 俺に許された時間はそれくらい
685 名前:132人目の素数さん mailto:sage [2020/05/22(金) 18:36:28.73 ID:QaFEzNvI.net] >>643 なんかつまんないこといってるなあ classはそもそも種類であって階級は二次的なもの 大体、定義を読まずに語感だけで分かろうってのがダメなんだよ
686 名前:132人目の素数さん [2020/05/22(金) 18:44:25 ID:QHSdqkYA.net] (>>645)゜ ✳(Uノ)゜。✳゜ _uu__○_。___ 。✳゜。゜ ガンガレ-!∞ 。○゜٩(”*)
687 名前:132人目の素数さん mailto:sage [2020/05/22(金) 18:52:53 ID:UmN7bckY.net] >>646 語感だけでも分かるからこそ理解が早まるんだろ わざと分かりにくくして自分たちの地位を守っているだけじゃないのか
688 名前:132人目の素数さん mailto:sage [2020/05/22(金) 19:06:41 ID:QaFEzNvI.net] >>648 意味がわからん 分かったつもりになるのと分か
689 名前:驍フは違うぞ お前、数学勉強したことないだろ [] [ここ壊れてます]
690 名前:132人目の素数さん mailto:sage [2020/05/22(金) 19:22:29 ID:UmN7bckY.net] >>649 だから分からないようにわざと分かりにくくしてるんだろ?ってこと 分かってほしいって気持ちが感じられないんだよ
691 名前:132人目の素数さん mailto:sage [2020/05/22(金) 19:23:21 ID:T3jZkptd.net] 自分が理解できないことを翻訳のせいにしているやつ前もいたよな たしか群、環、体にいちゃもんつけてて、group, ring, fieldならイメージできるとか わけのわからないことを言っていた気がする
692 名前:132人目の素数さん mailto:sage [2020/05/22(金) 19:27:36 ID:QaFEzNvI.net] >>650 あんた睡眠学習の英会話のテープ買って 「ちっとも話せるようにならない」 って文句つける人だろw >>651 勉強する気ないのに理解欲だけ旺盛な馬鹿なんだろうな
693 名前:132人目の素数さん mailto:sage [2020/05/22(金) 19:46:00 ID:UmN7bckY.net] 理解している自分が偉いんだって本音が透けて見えるんだよ…
694 名前:132人目の素数さん mailto:sage [2020/05/22(金) 20:00:39 ID:e4IVxGOd.net] クラスを類と読むことに理解も何もないだろ
695 名前:132人目の素数さん [2020/05/22(金) 20:06:35 ID:LPHjJXuC.net] クラスは組でしょ
696 名前:132人目の素数さん mailto:sage [2020/05/22(金) 20:26:20 ID:T3jZkptd.net] 翻訳の問題というよりは、言語特性の問題な気がする 英語の場合は、日常語がそのまま専門用語になっていて、 逆に日本語の場合は、専門用語は日常語とは程遠い これはどちらにもメリット・デメリットがあると思っていて、 英語の場合は、直感的にわかりやすい一方で、しばしば誤解を招く原因になる 日本語の場合は、誤解の恐れが少ない一方で、直感的にはわかりにくい 特に数学の場合は、英語の日常語からイメージされるようなものと実体は程遠いことがほとんどなので、 結局は定義を自分の中で咀嚼するしかない その点では、日本語のほうが誤解の恐れが少ないという点で便利 ID:UmN7bckYは英単語から何かをイメージすることが得意なようだが、 そのようなイメージを持つことと定義を理解することはまったく別のことだと思ったほうがいいと思う
697 名前:132人目の素数さん mailto:sage [2020/05/22(金) 20:37:27.92 ID:6EhJwuRK.net] 言語イメージにかみつくってもっちみたいw
698 名前:132人目の素数さん mailto:sage [2020/05/22(金) 20:45:56.75 ID:QaFEzNvI.net] 数学の概念はそもそも日常的なものではないから 語感だけで分かろうなんて甘っちょろい考えは 最初から捨てたほうがいいよ マジで
699 名前:132人目の素数さん mailto:sage [2020/05/22(金) 22:25:45 ID:UmN7bckY.net] >>657 それは光栄だ…と言っていいのかな?
700 名前:132人目の素数さん mailto:sage [2020/05/22(金) 22:35:21 ID:UmN7bckY.net] >>656 日本の数学研究がアメリカに後れを取ってる時点でその言い分は負け惜しみにすらなってないんだよね 用語がもっと直観的で分かりやすかったら日本の数学研究の裾野も広くなってたんじゃないかなと思っただけ
701 名前:132人目の素数さん mailto:sage [2020/05/22(金) 22:48:04 ID:ubjl68OO.net] 昔数理ファイナンスの授業をとったときに用語が?だったな デリバティブとかオプションとか ネイティブの人も単語の意味想像つかんだろ
702 名前:132人目の素数さん mailto:sage [2020/05/22(金) 23:04:03 ID:T3jZkptd.net] >>660 根拠になってなくね? どちらかというと、母国語がグローバルスタンダードで、 世界中のほとんどの文献が難なく読めることのメリットが大きい あと、アメリカに関して言えば、アメリカの数学研究が日本より優れているというよりは、 単にアメリカが世界中から優秀な人を集めているってだけじゃね?
703 名前:132人目の素数さん mailto:sage [2020/05/22(金) 23:12:43 ID:y0MCuuMW.net] デリバティブ→金融派生商品 オプション→選択権 みたいな感じでしょ。想像つかんてことはないと思う。 なぜ選択権に理論価格が付くのかという理屈は難しいが 「選択権に価値がある」ということくらいは直感的に分かる。
704 名前:132人目の素数さん mailto:sage [2020/05/22(金) 23:18:20 ID:UmN7bckY.net] >>662 それは既存の概念を十分に学んだあとの話だろう 日本ではまずスタートラインにすら立てないのが数学者と一般人の断絶を引き起こしているのだと思う
705 名前:132人目の素数さん mailto:sage [2020/05/22(金) 23:19:58 ID:8xIwo/9o.net] いや、デリバティブって単語だけ聞いただけでそれが何か
706 名前:想像つく人はいないだろ 金融派生商品と聞いたらどういうものか大体想像つくが [] [ここ壊れてます]
707 名前:132人目の素数さん mailto:sage [2020/05/22(金) 23:21:15 ID:8xIwo/9o.net] けど、物理とかじゃ 物理で使う単位系は日本では日常的に使うけどアメリカじゃ使わない けどアメリカの物理学の水準は日本を上回っている
708 名前:132人目の素数さん mailto:sage [2020/05/22(金) 23:21:33 ID:T3jZkptd.net] >>664 そりゃ数学研究の話なんだから当然だろ >日本ではまずスタートラインにすら立てないのが数学者と一般人の断絶を引き起こしているのだと思う そんなデータがあるのか? アメリカよりも日本のほうが数学者と一般人の断絶が大きいとでも?
709 名前:132人目の素数さん [2020/05/22(金) 23:39:30 ID:5PnvjTcG.net] 「当時, Harvard大学では広中平祐教授を中心に代数幾何学関係のセミナーが, 同教授の心配りの下自由潤達な雰囲気の中で週1回定期的に開かれていた. 世界の拠点の 1 つとしてのHarvard 大学に相応しく, 同セミナーにも海外から 数多くの訪問者や滞在者が参加していた. 前回 Berkeley で開催された国際数学者会議で Mordell 予想解決により, Fields 賞を授与された G. Faltings 氏(Princeton 高等研究所)も我々と同様滞在者の1人であり, 同氏と知り合いになれたのもこのセミナーを通じてであった. 1978 年の年の瀬も押し迫ったある夜半,Hart shorne 予想を解決できたので論文を見て欲しいと 森氏から電話連絡があった. 拝見した論文の最初の部分に, A.Grothendieck, Fondement de la geometrie algebrique, の中のある内容をこの予想に必要な形に表現した部分多様体の変形に関する定理が示されてあった. これを最初見た時, その必要性があまり良く分らなかったが,この定理を利用しての有理曲線の存在, そして Hartshorne予想解決に向けて, 射影空間の直線に対応する有理曲線の見事な処理が示されていた. 彼の論文を一読したM. Artin 教授(M.I.T.)が水晶の如く明晰と称えたと言われる証明であった.」 すばらしい
710 名前:132人目の素数さん mailto:sage [2020/05/23(土) 00:03:49 ID:e4BFJFJp.net] 代数幾何って書かれたものは記号列だったりするが、背景には幾何学的なイメージがあるんでしょ そういうのは本を読んだだけでは中々伝わらないというのはあるかもね。 本をわざと分かりにくい言葉で書くとかはないな。 コツみたいなものがギルドの中で相伝されているみたいなことはあるかもね。
711 名前:132人目の素数さん mailto:sage [2020/05/23(土) 00:09:00 ID:e4BFJFJp.net] 知の巨人 永田雅宜 https://sciencechannel.jst.go.jp/I050607/detail/I050607005.html 16:50くらいから、森重文が永田の本に書かれてある有名な反例について語っている。 書かれたものだけを見ると記号列だが、背後にはすごいイメージがあると。
712 名前:132人目の素数さん mailto:sage [2020/05/23(土) 00:34:08 ID:JBLL4dij.net] もっちーて(昔は)ほとんどのドラマみてたんやろ? 結婚できない男も見たんだろうか
713 名前:132人目の素数さん [2020/05/23(土) 00:43:53 ID:GPYHre8N.net] 昨日新しい本だしたんですね
714 名前:132人目の素数さん mailto:sage [2020/05/23(土) 01:04:02 ID:6uMVSsjs.net] 斎藤毅さんがグロタンディークについて語ったpdfの終わりで 「しかし、グロタンディークは、スキームX といえば、ただXだと思っていたのではないかという気もしてくる。」 と書いていた
715 名前:132人目の素数さん [2020/05/23(土) 04:08:09 ID:0o4iKvuH.net] >>666 物理は単位に基づき国際的にSI単位系 で次元解析を行います。 実用単位の寸などもありますが 物理測定の単位ではありません。 >アメリカの物理学の水準は日本を 上回っている 日本はニュートリノ物理実験を見ても 素粒子物性など少なくともアメリカ に見劣りしません。 IUTなどポストモダン系の与太話は 相手にされませんし、 woitのブログに賛同します。 念のため
716 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/23(土) 09:48:13 ID:jlNBK+nU.net] >>609-610 (引用開始) https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E5%9E%8B 公理型 (公理図式から転送) 公理型(英:axiom schema、英複数形:axiom schemata)とは、数理論理学における用語で、公理を一般化した概念である。 有限公理化 型変数に代入されうる部分論理式や項の個数が可算無限だとすれば、ある公理型は可算無限個の公理の集合を表すことになる。 この集合は通常は再帰的に定義できる。公理型を用いずに公理化できる理論は「有限公理化」可能であると言う。 有限公理化可能な理論 ZFCで証明できる定理は全てフォン・ノイマン=ベルナイス=ゲーデル集合論(英語版)(NBG)でも証明できるが、大変驚くべきことに、後者は有限公理化されている。 高階論理において 一階述語論理における型変数は、二階述語論理においては通常は除去できる。何故なら、型変数は何らかの理論中に現れる要素間で成り立つ性質や関係そのものを代入可能な変数として位置付けられることが多いからである。上で挙げた帰納法 と置換 の型は正にそうした例に当る。高階述語論理では量化変数を用いてあらゆる性質や関係を渡るような記述ができる。 (引用終り) 悪いが戻るよ(^^; 1.歴史的には、公理図式又は公理型から導かれる式も、公理と扱われる場合があり(下記)、数学的帰納法などを 考えると式は可算無限あることになる 2.ところで、高階論理などで”有限公理化可能”を考えると、これら公理図式かれ出る式たちを、例えば”無限公理”などと同列には扱うべきではないだろう 3.公理図式から導かれる式を二次公理と呼ぶことにして、高階論理で二次公理の無限は消去できる 4.一方、”無限公理”などは一次公理と呼ぶことにして、公理図式自身のみを一次公理に含めるとして 各1個と数えれば、ZFCが一次公理9個から成るとして良いだろう 5.そして、それを簡便に(用語の濫用)”ZFCが公理9個から成る”と表現することも、許容範囲でしょう。そう書いてあるテキストを引用したから、直ちに「(あなた)基礎論 分かってない」とはならないよね、維新さんw(^^; つづく
717 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/23(土) 09:49:04 ID:jlNBK+nU.net] >>675 つづき (参考) https://en.wikipedia.org/wiki/Axiom_schema Axiom schema https://plato.stanford.edu/entries/schema/ Stanford Encyclopedia of Philosophy Schema (抜粋) First published Fri May 28, 2004; substantive revision Tue Aug 2, 2016 A schema (plural: schemata, or schemas), also known as a scheme (plural: schemes), is a linguistic “template”, “frame”, or “pattern” together with a rule for using it to specify a potentially infinite multitude of phrases, sentences, or arguments, which are called instances of the schema. Schemas are used in logic to specify rules of inference, in mathematics to describe theories with infinitely many axioms, and in semantics to give adequacy conditions for definitions of truth. https://fuchino.ddo.jp/shizuoka/forcing2010.pdf Forcing入門 2015年10月17日 渕野 昌(神戸大学) (抜粋) P4 前提知識の復習 集合論の公理系 ZFC. ZFC は要素記号 ∈ を唯一の非論理記号とする1階の 論理(L∈)の(無限個の)論理式(公理)の集まり(公理系)として導入 される. ZFC の公理系は,外延性の公理,空集合の公理,対の公理,和集合の公理, 冪集合の公理,無限公理,分離公理,置換公理,基礎の公理,選択公理 か らなる.? このうち,分離公理と置換公理が無限個の論理式の集まりとし て表現されている. 以下,ZFC の十分に大きな有限部分というときには,分離公理と置換公理 の論理式うちの(十分に沢山の)有限個と残りの有限個の公理全部を集め たものとする.“十分に大きな” は,後で必要となる公理はすべて含まれて いるというほどの意味である. つづく
718 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/23(土) 09:49:22 ID:jlNBK+nU.net] >>676 つづき www.academia.edu/35826551/%E7%84%A1%E9%99%90%E3%81%AE%E6%A6%82%E5%BF%B5%E5%88%86%E6%9E%90 (PDF) 無限の概念分析 矢田部俊介 京都大学 学部横断授業 2018 (抜粋) P9 ただ雑然と無限個の公理が並んでいても人間が ZFC はどのような公理を持つかということを把握できない。 そこで登場するのが公理図式というアイディアである。公理図式とは、無限個の公理を一つにまとめて書く方法である。 www.math.mi.i.nagoya-u.ac.jp/~kihara/pdf/teach/logic2018spring-draft.pdf 2018 年度 数理情報学 6・講義ノート 木原 貴行 名古屋大学 情報学部・情報学研究科 最終更新日: 2018 年 7 月 5 日 P38 3.3 数学的公理と形式証明 定義 3.17. L-理論 (L-theory) とは,L-文の集合のことを指す. L-理論は無限集合でもよい.たとえば,ペアノ算術などの自然数論は,和と積などに関する有限 個の公理と,数学的帰納法を表す公理図式を持つ. ここで,論理式毎に数学的帰納法を公理に加える必要があるので,公理は無限個になる. (引用終り) 以上
719 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/23(土) 09:50:52 ID:jlNBK+nU.net] >>677 ついでに <宇宙&Grothendieck universe axiomについて> webcache.googleusercontent.com/search?q=cache:wcZtNwytGuwJ:pantodon.shinshu-u.ac.jp/topology/literature/set_theory_basics.html+&cd=10&hl=ja&ct=clnk&gl=jp これは Google に保存されている pantodon.shinshu-u.ac.jp/topology/literature/set_theory_basics.html のキャッシュです。 このページは 2020年4月23日 17:36:31 GMT に取得されたものです。 集合と写像に関する基本的な概念 (抜粋) 次 の 概 念 は “ 集 合 の 集 合 ” を 扱 うときに 必 要 になる 。 SGA4 [ SGA72 ] の Expose I に ある Bourbaki による appindix をみるとよい 。 universe 例 えば , 位 相 空 間 の category とか Abel 群 の category とかを 考 えると きには , 意 識 しなければならない 。 Grothendieck と Verdier の アイデア は , universe を 一 つ 固 定 してその 中 で 議 論 し , 必 要 にな っ たらその universe を 含 む 少 し 大 きな universe で 考 えるようにする , というものである 。 そうすると , category theory 的 な 構 成 が 選 んだ universe に 依 るのではないか , という 疑 問 が 起 きるが , それについては Low [ Low ] が locally presentable category の 間 の accessible functor に 対 する adjoint は universe に 依 らないということを 示 して いる 。 つづく
720 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/23(土) 09:52:01 ID:jlNBK+nU.net] >>678 つづき 複 数 の universe がある , とする 視 点 を 提 案 している 人 [ Ham12 ] もいる 。 この Hamkins の 論 文 は , n -Category Cafe や Math Over?ow ( ここ や ここ や ここ ) などで 話 題 にな っ ている 。 References [Low] Zhen Lin Low. Universes for category theory, arXiv:1304.5227 . https://arxiv.org/abs/1304.5227 [Submitted on 18 Apr 2013 (v1), last revised 28 Nov 2014 (this version, v2)] Universes for category theory Zhen Lin Low The Grothendieck universe axiom asserts that every set is a member of some set-theoretic universe U that is itself a set. One can then work with entities like the category of all U-
721 名前:sets or even the category of all locally U-small categories, where U is an "arbitrary but fixed" universe, all without worrying about which set-theoretic operations one may legitimately apply to these entities. Unfortunately, as soon as one allows the possibility of changing U, one also has to face the fact that universal constructions such as limits or adjoints or Kan extensions could, in principle, depend on the parameter U. We will prove this is not the case for adjoints of accessible functors between locally presentable categories (and hence, limits and Kan extensions), making explicit the idea that "bounded" constructions do not depend on the choice of U. (引用終り) 以上 [] [ここ壊れてます]
722 名前:現代数学の系譜 雑談 mailto:sage [2020/05/23(土) 13:10:58.09 ID:jlNBK+nU.net] このMathOverflowの記事 ”Philosophy behind Mochizuki’s work on the ABC conjecture”も、今読むと、結構含蓄があるな〜(^^ (アクシェイ・ヴェンカテシュは、見つからなかったが(^^; ) https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3 ABC予想 2012年8月30日、京都大学数理解析研究所教授の望月新一が abc予想を証明したとする論文をインターネット上に公開した[4][5][6][7]。 それらの論文について、2012年10月に Vesselin Dimitrov とアクシェイ・ヴェンカテシュにより誤りが指摘[11]されたが、望月は指摘を認めつつ本質的結果は影響されないとコメントし、訂正を約束した 11.^ この議論の発端は、MathOverflowの記事 Philosophy behind Mochizuki’s work on the ABC conjecture である https://mathoverflow.net/questions/106560/philosophy-behind-mochizukis-work-on-the-abc-conjecture Philosophy behind Mochizuki's work on the ABC conjecture edited Jun 28 '13 at 1:13 community wiki James D. Taylor Answers edited May 4 '18 at 5:21 community wiki Marty edited Sep 9 '12 at 15:59 community wiki Minhyong Kim edited Oct 20 '12 at 17:29 community wiki Vesselin Dimitrov
723 名前:現代数学の系譜 雑談 mailto:sage [2020/05/23(土) 13:28:30.68 ID:jlNBK+nU.net] IUT国際会議を、「ズーム(Zoom)」で可能と思ったが 意外に大変みたいだね(^^; https://style.nikkei.com/article/DGXMZO58928360R10C20A5000000 ナショジオニュース 「ズーム疲れ」はなぜ? 大きな負担、脳にかかる 2020/5/23 (文 JULIA SKLAR、訳=北村京子、日経ナショナル ジオグラフィック社) [ナショナル ジオグラフィック ニュース 2020年5月6日付] 2020年4月15日、米リーハイ大学の宗教学教授、ジョディ・アイクラー=レヴァイン氏はビデオ会議アプリ「ズーム(Zoom)」での講義を終えると、そのまま仕事場として使っている客用寝室で眠りに落ちた。以前から講義は疲れるものではあったが、こんな「昏倒」するように寝入ってしまったのは初めてだという。 つい最近まで、アイクラー=レヴァイン氏は、実際の教室で大勢の学生を相手に講義を行っていた。そこでは、学生たちがどう感じているかを容易に把握できた。だが、新型コロナウイルス感染症COVID-19のパンデミック(世界的な大流行)によって、その環境は一変した。 世界の人たちと
724 名前:同じように、彼女の生活はバーチャル空間に追いやられた。リモート講義のほかにも、週に一度の学部懇親会、友人たちと芸術について語り合う会、ユダヤ教の「過越(すぎこし)の祭り」など、さまざまな会合にズームを通して参加することになった。その代償が今、彼女に大きくのしかかっている。 「画面上では、自分が小さな四角形の中に押し込められているため、普段よりも感情を大げさに表してしまうのです」とアイクラー=レヴァイン氏は言う。「私はもうくたくたです」 同じような経験をしている人は非常に多く、「ズーム疲れ(Zoom fatigue)」という言葉も生まれた。今回のパンデミックをきっかけに、さまざまなビデオ会議ツールがかつてない規模で使われるようになった。この思いがけない社会実験から浮かび上がってきたのは、バーチャルな交流は脳に極めて大きな負担をかける、という事実だ。 [] [ここ壊れてます]
725 名前:現代数学の系譜 雑談 [2020/05/23(土) 14:37:41.56 ID:jlNBK+nU.net] 静かになって来たな 良いことだ(^^ <ここまでを纏めておくと> 1.分別ある大人が、数学の論文で STAPもどきが可能と考えているなど、ありえないでしょ?w(^^; 2.柏原・玉川両先生、日本が世界に誇るトップ数学者二人揃って記者会見をした 3.”たかが 論文の査読 OK”ごときの記者会見 4.もし 万一にでもやましいことがあれば、「そーっと」PRIMS掲載にしておけば良いだけのこと 5.まあ、何か きっと 思うところがあっての記者会見にせよ、100%の自信がなければ、記者会見などできません (「そーっと」PRIMS掲載にしておけば、柏原・玉川両先生とも名前が出ず、万一のときに火の粉を被ることもないのだからね(^^; ) 6.だから、 1)まずSSレポートはダメで、 2)IUTは100%の自信あり、 3)私見では”IUTが正しいことは 99%確定”(>>1 ) と見ました IUTが世界に普及していくのは、これからです〜!!
726 名前:132人目の素数さん mailto:sage [2020/05/23(土) 15:43:23 ID:v17847IB.net] >>675-677 ま〜だ わかってなかったのか >>678-679 理解できずにコピペ 無駄だからやめとけって >>680-682 IUTを盲信狂信 100%病気だな ミスターニッポン
727 名前:132人目の素数さん [2020/05/23(土) 15:48:30 ID:K9SDQBrF.net] >>1 【閲覧注意.妄想.隔離スレ】 PRIMS編集委員(=RIMS教授)は IUT論文の査読結果が出る前から IUT論文の結果「abc予想を解決」 と認定しました。 ↓ 京都大学数理解析研究所 第2期中期目標期間(平成22年〜 平成27事業年度)について 1 現況調査表 平成28年6月 P28-3
資料 2. 発表論文数
所員の 発表論文数
査読付き論文のみ
p 28-10
事例4「数論幾何の研究」
「望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としての ABC 予想の解決は、特筆 すべき 出来事である。」
「当該論文
728 名前:ヘ現在査読中であるが、 」
「望月新一が同理論の概要を解説した 業績番号1― (2)(2014)が、講究録別冊 として刊行されている」 (RIMS現況調査表。 京都大学.数理解析研究所が文科省 所管の独立行政法人 大学改革支援・ 学位授与機構へ提出) https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_5_3.pdf [] [ここ壊れてます]
729 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/23(土) 15:49:20 ID:jlNBK+nU.net] >>3 https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/244783/1/B76-02.pdf 宇宙際Teichmuller理論入門(On the examination and further development of inter-universal Teichmuller theory) 星 裕一郎 Aug-2019 数理解析研究所講究録別冊 B76 (抜粋) P83 § 1. 円分物 この §1 では, その対象の輸送の遂行の際に重要な役割を果たす 円分 物 (cyclotome) という概念についての解説を行います. 円分物とは何でしょうか. それは Tate 捻り “Zb(1)” のことです. 広義には, Zb(1) の 商や, あるいは, “(Q/Z)(1)” という可除な変種も円分物と呼ばれます. 遠アーベル幾何学 において, この円分物の “管理” は非常に重要です. この点について, もう少し説明しましょう. (引用終り) 冒頭からワカランw(^^; Tate 捻り “Zb(1)”? 下記かな? https://en.wikipedia.org/wiki/Tate_twist Tate twist (抜粋) In number theory and algebraic geometry, the Tate twist,[1] named after John Tate, is an operation on Galois modules. For example, if K is a field, GK is its absolute Galois group, and ρ : GK → AutQp(V) is a representation of GK on a finite-dimensional vector space V over the field Qp of p-adic numbers, then the Tate twist of V, denoted V(1), is the representation on the tensor product V?Qp(1), where Qp(1) is the p-adic cyclotomic character (i.e. the Tate module of the group of roots of unity in the separable closure Ks of K). More generally, if m is a positive integer, the mth Tate twist of V, denoted V(m), is the tensor product of V with the m-fold tensor product of Qp(1). Denoting by Qp(?1) the dual representation of Qp(1), the -mth Tate twist of V can be defined as V ◯X Q_p(-1)^{◯X m}. References 'The Tate Twist', in Lecture Notes in Mathematics', Vol 1604, 1995, Springer, Berlin p.98-102
730 名前:現代数学の系譜 雑談 [2020/05/23(土) 16:05:31.53 ID:jlNBK+nU.net] >>685 追加 佐藤 周友先生ね(^^ https://ncatlab.org/nlab/show/Tate+twist Tate twist Last revised on February 9, 2018 Contents 1. Idea 2. Definition (抜粋) 1. Idea Cohomology theories often have two aspects, which one might refer to as geometric and arithmetic. A prototypical example is the l-adic cohomology Hi(X,Zl) of a (sufficiently nice) scheme X over a field k of characteristic p, with l coprime to p. This is not only an abelian group (the geometric aspect), but a representation of the absolute Galois group of k (the arithmetic aspect). In the case of the singular cohomology of a complex manifold, the ‘arithmetic’ aspect arises a
731 名前:s the Hodge structure on the cohomology groups. It has been speculated (for example by Manin?) that there should be some kind of ‘Galois group’ whose representations are Hodge structures, (and similarly for mixed Hodge modules vs perverse sheaves, and so on) but this remains mysterious; it may be that a good theory of algebraic geometry over F1 (the would-be “field with one element”) would provide an explanation. Tate twists play an important role in cohomology theories with this dual geometric and arithmetic aspect, allowing one to express Poincare duality canonically, that is, without choosing an orientation of one’s geometric object (scheme, complex manifold, …). 3. References https://arxiv.org/abs/math/0610426 [Submitted on 13 Oct 2006] p-adic etale Tate twists and arithmetic 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) https://arxiv.org/pdf/math/0610426.pdf https://researchers.chuo-u.ac.jp/Profiles/3/0000248/profile.html?lang=ja 教授 サトウ カネトモ 佐藤 周友 [] [ここ壊れてます]
732 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/23(土) 16:24:33 ID:jlNBK+nU.net] >>685 追加 「the familiar Galois module “Z(1)”, i.e., the “Tate twist”」か(^^; (参考) www.kurims.kyoto-u.ac.jp/~motizuki/alien.pdf The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichm¨uller Theory By Shinichi Mochizuki Received xxxx xx, 2016. Revised xxxx xx, 2020. (抜粋) P17 2.6. Positive characteristic model for mono-anabelian transport One notion of central importance in this example ? and indeed throughout inter-universal Teichm¨uller theory! ? is the notion of a cyclotome, a term which is used to refer to an isomorphic copy of some quotient [by a closed submodule] of the familiar Galois module “Z(1)”, i.e., the “Tate twist” of the trivial Galois module “Z”, or, alternatively, the rank one free Z-module equipped with the action determined by the cyclotomic character. Also, if p is a prime number, then we shall write Z=p for the quotient Z/Zp. Example 2.6.1. Mono-anabelian transport via the Frobenius morphism in positive characteristic.
733 名前:現代数学の系譜 雑談 [2020/05/23(土) 16:45:35.64 ID:jlNBK+nU.net] >>685 追加 P85 "この “円分物の間の正準的な同型”は, 円分同期化同型 (cyclotomic synchronization isomorphism), あるいは, 円分剛性同型(cyclotomic rigidity isomorphism) と呼ばれ, 特に遠アーベル幾何学では, その存在を証明することが重要となります" (参考) citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.985.273&rep=rep1&type=pdf Galois群や基本群から元の対象を復元する問題に関する 歴史と最近の発展(代数的整数論とその周辺の研究) 玉川,安騎男 数理解析研究所講究録(1997),998:174-187 [Nakamura8],副有限基本群のガロア剛性,数学47(1995),1-17,Sugaku https://www.jstage.jst.go.jp/
734 名前:article/sugaku1947/50/2/50_2_113/_pdf/-char/ja 代数曲線の基本群に関するGrothendieck予想 50 巻 (1998) 2 号 中村博昭 玉川安騎男 望月新一 表題のGrothendieck予想とは,一言でいうとすれば,双曲的代数曲線の数論的基本群は曲線の 代数構造まで完全に決めてしまう,という予想である.この問題の研究は,著者の一人(中村)に より80年代の末に発端が開かれ,もう一人(玉川)により90年代前半から(正標数の場合を含む) 本質的な新展開がもたらされ,つづいて最後の一人(望月)により,新しい(p進的な)解釈を出発 点とする最終的な解決が与えられた. P115 この種の有限性定理のeffectivityは(例外的な場合5)を除いて)orderが途方も なく大きいのが普通であり,一般には双曲的曲線のGrothendieck予想(GC1),(GC2)とそのヤ コビ多様体のTate予想等とはかなりの隔たりがある.Grothendieckは彼の予想の根拠として数 論的基本群π1(X)が「尋常ならざる剛性」を有すること,いいかえればその数論的な‘商’Gal(K) の幾何的‘部分’πL(XK)への外作用(1.2)が「尋常でないほど強い」はずであることを(コホモロ ジー理論においてA.Wei1やP.Deligneらにより解明されてきたガロア表現の非自明性と比較し て)挙げている([G3]). 最後にもう一つ,きちんと定式化できる(未解決)予想として興味深いものに次のSection予想がある. P117 cusp点集合における円分置換表現13)が(階n一1の部分加群として)ほぼ入つて いるので,これを群論的にζり出せればよい.それを保証するのがRiemann-Weil予想である. [] [ここ壊れてます]
735 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/23(土) 19:49:48 ID:jlNBK+nU.net] >>685 >Tate 捻り “Zb(1)” (参考) https://blog.goo.ne.jp/mekemekesama/e/86e2e1338a216bdf0df90cd1550cbead めけめけ様の日々雑感 捻る(ひねる)と捻る(ねじる)の違いとは? 2006年02月04日 さて、「捻り(ひねり)」と「捻り(ねじり)」の違い、あなた説明できますか? 漢字は同じなんですよね。 これテレビで見たのだけれども、違いがあるそうなんです。 ひねりは1方向の回転、ねじりは逆回転が入るということです。 蛇口はひねるものです。雑巾はねじって絞ります。 https://chigai-allguide.com/%E3%81%B2%E3%81%AD%E3%82%8B%E3%81%A8%E3%81%AD%E3%81%98%E3%82%8B%E3%81%A8%E3%82%88%E3%81%98%E3%82%8B/ 「ひねる」「ねじる」「よじる」 - 違いがわかる事典chigai-allguide.com ? ひねるとねじるとよじる (抜粋) ひねるは、「考えをめぐらす」「工夫する」という意味で「頭をひねる」や「首をひねる」、「簡単にやっつける」「負かす」という意味で「軽くひねってやる」や「ひねり潰してやる」といった使われ方もする。
736 名前:現代数学の系譜 雑談 [2020/05/23(土) 20:15:06.88 ID:jlNBK+nU.net] >>685 Tate先生 佐藤・テイト予想! アーベル賞 -(2010年)もらっているんだ(^^; (参考) https://ja.wikipedia.org/wiki/%E4%BD%90%E8%97%A4%E3%83%BB%E3%83%86%E3%82%A4%E3%83%88%E4%BA%88%E6%83%B3 佐藤・テイト予想 https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%A7%E3%83%B3%E3%83%BB%E3%83%86%E3%82%A4%E3%83%88 ジョン・テイト ジョン・テイト(John Torrence Tate, 1925年3月13日 - 2019年10月16日[1])は、アメリカの数学者。 エミール・アルティン
737 名前:のもとで1950年プリンストン大学で学位を取得。長年ハーバード大学に勤め、現在はテキサス大学オースティン校教授。ミネソタ州ミネアポリス生まれ。 現在の研究範囲は代数的整数論、類体論、ガロア・コホモロジー、ガロア表現、L関数とその特殊値、Modular形式、楕円曲線、Abel多様体。 業績 p-divisible群とTate加群の研究によりp進Hodge理論を用意した。 Abel多様体におけるSerre-Tate理論。 Rigid解析空間の幾何学の創始。 Artin-Tate公式、Iwasawa-Tateのゼータ。 Lubin-Tate群、Shafarevich-Tate群、Mumford-Tate群の構成等とまだまだ沢山彼の名前がついた業績が有る。 Tate双対性、Tate曲線、Neron-Tate height、Bass-Tate、Mazur-Tate-Teitelbaum Hodge-Tate分解、Tate twist、Sato-Tate...etc... 受賞歴 コール賞数論部門 -(1956年) スティール賞生涯の業績部門 -(1995年) ウルフ賞数学部門 -(2002/2003年) アーベル賞 -(2010年) https://en.wikipedia.org/wiki/John_Tate John Tate [] [ここ壊れてます]
738 名前:132人目の素数さん mailto:sage [2020/05/23(土) 21:25:46.64 ID:JBLL4dij.net] IUTあってたらアーベル賞もらえるかな
739 名前:132人目の素数さん mailto:sage [2020/05/23(土) 21:36:15 ID:JBLL4dij.net] もし懸賞問題とけちゃって一億やるわって言われたら、さすがのもっちーさんも悩むんだろうか 嫁がいなかったら、最終的に辞退するとはおもうけど
740 名前:132人目の素数さん mailto:sage [2020/05/23(土) 22:06:34 ID:+RE0fuli.net] >>45 adult123com.0-55.com/archives/36089.html エ口ボディwwwwwwwwwwvvwwwwwwwwvvwwww
741 名前:132人目の素数さん [2020/05/23(土) 22:09:54 ID:PowF6H77.net] 錬金術のIUTで受賞
742 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/23(土) 22:10:07 ID:jlNBK+nU.net] >>685 追加 https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/244783/1/B76-02.pdf 宇宙際Teichmuller理論入門(On the examination and further development of inter-universal Teichmuller theory) 星 裕一郎 Aug-2019 数理解析研究所講究録別冊 B76 (抜粋) P123 § 13. 様々な被覆とテータ関数 この §13 では, §14 や §15 で行われる単テータ環境の解説の準備として, 一点抜き楕円曲線に 関わる様々な曲線やその上の有理関数であるテータ関数を簡単に紹介します. (この §13 の内容について, 詳しくは, [7] の §1 や §2 を参照ください.) (引用終り) ”一点抜き楕円曲線”下記 中村「楕円曲線ひく1点の基本群は」と同類の話だろう https://mathsoc.jp/section/algebra/ 日本数学会 代数学分科会 ホームページ https://mathsoc.jp/section/algebra/algsymp_past/algsymp18.html 代数学シンポジウム関連情報 第63回 代数学シンポジウム 2018年9月3日(月)〜9月6日(木) mathsoc.jp/section/algebra/algsymp_past/algsymp18_files/houkokusyu/09-Nakamura.pdf グロタンディーク・タイヒミュラー理論の話題から 中村博昭(大阪大学理学研究科) mathsoc.jp/section/algebra/algsymp_past/algsymp18_files/houkokusyu/algebrasymposium2018binder.pdf 第63回代数学シンポジウム報告集 - 日本数学会 報告集講演統合版(2019年1月発行)(pdf file) (*)14:45-15:45 中村 博昭(大阪大学 理学研究科). 「グロタンディーク・タイヒミュラー理論の話題から」 1980 年頃に,出発点となる X = P1 ? {0, 1, ∞} の場合に,Belyi [3] がガロアの逆問 題への応用を目的とする短い論文の中で,基本完全系列から生じる外ガロア表現の忠実 性 GQ ,→ Out(π1) の証明と,基本完全系列の標準分裂(のちに Q-有理的な接基点 ?→ に対応すると言われる半直積構造)πQ = π1 ? GQ を指摘した.Grothendieck [12] は, この発見に着目し,X = Mg,n/Q (種数 g, マーク点 n
743 名前: 個(順序付き)の完備代数曲線 のモジュライ空間 )に拡張することを提唱する,幾何的基本群 π1 は副有限タイヒミュ ラーモジュラー群(向き付け可能な曲面の写像類群の profinite 完備化)となる. つづく [] [ここ壊れてます]
744 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/23(土) 22:10:37 ID:jlNBK+nU.net] >>695 つづき P3 2. 伊原ベータ関数とその楕円類似 2.1. π1(P1?{0, 1,∞}). 射影直線ひく3点の数論的基本群につながる研究は,(Grothendieck とは別の数論的観点から)伊原による研究 (1960年代に遡る [15])があり,1984年のChicago での講義が論文 [16] として出版されたのを契機に,Anderson, Coleman, Deligne なども 加わり国際的な研究活動が活発に展開された. P5 2.3. 楕円曲線版. 楕円曲線ひく1点の基本群は,射影直線ひく 3 点の基本群と同様にトポロジカルには階数2の自由群であるが,穴の周りの局所基本 群の入り方に大きな違いがあり,アデリック・ベータ関数の類似の構成は紆余曲折をきわ めている ([34]). (引用終り) 以上
745 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/23(土) 22:12:12 ID:jlNBK+nU.net] >>691 >IUTあってたらアーベル賞もらえるかな 賞の可能性ありと思う >>692 >嫁がいなかったら、最終的に辞退するとはおもうけど もったいない こちらに回して欲しいよ(^^;
746 名前:132人目の素数さん [2020/05/23(土) 22:17:19.06 ID:Arue/3Qh.net] RIMSに寄付すんじゃないか
747 名前:132人目の素数さん mailto:sage [2020/05/23(土) 22:22:58.08 ID:kFDuGleR.net] 万が一IUTが合ってたとすると、恐らくRIMS以外の全く無関係の研究者が補題3.12のギャップを埋めたときになるだろうけど、 このときどのような形でアーベル賞が授与されるのか
748 名前:132人目の素数さん [2020/05/23(土) 22:31:19.61 ID:Arue/3Qh.net] https://twitter.com/JoeHeavner/status/959635577955024897?s=20 (deleted an unsolicited ad)
749 名前:132人目の素数さん [2020/05/23(土) 22:32:10.45 ID:Arue/3Qh.net] 3.12って本当にgapなの?
750 名前:132人目の素数さん mailto:sage [2020/05/23(土) 22:42:47.18 ID:kFDuGleR.net] ギャップでなければ、今頃RIMSの面々が補題3.12のより細かい証明をしてる これだけギャップと言われながら自明としか返せないというのがギャップ
751 名前:132人目の素数さん mailto:sage [2020/05/23(土) 22:46:04.36 ID:3WbEoALD.net] 科研費もらってないってことは全部自腹なわけ?
752 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/23(土) 23:06:33 ID:jlNBK+nU.net] >>703 >科研費もらってないってことは全部自腹なわけ? 例えば、文元先生の 科研費 を、共同研究だとかで 使わせて貰えるなら 自分で科研費を取ってくる必要ないでしょうよ(^^ >>702 >これだけギャップと言われながら自明としか返せないというのがギャップ 所詮、ワカランやつにはワカランさ たとえ、フィールズといっても、分野がずれていればね
753 名前:132人目の素数さん [2020/05/23(土) 23:07:21 ID:pHe8Cl7Q.net] 本当に正しければ、rimsが全力で文科省も巻き込んでオールジャパンでショルツのこと撃退してるわな
754 名前:132人目の素数さん [2020/05/23(土) 23:08:47 ID:a8RN5dFT.net] 永田自明先生が証明される
755 名前:132人目の素数さん mailto:sage [2020/05/23(土) 23:10:33 ID:kFDuGleR.net] >>704 分野とか関係なくギャップがあると言われれば、理解してるものはより詳しい証明が書ける それが数学の証明 しかしながら実際には、補題3.12の証明に著者がいくらか追加した以降、自称理解者全員が補題3.12のより詳細な証明を説明できていない
756 名前:132人目の素数さん mailto:sage [2020/05/23(土) 23:17:18.90 ID:3WbEoALD.net] >>704 例えばGさんがIUT関連でもらってるから、Gさんに請求書まわしてるってことぉ?
757 名前:132人目の素数さん [2020/05/23(土) 23:17:27.20 ID:U5efZFyV.net] 越川氏とかどうしてるのか
758 名前:現代数学の系譜 雑談 [2020/05/23(土) 23:29:54.06 ID:jlNBK+nU.net] >>695 >Belyi [3] がガロアの逆問 参考 https://en.wikipedia.org/wiki/Belyi%27s_theorem Belyi's theorem This is a result of G. V. Belyi from 1979.
759 名前:At the time it was considered surprising, and it spurred Grothendieck to develop his theory of dessins d'enfant, which describes nonsingular algebraic curves over the algebraic numbers using combinatorial data. Quotients of the upper half-plane It follows that the Riemann surface in question can be taken to be H/Γ with H the upper half-plane and Γ of finite index in the modular group, compactified by cusps. Since the modular group has non-congruence subgroups, it is not the conclusion that any such curve is a modular curve. Belyi functions A Belyi function is a holomorphic map from a compact Riemann surface S to the complex projective line P1(C) ramified only over three points, which after a Mobius transformation may be taken to be {\displaystyle \{0,1,\infty \}}\{0,1,\infty \}. Belyi functions may be described combinatorially by dessins d'enfants. Belyi functions and dessins d'enfants ? but not Belyi's theorem ? date at least to the work of Felix Klein; he used them in his article (Klein 1879) to study an 11-fold cover of the complex projective line with monodromy group PSL(2,11).[1] Applications Belyi's theorem is an existence theorem for Belyi functions, and has subsequently been much used in the inverse Galois problem. References 1 le Bruyn, Lieven (2008), Klein's dessins d'enfant and the buckyball. http://www.neverendingbooks.org/index.php/kleins-dessins-denfant-and-the-buckyball https://en.wikipedia.org/wiki/G._V._Belyi G. V. Belyi Belyi won a prize of the Moscow Mathematical Society in 1981, and was an invited speaker at the International Congress of Mathematicians in 1986.[1] [] [ここ壊れてます]
760 名前:現代数学の系譜 雑談 [2020/05/23(土) 23:36:22.29 ID:jlNBK+nU.net] >>709 >越川氏とかどうしてるのか 同意 どうしているのか >>708 別にGさんに限らない 山下先生も科研費もらっていたでしょ で、山下先生と共同研究すればいいでしょ >>707 分かってないな Cor3.12の証明は、最初8ページくらいだったのが 2020年4月時点で12ページに増えているよ ショルツはそれを知らなかったみたいだな Woitブログで、Dupuyから指摘されている けど、ショルツは「そんな読まなくても、IUT不成立はSS文書で”自明”ww」って宣う ”自明”vs ”自明”の争いかもしれんな
761 名前:132人目の素数さん [2020/05/23(土) 23:54:06.23 ID:GPYHre8N.net] >>711 「そんな読まなくても、IUT不成立はSS文書で”自明”ww」 自明と言っている部分を示してくれませんか? www.kurims.kyoto-u.ac.jp/~motizuki/SS2018-08.pdf
762 名前:132人目の素数さん mailto:sage [2020/05/23(土) 23:56:41.94 ID:kFDuGleR.net] >>711 ショルツだなんて書いてないが theHigherGeometer氏によれば3.11まで理解したが3.12の証明が理解できない知り合いがいたとか ショルツではなくとも他の身内以外の遠アーベル幾何の専門家に理解してもらえばいいから、御託を並べる前に3.12の証明をより詳しく書けばいい
763 名前:132人目の素数さん mailto:sage [2020/05/23(土) 23:57:32.36 ID:CMDWuYtC.net] そうそう、遠アーベルだから理解できないっていうのは嘘。 Cor3.11までは分かったっていうのは当初からいた。
764 名前:132人目の素数さん [2020/05/24(日) 00:56:12 ID:9xhhnFF5.net] 科研費 山下 望月 「遅れている」 https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-15K04781
765 名前:132人目の素数さん mailto:sage [2020/05/24(日) 01:06:16 ID:7dB8qUo6.net] >>715 >大きな展望では
766 名前:宇宙際幾何をRiemannゼータの研究に応用することを最終的な目標にしているが、 そうだったのか? [] [ここ壊れてます]
767 名前:132人目の素数さん [2020/05/24(日) 01:23:39 ID:9xhhnFF5.net] >Cor3.12の証明は、最初8ページ くらいだったのが 2020年4月時点 で12ページに増えている >>684 既に平成28年6月にはPRIMS編集委員 =RIMS教授が、査読中のIUT論文より abc予想が解決した、と現況調査書 で公式に報告した。 2020年4月の修正が必要と言うなら RIMSの教授は現況調査書で間違いを 報告したな。 IUT論文の査読は破綻している
768 名前:132人目の素数さん [2020/05/24(日) 01:41:52.50 ID:9xhhnFF5.net] >>717 現況調査書→現況調査表
769 名前:132人目の素数さん [2020/05/24(日) 05:20:17 ID:Q8iucMSE.net] もしフェルマーが例の最終定理ではなく、ABC予想を本の余白に書き込んでいれば数学史はどう変わっただろう?
770 名前:132人目の素数さん mailto:sage [2020/05/24(日) 06:09:37 ID:c6gsDzcC.net] Cor3.12の不等式の計算で、スカラーj^2が現れる理由を 望月もその支持者も全く説明できていない おそらく全く想定していなかったと考えられる なぜなら、IUTに関する論文でmonodromyがまず現れないから
771 名前:132人目の素数さん mailto:sage [2020/05/24(日) 06:54:36 ID:M8AFmHFo.net] ペレルマンを見習って、8年前にこっそりArxivに出しておけばよかったものを 偉い先生まで巻き込んで、望月は一体何がしたいんだろう? 考えられる唯一の答えは、「望月はガリレオ方式を狙っている」であろう。 世界の権威から否定、無視されても、「それでもIUTは正しい」と言い張って、 最後に一発逆転のドラマを演じているのだと思う。 だから、わざとわかりにくく書いているんだと思う。 すべては、望月の計画通りに事は進んでいる。
772 名前:132人目の素数さん mailto:sage [2020/05/24(日) 07:02:28 ID:c6gsDzcC.net] 望月はPRIMSなら自分の権力で論文掲載に持ち込めると考えたんだろう しかしさすがに内部から待ったがかかった 査読を引き延ばし、さらにアクセプトしたといいつつ 記録として残ってしまう論文掲載を引き延ばすのは、 望月の成果に対する疑念があるから
773 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 08:18:26 ID:WD4sBPKv.net] 「子供じみた 妄想のおとぎ話は 本スレか アンチスレでね」w(^^; >>722 >望月はPRIMSなら自分の権力で論文掲載に持ち込めると考えたんだろう あれだけの超大作では、普通のところでは査読できないだろうよ >望月の成果に対する疑念があるから 査読は常に、「証明が正しいか?」の観点から行うべし 成果とか関係無い! 基準は「証明が正しいか?」のみ >>721 >ペレルマンを見習って、8年前にこっそりArxivに出しておけばよかったものを ペレルマンこそ、奇人変人の見本みたいなもの (フィールズ賞辞退とか、1億円受取らないとか、スタンダードにはならん!ww(^^ ) 友人の田剛が居なかったら、認められるのは、ずっと遅れたろう 望月の玉川、加藤文みたいなもの https://ja.wikipedia.org/wiki/%E7%94%B0%E5%89%9B 田 剛(でん ごう、ティエン・ガン、簡体字: 田 ?、1958年11月24日 - )は中華人民共和国江蘇省南京出身の数学者。専門分野は微分幾何学、幾何解析など。中国科学院の院士。アメリカ合衆国などではガン・ティアン(Gang Tian)などと呼ばれる。 ポアンカレ予想証明の検証 田剛はニューヨーク大学にいた1992年からロシアの数学者グリゴリー・ペレルマンと知人であった。2002年11月11日、ペレルマンはポアンカレ予想を証明したという最初の論文をインターネット上に掲載した。 当時マサチューセッツ工科大学に在籍していた田剛は、翌日の11月12日に
774 名前:ペレルマンからその旨を伝える電子メールを受け取る。その後、田剛はコロンビア大学のジョン・モーガンと組んでペレルマンの証明の正確性を2003年から3年間かけて検証した。 [] [ここ壊れてます]
775 名前:132人目の素数さん mailto:sage [2020/05/24(日) 08:25:20 ID:c6gsDzcC.net] 応援スレでスレ設置者以外誰も応援カキコしない悲喜劇
776 名前:132人目の素数さん mailto:sage [2020/05/24(日) 08:47:10 ID:3doACIaF.net] このスレってバカが立てたから荒らしてもOKな雰囲気だし書き込みやすいんだよねw
777 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 08:50:09 ID:WD4sBPKv.net] >>720 >Cor3.12の不等式の計算で、スカラーj^2が現れる理由を j^2ではなく、 q^j→q^(j^2) な 思うに理由は 2つ 1.”p-進絶対値”(下記)を考えると、いろんな計算で べきが j よりも j^2 の方が 早く減衰する。つまり、 無限の j を考えるときに便利 (IUTに書いてあったかも) 2.ホッジ・アラケロフ理論の比較定理で、d-捩れ点→ d^2-次元空間と、IUTの j→j^2 と なんか関連がある気がするな (参考) https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/244783/1/B76-02.pdf 宇宙際Teichmuller理論入門(On the examination and further development of inter-universal Teichmuller theory) 星 裕一郎 Aug-2019 数理解析研究所講究録別冊 B76 (抜粋) P120 § 12. 主定理の大雑把版 ・ テータ値 - つまり, “テータ関数の特殊値” - (= (q^(j^2/(2l)_E)j=1,...,(l-1)/2) https://ja.wikipedia.org/wiki/P%E9%80%B2%E4%BB%98%E5%80%A4 p進付値 (抜粋) 非アルキメデス距離 p-進付値 vp が与えられたとき、 |x|_{p}=p^{-v_{p}(x)} と定めて、これを x の p-進絶対値 と呼ぶ。 IUT応援スレ45 https://rio2016.5ch.net/test/read.cgi/math/1588552720/29 ”ホッジ・アラケロフ理論の比較定理は、(大まかには)標数 0 の滑らかな楕円曲線の普遍拡大上の次数が d 未満の多項式の空間は、自然に d-捩れ点上の函数の d^2-次元空間に(制限によって)同型となるという定理である” か、この d-捩れ点→ d^2-次元空間と、IUTの j→j^2 と なんか関連がある気がするな わからんけどw(^^ https://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%83%E3%82%B8%E3%83%BB%E3%82%A2%E3%83%A9%E3%82%B1%E3%83%AD%E3%83%95%E7%90%86%E8%AB%96 ホッジ・アラケロフ理論 楕円曲線のホッジ・アラケロフ理論は、アラケロフ理論のフレームワークで考える p-進ホッジ理論の楕円曲線についての類似理論である。ホッジ・アラケロフ理論は、 Mochizuki (1999) で導入された 望月の主要な結果であるホッジ・アラケロフ理論の比較定理は、(大まかには)標数 0 の滑らかな楕円曲線の普遍拡大上の次数が d 未満の多項式の空間は、自然に d-捩れ点上の函数の d^2-次元空間に(制限によって)同型となるという定理である
778 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 08:52:02 ID:WD4sBPKv.net] >>724-725 はいはい ご苦労さん おれは、こういうのも好きなんだ(^^; ガロアスレ時代から、だいたいこんな感じですよ(^^
779 名前:132人目の素数さん [2020/05/24(日) 08:52:17 ID:RMbAsztl.net] スレ主めちゃくちゃ頭わるいのが丸見えでおもしろい
780 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 08:56:33 ID:WD4sBPKv.net] >>719 >もしフェルマーが例の最終定理ではなく、ABC予想を本の余白に書き込んでいれば数学史はどう変わっただろう? それは、面白いね きっと、クンマー先生が「解くべき 問題が消えた」と嘆き デデキント先生のイデアルが ずっと遅れたかもねw(^^;
781 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 08:56:59 ID:WD4sBPKv.net] >>728 ありがとう(^^;
782 名前:132人目の素数さん mailto:sage [2020/05/24(日) 09:10:42 ID:c6gsDzcC.net] >>726 "Why abc is still a conjecture" PETER SCHOLZE AND JAKOB STIX p4 の式(1.5)見てないのか? www.kurims.kyoto-u.ac.jp/~motizuki/SS2018-08.pdf ショルツは、(1.5)からスカラーj^2を抜いて(1.6)とした 理由はj^2を入れるとモノドロミー発生により矛盾するため その結果、系3.12の代わりに無意味な不等式が得られると指摘した 望月はこの指摘に対して何も有意義な答えを返せていない ショルツVS望月の議論の中身くらい理解してから書け
783 名前:132人目の素数さん [2020/05/24(日) 09:17:43 ID:2h/OYPBV.net] |\モッチ-サマ🍀ガンバッテ~!/ |*“)۶⚐゛ (応援カキコ)
784 名前:132人目の素数さん [2020/05/24(日) 09:20:01 ID:2h/OYPBV.net] |=3 ピュッ!
785 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 09:27:05 ID:WD4sBPKv.net] >>712 >「そんな読まなくても、IUT不成立はSS文書で”自明”ww」 >自明と言っている部分を示してくれませんか? 失礼、SS文書ではないかも知れない。なので woitブログの”Peter Scholze says”に訂正します また、自明 ではなく”The reason it cannot work is a theorem of Mochizuki himself. ”に なお、Scholze氏は、単にCor3.12ではなく、IUTが根本的にダメだと また、最後に my manuscript with Stix に言及して終わっています(後は e-mail.でと) https://www.math.columbia.edu/~woit/wordpress/?p=11709&cpage=1#comments Not Even Wrong Latest on abc April 3, 2020 by woit (抜粋) Peter Scholze says: April 6, 2020 The reason it cannot work is a theorem of Mochizuki himself. This states that a hyperbolic curve X over a p-adic field K (maybe with some assumptions, all of which are always satisfied in all cases relevant to IUT) is determined up to isomorphism by its fundamental group π1(X), and in fact automorphisms of X are bijective with outer automorphisms of π1(X). Thus, the data of X is completely equivalent to the data of π1(X) as a profinite group up to conjugation. In IUT, Mochizuki always considers the latter type of data, but of course up to equivalence of groupoids this makes no difference. (The passage back and forth is even constructive, by another result of Mochizuki.) Mochizuki claims that by replacing X by π1(X), things can happen that cannot otherwise happen. Examples are given concerning the action of π1(X) on certain associated monoids. We discussed this at very great length in Kyoto, but no
786 名前:ne of these examples carried any actual content. Peter Scholze says: May 1, 2020 You claim that you disproved some claim that I made in my manuscript with Stix, or some claim that I made in the current thread. In the manuscript with Stix, this claim is also made, along with a different claim. I’m happy to continue any further discussions by e-mail. [] [ここ壊れてます]
787 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 09:31:24 ID:WD4sBPKv.net] >>731 無意味な反論だな 1.SSのSS2018-08の後に、望月氏はいくつもの反論を書いている (新一の「心の一票」 - 楽天ブログ https://plaza.rakuten.co.jp/shinichi0329/ も含めてねw(和文だがw)) 2.”望月はこの指摘に対して何も有意義な答えを返せていない”は、ド素人 玉川は、そうは言っていない(医者会見で) 3.”ショルツVS望月の議論の中身くらい理解してから書け”を、そっくりお返しするわ (新一の「心の一票」 - 楽天ブログ https://plaza.rakuten.co.jp/shinichi0329/ も含めてねw(和文だがw))w 以上
788 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 09:32:39 ID:WD4sBPKv.net] >>735 タイポ訂正 玉川は、そうは言っていない(医者会見で) ↓ 玉川は、そうは言っていない(記者会見で) 我ながら、面白いミスタッチだな(^^;
789 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 09:43:27 ID:WD4sBPKv.net] >>713 >theHigherGeometer氏によれば3.11まで理解したが3.12の証明が理解できない知り合いがいたとか theHigherGeometer氏=David Roberts だよね 下記 イニシャルPS=PSは数論幾何学における研究でフィールズ賞を受賞したピータ・ショルツだと判明した ですね taro-nishino.blogspot.com/2019/03/blog-post070.html TARO-NISHINOの日記 識別の危機 3月 24, 2019 識別の危機 2019年3月1日 ディヴィド・マイケル・ロバース イニシャルPSで通っている数学者が"論文が出現
790 名前:した直後から私は系3.12の証明の中の図3.8以降のロジックを全く分からないと注意している"3と書いた。 PSは数論幾何学における研究でフィールズ賞を受賞したピータ・ショルツだと判明した。 (引用終り) >ショルツではなくとも他の身内以外の遠アーベル幾何の専門家に理解してもらえばいいから、御託を並べる前に3.12の証明をより詳しく書けばいい 終わった 過去完了 記者会見が全て 査読完了ですよ つまり、あなたのいう”他の身内以外の遠アーベル幾何の専門家に理解”が終わった!! ってことです [] [ここ壊れてます]
791 名前:132人目の素数さん [2020/05/24(日) 10:00:43 ID:fmBnT+rP.net] >>737 Stixは沈黙してるけどどうしてるのかね。 Pop Stixあたりが読み直して何も言わないんなら正しいだろう。
792 名前:132人目の素数さん [2020/05/24(日) 10:11:31 ID:TzeS66aq.net] 結局Dupuyはクレームをつけても 補題3.12の証明を導いていない。 PRIMS編集=RIMSの教授が、 RIMSの大人の都合により崩壊していた 査読を終わりにしてIUT論文を受理した。 予想どおりabc予想は京大RIMS 及び取り巻き限定abc「定理」になった
793 名前:132人目の素数さん mailto:sage [2020/05/24(日) 10:17:40 ID:c6gsDzcC.net] >>735 望月ブログにはモノドロミーに関する反論は一切ないよ 読むだけ無駄 モノドロミーに関する反論は望月レポートのp28-29(LbEx1)にあるが 「2点を1点としたΓloopで生じるモノドロミーの矛盾は、 2点を区別するΓsegとして扱えば回避できる。」 といってるようだ しかし、そんな口先だけの説明で誤魔化せる問題ではない
794 名前:132人目の素数さん mailto:sage [2020/05/24(日) 11:00:40 ID:c6gsDzcC.net] >>740 望月レポートではcopyを区別するlabelの取り扱いについて延々と述べているが 実に恣意的であって、一貫性が感じられず、矛盾する懸念が払しょくできない IUT以前に、望月のlabel management theory(LMT)を形式化する必要がある (おそらく弟子たちですらlabel managementについて説明できないだろう)
795 名前:132人目の素数さん mailto:sage [2020/05/24(日) 11:16:09 ID:XzLjKtGO.net] >>737 査読が云々とかそういう御託を並べる前に3.12の証明を詳しく書けばいい 査読が通ったものは証明を詳しく書くことができない、なんてことは全くない
796 名前:132人目の素数さん mailto:sage [2020/05/24(日) 11:31:52 ID:U3qp9djs.net] >>738 それなら公開したレポートの撤回をScholzeに求めるはず。 してないってことは意見は変わってないんだろう。
797 名前:132人目の素数さん [2020/05/24(日) 11:34:44 ID:gYz8PN0j.net] >査読が通ったものは証明を詳しく書く ことができない、なんてことは全くない 誰ができたのだろうか? 柏原先生もできたのだろうか?
798 名前:132人目の素数さん [2020/05/24(日) 11:44:56.25 ID:PZHyt/0p.net] 応援スレってのがそもそも学問の精神に反してるよね 誰だよこんなアホスレ立てたの
799 名前:132人目の素数さん [2020/05/24(日) 11:48:59.49 ID:2h/OYPBV.net] (ノд`)。
800 名前:粋蕎 mailto:sage [2020/05/24(日) 12:06:02.35 ID:bqzcTIrk.net] > べき 巾、冪、羃。 此の位は漢字で書く可き。
801 名前:132人目の素数さん mailto:sage [2020/05/24(日) 12:10:40.65 ID:7dB8qUo6.net] >>745 分離閉包さんだぞ
802 名前:132人目の素数さん [2020/05/24(日) 12:17:44.13 ID:hqI5vMVk.net] >>745 確かに。 やってることが学問じゃなくて、IUT一派と同じ
803 名前:132人目の素数さん [2020/05/24(日) 12:28:17.91 ID:eSmHIbwZ.net] 3.12を具体的にポイントついた上で理解できないという人がどれくらいいるかだな。 遠アーベル界隈だと批判でてるの?Stix以外で。
804 名前:132人目の素数さん [2020/05/24(日) 12:28:43.91 ID:2h/OYPBV.net] | |(д\)゜。
805 名前:132人目の素数さん mailto:sage [2020/05/24(日) 12:52:57.78 ID:c6gsDzcC.net] >>748 分離閉包さん =正規部分群さん =箱入り無数目さん =公理図式さん =読まずにコピペさん そしてその正体は・・・ガンバレ・ニッポンさんw
806 名前:132人目の素数さん mailto:sage [2020/05/24(日) 12:54:59.50 ID:7dB8qUo6.net] >>752 ミスター維新さんは黙ってて
807 名前:132人目の素数さん mailto:sage [2020/05/24(日) 12:55:02.54 ID:9J+vU7FH.net] >>745 IUTはフィールズ賞受賞者レベルじゃないとわかりっこない つまり、教授のファンが一定数いるということだ ろくにインタビューにも答えないおっちゃんなのにすごいカリスマ性だね
808 名前:現代数学の系譜 雑談 [2020/05/24(日) 13:10:55.16 ID:WD4sBPKv.net] >>754 >IUTはフィールズ賞受賞者レベルじゃないとわかりっこない >つまり、教授のファンが一定数いるということだ >ろくにインタビューにも答えないおっちゃんなのにすごいカリスマ性だね そりゃ、ノーベル賞を考えれば、双対でしょうよ 日本人ノーベル賞の 真の意味を学問的に理解できる人は、専門家でも一握りでしょう? 加えて、加藤本の影響も大 マスコミのヨイショの影響も大
809 名前:132人目の素数さん [2020/05/24(日) 13:19:46.27 ID:gYz8PN0j.net] >玉川教授は「全く新しい理論で、 さらなるインパクトを生み出す可能性がある。」 >>1 IUTは遠アーベル幾何学とも違い 全く新しい理論。 理解者.加藤文元本でもP 51 IUT語 「IUT理論は、一般的な数学の パラダイムの枠組みでは語れない、 全く新しいフレームワークと言語・ 概念体系を基盤として構築されて いる」 信じても救われない IUT教会としか思えない
810 名前:現代数学の系譜 雑談 [2020/05/24(日) 13:21:10.70 ID:WD4sBPKv.net] >>750 どうも > 3.12を具体的にポイントついた上で理解できないという人がどれくらいいるかだな。 >遠アーベル界隈だと批判でてるの?Stix以外で。 1.まず、多くの海外数論研究者達は、Cor3.12まで達していない(下記の Brian Conrad レベルで平均以上、偏差値70くらい(^^; ) 2.ショルツでさえ、偏差値80くらいかも。Stix入れて偏差値90だろうが、まだ足りない 3.結局、ショルツ先生もWoitブログにおいて 自白していたのは、「実はIUTは難しくて、定義が正確には読めていない」って話だった 4.結論として、(定義が正確には読めていない)「SSレポートは ダメ」ってことです。さて 数学界での検証はいまから、改めて始まりま〜す!(^^ (>>453 ) (参考) https://github.com/annonymath/brianconrad_note_oxford/blob/master/Notes_on_the_Oxford_IUT_workshop_by_Brian_Conrad.md on 24 Feb 2016 annonymath Brian Conrad によるオックスフォードでの IUT ワークショップのノート(試訳) 背景 基本的な考え方の理解を遅らせたのは何か? 宇宙際 Teichmuler 理論 (IUTT = IUT) とは何か? ワークショップで何があったか? 聴衆のフラストレーション 終わりに
811 名前:132人目の素数さん mailto:sage [2020/05/24(日) 13:23:12.27 ID:7dB8qUo6.net] 「全く新しいフレームワークと言語・概念体系を基盤として構築」されたものが、 既存の数学に適用できる保証はどこにもない
812 名前:現代数学の系譜 雑談 [2020/05/24(日) 13:25:06.97 ID:WD4sBPKv.net] >>745 ID:PZHyt/0pさんか、面白いことをいうね ”応援スレってのがそもそも学問の精神に反してるよね 誰だよこんなアホスレ立てたの” ご高説はしかと承った で、どうぞwww 本スレで、あなたのご高説を実践ください!! 今日中に、なにか書いて見て、IUTについて、学問の精神? どうぞ IDが変わらない内にね それで、あたのいう ”学問の精神”がどんなものか分かるだろう みんなで、それを見て、笑いましょう〜!w(^^;
813 名前:現代数学の系譜 雑談 [2020/05/24(日) 13:28:34.99 ID:WD4sBPKv.net] >>758 >「全く新しいフレームワークと言語・概念体系を基盤として構築」されたものが、 >既存の数学に適用できる保証はどこにもない いいんじゃね? ABCだとか Szpiroだとか Vojutaだとか IUTが正しければ 全部終わる 予想じゃく、定理になる それで十分じゃないですか?
814 名前:現代数学の系譜 雑談 [2020/05/24(日) 13:29:41.91 ID:WD4sBPKv.net] >>760 タイポ訂正 Vojutaだとか ↓ Vojtaだとか 分かると思うが(^^;
815 名前:132人目の素数さん mailto:sage [2020/05/24(日) 13:31:16 ID:7dB8qUo6.net] >>759 ここはあなたの隔離スレなんだから、sage進行でひっそりとやっておけばいいのに なぜスレをageるんだい?
816 名前:132人目の素数さん [2020/05/24(日) 13:34:25 ID:gYz8PN0j.net] ま、全く新しい理論IUTにより 京大RIMSと取り巻き限定abc「定理」 になった。 RIMSが税金を使わず広告の裏にでもかいているならいいんじゃね
817 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 13:36:23 ID:WD4sBPKv.net] >>744 (引用開始) >査読が通ったものは証明を詳しく書く ことができない、なんてことは全くない 誰ができたのだろうか? 柏原先生もできたのだろうか? (引用終り) 同感 まあ、これからでしょう(^^ >>743 >それなら公開したレポートの撤回をScholzeに求めるはず。 >してないってことは意見は変わってないんだろう。 双対で Stix「おれは納得してないぞ〜」と叫ぶのもありだろうけど いま、再検証しているんじゃないかな? 静かにね だって、Stixは遠アーベルのプロで、ショルツはアマだもの >>742 >査読が云々とかそういう御託を並べる前に3.12の証明を詳しく書けばいい >査読が通ったものは証明を詳しく書くことができない、なんてことは全くない 「査読が通ったものは証明を詳しく書く」は、解説だよ 論文とは切り離せ 査読は査読だよ
818 名前:現代数学の系譜 雑談 [2020/05/24(日) 13:43:09.98 ID:WD4sBPKv.net] >>741 >(おそらく弟子たちですらlabel managementについて説明できないだろう) ほいよ 下記嫁め といっても、おサルのレベルじゃ読めないだろうが(^^; (参考) https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/244783/1/B76-02.pdf 宇宙際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 名前:132人目の素数さん mailto:sage [2020/05/24(日) 13:48:54.12 ID:XzLjKtGO.net] >>764 何か根本的にずれてるな 初歩的な例で言えば、全単射の証明で「単射性を示せば十分である」と書いて証明を終えるとする そこに「ギャップがある」と言われれば、本人にとっては自明でも理解していれば全射性の証明を付け加えることが(やるかやらないかは別として)できる 相手が学部生で、全射性を示すことは簡単という状況でこの例は、証明を詳しく書かずに自分で考えさせるかもしれない だが、今回の場合、つまりIUTを学界に証明したと認めてほしいのであれば、証明に付け加えるべき
820 名前:現代数学の系譜 雑談 [2020/05/24(日) 13:50:17.78 ID: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.” だってよww スレ違い(食い違い?)だよw(^^; (参考) https://twitter.com/math_jin 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 名前:現代数学の系譜 雑談 [2020/05/24(日) 13:53:15.72 ID:WD4sBPKv.net] >>739 >結局Dupuyはクレームをつけても >補題3.12の証明を導いていない。 1.Dupuyの役割は、SSレポートを否定したこと 2.IUTを使ったDR論文を指導すること それで十分でしょ 「補題3.12の証明を導いていない」? IUT論文IIIに証明があって、査読は終わった!!!w(^^;
822 名前:132人目の素数さん [2020/05/24(日) 13:53:53.95 ID:PZHyt/0p.net] >>759 では私の高説を実践します こ の ス レ を 削 除 し て は ? あなたに上記を推奨することが私の高説の実践となります 以上
823 名前:現代数学の系譜 雑談 [2020/05/24(日) 13:55:21.57 ID:WD4sBPKv.net] >>766 >だが、今回の場合、つまりIUTを学界に証明したと認めてほしいのであれば、証明に付け加えるべき それは、査読者が考えるべきこと 査読者よりレベルの低い人に、合わせる必要なしだな そこなことしたら、追加記述の山になるぜ(^^;
824 名前:現代数学の系譜 雑談 [2020/05/24(日) 13:58:39.14 ID:WD4sBPKv.net] >>769 (引用開始) では私の高説を実践します こ の ス レ を 削 除 し て は ? あなたに上記を推奨することが私の高説の実践となります 以上 (引用終り) 1.敗北宣言に等しいな、学問さんよww(^^ 自分、学問スレがあっても、何にも書けないってかい?w 2.”ス レ を 削 除 し て は ?”か、どうぞ 数学板の運営に申し出ては?
825 名前:現代数学の系譜 雑談 [2020/05/24(日) 13:59:45.26 ID:WD4sBPKv.net] >>770 タイポ訂正 そこなことしたら、追加記述の山になるぜ(^^; ↓ そんなことしたら、追加記述の山になるぜ(^^; だな 分かると思うが(^^;
826 名前:132人目の素数さん [2020/05/24(日) 14:01:28.23 ID:eSmHIbwZ.net] 数学板なんて過疎スレなんだからアゲサゲで揉めるなよ。むしろいまはIUTくらいしか話題ないだろ。
827 名前:132人目の素数さん mailto:sage [2020/05/24(日) 14:02:22.99 ID:XzLjKtGO.net] >>770 査読者しか理解しなくていいというのであれば、 身内査読者以外の数学者はABC予想を予想のままとして扱って終わる RIMSの面々がそう思ってる可能性はあるけど
828 名前:132人目の素数さん [2020/05/24(日) 14:02:59.31 ID:eSmHIbwZ.net] 主はmathjinに対抗して情報掲示役をどんどんやればいいよ。
829 名前:132人目の素数さん mailto:sage [2020/05/24(日) 14:03:10.85 ID:XzLjKtGO.net] そう思ってる→それでもいいと思ってる
830 名前:132人目の素数さん [2020/05/24(日) 14:04:05.31 ID:mnbV8PSW.net] スレ主はガロア理論もう飽きちゃったん? 検索したらもう立ってないけど
831 名前:132人目の素数さん [2020/05/24(日) 14:05:42.72 ID:eSmHIbwZ.net] ここには支持側の内部者でもなく、批判側の内部側のコミュニティにも入れない程度の人しか来ないんだからまったり行こうぜ。
832 名前:132人目の素数さん [2020/05/24(日) 14:14:58.19 ID:2h/OYPBV.net] 。*゜ ゜。ガロアスレもう... ○゜ ゜...たってないけど ゜。 |…゜○。*゜。 |ノд)゜。 (↑犯人…?)
833 名前:132人目の素数さん [2020/05/24(日) 14:30:48.61 ID:2h/OYPBV.net] Mr.維新さんが面白くって… …絵文字でバカカキコ… しまくっちゃってたら… …83か84スレめが2度Banされちゃって… 新スレが立てられなくなっちゃって… |ノд)。゜ (↑※コソコソカキコ…)
834 名前:132人目の素数さん mailto:sage [2020/05/24(日) 14:31:48.41 ID:c6gsDzcC.net] >>765 >ほいよ 君、その論文の日付、確認した? 2019年8月って書いてあるね S&Sと望月の議論って2018年だよね つまり議論の後、書いてるね S&Sに指摘されて初めて、ラベルの管理が重要だと気付いたんだろうね で、なんで日本語なの?Scholzeに読まれてつつかれないため? 腰が引けてるねぇ ABC予想の解決を認めてほしいんだろ? だったら英語で書かなきゃ 日本国内で吠えたって意味ないだろ ということで、「ほいよ」と5chに投げずに君が翻訳して Scholzeに「ほいよ」と投げて見な ほれ「ほいよ〜」って なんじゃ、この落書きは?といわれても知らねぇよ
835 名前:132人目の素数さん [2020/05/24(日) 14:39:13.79 ID:2h/OYPBV.net] (主サマ、ゴメンナサィ… もぅ、主サマの立てるスレで 維新さんに絡ミマセン…) |д`)。
836 名前:132人目の素数さん mailto:sage [2020/05/24(日) 14:51:35.39 ID: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) ほぼ日本人しか見つからないらしいですが 某遺伝子検査会社で登録された結果を見ると ・韓国人 ・メキシコ人 ・オーストラリア人 が1名ずついますね 実は韓国でも全羅道あたりでは2〜3%はみつかるようです 過去(古墳時代)の日本の半島進出と関係があるかもしれません (当該地域で前方後円墳が見つかっているとか) 他の2件についてはおそらく父系祖先に日本人がいるんでしょう [] [ここ壊れてます]
838 名前:現代数学の系譜 雑談 [2020/05/24(日) 14:58:10.76 ID:WD4sBPKv.net] >>783 おサル違うよ >既にスレッド10で、正規部分群の定義を間違える初歩的ミスが露見した時点で >ガロア理論から無関係な方向にシフトしていきました >(もともと、代数がよくわかってないから無理してたんでしょう) もともと、個人趣味のスレだったのよ、ガロアスレって(いまのここと同じ) 古典ガロア理論って、10スレもやったら、ネタが尽きる だから、オムニバス スレに成っていた ”ガロア”を付けると、人寄せになるんだな(キーワードに反応する人多い)(^^ おサルが、数セミの時枝記事のときに、哀れな素人氏に誘導されて、ガロアスレに来たのです 隔離スレで、放し飼いにしていたところ、新スレが拒否されて、飼っていたおサルが暴れ出した これが真相ですw
839 名前:現代数学の系譜 雑談 [2020/05/24(日) 15:05:16.77 ID:WD4sBPKv.net] >>781 >君、その論文の日付、確認した? >2019年8月って書いてあるね >S&Sと望月の議論って2018年だよね ホイよ おっさん、嫁め(^^ https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/244783/1/B76-02.pdf 宇宙際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 名前:132人目の素数さん mailto:sage [2020/05/24(日) 15:10:27.20 ID:c6gsDzcC.net] >>784 歴史を書き換えちゃいけませんよ 正規部分群の定義を間違えたのは事実でしょう gHg^(-1)=H を gHg^(-1)がHと同型 と誤解したっていう話 「ガロア」の名前だけを有難がる素人は自分ですよね? ことあるごとにグロタンディクとか言ってたし 有名人へのあこがれが凄まじいですよね 「箱入り無数目」を見た瞬間、 「これは変数の独立性に反するから間違ってる!!!」 と脊髄反射して以来、一貫して吠えてましたよね この人、大学数学勉強したこと一度もないんだろうな、と思いましたが ∈と⊂を間違える初歩的ミスを見た瞬間、確信に変わりました 同じ間違いを粋蕎って人もやらかしてましたが、 コテハンつける人に賢い人はまずいませんねw
842 名前:現代数学の系譜 雑談 [2020/05/24(日) 15:11:40.53 ID:WD4sBPKv.net] >>773 >数学板なんて過疎スレなんだからアゲサゲで揉めるなよ。むしろいまはIUTくらいしか話題ないだろ。 全く同意です(^^ >>774 >査読者しか理解しなくていいというのであれば、 >身内査読者以外の数学者はABC予想を予想のままとして扱って終わる 1.まずは、論文の掲載の可否判断は、査読者だけで良いのです 2.RIMSは、今年4回国際会議を予定していた。新型コロナで中止だけれど、今後計画を練り直しでしょうね >>778 >ここには支持側の内部者でもなく、批判側の内部側のコミュニティにも入れない程度の人しか来ないんだからまったり行こうぜ。 同意です まあ、それぞれのコミュニティの内部では、動き始まっていると思う さらに言えば、自分が海外の数論研究者なら「情報集め」をやるけどね 日本の知り合い含めて、自分の知り合い達に 「どうなってんだ〜?」ってね(^^; それで IUTが確からしいか あるいは ダメらしいか? まず、自分なりの判断を下すだろうね (判断を下せるように、情報収集に努めると言った方がいいかもな(^^ )
843 名前:132人目の素数さん mailto:sage [2020/05/24(日) 15:11:53.11 ID:0xi7hflJ.net] 自称おっちゃんです。 「おっちゃん」を「自称おっちゃん」に変えることにも、紛らわしさがなくなるなどの利点はあるね。 >>784 時枝記事以降は殆どガロア理論とは無関係の話が続いていた。 伝説も生まれたし、面白かったけど。
844 名前:現代数学の系譜 雑談 [2020/05/24(日) 15:13:16.36 ID:WD4sBPKv.net] >>786 おサル必死だなw(^^ 悪いが おサルのレベルじゃ ”屁理屈合戦”では、おれには勝てないよww(^^;
845 名前:現代数学の系譜 雑談 [2020/05/24(日) 15:13:48.73 ID:WD4sBPKv.net] >>788 おっちゃん、どうも レス ありがとう(^^
846 名前:132人目の素数さん mailto:sage [2020/05/24(日) 15:21:16.01 ID:XzLjKtGO.net] >>787 駄目ですね アクセプトで認められてきたのは信頼の問題で十分条件ではない 今回は身内で査読を通した疑いがあるから無意味
847 名前:132人目の素数さん mailto:sage [2020/05/24(日) 15:22:42.50 ID:c6gsDzcC.net] >>785 >おまえには無理だよ >>786 >”屁理屈合戦”では、おれには勝てないよ 勝手に間違って自爆するあなたの芸には誰も勝てませんよ ・・・勝ちたくもありませんがw
848 名前:132人目の素数さん mailto:sage [2020/05/24(日) 15:31:15.75 ID:c6gsDzcC.net] >>785 2018年のS&Sとの議論後、慌てて加筆した可能性がありますね 2015年版があるなら比較するのもいいですね >>742 ABC予想論文ですが、査読者はラベルの管理に関するところは 全くといっていいほどチェックしてませんね 何をどうチェックしたのか知りませんが無意味ですね
849 名前:132人目の素数さん mailto:sage [2020/05/24(日) 15:37:50 ID:c6gsDzcC.net] >>788 昨日 別スレで面白いこというヤツがいましたよ そいつ、整数の全体Zが乗法群だ、っていうんですよ -1の逆元は-1だ、としか示してなくて、 ある人が 2の逆元はどうした?といったら そんなもの考える必要はない!とわめき散
850 名前:らして わけのわからない理屈にもならないことを 滔々とまくし立ててました 久しぶりに「本物の●違いを見た」と思いましたね [] [ここ壊れてます]
851 名前:132人目の素数さん [2020/05/24(日) 15:42:16 ID:eSmHIbwZ.net] ミスター維新相変わらずだな。
852 名前:132人目の素数さん mailto:sage [2020/05/24(日) 15:42:55 ID:7dB8qUo6.net] 素人の妄想スレをいちいちageられると邪魔なんだわ
853 名前:132人目の素数さん mailto:sage [2020/05/24(日) 15:44:21.89 ID:SCiuvyRH.net] >>794 だから「たとえ話」は「ケアレスミス」だったって認めてるじゃん…… ヨビノリの説明が合ってるということの説明が「わけがわからない」のは君が勉強してないだけ
854 名前:132人目の素数さん [2020/05/24(日) 15:48:48.14 ID:2h/OYPBV.net] (”;)(イタ…?)
855 名前:132人目の素数さん mailto:sage [2020/05/24(日) 15:55:48.39 ID:c6gsDzcC.net] >>797 なにいってるのか全然分からないな
856 名前:132人目の素数さん mailto:sage [2020/05/24(日) 16:01:27.79 ID:SCiuvyRH.net] >>799 ああ、そういえば同じスレで俺と同じような勘違いに引っかかってしまった人がいたな その人の話か
857 名前:132人目の素数さん mailto:sage [2020/05/24(日) 16:01:29.98 ID:c6gsDzcC.net] >>796 だいたい、アレは邪魔なことしかしませんね ・数学的に無価値な駄スレを立てる ・自分でも理解できない文章をコピペする (しかも数式は化けるのでどうでもいい文章ばかり) ・何かというと「オレが勝った!」と吠える (今までの人生負け続けだったんでしょうが) しかし、駄スレも立てずコピペもせず勝利宣言もしない というのは、人生の全否定なんでしょうな 「嘘でもいいから他人に勝ちたい!」 それしかないヤツですからねえ
858 名前:132人目の素数さん mailto:sage [2020/05/24(日) 16:06:17.69 ID:c6gsDzcC.net] >>800 昨日のID:QshsK5fn? >>794 で言ったのは、ID:a8RN5dFTとかいうヤツ あれはひどい 君もそう思うだろ?
859 名前:132人目の素数さん mailto:sage [2020/05/24(日) 16:23:06 ID: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 名前:粋蕎 mailto:sage [2020/05/24(日) 16:46:29.23 ID:bqzcTIrk.net] 5ch反IUT論装戦線お猿の一石めーくん維新ヂヂッチャマ ◆y7fKJ8VsjM の無政府主義は個である。 5ch反IUT論装戦線お猿の一石めーヂヂッチャマ ◆y7fKJ8VsjM の無政府主義は大業を成すに連帯が必要。 無政府主義は中共の格好の餌である上に個の連帯は幻想であり欠陥があるので余計に好都合な餌である。 故に儂に言わせりゃ此奴も売国奴や国賊の餌である。 所で瀬田氏の応援行為は贔屓の引き倒しと褒め殺しから成るRIMS裸の王様化行為。 仕方ない。望月新一氏自信が裸で出歩いてる様なものである。勲章爺が如し。
861 名前:132人目の素数さん mailto:sage [2020/05/24(日) 16:49:19.81 ID:c6gsDzcC.net] >>803 1行目はよかった 2行目はおや?と思った 3〜4行目はまあよかった 5行目は意味不明と思った 6〜8行目はこりゃアカンと思った (Z/pZ)^{x}って乗法群だろ p=3 ×│1 2 ─┼─── 1│1 2 2│2 1 p=5 ×│1 2 3 4 ─┼─────── 1│1 2 3 4 2│2 4 1 3 3│3 1 4 2 4│4 3 2 1 p=7 ×│1 2 3 4 5 6
862 名前: ─┼─────────── 1│1 2 3 4 5 6 2│2 4 6 1 3 5 3│3 6 2 5 1 4 4│4 1 5 2 6 3 5│5 3 1 6 4 2 6│6 5 4 3 2 1 ・・・ [] [ここ壊れてます]
863 名前:132人目の素数さん mailto:sage [2020/05/24(日) 16:56:11.87 ID:c6gsDzcC.net] >>804 君の所得がいかほどか知らんけど、もし高額所得者でないなら いろいろ調べて考えたほうがいいと思うんだ・・・ https://ja.wikipedia.org/wiki/%E7%B5%8C%E6%B8%88%E7%9A%84%E4%B8%8D%E5%B9%B3%E7%AD%89
864 名前:132人目の素数さん [2020/05/24(日) 17:05:57.62 ID:DgYLcsNW.net] 所得の話->革命の話->IUT批判->荒らし->維新の話->所得の話.... 維新群の構造
865 名前:132人目の素数さん mailto:sage [2020/05/24(日) 17:10:23.39 ID:c6gsDzcC.net] >>807 経済システムを有難がるのは金持ちだけだよ 経済格差が進むのは必然だと証明した数学者は ノーベル経済学賞を受賞できるんだろうか?w
866 名前:132人目の素数さん mailto:sage [2020/05/24(日) 17:12:58.25 ID:0xi7hflJ.net] >>805 あっ、標数2のときのZの乗法群 Z^{×} の -1 の逆元 -1 は (-1)^{-1}=-1 と表されるか。 標数3の2の逆元2に等しい「2^{-1}」という式が整数の形で一意に表さるか? とかいうような感じで、 標数Zの元について見た目の式が整数の形で一意に表されるかどうかを考えて区別しようとしていた。 >>803 は間違いだった。
867 名前:現代数学の系譜 雑談 [2020/05/24(日) 17:13:33.66 ID:WD4sBPKv.net] >>804 粋蕎 さん、レスありがとう 1.RIMSを まず 普通の論文と見れば良いと思うのだが? つまり、「ちゃんと査読された」ということを認める 2.21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない 3.数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ そういう普通の視点で考えれば宜しいのではないですかね? 応援だが、この普通のことしか言ってないけどねw(^^ アンチが ・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか ・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか 笑える幼稚な議論 それは、本スレでやれよw(^^;
868 名前:132人目の素数さん mailto:sage [2020/05/24(日) 17:15:55.51 ID:c6gsDzcC.net] >>809 標数2ならそもそも、-1=1だろw 1+1=0なんだからさ
869 名前:現代数学の系譜 雑談 [2020/05/24(日) 17:18:17.01 ID:WD4sBPKv.net] >>792 おサルがだめなのは 維新さん 笑えない あさってレスとか 数学的に無内容 他人をディするしか芸がない あんたの数学レベルは、中学生程度 まったく受けないんだよね、関西では ”シャレにならんな!” というんだよ(吉本でも使えないやつw(^^; )
870 名前:132人目の素数さん mailto:sage [2020/05/24(日) 17:21:45.01 ID:0xi7hflJ.net] >>809 の訂正 標数3の2の逆元2 → 標数3の「Zの元」2の逆元2 標数Zの元について → 「各」標数「の」Zの元について
871 名前:132人目の素数さん mailto:sage [2020/05/24(日) 17:23:22.71 ID:c6gsDzcC.net] >>810 精神論者のガンバレ・ニッポン曰く >「ちゃんと査読された」ということを認める そもそもそれを認める根拠がない むしろ否定せざるを得ない状況証拠ばっかり出てくる 悪いが私は「日本人だから無条件に日本人を支持する」精神論者ではない >専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない ショルツ氏はむしろ良く理解したといっていい ショルツ氏の指摘に対して、完璧に論理的な反論ができない時点でダメダメ >数学の検証に終りがない。査読は一次の通過でしかない。 だから査読はユルユルでいい、というならそれは甘え 君のいう応援は、ミニスカはいてポンポンふるだけみたいなもん 君が美少女なら
872 名前:ニもかく、還暦直前だか直後だかの年寄なんだろ? そういうみっともない真似はやめてくれよ オゾマシイからw [] [ここ壊れてます]
873 名前:132人目の素数さん [2020/05/24(日) 17:23:31.38 ID:2h/OYPBV.net] >>807 嵐->維新 の間に -> SU-METAL∨坂道系アイドル&下ネタ -> って挿入してみてくださぃ…
874 名前:132人目の素数さん mailto:sage [2020/05/24(日) 17:29:05.93 ID:c6gsDzcC.net] >>812 >数学的に無内容 君のカキコって、コピペ以外は、数学的にウソばっかりなんだが・・・ >他人をディするしか芸がない 君のカキコって、コピペで他人にマウントする以外の芸がないんだが・・・ (しかも肝心のマウントにも一度も成功してないんだが) もしかして君、自分の書き込みで他人から尊敬を浴びてると思ってるの? そんなこと全然ないから 「なんか訳も分からず検索した結果をコピペするだけの痛々しいヤツだなあ きっと会社でも無能でうだつが上がらないんだろうなあ」 と思われてることに気づけ 嫌だろうがそれが現実
875 名前:132人目の素数さん mailto:sage [2020/05/24(日) 17:31:21.89 ID:c6gsDzcC.net] 脱線 >>815 >嵐->維新 維新なんて名前のグループ、ジャニーズにいたっけ?と思ってしまった・・・
876 名前:132人目の素数さん [2020/05/24(日) 17:33:05.08 ID:2h/OYPBV.net] (*´艸)
877 名前:粋蕎 mailto:sage [2020/05/24(日) 17:33:44.88 ID:bqzcTIrk.net] >>810 …終わりが無い?
878 名前:132人目の素数さん [2020/05/24(日) 17:34:08.18 ID:2h/OYPBV.net] |=3
879 名前:132人目の素数さん mailto:sage [2020/05/24(日) 17:35:38.52 ID:c6gsDzcC.net] 「ガンバレ・ニッポン」君の心のテーマ曲 https://www.youtube.com/watch?v=1h-Ue3XL_ww
880 名前:132人目の素数さん mailto:sage [2020/05/24(日) 17:38:24.08 ID:0xi7hflJ.net] それじゃ、自称おっちゃんもう寝る。
881 名前:132人目の素数さん mailto:sage [2020/05/24(日) 17:59:30.89 ID:7dB8qUo6.net] >>812 ブーメラン刺さってますよ あとその程度のレスでいちいちageるな
882 名前:132人目の素数さん [2020/05/24(日) 18:13:26 ID:PrQ2TieB.net] 望月さんって英語を聞くのがもう嫌になって日本に戻って来たらしい。 吾輩も英文を読むとじんましんが出る。
883 名前:132人目の素数さん mailto:sage [2020/05/24(日) 18:33:24 ID:3doACIaF.net] おっちゃんて相変わらずメチャクチャだなw Zはいつだって標数0だろw Z/nZのことを「標数nのZ」と呼ぶバカはいない
884 名前:132人目の素数さん [2020/05/24(日) 18:40:16 ID:RMbAsztl.net] IUT周りの人が岩波とかから本出たとしても気持ち悪くてもう買えない 一般の素人からもこう見られてるんだら、 世界の数学会からもはや毛嫌いされてる気がする 柏原正樹氏は全然関係ないと思うし別格だが
885 名前:132人目の素数さん [2020/05/24(日) 18:43:36 ID:DgYLcsNW.net] 数学のことなんて世界の人関心ないし、本出たらみんなとりあえず買う人多いと思うよ。しかも数学の中でもアンチは声が大きいだけで少数派じゃねーのか。ほとんどが中立だろ。
886 名前:132人目の素数さん mailto:sage [2020/05/24(日) 18:45:53 ID:nh0G4ecb.net] 予想と定理の中立なんてないけどな それは予想のまま派ということ
887 名前:132人目の素数さん [2020/05/24(日) 18:51:21.61 ID: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 名前:132人目の素数さん [2020/05/24(日) 18:51:32.15 ID:DgYLcsNW.net] IUTが成立する人と困る人もいるらしい。
890 名前:132人目の素数さん [2020/05/24(日) 18:51:48.71 ID:DgYLcsNW.net] 成立すると困る人。
891 名前:132人目の素数さん [2020/05/24(日) 18:54:06.88 ID:DgYLcsNW.net] WoitとCalegariは別に欧米を代表してないだろうがな。 英語になってれば欧米ならFesenkoならイギリス代表かよw
892 名前:132人目の素数さん [2020/05/24(日) 18:57:06.03 ID:r1+6ob+l.net] 京大RIMS及び取り巻き限定の abc「定理」があるのだろ
893 名前:132人目の素数さん [2020/05/24(日) 18:59:17.96 ID:r1+6ob+l.net] >>832 >>684 を嫁
894 名前:132人目の素数さん [2020/05/24(日) 19:08:35 ID:RMbAsztl.net] >>829 「a complete disaster」 「the ridiculous situation」 やっぱだめなんすね Quant Magazine とうのは独立した雑誌みたいだけど パートナーに、Scientific Americanなんか入っているから、 それなりに欧米の代表的意見を反映してるんだろうな
895 名前:132人目の素数さん [2020/05/24(日) 19:11:29 ID:RMbAsztl.net] >>835 てことは ニュートンには掲載されたけど 日経サイエンスからは排斥されてるということですかね
896 名前:132人目の素数さん mailto:sage [2020/05/24(日) 19:19:22.67 ID:dyxq6jFv.net] >>833 証明が正しければ望月定理という名前になるんじゃないの?
897 名前:現代数学の系譜 雑談 [2020/05/24(日) 19:19:55.15 ID:WD4sBPKv.net] >>823 私の投げた ブーメラン 貴方にも 当たったようですね 問う ID:7dB8qUo6 さん、貴方の書いたことで、数学的な内容のカキコを示してくださいww(^^; >あとその程度のレスでいちいちageるな 別に、専用ブラウザ使用なので、スレ毎に当初に設定されたままですよ それに、貴方の指図に私が従う理屈がないのですww
898 名前:132人目の素数さん mailto:sage [2020/05/24(日) 19:35:13.82 ID:7dB8qUo6.net] >>838 >別に、専用ブラウザ使用なので、スレ毎に当初に設定されたままですよ >>681 でsageているのに、どうしてそんなにくだらない嘘をつく?
899 名前:現代数学の系譜 雑談 [2020/05/24(日) 19:40:15.97 ID:WD4sBPKv.net] >>829 >欧米の数学コミュニティでも >IUT論文がRIMSの教授同僚内で >処理されてきたと認識されている。 ”同僚内”の定義を知らないが (下記)少なくとも、過去に下記の”OP says:”氏に、”the referee team for the IUT papers.”を依頼したのは事実らしいぜ なので、最初から仲間でつるんでってことではないな ”OP says:”氏は、断ったらしいし、その後海外でだれか引き受けたか不明だ ところで、インターネットの以前では、例えば米国の雑誌の論文掲載については、普通に米国内で査読したんじゃないですかね? それを日本に当てはめれば、日本国内で査読するのは普通でしょ(特に、もし日本語の論文であれば) あと、査読についての”うんぬん”は無意味ですよ ”査読OK”の結論は、覆らない それに前も言ったが、再審査しても同じで、問題解決になりませんよ 選択肢は、IUT論文掲載を事実として受入れて、「さて、自分はどうするか? IUTを潰しに行くか、受入れるか、IUTの影響しないところで仕事をするか の三択」ですよ https://www.math.columbia.edu/~woit/wo
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 名前:132人目の素数さん mailto:sage [2020/05/24(日) 19:42:01.18 ID:nh0G4ecb.net] >>840 OP says:氏はわざとなの?
902 名前:現代数学の系譜 雑談 [2020/05/24(日) 19:42:45.02 ID:WD4sBPKv.net] >>827 >数学のことなんて世界の人関心ないし、本出たらみんなとりあえず買う人多いと思うよ。しかも数学の中でもアンチは声が大きいだけで少数派じゃねーのか。ほとんどが中立だろ。 同意 それと、声が大きいのは ・5chの数学素人たち ・海外の遠アーベル素人たち ですね(^^
903 名前:現代数学の系譜 雑談 [2020/05/24(日) 19:44:13.81 ID:WD4sBPKv.net] >>824 >望月さんって英語を聞くのがもう嫌になって日本に戻って来たらしい。 失恋は? ないの? w(^^;
904 名前:現代数学の系譜 雑談 [2020/05/24(日) 19:45:02.96 ID:WD4sBPKv.net] >>822 おっちゃん、お休みなさい(^^;
905 名前:現代数学の系譜 雑談 [2020/05/24(日) 19:46:02.01 ID:WD4sBPKv.net] >>818 > (*´艸) ここだけ同意 ふいた〜!(^^
906 名前:現代数学の系譜 雑談 [2020/05/24(日) 19:56:21.54 ID: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 名前:132人目の素数さん [2020/05/24(日) 19:57:32.75 ID:r1+6ob+l.net] >>840 返答のレスはいりません。
908 名前:132人目の素数さん mailto:sage [2020/05/24(日) 19:58:45.84 ID:nh0G4ecb.net] >>846 OP氏に見えるんだが……
909 名前:現代数学の系譜 雑談 [2020/05/24(日) 20:04:54.52 ID: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 名前:現代数学の系譜 雑談 [2020/05/24(日) 20:09:23.21 ID:WD4sBPKv.net] >>848 >OP氏に見えるんだが…… ああ、そっちの話か〜ぁw OP says:氏=OP氏だと まあ、そうですね コピー範囲が、”OP says”も結構楽なのですよ(^^
911 名前:132人目の素数さん mailto:sage [2020/05/24(日) 20:17:05 ID:SbSEZ3Gi.net] >>843 16才の清純派真っ盛りの薬師丸ひろ子を好きな少年が、気のキッツい自己主張強めな爆弾ボディ女に囲まれたら去勢されたみたいになっちゃうんじゃないかな 戦う前から負けてた気がするよ
912 名前:132人目の素数さん mailto:sage [2020/05/24(日) 20:28:10 ID:7dB8qUo6.net] 嘘を訂正すれば嘘じゃなくなると思っている残念な奴だったか
913 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 20:38:02 ID:WD4sBPKv.net] >>852 どう解釈しようが、あなたの勝手ですよ >>851 > 16才の清純派真っ盛りの薬師丸ひろ子を好きな少年が、気のキッツい自己主張強めな爆弾ボディ女に囲まれたら去勢されたみたいになっちゃうんじゃないかな >戦う前から負けてた気がするよ そうか そっちか 確かにな 気のキッツいはともかく、「自己主張強め」とは思ってないでしょうね ”自己主張”?普通でしょ ってね(^^
914 名前:132人目の素数さん mailto:sage [2020/05/24(日) 20:43:11 ID:nh0G4ecb.net] >>850 OPなんてコピペするほどでもないやろ ニ文字やん
915 名前:132人目の素数さん mailto:sage [2020/05/24(日) 20:44:35 ID:iINYqpDF.net] プリンストンの数学科って女の子いるの?
916 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 20:55:12 ID:WD4sBPKv.net] NLPって、面白そうだね IUTも、将来 これで検証されるかもね(^^ https://twitter.com/math_jin math_jinさんがリツイート theHigherGeometer Source for quote: section 2b of https://jiggerwit.wordpress.com/2019/06/20/an-argument-for-controlled-natural-languages-in-mathematics/ (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 https://jiggerwit.wordpress.com/2019/06/20/an-argument-for-controlled-natural-languages-in-mathematics/ (deleted an unsolicited ad)
917 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/24(日) 20:58:50 ID:WD4sBPKv.net] >>855 >プリンストンの数学科って女の子いるの? 多分少ないだろうね 日本でいわゆる リケジョの数学版でしょ(^^; >>854 >OPなんてコピペするほどでもないやろ >ニ文字やん 確かにな(^^ でもな、普通全角のローマ字変換設定にしていて ”OP”を打つとすると、シフトでOPと打つことになるし あと、コピーの方が間違いないという安心感もあるのです(^^;
918 名前:132人目の素数さん mailto:sage [2020/05/24(日) 21:30:45 ID:0xi7hflJ.net] 自称おっちゃん、起きてきちゃいました。 >>825 >おっちゃんて相変わらずメチャクチャだなw >Zはいつだって標数0だろw Zが普通の整数の集合なら、当たり前だ。下らんことでレスさせるな。 >Z/nZのことを「標数nのZ」と呼ぶバカはいない 単位的環Rの標数とか考えたことないのか。
919 名前:132人目の素数さん mailto:sage [2020/05/24(日) 21:33:06 ID:0xi7hflJ.net] それじゃ、自称おっちゃんまた寝る。
920 名前:現代数学の系譜 雑談 [2020/05/24(日) 21:47:50.39 ID:WD4sBPKv.net] >>858-859
921 名前: おっちゃん、どうも レスありがとう(^^; [] [ここ壊れてます]
922 名前:132人目の素数さん mailto:sage [2020/05/24(日) 22:32:05 ID:3doACIaF.net] >>858 >単位的環Rの標数とか考えたことないのか。 あるから貴方の言うことはおかしいと言っている。 >>803は2重、3重に間違ってる。 >環Zの標数を0か2ではない素数として考える。 これが最初の間違い。環Zの標数は必ず0。 貴方は単位的環R=1を含む環R があって 1+1+... という元が考えられれば、そのようなRの部分構造をZと呼んでよい と思っているようだが、そうではない。 Zという構造は唯一つ。
923 名前:132人目の素数さん mailto:sage [2020/05/24(日) 22:51:07 ID:3doACIaF.net] 環Rの乗法可逆元(=単元)の全体をR^{x}であらわすと R^{x}いつだって乗法群だよ。乙には丁度いい練習問題だろう。
924 名前:132人目の素数さん mailto:sage [2020/05/24(日) 23:16:13 ID:ljjG/nFf.net] 本当にモテるやつは男子校だろうが女子校だろうがモテるから。 数学科に女子がいないなら他学部と合コンしたらいい モテないのはフラれるのがいやとか時間の無駄とか言い訳しても、自分からグイグイいかないせい プライド捨ててグイグイ行かないと。 ビューティフルなんとかのナッシュはそうしてた
925 名前:粋蕎 mailto:sage [2020/05/24(日) 23:22:48.88 ID:bqzcTIrk.net] >>863 流石に女に借金の連帯保証人にさせる意気地は無いわ そういうのは意気地ぃ言わん
926 名前:132人目の素数さん [2020/05/24(日) 23:58:42.12 ID:PZHyt/0p.net] >>803 >整数の全体Zは、乗法群ではなく加法群。加法群Zの単位元は 0∈Z。 >環Zの標数を0か2ではない素数として考える。 Zの標数を0以外と仮定すると、Zから負数を取り除いた集合Nはペアノの公理を満たさないけどいいの?
927 名前:132人目の素数さん mailto:sage [2020/05/25(月) 03:24:22.89 ID: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 名前:現代数学の系譜 雑談 [2020/05/25(月) 06:17:45.55 ID:eyKRxUQp.net] 良い感じのスレになって来ましたね ガロアスレの再現ですなw(^^;
929 名前:132人目の素数さん mailto:sage [2020/05/25(月) 06:18:00.44 ID:OoA989Ly.net] >>865 >環Z そこはZじゃなくRといいなよ 自然数の全体Zと一致しないし
930 名前:132人目の素数さん mailto:sage [2020/05/25(月) 06:19:17.56 ID:OoA989Ly.net] >>867 こんなんで?あんたホントレベル低いね
931 名前:現代数学の系譜 雑談 [2020/05/25(月) 06:23:42.49 ID:eyKRxUQp.net] >>686 追加 Tate twistsの佐藤 周友先生 Acknowledgements に Nottingham Ivan Fesenko 氏が出てくるね(^^; https://arxiv.org/pdf/math/0610426.pdf [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 名前:132人目の素数さん mailto:sage [2020/05/25(月) 06:27:12.53 ID:OoA989Ly.net] >>856 >NLPって、面白そうだね 自然言語処理って書いてくれ 神経言語プログラミングかと思った もうちょっと頑張れば機械でもあんたの読解能力超えるかもしれん そのくらいあんたの読解能力は低い 小学生並み
934 名前:現代数学の系譜 雑談 [2020/05/25(月) 06:30:01.41 ID:eyKRxUQp.net] >>869 >こんなんで?あんたホントレベル低いね 1.レベルの話は、してないんだけどw 2.5chで、ここよりレベル高いところがあったら、教えてくれるかな?ww 3.IUTの査読が、STAPもどきで、望月−玉川−柏原 全部グルの陰謀だとか、そういう幼稚な話よりも、レベル高いと思うよ(^^
935 名前:132人目の素数さん mailto:sage [2020/05/25(月) 06:38:24.90 ID:OoA989Ly.net] >>872 >レベルの話は、してないんだけど 環の議論がおもしろいといってるんだろ? だからレベルが低いといってやった こんなん初歩だろ >ここよりレベル高いところがあったら、教えてくれるかな? あんた競争してるの?馬鹿だねぇ・・・
936 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/25(月) 06:46:40 ID:eyKRxUQp.net] >>871 >神経言語プログラミングかと思った へー、そういうのがあるのか(^^; https://ja.wikipedia.org/wiki/%E7%A5%9E%E7%B5%8C%E8%A8%80%E8%AA%9E%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0 神経言語プログラミング (抜粋) 神経言語プログラミング(しんけいげんごプログラミング、神経言語学的プログラミングとも, Neuro-Linguistic Programming: NLP)は、ジョン・グリンダー(言語学者)とリチャード・バンドラーによって提唱された、コミュニケーション、能力開発、心理療法へのアプローチを目指す技法である。 人間は客観的な現実を理解することはできないというポストモダン的な立場を取り、主観的経験の構造の研究によって記述された「メタ学問」である[1][2]。 個人の主観性・主観的な経験に大きく焦点を当てた自己啓発の体系を持つ[1]。 信念を、能力・行為・環境の間、アイデンティティとスピリチュアリティの間にあると考え、信念を変えることで真の潜在能力を発揮できるようになることを目指す[1]。 神経言語プログラミングという名称は、人間の行動は神経学的な過程から始まること、人間は考えをまとめたり他者と交流
937 名前:するのに言語を用いること、人間は自分が望む結果を出すために自身の行動、自身の脳を「プログラムする」ことができるという3つの概念を含んでいる[3][4]。 心と体は一つのシステムであるという前提を持ち、情動レベルの側面にも注意を向ける[5]。 実践者の多くはNLPに理論的根拠がないと考えており、クライエントにとって有効かという実用性を重視する[7]。一方で、複数の専門家がその理論を疑問視し、疑似科学ともみなされてきた。その効果を裏付けるような質の高い研究はほとんどなく、研究の土台がないと批判されてきた(2007年時点)[5]。 (引用終り) [] [ここ壊れてます]
938 名前:132人目の素数さん mailto:sage [2020/05/25(月) 06:47:22 ID:OoA989Ly.net] あんたはガロア理論ガーとか吠える前に 円分方程式を解いてたほうがよかった 5次方程式がなぜ一般的に代数的に解けないのかなんて 工学部卒のあんたのオツムじゃ到底理解できない あんたは解ける問題だけシコシコ解いて自己満足してりゃいい
939 名前:132人目の素数さん mailto:sage [2020/05/25(月) 06:50:20 ID:OoA989Ly.net] >>874 いっとくけど、それ、典型的なトンデモだから
940 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/25(月) 06:52:51 ID:eyKRxUQp.net] >>873 どうも レスありがとう なんか勘違いしてない? 重箱の隅の些末な話だが >環の議論がおもしろいといってるんだろ? おれは、おっちゃんのカキコは基本読まないんだ で、それを真面目に読む人がいるんだな で、真面目くさった議論が始まる どこかで見た光景でね、ガロアスレであったなと それが、面白いということですよ ちなみに、環はあまり詳しくなかったけど、体論より環論の方が(というより環のイデアルが)、現代数学にとっては重要なんだね(^^ 勉強させてもらったよ(^^;
941 名前:132人目の素数さん mailto:sage [2020/05/25(月) 06:57:31 ID:OoA989Ly.net] >>877 >環はあまり詳しくなかったけど、 群や体なら詳しいみたいな口ぶりはよせ 群もダメ、体もダメだっただろw あんたは数学科のスタートライン(大学3年開始時)にも立ててない 大学1年の微積分と線形代数も怪しいレベルだからな 用語の定義も読まない人に、大学数学は無理 別にあんたが憎くていってるわけじゃない こんなことはあたりまえなんだ あんたが中学高校のいい加減な勉強法のまま 大学数学に挑戦しようと無謀なことしてるから 親切に教えてやったまで 有難く思え 礼は要らない あんたが人に負けるのが嫌いな●違いだってことは百も承知だ
942 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/25(月) 06:59:14 ID:eyKRxUQp.net] >>876 >いっとくけど、それ、典型的なトンデモだから ありがとう >>874の https://ja.wikipedia.org/wiki/%E7%A5%9E%E7%B5%8C%E8%A8%80%E8%AA%9E%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0 神経言語プログラミング に書いてあるね 日本のスピリチュアル 江原啓之 みたいなものか 鰯の頭も信心から https://ja.wikipedia.org/wiki/%E6%B1%9F%E5%8E%9F%E5%95%93%E4%B9%8B 江原啓之 https://ja.wiktionary.org/wiki/%E9%B0%AF%E3%81%AE%E9%A0%AD%E3%82%82%E4%BF%A1%E5%BF%83%E3%81%8B%E3%82%89 鰯の頭も信心から
943 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/25(月) 07:13:01 ID:eyKRxUQp.net] >>878 なんだよ、おサルか 自称 数学科修士卒なれど、その実態は落ちこぼれ 統合失調のクスリのお世話になるオトコ いまのレベルは中学生がせいぜいだろ?
944 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/25(月) 07:15:28 ID:eyKRxUQp.net] >>873 >>ここよりレベル高いところがあったら、教えてくれるかな? >あんた競争してるの?馬鹿だねぇ・・・ 競争はしていない ”5chごときに、何を期待しているんだ?”ってことよ このスレより、レベルが高いスレを教えてくれよ ないでしょ!ww(^^;
945 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/25(月) 07:23:38 ID: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 [2020/05/25(月) 07:37:45 ID:eyKRxUQp.net] 繰返す (再録>>810) 1.RIMSを まず 普通の論文と見れば良いと思うのだが? つまり、「ちゃんと査読された」ということを認める 2.21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない 3.数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ そういう普通の視点で考えれば宜しいのではないですかね? 応援スレだが、この普通のことしか言ってないけどねw(^^ アンチが ・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか ・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか 笑える幼稚な議論 それは、本体スレでやれよw(^^;
948 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/25(月) 07:54:03 ID:eyKRxUQp.net] >>883 訂正 1.RIMSを まず 普通の論文と見れば良いと思うのだが? つまり、「ちゃんと査読された」ということを認める ↓ 1.RIMSのIUTを まず 普通の論文と見れば良いと思うのだが? つまり、「ちゃんと査読された」ということを認める だな 分かると思うがw(^^;
949 名前:132人目の素数さん mailto:sage [2020/05/25(月) 08:01:22 ID:OoA989Ly.net] >>881 >>あんた競争してるの?馬鹿だねぇ・・・ >競争はしていない 否定するな あんたは競争しか頭にない 人に勝つことでしか、自分の存在意義を見出せない哀れな奴なんだよ 一方で、あんたは勉強が大嫌いだ 数学書なんか最初の1ページで 「あー、なにいってんだかわからん」といって放り出すだろ そんなあんたが、勉強抜きに人に勝てると思って見つけた方法が 「専門用語の検索結果をコピペする」という技 実にアサハカ 数学に全く興味ないんだったら、数学板に書くな、というか読むなよ どうせ一字も理解できないんだから あんたの数学は、高校卒業で終わったの 大学1年の微積と線形代数は、あんたが数学とお別れする儀式だな 理論は理解できんしそもそも理解する気もない 計算だけできればOKという計算馬鹿に成り下がるための儀式 教授も工学部の奴らに理屈を理解しろなんていわない 到底無理だからな だから、試験の計算問題が解ければ単位を呉れてやる 有難く受け取っとけw
950 名前:132人目の素数さん mailto:sage [2020/05/25(月) 08:04:00 ID:OoA989Ly.net] >>882 なんかグダグダ言い訳しとるが、 NLPが何の略語だと理解したか 書かないんなら無意味 あんた、英語もダメなんか? ま、日本語がダメな奴が、英語がわかるわけないか
951 名前:132人目の素数さん [2020/05/25(月) 08:05:49 ID:0kzc96OE.net] >>866 整数環Zといいつつ整数じゃない元があるんだなw ペアノの公理?君全然分かってないね
952 名前:132人目の素数さん [2020/05/25(月) 08:08:21 ID:BtoYT5dB.net] 閲覧注意 黒を白と詭弁を使うデマサイト 盗人猛々しい ↓ アンチが ・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか ・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
953 名前:132人目の素数さん mailto:sage [2020/05/25(月) 08:10:45 ID:OoA989Ly.net] >>887 >「ちゃんと査読された」ということを認める ちゃんと査読されたんなら、他の人がそろいもそろって 「わけわからん」というわけないだろ しかも「わけわからん」といってる箇所は 遠アーベルと無関係なラベルの管理の話 そこを望月も弟
954 名前:qも同僚も論理的に説明できない 査読者が見過ごしてることは明らか 宿題やってないのに「やった」とウソつく 某首相の子供の頃みたいなこといってんじゃねぇよ >数学の検証に終りがない。査読は一次の通過でしかない。 読んで分らないからって、読者に丸投げで査読通すなよ 馬鹿 [] [ここ壊れてます]
955 名前:132人目の素数さん [2020/05/25(月) 08:11:17 ID:0kzc96OE.net] >>868 >そこはZじゃなくRといいなよ Zと言ってるのは>>803なんだけど
956 名前:132人目の素数さん mailto:sage [2020/05/25(月) 08:16:41 ID:OoA989Ly.net] >>880 >いまのレベルは中学生がせいぜいだろ? 君は高校時代がピークみたいだから 指数・対数関数と三角関数の楽園で遊んでなさい https://www.chart.co.jp/subject/sugaku/suken_tsushin/91/91-1-2.pdf
957 名前:132人目の素数さん mailto:sage [2020/05/25(月) 08:18:56 ID:OoA989Ly.net] >>890 アンカーミス 正しくは>>866
958 名前:132人目の素数さん [2020/05/25(月) 08:19:57 ID:gGG1fptt.net] こうしてキチガイだけがスレに残りました
959 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/25(月) 08:23:48 ID:eyKRxUQp.net] >>893 正しくは こうしてキチガイだけがスレに残りました ↓ こうしてキチガイだけが5chに残りました (^^
960 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/25(月) 08:25:40 ID:eyKRxUQp.net] >>885 >>>あんた競争してるの?馬鹿だねぇ・・・ >>競争はしていない >否定するな あんたは競争しか頭にない >人に勝つことでしか、自分の存在意義を見出せない哀れな奴なんだよ 競争などしていない 5chの数学板に数学を期待するな この当たり前の事実を客観的に述べた おサル必死 笑えるよw(^^
961 名前:現代数学の系譜 雑談 [2020/05/25(月) 08:27:17.96 ID:eyKRxUQp.net] >>888 だからさ〜 (引用開始) 閲覧注意 黒を白と詭弁を使うデマサイト 盗人猛々しい ↓ アンチが ・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか ・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか (引用終り) そういう、子供じみた 幼稚な話は、本体スレへ がんばれよww(^^;
962 名前:132人目の素数さん mailto:sage [2020/05/25(月) 08:31:32.59 ID:OoA989Ly.net] >>>>あんた競争してるの?馬鹿だねぇ・・・ >>>競争はしていない >>否定するな あんたは競争しか頭にない >>人に勝つことでしか、自分の存在意義を見出せない哀れな奴なんだよ >競争などしていない し・て・い・る 自分の姿を鏡で見ろ >5chの数学板に数学を期待するな あんた、なにがしたいんだ? 一方で、わけもわからず検索結果をコピペ もう一方で、うっかり自分のトンデモぶりを露見したら、数学を期待するなと言い訳 あんた、数学に全く興味ないのか? 興味ないなら、なんで数学板に書きこむんだ? 必死なのは、数学が分らん上に分かるための真っ当な努力を一切しないくせに 分ったフリするための嘘偽りで他人にマウントしたがる、あんただよ あんた、他人に勝てさえすれば、どんな卑怯卑劣な手をつかってもいいんか? あんた、正真正銘のサイコパスだな
963 名前:132人目の素数さん mailto:sage [2020/05/25(月) 08:36:44 ID:OoA989Ly.net] >>891 >指数・対数関数と三角関数の楽園 対数関数は指数関数の逆関数だし 三角関数も引数が複素数の場合の指数関数だと考えれば 端的には「指数関数の楽園」といっていいな
964 名前:132人目の素数さん mailto:sage [2020/05/25(月) 09:12:26 ID:se0kGF+A.net] >>866の訂正: 環Z → 環R 素数 → 素元 (pの)倍数 → (pの)倍元 >ペアノの公理は0から p-1 までの整数に対して適用する。 は、削除
965 名前:132人目の素数さん mailto:sage [2020/05/25(月) 09:22:00 ID:se0kGF+A.net] >>892 代数なのに、>>866のような一般的な話が有理整数環Zに適用出来ないのは何とも不思議だけど。
966 名前:132人目の素数さん mailto:sage [2020/05/25(月) 09:28:15 ID:se0kGF+A.net] >>866の訂正: 整数 → (環Rの)元
967 名前:132人目の素数さん mailto:sage [2020/05/25(月) 09:34:54 ID:OoA989Ly.net] >>900 p進整数Zp⊃Zを考えれば、pの倍数でないZpの元nについて その逆元n^(-1)が、Zpの中に存在する いっとくけどZpは標数0ね(ここ、間違いやすいから!)
968 名前:132人目の素数さん [2020/05/25(月) 09:48:28.52 ID:OoA989Ly.net] 例えば 2進整数では11(=3)の逆数は以下の通り ー ・・・1010101=11^(−1)
969 名前:現代数学の系譜 雑談 mailto:sage [2020/05/25(月) 11:36:33.14 ID:ynbMVhgd.net] >>695 >”一点抜き楕円曲線”下記 中村「楕円曲線ひく1点の基本群は」と同類の話だろう ”トーラスから1点だけが抜け落ちたものを考えてしまっている”(1点=特異点)ってわけね(^^ https://tsujimotter.はてなブログ/entry/complex-multiplication-2 tsujimotterのノートブック 2018-05-19 虚数乗法論 (2):楕円曲線の由来 数学 虚数乗法 整数論 (抜粋) 虚数乗法シリーズ、第2回目です。 今日は、楕円曲線の基本的な事項についてお話します。この記事を読んだら、楕円曲線の由来が楕円関数からきていることが納得できるかと思います。 また、度々言及される 「楕円曲線はトーラスの形をしている」 ということの意味について解説したいと思います。 ワイエルシュトラスのペー関数 高校で習う三角関数は周期を持つ関数でした。つまり、任意の x に対して f(x+ω)=f(x) を満たす周期 ω が存在するような関数です。 楕円曲線の標準形とトーラス ペー関数を準備しましたので、ようやくですが楕円曲線との関連を見ることができます。 これはまさに 楕円曲線の定義方程式 になっています!! もしかすると、楕円曲線の定義方程式といえば、こちらの式で覚えている方も多いかもしれません。 y2=x3+ax+b(9) この形の式をワイエルシュトラスの標準形と言います。式 (8) に x←x/36,y←y/108 を代入してあげれば、この標準形に変形できますので安心してください。 つづく
970 名前:現代数学の系譜 雑談 mailto:sage [2020/05/25(月) 11:37:17.18 ID:ynbMVhgd.net] >>904 つづき さて、ここまでで重大な結果を得ることができました。 ワイエルシュトラスのペー関数 p,p′ は複素数平面 C 上の関数でした。その行き先 (p,p′) が、(適切に変数変換を施せば)C 上の楕円曲線 E:y2=x3+ax+b と対応しているというのです。 極と無限遠点 注意深く読んできた方は「ちょっと待て、極はどうするんだ?」と思うかもしれません。z=0 はペー関数の極に対応しており、発散してしまいます。したがって、そのままでは C2 の点 (x,y) に対応づけられません。 つまり、C 上の楕円曲線はトーラスと同相といいつつも、実際のところはトーラスから1点だけが抜け落ちたものを考えてしまっているわけです。 この問題を解消する方法の一つとしては、無限遠点 という点を加えるものがあります。 おわりに 楕円関数によってパラメータ化されるので、「楕円」曲線と名付けられたそうです。これが楕円曲線という名称の由来です。 (引用終り) 以上
971 名前:132人目の素数さん mailto:sage [2020/05/25(月) 11:49:58.16 ID:OoA989Ly.net] >>904-905 >「楕円曲線ひく1点の基本群は」 なんじゃ、あんた、計算できんのか? それじゃ大学院の入試は確実に落ちるのぉ ふぉっふぉっふぉ
972 名前:132人目の素数さん mailto:sage [2020/05/25(月) 11:55:55.53 ID:OoA989Ly.net] >>906 一般化した質問 「種数nの曲面から1点を抜いたものの基本群は?」 おぬしに答えられるかのぉ ま 無理じゃろうのぉ ふぉっふぉっふぉ
973 名前:132人目の素数さん mailto:sage [2020/05/25(月) 11:58:14.18 ID:eKE29GRO.net] 朝日新聞の朝刊にABCの特集がでてたね。 偉い数学者の何人かがABCを絶賛しているみたいな話なんだが、 彼らが数学の未来が洋々と開けるみたいな楽観的なのには違和感を持った。 理系の大部分は、あと30年でAIによる自動が普通になって、数学者の仕事がなくなる と思っているはずなのに、偉い数学者たちは世間知らずなんだなと思った。 彼らはどうせ死んでると思って、無責任なことを言ってるのかもしれないが、 若者はこれでは困るだろう。
974 名前:132人目の素数さん [2020/05/25(月) 12:02:07.24 ID:cZ4wq6/6.net] >>896 だからさ〜 ↑ 盗人が開き直り
975 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:02:48.23 ID:se0kGF+A.net] >>902 pを素数として、有理数体Qを非アルキメデス付値で完備化しても、p進整数環 Z_p の標数は0なのか。
976 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:14:38.46 ID:LVm/CtRv.net] >>908 既にabc conjectureが正しいと仮定した論文が出ているんだ
977 名前:ゥら 単にのどに引っかかった小骨がとれたみたいなすっきり感じゃないかな ゲーデルの不完全性定理以降の数学者は妄想を吹聴して税金をかすめ取る盗賊と大差ないのかも [] [ここ壊れてます]
978 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:20:50.71 ID:OoA989Ly.net] >>911 >既にabc conjectureが正しいと仮定した論文が出ているんだから Riemann Hypothesisを仮定した論文なんか山ほど出てるがな ついでにいうとゲーデルの不完全性定理は数学には無関係 実際、論理学者以外は、不完全性定理の証明なんか知らんだろうな
979 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:21:50.45 ID:OoA989Ly.net] >>910 0だよ だって、例えばp=0にならんじゃん
980 名前:132人目の素数さん [2020/05/25(月) 12:26:43.23 ID:zLcYjLRu.net] 朝日の記事読んだが、これは森さんも論文読んだようだな。
981 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:31:18.97 ID:6+N7E5U3.net] >理系の大部分は、あと30年でAIによる自動が普通になって、数学者の仕事がなくなる と思っているはず 現在の人工知能を知っている人からしたら、こんなこと絶対思わないんだけどな
982 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:35:01.10 ID:se0kGF+A.net] >>913 体Qを非アルキメデス付値で完備化する際、素数は関係ないのか。
983 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:39:08.47 ID:OoA989Ly.net] >>916 人に尋ねずに自分で付値を計算すれば分かるだろ 計算できないの?
984 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:42:51.45 ID:nBeSLhJX.net] abcがちゃんと解けてるなら、その向こうに洋々たる未来が広がってる というのは嘘じゃないだろう。 それはabcや数論幾何の由来を紐解いてみれば分かるだろう・・・ が、当の望月がabc以外にIUTの応用はないみたいに言ってるんでしょ? これがまず怪しい abcを解くための辻褄合わせ(人工的なラベル付けなど)がIUTで 本当には解けてないんじゃないか、つまり 見つけにくいだけで根本的に間違ってる箇所があるんじゃないか と世界の多くの数学者は思ってるんじゃないかな。
985 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:43:43.84 ID:o4mrSicY.net] >>912 数学者も一部の人は知ってるな
986 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:45:55.32 ID:OoA989Ly.net] >>919 対角線論法を使うとかいうのは知ってる内には入らんよ
987 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:45:59.73 ID:se0kGF+A.net] >>917 >>903 の >ー ・・・1010101=11^(−1) のような式の取り扱いや計算は、分からず、慣れていない。
988 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:47:17 ID:lWEgftuY.net] >>783 半島進出という言い方は間違いだよ もともと半島には縄文人のほうが先に定住していた ずっと後に朝鮮人の祖先であるエヴェンキ族が北方から南下してきたんだよ 半島の歴史と言うのは 倭人 エヴェンキ族 中国からの植民 の三つ巴の戦いであり激突した歴史だ
989 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:48:45 ID:o4mrSicY.net] >>920 もちろんそういうレベルの話ではなく、分野によっては知ってる人もいると思われるが
990 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:51:03 ID:OoA989Ly.net] >>923 どんな分野? 「論理学者以外は」と書いたから、論理学関係はダメだぞ
991 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:52:11 ID:OoA989Ly.net] >>921 言い訳すんなよ pと0の付値を計算してみ?
992 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:52:25 ID:nBeSLhJX.net] 乙には多分、同型と準同型の区別が付いてない ZとZ/nZは準同型であって、同型ではない。 前者の標数は0、後者の標数はn。 アルキメデス付値とか非アルキメデス付値とかいうのは 距離の入れ方の違いだから、代数的構造とは全然別。 たとえば、2,4,8,16,...という列は2進距離では0に近づいていくとか、そういう話。
993 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:53:41 ID:o4mrSicY.net] >>924 論理学者かつ数学者は駄目なの?
994 名前:132人目の素数さん mailto:sage [2020/05/25(月) 12:59:01 ID:NqhcTQBn.net] >>918 それあんま関係ないんだよね。 abc予想自体はこれまでの統計的分析でも多分真なわけだし、 abc予想がabc定理になったからなにか新しく分かるってわけじゃない。 重要なのはabc予想
995 名前:解決するときに使った手法が興味深いこと。 IUTはこれを満たしていない。 [] [ここ壊れてます]
996 名前:132人目の素数さん mailto:sage [2020/05/25(月) 13:01:11 ID:AtQCu2oC.net] IUTのサーベイって誰のが上手くかけてるのかね? 星のが良いんだったら、英訳してショルツに送ってやれよ。
997 名前:132人目の素数さん mailto:sage [2020/05/25(月) 13:04:31 ID:zW23mgIq.net] >>922 奪還だよね
998 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/25(月) 13:05:42 ID:ynbMVhgd.net] >>915 (引用開始) >理系の大部分は、あと30年でAIによる自動が普通になって、数学者の仕事がなくなる と思っているはず 現在の人工知能を知っている人からしたら、こんなこと絶対思わないんだけどな (引用終り) 同意です 1.AIが絶対ではない。例えば、正しい解のために、条件A、B、Cを入れて答えが出たとする。おかしな答えだった。調べると条件Dが抜けていた。これは、現在は 人でなければ気付かない 2.機械学習をさせるとき、へんなデータを学習させると、悪い癖がつく。マイクロソフトのAIが差別発言をするようになったとか。あるいは、翻訳ソフトで、翻訳の悪い例を学習するとかね そのチェックは、人がやる必要がある 3.AIを使う人を指導する人が必要です。三菱UFJの社長に東大数学科出身者、かれは人を使える人なのでしょうね。AIを使う人を指導する人が必要です。その人に何をやらせるのか? 指導し、指揮命令する人。これは無くならない
999 名前:132人目の素数さん mailto:sage [2020/05/25(月) 13:10:13 ID:se0kGF+A.net] >>925 いや、 >>ー ・・・1010101=11^(−1) のような形の式(の左辺)は殆ど見たことがない。 あと、「付値を計算する」とは、どう意味でいっている?
1000 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/25(月) 13:18:29 ID:ynbMVhgd.net] >>908 >朝日新聞の朝刊にABCの特集がでてたね。 これか(^^; https://www.asahi.com/articles/ASN5Q5K19N5LULBJ00D.html 異次元の数学者がかけた魔法 ABC予想を読み解くと 朝日 有料会員限定記事 石倉徹也 2020年5月25日 9時00分 数学の超難問「ABC予想」を証明した京都大数理解析研究所の望月新一教授(51)。成功の鍵は「異次元からやって来た」「理解者は世界で約10人」と言われるほど独創的な新理論だった。その偉業を、数学が苦手な人もわかるように読み解いてみた。(石倉徹也) https://www.asahicom.jp/articles/images/AS20200522002753_comm.jpg 足し算とかけ算を比べる それは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予想は「足し算がかけ算より大きくなるのはとても珍しい」ということを主張する命題だ。 https://www.asahicom.jp/articles/images/AS20200522003288_comm.jpg
1001 名前:132人目の素数さん mailto:sage [2020/05/25(月) 13:20:45 ID:nBeSLhJX.net] >ー ・・・1010101 これは無限級数の形で書くと -(1+2^2+2^4+…) となる。 大事なことは、これが2進距離で収束するということ。 そして、-(1+2^2+2^4+…)×(1+2)=-(1+2+2^2+…) は1に収束することが確かめられる。
1002 名前:132人目の素数さん mailto:sage [2020/05/25(月) 13:27:10 ID:OoA989Ly.net] >>932 おまえ、p進付値知らんの? 知らんなら検索しろよ https://ja.wikipedia.org/wiki/P%E9%80%B2%E4%BB%98%E5%80%A4 これで計算できるだろ
1003 名前:132人目の素数さん mailto:sage [2020/05/25(月) 13:31:00 ID:OoA989Ly.net] >>922 半島と列島の分岐時期が1万年前とかであれば半島の縄文人という説も成り立つが、 実際には2000年前程度だったりするのであり得ない ちなみに列島内部で1万年以上前に分岐した系統が存在するので 縄文人が列島に入ってきた時期は旧石器時代と考えられる
1004 名前:132人目の素数さん [2020/05/25(月) 14:29:46 ID:4/RrOWCH.net] 。✳゜。○゜。゜*。 それじゃ大学院の入試は確実におちるのぉ ふぉっふぉっふぉ おぬしに答えられるかのぉ ま 無理じゃろうのぉ ふぉっふぉっふぉ ゜。 。*゜○゜。✳゜。 |¨)… キ”ャ”ワ”エ”ェ”ナ”ァ”… |`*)… |=3
1005 名前:132人目の素数さん mailto:sage [2020/05/25(月) 14:31:50 ID:se0kGF+A.net] >>935 >おまえ、p進付値知らんの? 知らない。 >知らんなら検索しろよ >…(サイト名略)… >これで計算できるだろ こういうので済ますと、誰かさんと同じことをいっていることになるぞw 最初は、本で学習するモンだろ。
1006 名前:132人目の素数さん mailto:sage [2020/05/25(月) 14:37:41.08 ID:OoA989Ly.net] >>938 書いてあることは同じだよ 言い訳するな 計算しろ
1007 名前:132人目の素数さん mailto:sage [2020/05/25(月) 14:42:09.98 ID:OoA989Ly.net] >>937 いや、あの、ほんとに、マジでこれ、基本だからさ 曲面自体の基本群はもうちょっと面倒なんだけど 一点除くと・・・あ~ら、不思議 ま、でも、精神論者のガンバレ・ニッポンには 逆立ちしても解けないだろうな
1008 名前:132人目の素数さん mailto:sage [2020/05/25(月) 14:44:32.94 ID:se0kGF+A.net] >>939 いや、いい訳ではなく、していることは同じことだよ。 まあ、私にはp進付値の知識は必要ないから、p進付値はどうでもいいけど。
1009 名前:132人目の素数さん [2020/05/25(月) 15:18:47 ID:4/RrOWCH.net] ゜。○゜ 。゜だれかqになりたいひと ゜。いませんか。。。? ハ~ィ。゜○。✳゜ |“)ノ。*゜ ゜じゃpになりたいひと。。。
1010 名前:132人目の素数さん [2020/05/25(月) 15:26:59 ID:JiGMFsw9.net] 数学掲示板群 ttp://x0000.net/forum.aspx?id=1 学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net 数学 物理学 化学 生物学 天文学 地理地学 IT 電子 工学 言語学 国語 方言 など PS 連続と離散を統一した! ttp://x0000.net/topic.aspx?id=3709-0 微分幾何学入門 ttp://x0000.net/topic.aspx?id=3694-0
1011 名前:132人目の素数さん mailto:sage [2020/05/25(月) 16:22:23 ID:se0kGF+A.net] それじゃ、自称おっちゃんもう寝る。
1012 名前:132人目の素数さん [2020/05/25(月) 16:30:18 ID:4/RrOWCH.net] |…pクンガ…イナィ… |_q_ |ノд`)。
1013 名前:132人目の素数さん [2020/05/25(月) 16:43:26 ID:4/RrOWCH.net] |… |\)。
1014 名前:132人目の素数さん [2020/05/25(月) 19:00:50.63 ID:4/RrOWCH.net] |д`)! …スルルェが止まっちゃってる… ゴメンナサ~ィ! (ノд`)。 もぅ変なカキコはしませ~ん…!
1015 名前:132人目の素数さん [2020/05/25(月) 19:01:31.21 ID:4/RrOWCH.net] |=3 ゴメンナサ~ィ!
1016 名前:132人目の素数さん mailto:sage [2020/05/25(月) 19:37:40.43 ID:OoA989Ly.net] >>906 の答えを書いとくな 階数(=生成元の数)2の自由群 >>907 の答えも書いとくな 階数(=生成元の数)2nの自由群 これ「4次元のトポロジー」(松本幸夫)に書いてあるぞ 学生時代、これで読書会やったなあ
1017 名前:132人目の素数さん mailto:sage [2020/05/25(月) 19:52:10.92 ID:OoA989Ly.net] 「ガンバレ・ニッポン」は自由群とか知らなそうだな 自由群 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%94%B1%E7%BE%A4 階数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 名前:132人目の素数さん mailto:sage [2020/05/25(月) 21:39:11 ID: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 名前:132人目の素数さん [2020/05/25(月) 22:11:11 ID:0kzc96OE.net] >>866 >pを正の素数とするとき、任意の標数pの環Zの0でもpの倍数でもないような整数aに対してaの逆元 a^{-1} を a^{-1}:=1/a と定義する。 一行目からダメダメ。 なんで「任意の」標数pの環なのに整数元を持つことが突然出て来るんだよ バカなの? キチガイなの?
1021 名前:132人目の素数さん mailto:sage [2020/05/25(月) 22:23:46 ID:OoA989Ly.net] >>951 まあ、そういうことになるんだろうね
1022 名前:132人目の素数さん mailto:sage [2020/05/25(月) 23:16:10 ID:dmqr90V3.net] 何らの捻れ(拘束条件)のない、という拘束条件があるからあまり自由じゃなくね?
1023 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/05/25(月) 23:37:01 ID:eyKRxUQp.net] 次スレ立てた よろしく ここを、適当に使ったら 新スレへ 長く続きそうな話題は、早めに新スレへどうぞ(^^ 現代数学の系譜 雑談#雑談ガロア https://rio2016.5ch.net/test/read.cgi/math/1590416904/
1024 名前:132人目の素数さん mailto:sage [2020/05/25(月) 23:40:32 ID:OoA989Ly.net] ガロアだけ余計だったな
1025 名前:別人 mailto:sage [2020/05/25(月) 23:42:29.17 ID:dE6ck3kC.net] トリップ漏れてますよ
1026 名前:現代数学の系譜 雑談 [2020/05/25(月) 23:42:50.29 ID:eyKRxUQp.net] >>947 >…スルルェが止まっちゃってる… 意味がわからんが、あまり心配するな IUT応援スレは止まらないよ 止められるのは、運営の削除のみだよw 予想外にスレの進みが早いから、次スレの用意をしていた テンプレをちょっと書き直していたんだ IUT応援スレらしくね(^^;
1027 名前: [2020/05/25(月) 23:44:35.02 ID:4/RrOWCH.net] これは?>>957
1028 名前:現代数学の系譜 雑談 [2020/05/25(月) 23:47:25.08 ID:eyKRxUQp.net] >>957 >トリップ漏れてますよ ありがとう そうか、スレ立て失敗したな やり直すわ
1029 名前:132人目の素数さん [2020/05/25(月) 23:47:47.79 ID:4/RrOWCH.net] 。✳゜主サマ…アリガトウゴザィマス…゜。○゜。✳゜ |“)>>958
1030 名前:132人目の素数さん [2020/05/25(月) 23:53:53.55 ID:4/RrOWCH.net] め~様にトリバレしてから チョットメンドクセ~の考えてみましたw
1031 名前:現代数学の系譜 雑談 [2020/05/25(月) 23:55:56.38 ID:eyKRxUQp.net] >>960 大失敗でした(^^ 次スレ立てなおした よろしく ここを、適当に使ったら 新スレへ 長く続きそうな話題は、早めに新スレへどうぞ(^^ Inter-universal geometry と ABC予想 (応援スレ) 47 https://rio2016.5ch.net/test/read.cgi/math/1590418250/
1032 名前:132人目の素数さん [2020/05/25(月) 23:57:37.07 ID:4/RrOWCH.net] |“))*゜しばらく使えそぅ… …フフッ…゜*。゜
1033 名前:132人目の素数さん mailto:sage [2020/05/26(火) 00:02:43.38 ID:tZAgiR8E.net] なかなか衝撃的なお漏らしだったな
1034 名前:132人目の素数さん [2020/05/26(火) 00:09:24.36 ID:dzchvdGX.net] ゜☆もっちーさま゜*。゜ ○。*゜眩しすぎる゜✳゜。。。 |“)…
1035 名前:現代数学の系譜 雑談 [2020/05/26(火) 00:20:10.52 ID:Z6gj5ozm.net] >>965 >なかなか衝撃的なお漏らしだったな ハイ 大失敗でした 失敗作は、削除依頼しておきました(^^; >>964 >|“))*゜しばらく使えそぅ… はい、よしなにw(^^;
1036 名前:132人目の素数さん [2020/05/26(火) 00:28:46.12 ID:dzchvdGX.net] 主さま、そぅぃぅイミじゃなくって…↙の新トリップが「しばらく |;¨)使えそぅ…」ってイミでした… 紛らわしくってゴメンナサィ… ゜*゜もっちーさま゜*゜の ⚐゙応援⚐゙新スレ立て。。。 ありがとぅござぃます。。。 (お休みなさ~ぃ…) |∞ |“)ノ»
1037 名前:132人目の素数さん [2020/05/26(火) 00:35:52.01 ID:dzchvdGX.net] ゜*。゜☆゜ 。゜もっちーさまをみて。。。 ゜良い夢みて眠れそぅです。。。゜○。✳゜ |“)ノ»オヤスミナサ~ィ…
1038 名前:132人目の素数さん mailto:sage [2020/05/26(火) 01:48:33.88 ID:y3EgA4Dc.net] 自称おっちゃんです。 >>952 >>887 と同一人物か。 そこは>>899 と>>901 で訂正している。
1039 名前:132人目の素数さん mailto:sage [2020/05/26(火) 02:07:23.14 ID:y3EgA4Dc.net] このスレはレス数が1000に達しそうな状況なので、 それじゃ、このスレでは自称おっちゃんもう寝る。 残りのこのスレはご自由にどうぞ。
1040 名前:粋蕎 mailto:sage [2020/05/26(火) 04:05:47.81 ID:assh5D2W.net] >>936 ミクロネシアのシングルアウトリガーカヌーやダブルアウトリガーカヌーが 八丈島でも出土しただけじゃ無し今の八丈島の漁船設計にも伝わっていた。 縄文土器がペルーで出土しとる。 ムー大陸説は誤りと結論付けられた一方でムー文明説は海面が高まる今尚残る南環太平洋諸島の 海面が今より低かった時代にもっと多くの島々が有った頃の姿じゃ言う説が強い。 アウトリガーカヌーで環太平洋の人々が往来していた説が強くなってきている。 与那国島の海底神殿は其の頃の名残と言われとる。 [] [ここ壊れてます]
1042 名前:粋蕎 mailto:sage [2020/05/26(火) 04:12:53.60 ID:assh5D2W.net] >>942 pの人と言えば素数(Prime number)を数えるプッチ神父inジョジョの奇妙な冒険 若しくは Pefect human NAKATA
1043 名前:132人目の素数さん [2020/05/26(火) 04:44:13.43 ID:W2MrwS+1.net] >>936 半島の最初の定住者は縄文人だし、 半島と日本との陸橋が切れたのは2万年以上前やで。
1044 名前: [2020/05/26(火) 06:02:03.39 ID:IQhjH5j3.net] なるほど
1045 名前:粋蕎 mailto:sage [2020/05/26(火) 07:32:53.48 ID:assh5D2W.net] 古代の渡航術で渡った縄文人達が大陸倭国(仮称)を創りつつ 中朝連合に追いやられ大陸倭国を廃国撤退した際に文化や大陸の血筋を持ち込んだ説も有る。 この大陸倭国勢が天照大御神を掲げ大国主大神勢を負かし神道の覇権を握った説も有る。 当時の日本の年数勘定は世界的にも異例(2〜4倍速)じゃったらしく 今の年数勘定に成ったんは卑弥呼の前くらいじゃったらしいんで 神武天皇らの時代が本当に2600年前じゃった謂う話は怪しい。 其れでもどうやら史上3番目に古く現存1番古い皇族言う認定は覆らん様じゃが。
1046 名前:132人目の素数さん mailto:sage [2020/05/26(火) 07:54:24.73 ID:dzchvdGX.net] >973 そう…(無関心) ただ 「pになりたぃひと~?」 ってやって 54歳(乙女座)さんからの応募待ちしてただけだから… (ジョジョとかどうでも) いいです…。 スルルェ末に(…チョット♡イチャコラ…)願望が抑えきれなくなっちゃっただけだから。 応募が無くて良かったんだと思う… 暴走しちゃってスレ壊しちゃってたと思うから…(建前) *゜(ノд`)。゜(本音)
1047 名前:132人目の素数さん mailto:sage [2020/05/26(火) 08:03:29 ID:dzchvdGX.net] >>974 …じゃぃおじさん…? まさか「ππ」言ってた、π好きの。。。 🥐🍒🥞じゃぃおじさん🥖🍎🍞?
1048 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 08:03:46 ID:IQhjH5j3.net] >>976 いやいや、縄文人がこの島にたどり着いたのって旧石器時代だから 2万年以上前だよ 国とか作るレベルじゃないよ 弥生人と渡来人を分けて考えると 前者はO1b2の日本・朝鮮系、後者はO2の中国系かもね ちなみに分岐時期は、DNAの変化から数学
1049 名前:的に計算されるので 当時の人の年数勘定とは無関係 >神武天皇らの時代が本当に2600年前じゃった謂う話は怪しい。 >其れでもどうやら史上3番目に古く現存1番古い皇族言う認定は覆らん様じゃが。 おや、あなた、皇室信奉者? いまどきそんなこと自慢する人いるの? まるでフランスの王党派だね [] [ここ壊れてます]
1050 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 08:10:43 ID:IQhjH5j3.net] 百聞は一見にしかず https://www.yfull.com/tree/D-M64.1/ 上記のD1a2a系統は日本人しかいない 一方 https://www.yfull.com/sc/tree/D-M64.1/ 分岐時期を見ると、もっとも古いものは20000年近く前 つまり、D1a2a系統が列島にやってきた時期は 20000年以上前だと推定できる
1051 名前:132人目の素数さん [2020/05/26(火) 08:17:48 ID:dzchvdGX.net] \💓チュッ!💞/ ∬(´³(>>979) ゜/っU☆) ゜!!*uu |<)≡…ヌシサマ…ゴメンナサィ…)
1052 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 08:19:58 ID:IQhjH5j3.net] Y染色体の系譜 https://www.yfull.com/tree/ AおよびBで始まる系統はアフリカに限られる A,B,E以外の系統はアフリカ人以外 DはDE系統からの分岐なので、 他の非アフリカ系の大多数を占めるCF系統とは異なる 分岐時期は以下の通り https://www.yfull.com/sc/tree/ F系統から各系統への分岐時期は50000年近く前だが このころにはアフリカから外に出ていたと考えられる
1053 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 08:21:28 ID:IQhjH5j3.net] >>981 ヌシと仲良くすれば?
1054 名前:縄文人の系譜 D1a2a mailto:sage [2020/05/26(火) 08:27:33.85 ID:IQhjH5j3.net] 現在の西ヨーロッパ人の半数以上を占めるのはR1b1a1b(R-M269)系統 これが、インド・ヨーロッパ語族の人たちだと考えられているが https://www.yfull.com/tree/R-M269/ https://www.yfull.com/sc/tree/R-M269/ 分岐年代が5000年前くらい つまり、多くの西ヨーロッパ人の父系共通祖先は たかだか5000年前くらいのある一人の人物 ということになる
1055 名前:132人目の素数さん mailto:sage [2020/05/26(火) 08:31:15.84 ID:dzchvdGX.net] (やっぱりめ~様💗だった!) いつも1レスめから だぃたぃわかる〜(*´艸`) \💞チュッ!💓/ (*´(>>980 ) |=3☆ゴメンナサ~ィ!
1056 名前:132人目の素数さん mailto:sage [2020/05/26(火) 08:40:23 ID:dzchvdGX.net] >>983 。。。 ゴメンナサィ…゜。(ノд`)。モゥシマセン シツコィ✩セクハラ꙳★ストーキング ゴメンナサィデシタ… サョナラ。
1057 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 08:43:01 ID:IQhjH5j3.net] 日朝共通の系統 O1b2a1a(O-K10) https://www.yfull.com/tree/O-K10/ https://www.yfull.com/sc/tree/O-K10/ ここから韓国人に多いO-L682と、 日本人に多いO-47zが分れるが 分岐時期は約5000年前 (注:ただし綺麗に分かれるわけではなくある程度入り混じっている)
1058 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 08:45:24 ID:IQhjH5j3.net] >>986 ヌシにトリップ提供するんだから ヌシと愛し合ってればいいんじゃね?
1059 名前:132人目の素数さん mailto:sage [2020/05/26(火) 08:45:45 ID:dzchvdGX.net] >>988 は?
1060 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 08:51:26 ID:IQhjH5j3.net] シナチベット語族の系統 O2(O-M122) https://www.yfull.com/tree/O-M122/ https://www.yfull.com/sc/tree/O-M122/ 20000年前から大増殖w やっぱ中国、漢民族には逆立ちしても(繁殖度では)勝てないな
1061 名前:132人目の素数さん mailto:sage [2020/05/26(火) 08:58:14 ID:dzchvdGX.net] いつも使ってる今のトリちゃんがトリバレしなぃかチェックしたかっただけ。 前のめ~さまにすぐトリバレしちゃったから… こんどのはチョット解らなぃ でしょ?(*´艸`)
1062 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE [2020/05/26(火) 09:00:57 ID:IQhjH5j3.net] >>991 何云ってんのかわかんねぇ・・・糖質か?
1063 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 09:05:14 ID:IQhjH5j3.net] 大体、一石とかおサルとかめ~様とかいって 勝手に複数の人間を同一人物だと妄想して 話をするから全然伝わらない 一見正常に見えるからかえって始末が悪い
1064 名前:132人目の素数さん [2020/05/26(火) 09:07:53 ID:dzchvdGX.net] ∞\アタシモめ~クント大増殖シタィ…/ ∬(*´(>>990) *∞ ∬(;´д`)ハッ! |≡3…運営様…ゴメンナサ~ィ! ピュッ!
1065 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 09:08:49 ID:IQhjH5j3.net] >>994 あんた キモイよ
1066 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 09:10:35 ID:IQhjH5j3.net] ぶっちゃけ、Y染色体を持ってない人は存在しないも同然(ドイヒー)
1067 名前:132人目の素数さん mailto:sage [2020/05/26(火) 09:12:17 ID:csSjB5DM.net] >>936 君は半島の事実の何も知らないことを露呈したなw 韓国人というのは単一民族ではなく、簡単に言うと、 日本人 中国人 エヴェンキ族 モンゴル人 との混血なんだよ 最終的に12世紀にモンゴルと混血して成立した ここでアイデンティティが確立したから史書がようやく13世紀になって成立した かなり歴史が浅い民族なんだよ 主体を構成しているエヴェンキ族が大陸東北部から南下したなのはかなり遅く、日本人より遅いんだ
1068 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 09:12:36 ID:IQhjH5j3.net] ま、女系祖先をたどるmtDNAってのもあるので 別に男女差別はしていない (ただ、男性も母親から遺伝したmtDNAを持ってはいるが)
1069 名前:縄文人の系譜 D1a2a ◆e.a0E5TtKE mailto:sage [2020/05/26(火) 09:13:54 ID:IQhjH5j3.net] >>997 ここでいう >日本人 とは、O1b2系統のことだね D1a2aは韓国人の中のごく少数だから
1070 名前:132人目の素数さん mailto:sage [2020/05/26(火) 09:14:07 ID:dzchvdGX.net] >>993 安達さまのスレで“サル石”さんなことはほぼ認めちゃってたのに。(*´`)
1071 名前:1001 [Over 1000 Thread .net] このスレッドは1000を超えました。 新しいスレッドを立ててください。 life time: 8日 23時間 12分 56秒
1072 名前:過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています