20/05/20 16:43:55 YWqolfYo.net
>>340
理解できないなら査読者を引き受けるな、といいたいならそれもあり
その場合、誰も理解できなければ査読者を引き受けるものがおらず
宙ぶらりんになる つまりリジェクトと同じ
361:１３２人目の素数さん
20/05/20 16:44:52 4MMPSzcV.net
理解できなかったら、リジェクトするべきだだ断定できるって
バカなら誰でも言えるだろうが。
362:１３２人目の素数さん
20/05/20 16:45:29 4MMPSzcV.net
すげー頭悪い。
363:１３２人目の素数さん
20/05/20 16:45:50 +MbA8zj3.net
世界の著名な数学者のだれも理解できないからリジェクトすべきだ、
と言ってるんだよ。
アクセプトしたいなら説明すればいい。話は単純。
364:１３２人目の素数さん
20/05/20 16:46:44 YWqolfYo.net
アクセプトされた論文の説明者が現れない理由
可能性１ そもそも査読者がいないので編集長権限でアクセプトした
可能性２ 査読者はいるけど理解せずメクラ判押した
ほかにある？
365:１３２人目の素数さん
20/05/20 16:48:27 YWqolfYo.net
4MMPSzcVって唯我独尊・・・じゃなかった諸法無我か？
366:１３２人目の素数さん
20/05/20 16:50:50.06 YWqolfYo.net
>>333
＞朝鮮人みたいなこと言うな。
ミスター在特？
367:１３２人目の素数さん
20/05/20 16:58:49.14 Rd1G3G/w.net
>>348
予定されたワークショップで説明する予定だからだ
368:１３２人目の素数さん
20/05/20 16:59:05.90 MbuyHv2S.net
>>349
諸法無G
369:１３２人目の素数さん
20/05/20 17:01:16.59 UMn5oQlX.net
安倍嫌いだから
370:といって、無闇に民族的出自に結び付けるのはよくないな。 安倍を嫌ってるタイプにはいろいろある。 たとえば革〇とかｗｗ 首相が枝野と革マル献金 ＪＲ総連・東労組との関係を指摘 https://matome.naver.jp/odai/2141469885165986501 このときから安倍はあの界隈では許しがたい敵と認定されたのだったｗ
371:１３２人目の素数さん
20/05/20 17:09:44.12 YWqolfYo.net
安倍が好きな人っているの？
372:１３２人目の素数さん
20/05/20 17:13:52.34 YWqolfYo.net
URLﾘﾝｸ(www.shogakukan.co.jp)
「甘えん坊で頑固、自分の思い通りにならないと癇癪を起こした晋三少年
問題は学校の宿題をやらないことだったという。」
「「『宿題みんな済んだね？』と聞くと、晋ちゃんは『うん、済んだ』と言う。
寝たあとに確かめると、ノートは真っ白。
それでも次の日は『行ってきまーす』と元気よく家を出ます。
それが安倍晋三でした。たいした度胸だった。
でも、学校でそれが許されるはずはない。
あと1週間でノートを全部埋めてきなさいと罰が出る。
ノート1冊を埋めるのは大変です。
私がかわりに左手で書いて、疲れるとママに代わった」（乳母の証言）」
嘘つきが首相なんて最低最悪の国辱だよな
373:１３２人目の素数さん
20/05/20 17:17:10.41 YWqolfYo.net
URLﾘﾝｸ(togetter.com)
成蹊大某元教授
「安倍晋三氏は必修だった政治学の授業に一度も出席しなかった。
だから不可を付けたが気が付いたら卒業していた。
どんな秘策を使ったか知らないが、
こんな輩が日本の総理大臣だということを
私達は肝に命じるべきだろう。」
成蹊大学、大丈夫か？
374:現代数学の系譜 雑談
20/05/20 17:22:20.58 vYwp2FSf.net
自分も、査読者なら、理解できなけば、著者に対して「理解できないから、説明しろ」と求めるべきだと思う
で、納得できる説明が出来ないなら、リジェクトで良いと思う
アクセプトした以上は、査読者は（自分なりに）理解できていなければならない（自明だけどな）
余談だが
で、第三の選択肢としは、「正しそうだが、論文が膨大すぎて、査読の時間が取れない」とか、事情があるなら
「自分は、おりるから、他の適当な遠アーベルの専門家に査読してもらうよう」と、宣言するのもありでしょうね（これも自明だが）（＾＾；
アクセプトして、灰色はありえない
白か、リジェクトか、二択ですよ
375:１３２人目の素数さん
20/05/20 17:24:02.52 YWqolfYo.net
URLﾘﾝｸ(www.excite.co.jp)
「週刊ポスト」（小学館）04年2月13日号が、
当時、南カリフォルニア大に確認、
広報担当者からこんな回答が得られたことを
記事にしている。
「シンゾウ・アベは78年の春期、夏期、秋期のみ在籍しています。
その間は本学の正規の学生であるが、専攻はまだありませんでした。
取得したコース（講座）は全部で6、
そのうち3つは"外国人のための英語"です、
政治学は入っていません。
1コースは4単位ですから取得単位は24。
卒業できる数字ではありません」
「南カリフォルニア大学政治学科に2年間留学」
の実態がこれですか・・・（ドイヒー）
376:１３２人目の素数さん
20/05/20 17:26:40 YWqolfYo.net
>>357
じゃ、あなたも、望月論文の査読者を批判すべきだね
アクセプトしたのに、白だと示せないんだから
それが論理的思考だよ
377:１３２人目の素数さん
20/05/20 17:41:18 5tTYAZgV.net
桜坂46＝ミスター維新＝Lonely Wolfだろ
こいつは支離滅裂。出入り禁止な。
378:１３２人目の素数さん
20/05/20 17:53:35 0rrp9Mw4.net
理解するのと説明できるのは別じゃない？
小学生にも分かるように微積分説明できないだろ？
379:１３２人目の素数さん
20/05/20 17:55:47 YWqolfYo.net
>>361
ショルツは小学生ではないけどなｗ
380:１３２人目の素数さん
20/05/20 18:01:44 +c5+7rU7.net
>>360
出入り禁止って
隔離スレで何いばっているんだよ
変なウィルス拡散防止のため封鎖です
381:１３２人目の素数さん
20/05/20 19:54:51 5tTYAZgV.net
>>362
望月もショルツも小学生時代に既に大学外部レベルは理解してただろうけどなw
382:１３２人目の素数さん
20/05/20 19:55:08 5tTYAZgV.net
>>364
外部ではなく学部
383:粋蕎
20/05/20 20:25:52.44 N5dEyDd3.net
顎部を殴って差し上げろ
384:１３２人目の素数さん
20/05/20 20:45:27.03 XBL4kzap.net
>>348
可能性３ 査読者はすでにこの世にいない
「私は、私の論文を理解できない馬鹿どもがどうしても許せなかったのだ！」
385:１３２人目の素数さん
20/05/20 20:59:12.84 6HZ6jRu7.net
>>364
餅やショルツってそういうタイプなの？
386:１３２人目の素数さん
20/05/20 21:14:57.43 Rd1G3G/w.net
>>368
そういうタイプだ。2人とも天才
387:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/20 21:39:19 y6TLK5vJ.net
>>359-361
>理解するのと説明できるのは別じゃない？
>小学生にも分かるように微積分説明できないだろ？
同意です
IUTを、遠アーベルの専門家に理解させる必要はないでしょ、今時点では
その前に、遠アーベルの専門家集団（含む海外）に、理解してもらうのが、先決
そのずっと後に、非専門のプロ数学研究者に理解できるようになり
そのずっと後に、数学科DR生、M生、学部生に、なんとなく分かった気にさせる解説図書が出てくる
そういう順番だと思います（＾＾
388:１３２人目の素数さん
20/05/20 21:44:21 deShQhS9.net
もっちーってすごいんだな
389:１３２人目の素数さん
20/05/20 22:23:38 6HZ6jRu7.net
頭が良いことと先取りして学習するかは別でしょ
ショルツはそういうタイプに見えないし
餅の時代はネットもないし入れ知恵してくれる大人が身近にいないと何の本読めばいいかもわからなくない？
390:１３２人目の素数さん
20/05/20 22:29:25 XfEJbaDF.net
望月がなりきれなかったグロタンディークは遅咲きだからな
391:１３２人目の素数さん
20/05/20 22:29:57 5PvMRXsd.net
小学生のときって普通の子でも図書館で乱読するじゃん
餅クラスになると乱読のレベルが違ってそう
392:１３２人目の素数さん
20/05/20 22:34:15 +MbA8zj3.net
なんで東洋の島国で共同受賞した実績くらいしかないレベルの数学者が
「天才」扱いされてるのかわからん。
出発点がすでにおかしい。
393:１３２人目の素数さん
20/05/20 22:36:37 WcwKcbPS.net
天才を実績で測らないとしても、もっちーの手法って中村と玉川が先に発見したやつなんだよね。
だからすごく新しいことができるのかって言われると、なんか疑問のような・・・
394:１３２人目の素数さん
20/05/20 22:48:40 o4RcSbi7.net
>>376 もっちーの手法って中村と玉川が先に発見したやつなんだよね
そこの手法詳しく
395:１３２人目の素数さん
20/05/20 22:52:01 o4RcSbi7.net
俺の理解する限り全然違う方法だが
396:１３２人目の素数さん
20/05/20 23:18:36 Fjru5T2R.net
最初にアーベル的数学を組織的に適用すると遠アーベルなのに解けちゃうのを思いついたのが中村で、
どのアーベル的数学を適用するかで結果を拡張したのが玉川と望月だね。
397:１３２人目の素数さん
20/05/20 23:20:42 Fjru5T2R.net
ちなみに伊原がこれを「好みじゃない」って言ってる。
遠アーベルというのは非アーベル的数学じゃないかという話だったのに、
けっきょくアーベル的な数学で解けてしま�
398:ﾁたことを指してると思う。
399:１３２人目の素数さん
20/05/20 23:33:49 o4RcSbi7.net
日本数学会の数学の解説読みました感があっていいとおもうよ
ただ中村博昭の結果は弱すぎて予想の解決とは言えないレベルだといえるが
伊原の意向により一応解決した人々の一人に入れてもらったみたほうがいい
国際的にはTamagawaとMochizukiの結果ということになっている
あとアーベル的な数学とかいう情けない言葉使わずに
マルセフ完備化程度の情報で処理できたというべきだろう
400:１３２人目の素数さん
20/05/20 23:34:39 Fjru5T2R.net
>>381
全然違う方法だが、って言ったからレスしただけ。
論点を逸らさないように。
401:１３２人目の素数さん
20/05/20 23:35:59 Fjru5T2R.net
ちらっとでも望月にデメリットな話をすると、
わかってることなのにわざわざ質問して、
的確に返されると論点をずらして関係ない話を始めるひと、
同一人物なんか知らんが芸がない。
402:１３２人目の素数さん
20/05/20 23:40:01 bLvWtlg0.net
そもそも国際的にはっていうほど有名な成果でもないしな
403:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/20 23:40:19 y6TLK5vJ.net
>>370 訂正
IUTを、遠アーベルの専門家に理解させる必要はないでしょ、今時点では
↓
IUTを、遠アーベルの専門家以外に理解させる必要はないでしょ、今時点では
だな（＾＾；
404:１３２人目の素数さん
20/05/20 23:42:24 0QsGBjqD.net
IUT界隈、擁護すれば擁護するほど墓穴掘ってないか。
昔ならグロタンディーク予想を解いた天才だ～みたいなハッタリが通用したのに、
今じゃ過去の業績まで調べられて数学板での評価下げられてるやん。
405:１３２人目の素数さん
20/05/20 23:45:15 o4RcSbi7.net
いや全然違うだろ
玉川さんのは関数体の類体論とdegeneration technique
望月さんのはp-adicホッジ理論でp-adic上の結果
これが同じって言ってたら数論幾何は全員同じ方法で研究してることになるｗ
406:１３２人目の素数さん
20/05/20 23:46:26 47wKqMdA.net
けっきょく坊主丸儲けならぬB丸儲けか
Bも専門家の評価はそうとう下げただろうがあのひと数学より金なのかね
407:１３２人目の素数さん
20/05/20 23:48:25 zzlqVCk7.net
そもそも擁護する人がいなければ、今頃はスレが伸びずに忘れ去られていただろうな
408:１３２人目の素数さん
20/05/20 23:51:20 bwGq1kwb.net
独創性があるなら中村のポジションから出発できてるはずだ、という話じゃないの？
この手の考えはハミルトンとペレルマンにも言えるけど
ペレルマンはじぶんでハミルトンが偉いって言ってるのはさすがというか人格者だよな
409:１３２人目の素数さん
20/05/20 23:53:48 XfEJbaDF.net
結局のところ経歴が凄いだけで数学者としての成果は一般並みということだな
410:１３２人目の素数さん
20/05/20 23:55:04 bwGq1kwb.net
>>391
経歴云々も日本の学歴観ですごいって言ってる雰囲気があるんだよな
411:１３２人目の素数さん
20/05/21 00:09:08 F1gIfW6z.net
桜坂46は無理筋が多い
412:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/21 00:11:26 ROnGhytK.net
>>370
数学では、友達だからこそ、査読を厳しくするものだ！
∵ ギャップを見逃して出版した後、他の人がそのギャップを見つけて、証明を完成させたら、望月の手柄にならない
FLTのワイルズに同じ
例えば、ニック・カッツの指摘がなく、出版されたら？
ひょっとして、例えば ロシアの数論幾何学者がFLTを証明することになったかも知れないのです！
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ワイルズによるフェルマーの最終定理の証明
ニック・カッツがワイルズの論文の査読を行うレフェリーの一人として指名された。様々な質問をしたが、そのうちにワイルズ自身も認めるギャップが証明に含まれることがわかった。コリヴァキアン＝フラッハ法を拡張するのに使用したオイラー系（英語版）が不完全だったというものだった
この誤りに影響されたのは一箇所のみであった。しかしながら、この一箇所が（誤りによって）証明されないのであれば、フェルマーの最終定理の証明も成されない
数学者はワイルズに彼の仕事が完全なのかそうでないのかに関わらず彼の証明を公開させるようにプレッシャーをかけ始めた。そうすることでより広い数学者のコミュニティがワイルズの仕事を精査し、利用することができるからである
ワイルズによれば、1994年9月19日の朝、彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際におり、他の数学者が証明を発展させ、誤りを探すことができるように証明の詳細を発表しようとしていた
彼は証明がなぜ不完全だったのかを理解するための最後の確認をしていたが、不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩沢理論の適用を可能にすることに気がついた
それぞれのアプローチは単体では不適切だが、両者のアプローチを組み合わせ、双方のアプローチのツールを使用することでギャップを取り除き、すべての場合に有効な類数公式を与えた。これは参照元の論文で証明されていなかったものだった
・1998年 フィールズ賞特別賞
・2016年 アーベル賞
413:１３２人目の素数さん
20/05/21 00:12:28 6EciHgHc.net
かつての数学の挫折
劣等感と年齢とともに膨れ上がったプライドの塊のじじい
山中やら望月やら柏原やらゴミあつかいできるんだから
ただただ感心する
一般向け公開講座に変なじじいがよく来てるけど
くさい体臭ときたねえ顔近づけて質問しに近づいてくると
殴りたくなる
414:１３２人目の素数さん
20/05/21 00:14:32 emIQU+PT.net
桜坂46は自由万歳に何でか名前変えてるな
他のツイートはたんなるキモいドルオタだな
415:１３２人目の素数さん
20/05/21 00:36:49 F1gIfW6z.net
>>395
よくいるパターンではある。
416:１３２人目の素数さん
20/05/21 00:55:40 qRhd1mNM.net
望月をノーベル賞何個分の天才と持ち上げて、
遠アーベルを大きく見せようという魂胆が見えて見苦しいよ。
望月はパンダではないぞ。
417:１３２人目の素数さん
20/05/21 00:58:41 KA7tMHD/.net
むしろRIMSの客寄せパンダにしようとして失敗した感じじゃね
418:１３２人目の素数さん
20/05/21 04:07:14 y3kTTjNU.net
諸法無我はmath jinの裏垢？
419:１３２人目の素数さん
20/05/21 05:09:33.46 KgGu2hHT.net
らしいよ。
420:１３２人目の素数さん
20/05/21 06:20:22.93 MrMDabso.net
>>394
そもそも何書いてるのかわからん論文の査読なんて厳しくしようがない
ショルツはそんな無理筋の論文から穴を見つけ出したからすごい
421:１３２人目の素数さん
20/05/21 06:22:22.50 MrMDabso.net
>>395
＞くさい体臭ときたねえ顔
学会とか国際会議とかで
どこの浮浪者が紛れ込んだか
と思ったら、実は偉い数学者だった、
というのはよくある
422:１３２人目の素数さん
20/05/21 06:36:07.21 MrMDabso.net
＞IUTを、遠アーベルの専門家以外に理解させる必要はないでしょ、今時点では
そんな状況で、あの論文を掲載させる必要はないでしょ
名声乞食か？
423:１３２人目の素数さん
20/05/21 07:23:10.11 UiSkDk9d.net
何故無いのか分からん
徐々に広がっていくプロセスの一環として前提になるプロセスだから必要だね
現時点の状況に左右されるものでは無い
頭がおかしいのではないか？
424:１３２人目の素数さん
20/05/21 08:
425:00:36 ID:MrMDabso.net
426:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/21 08:04:28 ROnGhytK.net
>>394 補足
>数学では、友達だからこそ、査読を厳しくするものだ！
>∵ ギャップを見逃して出版した後、他の人がそのギャップを見つけて、証明を完成させたら、望月の手柄にならない
これは、RIMSの立場から見ても同じ
”望月の手柄にならない”ということは、RIMSの手柄でにもならないということ
だから、きっちり査読して、徹底的に疑問点は潰したはず
お分かりでしょうか？ RIMSの立場から見て、手柄がABC解決のRIMSが手から逃げて行かないという自信があるからこそのプレス発表に間違いないのです（＾＾；
>数学者はワイルズに彼の仕事が完全なのかそうでないのかに関わらず彼の証明を公開させるようにプレッシャーをかけ始めた。そうすることでより広い数学者のコミュニティがワイルズの仕事を精査し、利用することができるからである
>ワイルズによれば、1994年9月19日の朝、彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際におり、他の数学者が証明を発展させ、誤りを探すことができるように証明の詳細を発表しようとしていた
今回のIUTについては、すでに公開されているので、当てはまりませんが
もし、未公開なら、同じように
”彼の仕事が完全なのかそうでないのかに関わらず彼の証明を公開させるようにプレッシャーをかけ始めた”
となるでしょう
∵ ABCが解決されたとなると、その影響は甚大です。捨ててはおけないのです
今回は公開されているが、IUTの是非は 当然徹底的な検証の対象になります
査読完了のアナウンスの後も、数学界の検証は続きます。当然ですよ
427:１３２人目の素数さん
20/05/21 08:17:27 MrMDabso.net
>>407
＞きっちり査読して、徹底的に疑問点は潰したはず
しかし、実際には、全然潰せてない
RIMSがなぜ今頃プレス発表したのかは知らん
2017年12月にアクセプト見込みとリークされてから
さらに2018年に3月にS&Sの変があり、
その決着もどうなったのか明らかでなかったから
内外から「どうなってんだ？一体」と云われてるんだろう
今「証明になってませんでした」と認めてしまうと
科研費の申請でウソ書いたことになり追及されるから
「私たちは証明だと思ってます」と言い張ることにしたんだろう
それが地獄へ向かう道かもしれんとしてもな
自信なんかないだろ
玉川が「（査読過程は）墓場まで持っていく」といったのがその証拠
自信があるなら、そんなこといわない
査読報告書を公開する
そうしない（できない）のは裏があると思われても仕方ない
論文の検証をしたいだけなら、PRIMS投稿の必要はない
PRIMSに投稿して掲載するのは成果だといいたいため
要するに名声を欲したわけだ まさに名声乞食
しかし実際には査読がザルだったと露見した
当初の目論見は完全に失敗したわけだ
記者会見がまるでお通夜のようだったのはそういうわけだ
柏原氏は１から１０まで承知してるだろう
IUTを、ではなく、「事件」のからくりを
428:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/21 08:20:47 ROnGhytK.net
>>407 訂正
お分かりでしょうか？ RIMSの立場から見て、手柄がABC解決のRIMSが手から逃げて行かないという自信があるからこそのプレス発表に間違いないのです（＾＾；
お分かりでしょうか？ RIMSの立場から見て、ABC解決の手柄がRIMSが手から逃げて行かないという自信があるからこそのプレス発表に間違いないのです（＾＾；
分かると思うが（＾＾；
429:１３２人目の素数さん
20/05/21 08:26:30 MrMDabso.net
>>409
＞ABC解決の手柄がRIMSが手から逃げて行かないという
＞自信があるからこそのプレス発表に間違いない
勝手にそう思い込みたがってるだけでは？
中身も理解できない素人が名声だけは欲しがるの？
今度からHNは「名声乞食」にしたら？
430:１３２人目の素数さん
20/05/21 08:39:21.93 MrMDabso.net
結局、ポイントは
「なんで不等式の中にj^2を入れていいの？」
の１点だな
望月 「ブツブツ・・・（わけのわからんこと）」
ショルツ 「気は確かか？モノドロミーが生じるからダメだろ」
デュピュイ「いや、それはあんたの設定のせいだろ？」
ショルツ 「設定とは関係ないが・・・じゃ、尋ねるが
IUTはモノドロミーの問題を回避できるのか？」
デュピュイ「それを私に訊かれても答えようがないな
ただ系３．１２は捨てるには惜しいから
望月予想として、いろいろ弄ってみるよ」
ショルツ 「好きにすれば？しかしモノドロミーがあるのに
あの結果を正当化する方法なんてあるのかな？」
もう望月のことなんか正直どうでもよくなってるんじゃね？
431:１３２人目の素数さん
20/05/21 10:40:14 1PhYG80o.net
STAPの前例があるから「研究所が発表したから大丈夫だろう」
というのはもう通用しないのだよ。
432:現代数学の系譜 雑談
20/05/21 10:42:53.20 /Gwy0a5c.net
桜坂46＝ミスター維新＝Lonely Wolfか
こいつの言っていること、ほんと ガキの理屈だな
はっきり言って、幼稚そのもの！（＾＾
話は変わるが、大人なら、”大失敗”の経験は いくつかあるはず
その時に、どう事態を収拾するか？
いくつか 方策がある
１．常道は、「正直に失敗を認め、責任を認めて、事態の収拾に全力で当たる」ことだ
２．下策は、”失敗を誤魔化そうとする”こと。”誤魔化すために、さらに嘘をいう”ことだ
つづく
433:現代数学の系譜 雑談
20/05/21 10:43:12.17 /Gwy0a5c.net
>>413
つづき
1-1．上記の1については、本来の意味での”君子は豹変す”：「過ちに気づけば即座にそれを改め正しい道に戻る」です
1-2．さらに言えば、”ビジネス史上最も優れた危機対応”と言われる”ジョンソン・エンド・ジョンソン「タイレノール事件」”でもある
（参考）
URLﾘﾝｸ(kotowaza-allguide.com)
君子は豹変す 【読み】 くんしはひょうへんす 故事ことわざ辞典
【君子は豹変すの解説】
【注釈】豹の毛が季節によって抜け変わり、斑紋がはっきりと目立つことから転じて、態度ががらりと変わることを「豹変する」という。
本来は、過ちを直ちに改めるの意味で使われていたが、現在では、自分の都合により態度を一変させる悪いほうに変わるという意味で使われることが多くなった。
URLﾘﾝｸ(bcp-manual.com)
ビジネス史上最も優れた危機対応を実現。ジョンソン・エンド・ジョンソン「タイレノール事件」 みんなのBCP 2015年10月9日
(抜粋)
事件が発生したのは、1982年9月30日でした。
タイレノールとは、ジョンソン・エンド・ジョンソンを象徴する鎮痛剤の商品名で
当時これを服用したシカゴ周辺の人々がなんと次々に「突然死」を遂げるというという不可解な事態が発生したのです。
事件発生直後に行った、マスコミを通じた情報の公開
CEOのジェームズ・パーク氏は自社には責任がないと言い逃れをすることもなく、すぐにマスコミを通して「アメリカの消費者にタイレノールを一切服用しないこと」という旨の警告を発信し、自主的に商品の回収を行いました。
「タイレノール事件」の発生後、同社が行った情報公開の対応では、当時の考え得るありとあらゆる手段を講じました。
同社は重要な情報を包み隠さず発信し続け、マスコミからの厳しい追及を受けても決して委縮せず、常に誠意ある対応を取り続けたのです。
実際、「タイレノール事件」が発生してしまった原因が、本当に毒物などの異物混入だったのかは今でも明らかになっていません。
しかし、この時同社がとった迅速な対応は、後に「ビジネス史上最も優れた危機対応」と称され、現在では経営者向けのケーススタディとして世界各国で取り上げられるまでになった
つづく
434:現代数学の系譜 雑談
20/05/21 10:45:27.25 /Gwy0a5c.net
>>414
つづき
2-1．下策：”失敗を誤魔化そうとする”こと。”誤魔化すために、嘘をいう”ことだ
2-2．これが下策なのは、多くの場合、嘘の上塗り、ゴマカシの繰り返しで、傷口を広げて、大ダメージになってしまう場合が多いこと
2-3．IUTについて言えば、もしIUTがSSの指摘の通り ダメならば、率直にそれを認める。それが上策です
2-4．それを誤魔化そうと、記者会見？ 子供じゃあるまいしｗ（＾＾；
2-5．分別ある大人なら、「数学ではウソは通用しない」し、「（ウソだと分かれば）ゴマカシはIUT以外にもあるのじゃないか？」と疑われる
2-6．結果、事はIUTから拡大してRIMS全体の信用問題に発展すること、必定です
2-7．そんな下策を、柏原＆玉川が、するわけが ない！！
全部、桜坂46＝ミスター維新＝Lonely Wolfの 彼の脳内妄想 仮想の”お話”にすぎないのですｗ！！！！
QED
ｗｗ（＾＾；
以上
435:現代数学の系譜 雑談
20/05/21 10:52:13.41 /Gwy0a5c.net
>>415 訂正
2-5．分別ある大人なら、「数学ではウソは通用しない」し、「（ウソだと分かれば）ゴマカシはIUT以外にもあるのじゃないか？」と疑われる
↓
2-5．分別ある大人なら、「数学ではウソは通用しない」し、「（ウソだと分かれば）ゴマカシはIUT以外にもあるのじゃないか？」と疑われる と知っている
だな
分かると思うが（＾＾；
436:現代数学の系譜 雑談
20/05/21 11:00:05.01 /Gwy0a5c.net
>>190
>単なる二択問題で、SSをとるか or IUTを是とするか？ ２年もかけて 全員が 間違うはずがないでしょｗ（＾＾；
もう一度強調しておくが
「単なる二択問題で、SSをとるか or IUTを是とするか？」
この部分だけを考えると
コイントスで決めても、正解確率1/2
そんなことが、２年もかけて 全員が 間違うはずがない！！（＾＾
なお、IUTになにか微細なギャップがある可能性、それはゼロではないでしょうね
しかし、SSがいうような「IUTは、（原理的に）修正不能」なんてこと、それで査読が通るはずない！
数学科生なら、学部生でも分かる話
常識以前ですよ！！（＾＾
437:１３２人目の素数さん
20/05/21 11:10:46.09 MrMDabso.net
>>413-417
また、名声乞食が妄想してるなｗ
そもそも同じ数論幾何学者でも理解できないといってる論文を
査読者が理解して受理したと考えるほうがおかしい
つまりすでにRIMSの信用問題に発展している 気づけ！
>>411の「j^2の取り扱い」こそ深刻なギャップ
素人には分からないから諦めろ この名声乞食が
438:現代数学の系譜 雑談
20/05/21 11:26:51.24 /Gwy0a5c.net
>>418
>>>411の「j^2の取り扱い」こそ深刻なギャップ
数学の内容は、自分にはわからんが（＾＾
が、「j^2の取り扱い」こそ、IUTのキモだと思うよ（下記ご参照）
また、例は上げないが、望月先生のIUTの講演などでも、必ず 「j^2の取り扱い」は出てくる
結論は、「ショルツ先生は、IUTが理解できていない」ってことだと、思っていますよ（＾＾
（参考）
Inter-universal geometry と ABC予想 (応援スレ) 45
ｽﾚﾘﾝｸ(math板:29番)
”ホッジ・アラケロフ理論の比較定理は、（大まかには）標数 0 の滑らかな楕円曲線の普遍拡大上の次数が d 未満の多項式の空間は、自然に d-捩れ点上の函数の d^2-次元空間に（制限によって）同型となるという定理である。”
か、この d-捩れ点→ d^2-次元空間と、IUTの j→j^2 と なんか関連がある気がするな わからんけどｗ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ホッジ・アラケロフ理論
楕円曲線のホッジ・アラケロフ理論は、アラケロフ理論（英語版）(Arakelov theory)のフレームワークで考える p-進ホッジ理論（英語版）(p-adic Hodge thory)の楕円曲線についての類似理論である。ホッジ・アラケロフ理論は、 Mochizuki (1999) で導入された。
望月の主要な結果であるホッジ・アラケロフ理論の比較定理は、（大まかには）標数 0 の滑らかな楕円曲線の普遍拡大上の次数が d 未満の多項式の空間は、自然に d-捩れ点上の函数の d^2-次元空間に（制限によって）同型となるという定理である。
>>72より
山下先生の下記
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
A P
439:ROOF OF THE ABC CONJECTURE AFTER MOCHIZUKI By Go Yamashita preprint. last updated on 8/July/2019. P366 A.3. Hodge-Arakelov-theoretic Comparison Theorem.で ”Note that these can be considered as a discrete analogue of the calculation of Gaussian integral is a Gaussian distribution (i.e., j → j^2) in the cartesian coordinate is a calculation in the polar coordinate ・・・” とか、望月先生の講演ネタで使っていた話の解説もあるな
440:１３２人目の素数さん
20/05/21 11:32:12 MrMDabso.net
>>419
＞数学の内容は、自分にはわからんが
＞「j^2の取り扱い」こそ、IUTのキモだと思うよ
素人がオウム返しするなよ
＞結論は、「ショルツ先生は、IUTが理解できていない」ってことだと、思っていますよ
群論やらガロア理論やらの初歩も理解できない素人がデカイ口をたたくなよ
数学じゃなく名声のみに興味がある名声乞食は数学板から失せろ！
441:１３２人目の素数さん
20/05/21 11:50:01.46 KA7tMHD/.net
>2-1．下策：”失敗を誤魔化そうとする”こと。”誤魔化すために、嘘をいう”ことだ
>2-2．これが下策なのは、多くの場合、嘘の上塗り、ゴマカシの繰り返しで、傷口を広げて、大ダメージになってしまう場合が多いこと
いわばまさに誰かさんみたいだな
442:１３２人目の素数さん
20/05/21 12:28:12.86 lERU1drM.net
科研費 宇宙際タイヒミュラー
443:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/21 13:19:41 /Gwy0a5c.net
>>420-422
そういう、子供じみた話は
（細かいことは抜きで「RIMS 柏原・玉川両氏が、”本当はIUTの失敗を知りながら、ウソツキ記者会見をしたのでは？”」という子供じみた妄想の話な）
本スレかアンチでやってくれないかな？
ここは、大人の会話をするスレなので
アホらしくて、笑う気にもならんぜ(゜ロ゜;
444:１３２人目の素数さん
20/05/21 13:23:56 1PhYG80o.net
柏原はIUTが正しいとは言っていないので嘘はついてないよ。
445:１３２人目の素数さん
20/05/21 13:32:15 /2gT6Cxp.net
ここは
お維新コピべ魔のための隔離スレです。
弁護士ディベートの詭弁より
黒が白になります
446:現代数学の系譜 雑談
20/05/21 14:14:45.78 /Gwy0a5c.net
>>424-425
まあ、お好きなように
適当に 遊んでやるよ ｗ（＾＾；
但し、覚悟しておけよ
子供じみた 屁理屈は 徹底的に叩くからね
別に、維新がどうこうとか、新左翼革命とかさ、政治談議もスレチだが許容範囲、５ｃｈだもの
桜坂とか、欅坂とか、そういう脱線も、許容範囲、５ｃｈだもの
おれは、IUTは信じないとか、それも許容範囲、５ｃｈだもの
でもな、柏原・玉川がIUTダメなのを知って しかしウソつきだとか、数学でSTAPもどき捏造論文だとか、アホくさ ガキじゃんか。幼稚だよ。小学生以下だよ。バカじゃね？（＾＾；
447:１３２人目の素数さん
20/05/21 14:41:36.20 nNzU6QA+.net
次世代幾何学研究所を潰せないからしぶしぶアクセプトしてる、
っていう非常にわかりやすい推測ができるのに、
KとTがアクセプトしたんだから正しいと思ってるの決まってる、
と強弁するほうがよっぽどお子様の屁理屈だよ。
しかも繰り返し言われてるがKはべつにIUTを正しいとは言っていない。
448:１３２人目の素数さん
20/05/21 15:08:30 uu5Ee4E/.net
そもそもこのスレのタイトルで
「査読が終り、IUTが正しいことは、99％確定です。」
と宣言し、その後、恥ずかしいコピペでごまかして
みんな笑ってると思うんだが
449:１３２人目の素数さん
20/05/21 15:26:24 F1gIfW6z.net
望月やショルツたちのレベルからすればこの掃き溜めで
ガロア理論わかってるわかってないとか罵り合いしてるのは
分数計算できないできるレベルで話してるのと大差ないと思うがなwww
450:１３２人目の素数さん
20/05/21 15:35:32 MrMDabso.net
望月熱烈支持者の◆e.a0E5TtKE
・正規部分群の定義を間違えた
・�
451:~分体の自己同型群も間違えた ・整数論は全く興味ない、と断言 ぶっちゃけなんで数学板にいるのか分らんレベル 単に「ABC予想を解いた」という名声にすり寄ってきた名声乞食
452:１３２人目の素数さん
20/05/21 15:49:21 FEYEjLvF.net
次世代幾何学研究センター
柏原正樹特任教授
森重文特任教授
中島啓特任教授
(元々次世代幾何学研究センターは
IUTを中心として設置された)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
453:現代数学の系譜 雑談
20/05/21 16:08:15.63 /Gwy0a5c.net
>>429
>ガロア理論わかってるわかってないとか罵り合いしてるのは
>分数計算できないできるレベルで話してるのと大差ないと思うがなwww
全く同意だよ
世界の一流数学者たち（含むケドラヤ）が、「IUTが読めない、分からない」と言っている中で、自分がIUTは読めるとか、５ｃｈでは絶対無いと思うよ
>>428
>そもそもこのスレのタイトルで
>「査読が終り、IUTが正しいことは、99％確定です。」
>と宣言し
１．細かいが、スレのタイトルではなく、スレのテンプレ>>1な
２．あと、SSレポートは センター試験の数学Iより簡単な問題で、A or B の二択で、制限時間２年。これを間違うようじゃ、数学者の看板を下ろせって話だよなｗ（＾＾；
３．99％確定の根拠は、以前にも書いたけど
2^8=256で、1/256=0.004 ＜1％
つまり 一人が間違う可能性が1/2として、８人全員が間違う可能性 0.004＜1％です（＝99％正しい）
査読者２人+玉川,望月,フェセンコ,Dupuy,星,南出 までで 軽く 8人ですよｗｗ（＾＾；
>>427
>次世代幾何学研究所を潰せないからしぶしぶアクセプトしてる、
”次世代幾何学研究所”なんて、いつでも潰せるよ
”ｘｘ研究所”なんて、所詮バーチャル
建物があるわけでもないし、専用の職員を雇ったわけでもない
予算いくらかしらないが、RIMS全体から見れば、数パーセント。京都大学全体から見れば、コンマ以下でしょ（＾＾；
余談だが、組織のトップの役割は、>>414に書いたように
”ジョンソン・エンド・ジョンソン「タイレノール事件」”のような 危機管理にある
いざという危機のときに 如何にリーダーシップを発揮するかにある
論文捏造事件は、東大でもあったという（下記）
そういうときに、CEOが矢面に立って事態収拾に当たらないといけないのです
”次世代幾何学研究所”なんて、場合によれば、潰せば良い。CEOが腹をくくれば、その程度なんてことはない
それが分からないのは、幼稚園児ですよ（＾＾；
（>>273より）
URLﾘﾝｸ(ja.wikipedia.org)
Ordinary_researchersは、東京大学の研究不正が疑われる医学・生命科学系の論文22報を2016年8月に告発した匿名の個人またはグループの名称
454:１３２人目の素数さん
20/05/21 16:13:28.41 zPtunedK.net
楽天ブログだけど、楽天ユーザーなのか
部屋段ボール塗れだったりして
455:１３２人目の素数さん
20/05/21 16:13:47.24 /wJ1ITpB.net
頭の悪い確率論
1/2で間違う確率で特定の8人だけ答えが揃い、ほかは反対になる確率
が問題であり、それは極めて低いのだから（1%とかいう話ではない）、
ここから出る結論は「その８人は示し合わせて不正をしている」ってことだよ。
456:現代数学の系譜 雑談
20/05/21 16:14:36.99 /Gwy0a5c.net
>>432
>”次世代幾何学研究所”なんて、場合によれば、潰せば良い。CEOが腹をくくれば、その程度なんてことはない
>それが分からないのは、幼稚園児ですよ（＾＾；
要は、ガンの手術みたいなもの
”次世代幾何学研究所”が、悪性の組織だとしましょうか？（＾＾；
”次世代幾何学研究所”を、思い切って切るべし。そうしないと、身体全体がダメになる
もし、IUTが捏造と分かれば、”次世代幾何学研究所”を切るのみならず、柏原＆玉川、望月など全員懲戒対象ですよ。無傷で済むわけがない
どっかで、カケまーじゃん やっていた話よりも
もっと、ことは重大です
要は、ガンの手術みたいなことが
457:必要になるのです（＾＾；
458:１３２人目の素数さん
20/05/21 16:16:09.42 3/Sif6e9.net
>>430
>ぶっちゃけなんで数学板にいるのか分らんレベル
お前は何で応援スレにいるんだ？
ていうか、応援スレはもはや形骸化してるから再統合した方がいい
459:１３２人目の素数さん
20/05/21 16:16:14.39 mbZ2I1QP.net
世界中の数学者で８人だけAといい、残りはBになる確率だからね。
天文学的に低い。
それなら８人で不正してるっていうほうが説得力があるわ。
460:現代数学の系譜 雑談
20/05/21 16:17:42.75 /Gwy0a5c.net
>>435
>もし、IUTが捏造と分かれば、”次世代幾何学研究所”を切るのみならず、柏原＆玉川、望月など全員懲戒対象ですよ。無傷で済むわけがない
いまの時代
論文捏造などをして、無傷で済むわけがない
その片棒を担いだ人も同罪
その理屈が分からないから
幼稚園児だと
アホだと
小学生以下のレベルの議論だというのですｗｗｗ（＾＾；
461:１３２人目の素数さん
20/05/21 16:20:28.53 khjp68qa.net
というかもともとそういう話だしな。
査読グループだけ理解できて他が理解できないのはありえない（確率的に０じゃないけどほぼありえない）、
っていう流れから問題視されてるんだし。
462:１３２人目の素数さん
20/05/21 16:28:16.32 KA7tMHD/.net
>>436
このスレはここのスレ主を隔離するためのスレなので、再統合には反対
463:１３２人目の素数さん
20/05/21 16:29:38.61 MrMDabso.net
>>432
フェセンコはともかくデュピュイは望月を支持してない
望月論文は理解できないといってるからな
464:１３２人目の素数さん
20/05/21 16:34:44.31 pqQY/KaV.net
IUTを敢えて擁護すると、査読グループは不正をしてるっていうよりは、
結局論文を理解できなかったんだろう。
でもなんかおかしい気がするから外部から呼んだ、と。
でもScholzeとStixの議論もレベルが高すぎてどっちも理解できないから、
じゃあいいやって感じで通そうとしてる。もちろんそれはまずいんだが。
465:１３２人目の素数さん
20/05/21 16:34:59.34 MrMDabso.net
>>432
＞査読者２人
名前があがってる人以外にいるような書きぶりだが・・・
もし査読者がいるとすれば、フェセンコとサイードだろう
つまり望月の支持者は、本人を除けば
フェセンコ・サイード・玉川・星・南出
の５名か
466:１３２人目の素数さん
20/05/21 16:43:47.64 MrMDabso.net
>>442
森重文は望月の暴走を危惧してるね
だから、ショルツとスティクスを呼んだ
結局止められなかったが、
森が責任を追及されることはないだろう
柏原がどこまで事情を知ってるのか不明
あるいはすっとぼけて
「ABC予想が解けたなんて画期的成果だから是非記者会見しよう」
なんていったのかもしれんね もしそうなら・・・タヌキだな
467:現代数学の系譜 雑談
20/05/21 20:15:18.00 ROnGhytK.net
京都 緊急事態宣言 解除
これで、RIMSも動き出すだろうね
URLﾘﾝｸ(www3.nhk.or.jp)
緊急事態宣言 関西2府1県を解除へ 首都圏・北海道は継続方針 NHK 2020年5月20日 20時54分
新型コロナウイルスの感染拡大に伴う緊急事態宣言について、政府は21日、大阪、京都、兵庫の関西2府1県で解除する一方、東京など首都圏の1都3県と北海道は継続する方針を固め、21日開かれる諮問委員会に諮ることになりました。
468:現代数学の系譜 雑談
20/05/21 20:17:56.50 ROnGhytK.net
柏原正樹先生、叙勲受章"瑞宝重光章" おめ（＾＾
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
RIMS
2020/5/8
柏原正樹 特任教授 叙勲受章"瑞宝重光章"
469:現代数学の系譜 雑談
20/05/21 20:23:46.51 ROnGhytK.net
『文藝春秋6月号』にインタビュー記事
読んだ
望月先生、アナロジーで考えるのがうまいと書いてあったな（＾＾；
URLﾘﾝｸ(twitter.com)
Fumiharu Kato 加藤文元
470: 2020年5月9日 『文藝春秋6月号』にインタビュー記事載りました↓ 「ABC予想証明」天才数学者・望月新一とは何者か｜加藤文元 (deleted an unsolicited ad)
471:１３２人目の素数さん
20/05/21 20:40:18.37 FEYEjLvF.net
4月5月のコロナ波は西欧からの輸入感染が原因だ。
次はRIMSの国際会議の参加者から
市中感染かも、京産大のクラスターも
あったな、、
IUTの大予言は知らんけど
472:１３２人目の素数さん
20/05/21 21:06:49 etDN76PR.net
600ページの壮大な錯覚である可能性はあるね
473:１３２人目の素数さん
20/05/21 21:36:04 UQ90NFy7.net
>>447
もっちーは当然、ブンゲンがプライベート含めてインタビューに答えるの、OKしてるんだよなぁ
単にインタビュアーと話したくない人にしか見えないな
初対面の人には心開かないタイプ？
474:１３２人目の素数さん
20/05/21 21:58:06 AyZ+GobB.net
…もっち様…
もしかして…場面緘黙症?
475:１３２人目の素数さん
20/05/21 22:10:56 C/bg83xU.net
一応日本の数学の賞としては最もランクの高い日本数学会の賞とっててもイマイチとされると
その賞すら取れていない日本のほとんどの数学者って教育者としての価値しかない？
476:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/21 22:12:02 ROnGhytK.net
＜貼る＞
当時、さっぱり読めなかったが
いま読むと、結構わかるなｗ（＾＾；
（参考）
URLﾘﾝｸ(github.com)
on 24 Feb 2016 annonymath
Brian Conrad によるオックスフォードでの IUT ワークショップのノート（試訳）
Brian Conrad はスタンフォード大学数学科の教授であり、望月のABC予想に関する研究をめぐってオックスフォードで開催されたワークショップに参加した。彼は、ABC 予想の幾何学的定式化（これが望月が調べた問題である）を与える数論の一分野、数論幾何学の専門家である。
様々な人から幾度となくワークショップの感想を尋ねられたことから、Brian は以下のまとめを書いた。彼は、非専門家でも現在の状況から何か学ぶところがあるのではないかと期待している。Nature や Quanta に今後登場する記事は、より一般向けの内容となる見込みだ［実際の記事 → Nature, Quanta］。この文書の構成は次の通りである：
背景
基本的な考え方の理解を遅らせたのは何か？
宇宙際 Teichmuler 理論 (IUTT = IUT) とは何か？
ワークショップで何があったか？
聴衆のフラストレーション
終わりに
技術的付録
URLﾘﾝｸ(mathbabe.org)
Notes on the Oxford IUT workshop by Brian Conrad
December 15, 2015Cathy O'Neil, mathbabe
URLﾘﾝｸ(www.nature.com)
NATURE | NEWSSharing
Biggest mystery in mathematics in limbo after cryptic meeting
Confusion still surrounds abc conjecture, but Oxford gathering boosts prospects for resolution.
Davide Castelvecchi
16 December 2015 OXFORD,
477:UK https://www.quantamagazine.org/hope-rekindled-for-abc-proof-20151221 Quanta magazine MATHEMATICS Hope Rekindled for Perplexing Proof Kevin Hartnett Senior Writer December 21, 2015
478:１３２人目の素数さん
20/05/21 22:14:08 F1gIfW6z.net
>>452
日本学士院学術奨励賞が何気に一番すごいのでは。
479:１３２人目の素数さん
20/05/21 22:15:01 F1gIfW6z.net
>>454
モッチーの賞の中でね。
480:粋蕎 ◆C2UdlLHDRI
20/05/21 22:17:01 yrtUewGg.net
姐さん、彼は孤独には違い無いじゃろう。血筋と生まれ、育ちと学び、其して
心の故郷を求めて日本に居を構えたと言うより日本がマシ、と言う様な住処の選び方｡
何らかの陰鬱とした精神的負担の日々を送っている可能性は有る｡
481:１３２人目の素数さん
20/05/21 22:17:52 emIQU+PT.net
文元の記事読んだけど本に書いてあったことしか書いてなかったから残念
482:粋蕎 ◆C2UdlLHDRI
20/05/21 22:20:07 yrtUewGg.net
もしかしたら本当に陰鬱とした日々を過ごしていて、冗談抜きの正気の本音で
IUTの精緻化を果たすには億劫な日々を送っているんかも知れん｡
ドラゴンクエストの堀井雄二を遥かに下回る遅筆ぶりに陥っているんじゃか知れん｡
483:１３２人目の素数さん
20/05/21 22:21:50 6EciHgHc.net
いっちゃあなんだけどレフェリーは１００人くらいついてしたし
実はSSの点についても徹底的に議論されてるから
この中の１箇所はウソｗ
484:粋蕎 ◆C2UdlLHDRI
20/05/21 22:29:14 yrtUewGg.net
まぁ、と言っても此れは、最大限好意的な憶測であって､
果たして望月氏の心に本当に悪意が生じていないのか否かについては、誰も知る由も無い｡
ゴールポスト延期エンドレス戦法による受賞権しがみつき作戦かも知れんし
若しくは日本を虚仮にする為の劇場なんかも知れんし
あたかもソフトバンクグループが日本を冒涜しきった宣伝を行い続けるが如く｡
はたまた、日本どころか世界中を虚仮にする為の劇場なんかも知れん｡
更に最悪な可能性は、小さくない権威を持ったプロによる巧妙かつ盛大なトンデモ理論提唱である可能性｡
485:１３２人目の素数さん
20/05/21 22:36:20.92 6EciHgHc.net
おまえらアホすぎるからいっておくけど
１５年以上２０年近く望月新一氏は科研費に申請すらしていない
頼まれて分担者になることはあってもほぼお金をもらっていない
受賞もいやいやでまわりに頼まれただけで学振のは受賞式にでていない
数学すらわからんくせにちょっとはしらべような
486:１３２人目の素数さん
20/05/21 22:41:59.55 UQ90NFy7.net
>>461
もっちーすごいな
ブンゲンが数学は金かかるかかる言いまくってる中、もちは本当に自分の頭の中だけで作り上げれるんだな
487:１３２人目の素数さん
20/05/21 22:42:57.16 AyZ+GobB.net
>>461
…もっちさま… ゜ 。(ﾉд`)゜。
488:１３２人目の素数さん
20/05/21 22:43:29.26 F1gIfW6z.net
モッチなら個人で資金集められるだろうな。民間からも余裕で。
特にやる気はないだろうがw
クラウドファンディングとかでも普通に1億くらい軽く集まるだろ。
489:１３２人目の素数さん
20/05/21 22:44:04.61 6EciHgHc.net
ブンゲンは金かけて外国にいって共著かいてもらうからお金がかかるんだぜ
490:１３２人目の素数さん
20/05/21 22:47:27.63 6EciHgHc.net
>>465 この発言はちょっと悪意あるから撤回する
491:１３２人目の素数さん
20/05/21 22:47:35.61 F1gIfW6z.net
>>461
へー。授賞式すら行ってないのは知らなかった。
492:１３２人目の素数さん
20/05/21 22:53:19.65 6EciHgHc.net
研究時間の無駄になるからいかなかったん�
493:ﾅっせ 最初受賞を断っていてまわりに説得されて辞退しなかったくらい これくらい集中したい！
494:１３２人目の素数さん
20/05/21 22:53:20.39 6EciHgHc.net
研究時間の無駄になるからいかなかったんでっせ
最初受賞を断っていてまわりに説得されて辞退しなかったくらい
これくらい集中したい！
495:１３２人目の素数さん
20/05/21 22:54:22.00 6EciHgHc.net
投稿バグってる
496:１３２人目の素数さん
20/05/21 22:55:24.24 WT/FVANi.net
万年准教授のぼやき
昔はよかった
昔は黒板とチョークだけでよかった
497:１３２人目の素数さん
20/05/21 22:55:26.27 AyZ+GobB.net
(がっきー…結婚してあげて…!)
498:１３２人目の素数さん
20/05/21 22:55:29.06 UQ90NFy7.net
なるほど
科研費も、そもそも申請書書く手間が嫌なのかな
その割にはドラマとか見まくってるらしいけど
東京たられば娘までみてたのは笑ったわ
ここ数年はケツに火がついて、ドラマもろくにみれないようだがね
499:１３２人目の素数さん
20/05/21 22:56:53.81 F1gIfW6z.net
>>469
それはwww
野次馬としては今IUTを次どんな感じで広げたり深掘りしていくか気になるなー。
500:１３２人目の素数さん
20/05/21 22:58:27 AyZ+GobB.net
゜。✳゜。゜(ﾉд`)゜。
501:１３２人目の素数さん
20/05/21 22:59:29 UQ90NFy7.net
>>468
案外、研究時間の無駄よりも人目に晒されて色々聞かれるのが嫌なのかもよw
ブンゲンは優しく話聞いて、持ち上げてくれるんだろうなぁ
502:１３２人目の素数さん
20/05/21 23:01:17 F1gIfW6z.net
>>476
数学だけでなくいろいろな議論のポイントが噛み合うのかもしれん。
503:１３２人目の素数さん
20/05/21 23:03:13 r7OiE+of.net
>>476
IQが20違うと会話が成立しないんだっけ
テレビとは会話しなくていいから楽なんだろう
504:１３２人目の素数さん
20/05/21 23:08:37 AyZ+GobB.net
゜。✳゜。゜
。○゜。ここ数年は
゜。ケツに火がついて゜。✳゜
ドラマもろくに見れないよう...
゜。
。゜○。゜
゜。✳゜。*゜。゜(ﾉд)゜。
505:１３２人目の素数さん
20/05/21 23:10:47 6EciHgHc.net
ブンゲンと望月氏はIQ２０はかるく違うと思うけど ゴメン
一周まわってかみあうんじゃないかな
二人が楽しめるのがその証拠だと思うよ
焼肉あみやきやでたのしくやってたんだろ
506:１３２人目の素数さん
20/05/21 23:15:10 V/3JPeOt.net
ブンゲンて攻撃性なくて普通っぽいもんな
他の数学者って頭が固いか顔が固いか性格が固いか変人か攻撃的かのどれか
507:元捜査一課長
20/05/21 23:18:50 WT/FVANi.net
犯人は10代または20代または30代または40代または50代の男または女でしょう
508:１３２人目の素数さん
20/05/21 23:20:01 6EciHgHc.net
ブソゲソは今回表に出たがらない本人の
かわりにスポークスマン役をかって出ていてそれでていて
まあまあはまり役で楽しんでいるので感心している
509:１３２人目の素数さん
20/05/21 23:29:42 pqQY/KaV.net
科研費に申請してないのって他人に評価されるのが嫌だから、
っていうので外部に説明責任果たさないところとなんか被ってる気がする。
510:１３２人目の素数さん
20/05/21 23:30:01 F1gIfW6z.net
>>483
文元さんはIUT絡みの研究やらんの？
511:１３２人目の素数さん
20/05/21 23:33:25 QAdTV/tM.net
今回の件、望月が積極的に絡んでるんじゃなくて、
まわりが望月の業績で資金獲得しようとしたらその業績が間違っていて、
ひっこみがつかなくなったという流れっぽいんだよね。
512:１３２人目の素数さん
20/05/21 23:35:41 UQ90NFy7.net
>>484
もし落とされたら３年くらい再起不能になりそうw
513:１３２人目の素数さん
20/05/21 23:37:02 6EciHgHc.net
>>485
ore ha wakaranai
メールして聞いてみたら意外と返信あるかも
514:１３２人目の素数さん
20/05/21 23:45:57 6EciHgHc.net
お前ら全然わかっていないから軽く注意しておく
RIMSの人たちは巨大研究費に興味がない
調べてみれば分かると思うが意外とRIMSの人たちはでかいのをとっていない
というか最初からとりにいっていない
でかい研究費をあてるとお金を使うために逆に研究以外で忙しくなってめんどくくさくなる
基盤Sとか大きな研究費当てたがるのは地方大学の二流三流の研究者
でかい研究費を
515:当てるのがステータスと思っているか 自分の関係者の出来損ないのポスドクを特任で採用するため
516:１３２人目の素数さん
20/05/21 23:49:21 6EciHgHc.net
神戸とか大阪とか名古屋とか東北とか調べてみるとわかるとおもう
517:１３２人目の素数さん
20/05/21 23:57:09 bDtp1czm.net
>>489
じゃあ次世代幾何学センターも廃止でいいじゃん。金の無駄。
518:１３２人目の素数さん
20/05/21 23:57:50 aDK00zly.net
そこまで無欲アピールするならPRIMSに載せる必要もないしな。
519:１３２人目の素数さん
20/05/22 00:04:51 6EhJwuRK.net
二度と海外には行かないという決意を感じるな
520:１３２人目の素数さん
20/05/22 00:06:25 PAD81S3v.net
>>491
RIMSには共同利用・共同研究拠点って研究所の役割があるだけ そこのテーマ
少しは勉強しよう これ以外にも共同利用の研究会はたくさんある
>>492
研究の認定はピアレビューのある雑誌での出版
研究は出版して初めて研究論文が完結する世界であることを理解してからものをいおう
たくさん研究費をとることとよい研究論文を出版することは線形独立
521:１３２人目の素数さん
20/05/22 00:06:30 UQrRsKBf.net
妬みがすごいな
522:１３２人目の素数さん
20/05/22 00:07:25 Bx0mrhZY.net
本当に霞くっていきたいなら
最初から大学になんて行ってないだろｗ
523:１３２人目の素数さん
20/05/22 00:11:13 oaXyklxK.net
>>494
ペレルマンの論文はarXivの時点でだいたい正しいって認定されてるじゃん。
ペレルマンと比較して俗物的すぎるのよね。
524:１３２人目の素数さん
20/05/22 00:11:24 PAD81S3v.net
それはともかく
佐藤幹夫氏がRIMSを私物化していた時代だったら
知ったら君ら怒り狂っていたと思うけど
525:１３２人目の素数さん
20/05/22 00:11:51 QHSdqkYA.net
好きな数学の話ができる人が欲しかったんでしょ
526:１３２人目の素数さん
20/05/22 00:12:46 QHSdqkYA.net
>>499は>>496さんに、でした。
527:１３２人目の素数さん
20/05/22 00:12:56 tPPf2oDB.net
>>498
論点が意味不明なんだが、佐藤幹夫は間違ってそうな論文の強行掲載をしたことがあるのか？
論点ってそこだけだろ。
528:１３２人目の素数さん
20/05/22 00:13:43 tPPf2oDB.net
金に興味があるかどうかなんてどうでもいい。
問題は今回みたいなプロセスに疑義のある強行掲載の不祥事は前代未聞だってことだけ。
529:１３２人目の素数さん
20/05/22 00:13:51 UQrRsKBf.net
>>488
メディアはいろいろいうけど徐々に若い人も集まってきてる感じするから展開気になってます。
IUTの次にモッチが何をターゲットに研究していくのかも気になるわ。
530:１３２人目の素数さん
20/05/22 00:16:13 PAD81S3v.net
大学いくなんて俗物
論文を投稿するなんて俗物
研究費応募するなんて俗物
共同利用のテーマにされるなんて俗物
俗物認定の基準がヤバイ
お前らまさか空気吸ってないよな俗物過ぎるぞ
531:１３２人目の素数さん
20/05/22 00:17:38 UQrRsKBf.net
しかし久々にこのスレに6EciHgHc氏みたいなまともなレスをする人間が現れた気がw
532:１３２人目の素数さん
20/05/22 00:18:41 OsuwN5QX.net
無根拠にRIMSは清廉潔白だ、と言い張って、
しかも地方の研究者とか佐藤幹夫の名誉を貶めてるのがまともなのか？
533:１３２人目の素数さん
20/05/22 00:20:31 UQrRsKBf.net
IUTの研究会、ノッティンガムの他に中国、フランスの参加者が増えてた気がしたけど
中国だと今数論の研究の方向どういう感じで見てるのか気になるなー。
534:１３２人目の素数さん
20/05/22 00:22:58 ch/jSopg.net
jinと諸法無G, 早く寝ろ
535:１３２人目の素数さん
20/05/22 00:23:54 8fBFxuYO.net
もう議論が堂々巡りだから話すことも実際にはないんだよな
擁護するとしたら
査読者がいいっていったからいいんだ
っていう論法か、他の数学者の悪口を言って相対的に持ち上げるしかないし、
批判してる側の新しく批判する内容も出てこないし
536:１３２人目の素数さん
20/05/22 00:29:37 UQrRsKBf.net
そりゃ
537:メディアの記事とtwitter周りしか話理解できないから堂々巡りになるわなw
538:粋蕎 ◆C2UdlLHDRI
20/05/22 00:31:45 OHCJf9VK.net
>>472
そらおかしいじゃろ姐さん、当人らの一方の気持ちだけ汲み取って言うのは、おかしいじゃろ
539:１３２人目の素数さん
20/05/22 00:31:55 PAD81S3v.net
日付かわって昨日のID:6EciHgHcだけど
頭の固くなった頭の大きなおじさまには何をいっても
いまさらどうしようもないし生産性もなく
そういうじいさんはぶつぶついいいながらさっさと棺おけに入ってもらったほうがいいとおもっているんだけど
ちょっと研究者の世界にいればすぐわかるようなことも知らずにデタラメをかたるんで
ついついつっこんでしまいたくなっただけ
佐藤幹夫の件は普通知っていると思うけどブラック過ぎるからやめとく
540:１３２人目の素数さん
20/05/22 00:36:06 T3jZkptd.net
>>512
>佐藤幹夫の件は普通知っていると思うけどブラック過ぎるからやめとく
知らないので是非教えてください
541:１３２人目の素数さん
20/05/22 00:37:15 JfewJzUd.net
いえ、書かなくて大丈夫です
542:１３２人目の素数さん
20/05/22 00:39:33 T3jZkptd.net
>>514
あなたも知っているんですか？
意地悪せずに教えてください
543:１３２人目の素数さん
20/05/22 00:44:37 QHSdqkYA.net
>>512
軽く深げw
544:１３２人目の素数さん
20/05/22 00:46:57.83 feYYW3wJ.net
IUTスレ、前からIUT界隈以外の数学者を侮辱しまくったあげく、
自分が特定の人物から攻撃を受けてると主張してるやつがいるよな。
545:１３２人目の素数さん
20/05/22 00:49:49.72 PAD81S3v.net
書くと自分自身が灰色のなりそうなんでやめます
RIMSはそれ以外にも人命にかかわる案件が数件はあるし
絶対口外できない
Faltingsだって毒舌で日本人一人...
546:１３２人目の素数さん
20/05/22 00:49:59.94 QHSdqkYA.net
(…ﾁｯ!…ｯｾｰﾝﾀﾞｮｯ!
ε٩(#`·₃·)۶з) >>511
547:１３２人目の素数さん
20/05/22 00:52:25.61 QHSdqkYA.net
(もっちさまが。。。
がっきーさんと結婚できますょぅに…)
548:１３２人目の素数さん
20/05/22 00:54:23.08 PAD81S3v.net
詳しくは研究者になってワークショップの懇親会などで
京都出身のおじいさんらに聞いてみると
もしかするとおしえてもらえるかもしれませんよ
549:１３２人目の素数さん
20/05/22 00:56:16.93 acY/8NRQ.net
RIMSの内部通を自称するなら今回の不祥事が内部でどう扱われるのか書いてくれんと新鮮味がない
550:１３２人目の素数さん
20/05/22 01:01:36.38 x6WU4Fb/.net
佐藤幹夫って誰？
551:１３２人目の素数さん
20/05/22 01:05:14.37 T3jZkptd.net
匿名掲示板に書き込むくらいなら全然大丈夫ですよ
552:１３２人目の素数さん
20/05/22 01:07:29.69 PAD81S3v.net
>>523
数学の天才
553:１３２人目の素数さん
20/05/22 01:13:48.87 qP813p7t.net
アクセプトされたけと、IUTのabc証明はグレーなん？
554:粋蕎
20/05/22 01:16:01.14 OHCJf9VK.net
>>512
其れ…実説の流布？其れとも風説の流布？
あぁ最初に言うとくが事実供述にしろ裏が取れん内に言うたと成ると出任せ判定に成り､
後で事実と判明した後でも情状酌量して貰える位にしか成らんぞ｡
つまりは、事実と判明する前に世間に明るみにして風評侵害を齎した、言う事｡
初犯なら厳重注意記録にしか成らん例が多いが常習犯ならキッチリ法の落とし前を付けさせられるわ｡
555:１３２人目の素数さん
20/05/22 01:18:21.38 PAD81S3v.net
証明が青と黄色と赤だったら学会っぽいｗｗｗ
556:１３２人目の素数さん
20/05/22 01:19:08.41 MAS5BbiO.net
>玉川教授は「全く新しい理論で、
さらなるインパクトを生み出す可能性
がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と�
557:ｹを張った RIMSは数理.数学の共同利用・共同の 研究拠点からポストモダン.数秘術 のクラスターになったのね
558:１３２人目の素数さん
20/05/22 01:24:41 WyQ/1f2R.net
abc予想の論文出した直後に出回ってた写真、
黒いスーツ着てるのや白いポロシャツ着てる前歯出して変態っぽい写真とかだとまだわりと若い感じなのに
最近のはもうすっかりおじさんだね
たった8年でこんな老けるか
559:１３２人目の素数さん
20/05/22 01:25:42 PAD81S3v.net
心配しなくても玉川さんはお前らの
１００億倍賢くて１００億倍は注意深いから
それ以上にお前らに関係ない話ｗ
560:１３２人目の素数さん
20/05/22 01:29:06 UQrRsKBf.net
>>531
これは間違いないな。ラジオ聞いたけどすげー頭いいのがわかるw
561:１３２人目の素数さん
20/05/22 01:31:23 T3jZkptd.net
>>531
ショルツは？
562:１３２人目の素数さん
20/05/22 01:33:05 UQrRsKBf.net
佐藤幹夫の朝起きて云々に話は才能がなければついてけないわな
どこまでも追い込めるような人たちの世界やねー
563:粋蕎 ◆C2UdlLHDRI
20/05/22 01:36:39 OHCJf9VK.net
>>519-520
女のアンタが何で女側の気持ち無視して結婚してやりぃ言うんじゃ？
身内か？大奥気取りか？何で女なのに女側の敵に回る真似するん？
人に吹っ掛けずに自分でかぶればええ、つまりアンタが結婚してやればええ言う事｡
まさか自分じゃできねぇ無理じゃ言って人にやらす様な人間じゃ無かろうなぁ姐さんはぁ？
564:１３２人目の素数さん
20/05/22 01:38:49 QHSdqkYA.net
゜。゜✳。゜
。○゜
゜前歯出して変態っぽい写真
゜○。゜
。゜。✳゜。゜(ﾉд)。゜
565:１３２人目の素数さん
20/05/22 01:41:59 T3jZkptd.net
老人同士の生産性０のレスバやめい
566:１３２人目の素数さん
20/05/22 01:42:16 QHSdqkYA.net
>>535(ｷｺｪﾅ~ｨ!(ﾉ ﾟдﾟ))
567:１３２人目の素数さん
20/05/22 01:45:54 PAD81S3v.net
>>531
Scholzeも出してる結果を見る限りめちゃんこ賢いよ 話したことないけど
Woitのブログにはいきなり間違えたこと書いこんでてふいたけど
そこらへん注意深さはないね
Wiotって日本でいう茂木健一郎的な立ち位置なんかな
568:１３２人目の素数さん
20/05/22 01:48:53 PAD81S3v.net
佐藤幹夫って朝起きたときには数学にとかなんとか
いうてるけど彼自身数学やってないときには全然なんもやってないんだよな
俺はいつもやっていないけどｗ
569:１３２人目の素数さん
20/05/22 01:50:10 T3jZkptd.net
>>539
>話したことないけど
まるで玉川とは話したことがあるかのような書き込みだな
570:１３２人目の素数さん
20/05/22 01:53:26 UQrRsKBf.net
>>539
根性の曲がった竹内薫じゃないか。
研究者じゃないしな。
571:１３２人目の素数さん
20/05/22 01:54:29 PAD81S3v.net
>>541 あったらまずい？ｗｗ
572:１３２人目の素数さん
20/05/22 01:55:51 T3jZkptd.net
>>543
信じられないので証明してください
573:１３２人目の素数さん
20/05/22 01:56:09 UQrRsKBf.net
FaltingsのページのSelected Ph.Dにモッチいるのなw
まあ当然といえばそうだがw
URLﾘﾝｸ(www.hcm.uni-bonn.de)
574:１３２人目の素数さん
20/05/22 01:58:17 PAD81S3v.net
>>544
玉川さんめっちゃ性格いいｗｗ
575:１３２人目の素数さん
20/05/22 02:00:03 T3jZkptd.net
しょーもな
576:１３２人目の素数さん
20/05/22 02:05:04 WyQ/1f2R.net
>>545
これって数学者になったのがここに出てる人だけなのかな？
それとも数学者になったけど業績しょぼい人は載せてないのかな？
フィールズ賞学者でもこんなもんか
577:１３２人目の素数さん
20/05/22 02:12:14 PAD81S3v.net
Faltingsの学生になるだけでもう
ものすごい秀才じゃないといけないんだ
弟子をほとんどとらなかったのでこうなった
USで学部からそのまま同じ大学院にすすんで更にFaltingsにつくなんてほぼ不可能
調べれば分かるが不文律があって
どんなに優秀でもほとんどのUSの学生は学部と院はかえないといけない
望月氏はSGAを全部読んでから来いといわれたらしいし
578:１３２人目の素数さん
20/05/22 02:14:02 UQrRsKBf.net
>>548
さすがにもっといるだろうし、selectedというだけに弟子と認めた�
579:lしか載せてないと思うわ。
580:１３２人目の素数さん
20/05/22 02:16:20 PAD81S3v.net
１９や２０のとき望月氏がよみ終わっていたSGAを俺なんかいまだほとんど読んでないからねｗｗ
絶望する
581:１３２人目の素数さん
20/05/22 02:19:34 PAD81S3v.net
実はFaltingsが一番熱心に指導してたのは娘という説があって、あんまりできないもんだから
親父ががんばっていたという
582:１３２人目の素数さん
20/05/22 02:20:42 UQrRsKBf.net
>>552
それはワロタ
Faltings人相悪くて指導教官としては鬼な感じが滲み出てる。
583:１３２人目の素数さん
20/05/22 02:22:26 UQrRsKBf.net
>>551
BrianConradもあの長いのは全部読まなくても道具は手に入るとかレポートに書いてた気が。
584:１３２人目の素数さん
20/05/22 02:24:05 PAD81S3v.net
彼がドイツに帰った後のMax Planckでは一時期噂になってたらしい
娘以外は優秀でどうせほっておいても大丈夫だろうし
585:１３２人目の素数さん
20/05/22 02:26:27 PAD81S3v.net
>>554
望月氏
Conradすら舌をまく秀才だったので
586:１３２人目の素数さん
20/05/22 02:53:44.66 QHSdqkYA.net
>552
(ﾉд`)。
587:１３２人目の素数さん
20/05/22 02:59:54.77 QHSdqkYA.net
>555
゜。✳゜。゜
○゜。娘以外は優秀で
゜。
✳。゜
。゜○。✳゜。゜(ﾉд)。゜
588:１３２人目の素数さん
20/05/22 03:41:34 qDsLb9zD.net
>>530
ストレスだろうね
この8年の
589:１３２人目の素数さん
20/05/22 05:20:42 QNPTQEnc.net
>>552
Faltingsの言うあまりできないってどのレベルだよ
590:１３２人目の素数さん
20/05/22 05:44:12 QaFEzNvI.net
昨日のID:6EciHgHc（投稿数１３）の言い訳
「望月新一は金もらってない」（だから詐欺ではない）
金は要らんけど名声は欲しいんだろ？
591:１３２人目の素数さん
20/05/22 05:52:17 QaFEzNvI.net
今日のID:PAD81S3v（現在、投稿数１８）の言い訳
「研究の認定はピアレビューのある雑誌での出版
研究は出版して初めて研究論文が完結する世界」
「佐藤幹夫はRIMSでやりたい放題」（だからオレもやりたい放題するぜ）
「Faltingsはひどい人だ」（チクショー見返してやるぜ）
「玉川さんはいい人」（誉めてやったからオレのいうこと聞けよ）
もしかして・・・もっちー？ｗ
592:１３２人目の素数さん
20/05/22 05:57:21 QaFEzNvI.net
>>549
＞望月氏はSGAを全部読んでから来いといわれたらしい
今、某大学の教授やってる某氏はT大でK又先生（当時）の研究室入るときに
「Hartshoneは読んどいてください」といわれたそうだが、その時
まだ読んでなかった、といってた（でも今代数幾何の研究者やってるけど）
某さん、その節は大変お世話になりました
593:１３２人目の素数さん
20/05/22 06:12:42 QaFEzNvI.net
>>494
>研究の認定はピアレビューのある雑誌での出版
>研究は出版して初めて研究論文が完結する世界
自分がピアレビューのある雑誌の編集者になって
独断で自分の論文を出版させれば架空の成果を認定できる
ってことですね？
でも、世の中そんなに甘くなかったようですよ
594:１３２人目の素数さん
20/05/22 06:28:48.20 QaFEzNvI.net
今日のID:UQrRsKBf（現在 投稿数１２）は茶坊主の典型
ID:PAD81S3vとグルだったら笑う
RIMS 緊急事態宣言解除後 初の活動は
深夜の5ch数学板でプロパガンダ！ｗｗｗ
595:１３２人目の素数さん
20/05/22 06:34:09.59 QaFEzNvI.net
余談
娘ってこの人かな
URLﾘﾝｸ(www.genealogy.math.ndsu.nodak.edu)
596:１３２人目の素数さん
20/05/22 07:27:05 ZxOmjIDr.net
>>556
たしかに秀才で天才ではないな
秀才が妄想からなんでもありの暗黒面
へ落ちていっただけ
597:１３２人目の素数さん
20/05/22 07:30:06 6EhJwuRK.net
>>530
白いポロシャツは20代かと思ってた
スーツが32くらい？
数理研の記念講演が42とか
でも51で自分に無頓着ならあんなもんじゃないのか
むしろホームページの地鶏が太って無惨に見えたから持ち直したんだなと安心したわ
598:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 07:38:24 gk5ulKI8.net
>>443
(引用開始)
もし査読者がいるとすれば、フェセンコとサイードだろう
つまり望月の支持者は、本人を除けば
フェセンコ・サイード・玉川・星・南出
の５名か
(引用終り)
非常につまらんジョークで恐縮だが（＾＾；
５名で、2^5=32で、確率は 1-2^5=31/32=0.968＝～
599:97％ ６名で、2^6=64で、確率は 1-2^6=63/64=0.984＝～98％ （６名：本人含む場合） 確かに、これだと99％（>>432）に足りないな～ｗ（＾＾
600:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 07:52:41 gk5ulKI8.net
>>453
ブライアン・コンラッド：谷山?志村予想の人だったのか（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
谷山?志村予想
(抜粋)
数学において、谷山・志村予想は、「すべての有理数体上に定義された楕円曲線はモジュラーである」という主張であり、アンドリュー・ワイルズとその弟子クリストフ・ブロイル（英語版）、ブライアン・コンラッド（英語版）、フレッド・ダイアモンド（英語版）、リチャード・テイラーらによって証明された。
今日ではモジュラー性定理またはモジュラリティ定理と呼ばれ、数論における一つの帰結と考えられている。ワイルズは半安定楕円曲線における谷山・志村予想を証明することで、フェルマーの最終定理も証明した。
モジュラリティ定理は、ロバート・ラングランズによるより一般的な予想の特別な場合でもある。ラングランズ・プログラムは、保型形式、あるいは保型表現（適切なモジュラ形式の一般化）を、例えば数体上の任意の楕円曲線のような、より一般的な数論的代数幾何学の対象へ関連付けようとする。
拡張された予想のうち、ほとんどのケースは未だ証明されていないが、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:１３２人目の素数さん
20/05/22 07:53:40 h2ThgtF/.net
数学板で安倍がどうのこうのいう輩は大抵数学とは無縁の人間だろう
602:１３２人目の素数さん
20/05/22 07:56:05 ZxOmjIDr.net
>>1
【閲覧注意】隔離スレ
>なお、このスレは本体IUTスレの43
からの分裂スレ�
603:ﾅすが、実は 分裂した No43スレの中では このスレ立ては 最初だったのです！（＾＾；） スレ主は削除されたガロアスレと 同一人物でコピぺ収集魔。 IUTスレの乗っ取りを謀るも失敗し 現在 スレ主の隔離スレ
604:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 07:56:44 gk5ulKI8.net
>>570
追加
（参考）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
谷山・志村予想について: 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
20/05/22 08:04:35 gk5ulKI8.net
>>572
1つだけ、ギャップを指摘しておく
>IUTスレの乗っ取りを謀るも失敗し
ここ、ギャップあり！ｗ
１．IUT本体スレには、殆ど書いていない
２．”No43スレ”を立てた経緯は、「自分は立てられないから、だれか立てて」という依頼があったから 立てただけで、あんまり書く気は無かったのだが
（その後、No43が2つ立って、計3つになった。その内の1つは、まだ残っている（下記））
Inter-universal geometry と ABC 予想 43
ｽﾚﾘﾝｸ(math板)
３．私の立てたNo43は、ずっと放置されていたが、4月3日の記者会見を受けて、放置されていた43を応援スレとして 使い出したってことなのです（＾＾
以上
606:１３２人目の素数さん
20/05/22 08:13:53 QaFEzNvI.net
>>569
＞５名で、2^5=32で、確率は 1-1/2^5=31/32=0.968＝～97％
＞６名で、2^6=64で、確率は 1-1/2^6=63/64=0.984＝～98％
なぜ確率1/2？なぜ独立？
607:１３２人目の素数さん
20/05/22 08:17:57.62 V3+7rBdi.net
もっちの画像ぐぐってたら急にぽんっと和服着たガッキーが出てきて癒される
本当に清楚なお嬢さんだわ
608:１３２人目の素数さん
20/05/22 08:40:12.64 QHSdqkYA.net
ｸﾞｸﾞると…
「ファルティングス」
↓
゜✳。数学者。✳゜(ﾊﾟﾋﾟｰ)
。。。
「ウルリケ」。。。
↓
・・・
「ｳﾙﾘｹ·ﾏﾘｰ·ﾏｲﾝﾎﾌ」…
「西ドイツのテロリスト、ジャーナリスト。
ドイツ赤軍の創設者、指導者の一人。
1960年代末から70年代にかけてドイツ全土で、銀行強盗、誘拐、爆破テロを行い、逮捕後、裁判中に獄死した」
゜○。
。✳゜。゜
一番熱心に指導していたのは娘
あんまりできないもんだから
。
゜。✳゜。○゜。…(ﾉд)゜
。○゜
609:１３２人目の素数さん
20/05/22 08:59:48 QHSdqkYA.net
゜＊。゜
。゜一生懸命やってても
゜早死に獄死テロリストより
。゜。埋もれてて。。。
゜＊苦＊差ｱｧｯ…!ʬʬʬʬʬʬ＊腐＊゜
。＊゜。○゜。゜(ﾉ∀`)。゜
610:１３２人目の素数さん
20/05/22 09:17:25 y0MCuuMW.net
「やりたい放題」て要するに自分の弟子を優遇するとかでしょ？
611:１３２人目の素数さん
20/05/22 09:22:47 QaFEzNvI.net
Tarskiみたいに弟子（♀）と「寝た」とかいうんなら
まさに「ヤリたい放題」だが
612:１３２人目の素数さん
20/05/22 09:34:48 laKZPzR1.net
少なくともEGA、そしてSGAも読んでいる人が多い世界で「準備も含めて1000ページ以上だ」というIUTの大言壮語は通用しないな
EGAだけで1800ページ、SGAは6500ページだし
613:現代数学の系譜 雑談
20/05/22 09:53:54.12 koULGAjk.net
>>575
(引用開始)
＞ ５名で、2^5=32で、確率は 1-1/2^5=31/32=0.968＝～97％
＞
614: ６名で、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:１３２人目の素数さん
20/05/22 09:58:34.39 QaFEzNvI.net
>>582
＞ベイズ推定もどきで
「もどき」なんだｗ
＞初期値として「二択の確率1/2 及び 独立」を仮定した
仮定が誤りだと君が認めるのは、いかなる場合？
616:１３２人目の素数さん
20/05/22 10:04:37 ZxOmjIDr.net
>>574
1 うそ
2 スレの趣旨を改変
3 応援隔離スレとなる
隔離スレでがんばれ
617:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:07:00 koULGAjk.net
>>581
>少なくともEGA、そしてSGAも読んでいる人が多い世界で「準備も含めて1000ページ以上だ」というIUTの大言壮語は通用しないな
>EGAだけで1800ページ、SGAは6500ページだし
その話は、下記 Brian Conrad の記事が参考になるだろう
>>453より（参考）
URLﾘﾝｸ(github.com)
on 24 Feb 2016 annonymath
Brian Conrad によるオックスフォードでの IUT ワークショップのノート（試訳）
(抜粋)
2. 基本的な考え方の理解を遅らせたのは何か？
時には IUT より以前に発表された望月の他の論文、一般の数学者にとっては不慣れな内容（Frobenioid や anabeliod）に関する論文への参照がなされ、数多くの新しい概念を理解する必要に迫られる。この結果として無限退行するかのような印象が生み出され、これもまた意欲を削ぐ効果をもたらした。
しばしば望月の議論は一般論から具体論へ進むという形をとるからである（論理としてはよいだろうが、新しい概念を学ぶ際には必ずしもよい順序とは言えない）。
例えば、もし望月の理論における Frobenioid（この単語は「Frobenius」と「monoid」の合成語である）という重要な概念を理解しようとしたとき、この概念を構築しようとするモチベーションが、彼の楕円曲線に関する Hodge-Arakelov 理論の研究から来ていることがわかる。
しかし、この結果として 2 つの（数学的なというよりは）心理的な障害にぶつかる：
１．Hodge-Arakelov 理論は最終的には使われない（数論的な 小平-Spencer 理論を構築することが、関数体の場合に触発された望月の当初の狙いであったが、このアプローチは失敗した）。
最終的には使われないとしたら、ただモチベーションを理解するためだけに、どれだけの時間を非自明な理論の学習に費すべきなのだろうか？（もし費すとしたら、だが）
つづく
618:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:07:31 koULGAjk.net
>>585
つづき
２．Frobenioid の理論に関するほとんどの部分（望月の、IUT より以前に発表された 2 つの論文の内容）も、最終的には使われない（特殊例のみで十分である）。
しかし、初めて学ぼうとした読者は気付かないかもしれず、全ての理論を理解しなければならないと（誤って）思い込むかもしれない。
望月の Web ページに、究極的にはこの理論のほとんどが使われないことを述べている短い注釈があるが、独学中の数学者は気付かないかもしれない。
たとえこの注釈を発見し、これらの論文のうち最終的に使われる重要な特殊例を取り扱った部分のみを読もうとしても、膨大な記号・用語や、前の方で述べられている結果が使用されているのを目のあたりにすることになる。
こうして、「特殊例を理解するためだけでも、結局のところ最も一般的な議論を理解するために最初から読まなければならないのではないか」という恐怖を（間違ってはいるものの）感じ、結局は意欲を失ってしまうかもしれない。
これは Grothendieck のエタール・コホモロジーを学ぶときのことを思い起こさせる。近年では、この理論を一から直接的かつ（多かれ少なかれ）効率的なやりかたで構築し、重要な定理を証明していくようなよい本がいくつかある。
数分冊に渡る SGA4 における Grothendieck の定式化では、非常に抽象的なトポスの一般理論を構築するために最初の何百ページもが割かれている。これは後の様々な一般化のための基礎となることを目指して書かれていた（そして後に実際に一般化された）。
このような非常な一般性はしかし、エタール・コホモロジーのみを理解しようとするためには（任意の圏を理解するためにさえも）完全に不必要である。
3. 宇宙際 Teichmuler 理論 (IUTT = IUT) とは何か？
(引用終り)
619:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:09:45 koULGAjk.net
>>584
応援ありがとうｗ（＾＾；
620:１３２人目の素数さん
20/05/22 10:17:55 QaFEzNvI.net
>>585-586
URLﾘﾝｸ(github.com)
コピペするなら、真っ先にこの箇所だろう
－－－
IUT を理解した数学者たちの責務は、より広い数論幾何学者コミュニティに重要な点を説明するために全力を尽くすことだ。
理解している数学者は、証明がどのように動いており、何が Szpiro 予想につながる最も重要な洞察なのか、他の数論幾何学者に対してよりうまく説明する必要がある。
難しい数学理論を学ぶために時間を費そうと人々を動機付けるのは、文書および口頭で効果的に重要な考え方を伝えるコミュニケーションだ。
最近の例を挙げるなら、perfectoid 空間に関する 1 年あまりのセミナーをやってみて私が気付いたのは、この話題に関して基礎となる理論の詳細はおそろしく膨大であるのにもかかわらず、要領のよいサーベイ論文や、時間・量ともに程
621:々なレクチャが理論の公表後かなり早いうちに現れたことだ。 私がオックスフォードにいた間に経験したことは全て、広く共有されている次の考えを支持している：数学においてこれまでなされた偉大なブレークスルーに対してできたように、IUT について上記のようなことができないとは思えない。 これまで 3 回ワークショップが開催された。3 年が経っている。もう半年次のワークショップまで待つというのは、このような窮状に対する答えではない。 －－－
622:１３２人目の素数さん
20/05/22 10:20:57 QaFEzNvI.net
>>588のつづき
ーーー
私がこれまで理解したどんな数学的内容についても、十分訓練を受けた数学者に対して重要な点を分かり易く示せる教育的で基本的な例や簡潔な命題が存在する。
IUT が特殊だと考える理由は、特にオックスフォードのワークショップに参加したような人々を前提聴衆とするならば、ない。
これを簡単な例で示そう。
ティーブレイクの際、解析学を専門とするポスドクと話していた。
私は、最初はまるで意味を欠く abstract nonsense だと思われたが、その実より具体的な手法では面倒な（あるいは不可能な）取り扱いを非常に効率化するような理論の例として、層論を挙げた。
このポスドクは層論で何ができるのかまったく知らなかったので、私は彼に層コホモロジーを用いて de Rham の定理と複素解析における topological obstruction を統一的に取り扱い、分析する方法を説明した；
20 分のうちに彼は理解し、もっと勉強したいと言った。
誰も IUT の重要部分を 20 分のみで理解できるなどとは思わない。
しかし、もし IUT を理解したという数学者が、教育的かつわかりやすい例や、重要な点を明快に示す簡潔な主張を提示できないのであれば、努力が足りない。
深く強力な考え方に違いないものを学ぶためならば、誰もが全力で理解しようとするだろう。
しかし彼らが旅立つ前に、これから歩を進めようとする場所の地形を頭に入れておかなければならない。
ーーー
623:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:38:39 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
20/05/22 10:47:39 koULGAjk.net
>>588-589
あなたが引用した部分については全く同意だ
(引用開始)
私がこれまで理解したどんな数学的内容についても、十分訓練を受けた数学者に対して重要な点を分かり易く示せる教育的で基本的な例や簡潔な命題が存在する。
IUT が特殊だと考える理由は、特にオックスフォードのワークショップに参加したような人々を前提聴衆とするならば、ない。
誰も IUT の重要部分を 20 分のみで理解できるなどとは思わない。
しかし、もし IUT を理解したという数学者が、教育的かつわかりやすい例や、重要な点を明快に示す簡潔な主張を提示できないのであれば、努力が足りない。
深く強力な考え方に違いないものを学ぶためならば、誰もが全力で理解しようとするだろう。
しかし彼らが旅立つ前に、これから歩を進めようとする場所の地形を頭に入れておかなければならない。
(引用終り)
それは、私の>>590
>思うに、山下サーベイに求められていたのは
>厳密な”The exposition was designed to be as self-contained as possible.”ではなく
>むしろ、ラフな ガイドブック あるいは 目的地に 楽に到達できる 道筋を示すもの（厳密さを欲する人は IUTの何ページを とか）
>だったような気がする
とほ�
625:ﾚ同じ趣旨を、もっと適確に数学的に言ったのですしょうね だが、もし、それが達成されても、あなたがIUTを数学的に理解できないことだけは、断言できな おれと、同じかそれ以下レベルだよ、あなたは、無限公理さん！ｗｗ（＾＾；
626:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:48:57 koULGAjk.net
>>591 タイポ訂正
だが、もし、それが達成されても、あなたがIUTを数学的に理解できないことだけは、断言できな
↓
だが、もし、それが達成されても、あなたがIUTを数学的に理解できないことだけは、断言できるな
分かると思うが（＾＾；
627:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:50:45 koULGAjk.net
>>591 補足
>おれと、同じかそれ以下レベルだよ、あなたは、無限公理さん！ｗｗ（＾＾；
ZFCでは、公理が無限にある？か
笑えるぜ（＾＾；
628:１３２人目の素数さん
20/05/22 10:55:37.46 QaFEzNvI.net
>>591
私がIUTを理解する必要はないが
君は、ここ、何言ってるか理解したかい？
「層コホモロジーを用いて de Rham の定理と複素解析における topological obstruction を統一的に取り扱い、分析する方法」
特に”topological obstruction”（位相的な障害）ね
629:１３２人目の素数さん
20/05/22 11:09:19 QaFEzNvI.net
>>593
まだ公理図式を理解してないの？ 実は、数学大嫌いでしょ？
630:１３２人目の素数さん
20/05/22 11:10:21 cUSKSCSg.net
RIMSは天才集団みたいな現実とのギャップがある評価が気になる。
そういう思い上がりが発生させたまちがいだと思うし。
631:１３２人目の素数さん
20/05/22 11:13:38 ERhcpVzW.net
モッチーってふと寂しくなったりすることないのかな
632:１３２人目の素数さん
20/05/22 11:16:03 QaFEzNvI.net
公理型（公理図式）
URLﾘﾝｸ(ja.wikipedia.org)
「高階論理では有限！」と脊髄反射的言訳をする前に
公理図式の具体的な使い方を理解しようね
「数学的帰納法（まさに公理図式）の中の命題Pは公理か定理に限る！」
なんて力みかえって絶叫したら大声で嘲笑されるよ マジで
URLﾘﾝｸ(ja.wikipedia.org)
633:１３２人目の素数さん
20/05/22 11:19:07 QaFEzNvI.net
ところで
星の検索結果「宇宙際 Teichmüller 理論入門」（＆「続・・・」）には
モノドロミーって言葉が全く出てこないね
634:１３２人目の素数さん
20/05/22 11:24:03 IxQXZiFM.net
自称おっちゃんです。
>>590
>自学自習をするとき、薄い本はかえって読みにくいことがある
IUT や数論幾何に限らないが、高度な数学になると、殆どの分野についてその分野の薄い本はないといっていい。
一冊でその分野の標準的なレベル以上の内容は書き切れない。
635:１３２人目の素数さん
20/05/22 11:33:46 QaFEzNvI.net
>>600
高校までの数学とはわけが違うからね
大体、全貌がわかってるような話はまずないから
例えば、トポロジーだったら２次元の場合は
向き付け可能な閉曲面の場合「穴」の数で分類できるし
どうやってそういう曲面を構成するかもわかってる
しかし３次元の場合はもう同様の「全体図」は期待できない
まさに発展途上だから
一般次元の場合、抽象的な一般論とその適用による成果の話が主
だから理屈に興味のない人はほぼ読むところがない
636:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 11:56:15 koULGAjk.net
>>594
ここだけ
私がIUTを理解する必要はないが
↓
私がIUTを理解できるはずがないが！
”あなたには”ね！ ｗｗｗ（＾＾；
637:１３２人目の素数さん
20/05/22 12:11:01 QaFEzNvI.net
>>602
公理図式の使い方、理解したか？
∈と⊂の違いも判らんようじゃ、無理か
あんた、この板で何したいの？
コピペでマウントなんて、無理だって
あんたが大学数学の初歩も分かってないってことはみんな承知だから
数学板のミソッカスで嬉しい？
URLﾘﾝｸ(ja.wikipedia.org)
638:１３２人目の素数さん
20/05/22 12:15:45 QHSdqkYA.net
>>597。○゜*。゜✳。゜
。゜
＊ ま 逃 気 ふ
゜ す れ づ と さ
。 ま る い 我 う
○ す や た に し
゜ 数 う 寂 返 て
。 学 に し っ
＊ に ま さ て
゜ 没 た か
。 頭
639: ら ○ す ゜ る ＊ の 。 で ○ せ 。 う ゜ か
640:１３２人目の素数さん
20/05/22 12:24:01.95 QHSdqkYA.net
>>604
(↑上記レス訂正致します↙)
>没たか → 没たか
>頭ら →→ 頭＊ら
(＊印·一枡空白)
641:１３２人目の素数さん
20/05/22 12:40:52.76 QHSdqkYA.net
゜。○゜。✳゜゜
。゜
＞あんたこの板で何したいの？
゜。
。゜。✳゜
。○゜(…ﾎﾟﾎﾟ…ﾎﾟｪﾑ…(*‥))
✳゜
゜。
。✳゜○。
＞数学板のミソッカスで
゜○。゜嬉しい？
。゜
(;¨)ﾊｯ!
…ｺﾞｯ…ｺﾞｺﾞ…
ｺﾞﾒﾝﾅｻ~ｨ…゜。゜(ﾉд`)゜
642:１３２人目の素数さん
20/05/22 12:47:12.65 QaFEzNvI.net
>>606
癒される書き込みなら許すよ
643:現代数学の系譜 雑談
20/05/22 13:24:28.64 koULGAjk.net
>>603
おっさんの弱点は、できるだけ記号で思考しようとしている点だよ。それで数学科落ちこぼれたんだ
ZFC 9個の公理と言わずに、8個の公理＋1個の公理図式とでもいえばよかったか？
なお、IUTがZFCの公理系に翻訳できるとしても、IUT内では必ずしも 一階述語論理とは言えないよね
∵ 圏論を使いまくりだから
それに、ZFCの保存拡大のフォン・ノイマン＝ベルナイス＝ゲーデル集合論(NBG)は、有限公理化されている
∵ クラスの概念を使うから
おっさんのシッタカは、底が見えているよｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
公理的集合論
ZF 公理系
・置換公理 "関数クラス"による集合の像は集合である：
∀ x∀ y∀ z((ψ (x,y)∧ ψ (x,z))→ y=z)→ ∀ X∃ A∀ y(y∈ A←→ ∃ x∈ Xψ (x,y)) 。
この公理は、論理式 ψ をパラメータとする公理図式である。
つづく
644:現代数学の系譜 雑談
20/05/22 13:24:46.84 koULGAjk.net
>>608
つづき
URLﾘﾝｸ(ja.wikipedia.org)
公理型
（公理図式から転送）
ナビゲーションに移動検索に移動
公理型（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。
有限公理化
型変数に代入されうる部分論理式や項の個数が可算無限だとすれば、ある公理型は可算無限個の公理の集合を表すことになる。
この集合は通常は再帰的に定義できる。公理型を用いずに公理化できる理論は「有限公理化」可能であると言う。
有限公理化可能な理論は、たとえそれらが推論を行う上で実用性に劣っていても、超数学的なエレガントさの上では幾分か優位であると看做される。
公理型の例
公理型の実例としてよく知られているものを二つ挙げる。
帰納型：ペアノ算術の一部であり自然数の算術である。
置換の公理型（英語版）：集合論の標準的なZFC公理系による公理化の一部。
これらの型は除去できないことが証明されている（最初の証明はリチャード・モンタギューによる）。従ってペアノ算術とZFCは有限公理化できない。このことは数学の様々な公理的理論や、哲学、言語学その他についても当てはまる。
有限公理化可能な理論
ZFCで証明できる定理は全てフォン・ノイマン＝ベルナイス＝ゲーデル集合論（英語版）(NBG)でも証明できるが、大変驚くべきことに、後者は有限公理化されている。新基礎集合論(NF)は有限公理化可能だが、その場合はエレガントさが幾分か失われる。
つづく