20/04/13 08:09:58.00 ukZx7597.net
>>430
まとめサイトはあってもいいけどな
ま、数論幾何の専門家がまとめる、という条件つきだけどな
SNS？やめとき どこでやろうと素人が専門家集められるわけなかろう？
あんたも今回のコロナで仕事なくて暇なんだろうが
こんなところで賢者ぶったって
「なんだ、こいつ、素人のくせに粋がって」
と笑われるだけだぞい
451:１３２人目の素数さん
20/04/13 08:10:37.82 kK9NP3Mb.net
>>416
別に焦っていない。十分時間をかけた
発表するには妥当なタイミングだったね
452:１３２人目の素数さん
20/04/13 08:20:11.07 DYqPl9DE.net
>>435
>ついでにいっとくと
>「斉藤」は優里、
>「斎藤」はちはる
>「齋藤」は飛鳥
>だぞ これ間違えっと乃木坂板でボコボコに叩かれっぞ
おサル、面白いな
ザブトン一枚！
なお、「ルーツは書き間違い「さいとう」の漢字が種類豊富な理由」ご参照
数学的には、”シュルツじゃなくてショルツ”をたしなめる根拠に成っているか 疑問ではあるよねｗ（＾＾；
（参考）
URLﾘﾝｸ(news.livedoor.com)
livedoor news
ルーツは書き間違い「さいとう」の漢字が種類豊富な理由 ※女性セブン2018年11月29日・12月6日号 2018年11月25日
(抜粋)
ざっくり言うと
「さいとう」という名字に複数の漢字がある理由について、姓氏研究家が解説
戸籍ができた明治時代に、名前登録の段階でほとんどの人が書き間違えたため
当時はひらがなの読み書きができても、漢字を知らない人が多かったとのこと
さいとうさんの“さい”は斉、斎、齊、齋など種類はさまざま。
「これは明治時代に戸籍ができて名前を登録する際、ほとんどの人が書き間違いをしたから起こったこと。
昔は、ひらがなの読み書きができても、漢字を知らない人が多くいました。そこで、正しい“斎”の字をまねて書いたつもりで書類を提出。
役所から“この斉藤でいいですか？”と聞かれても、正しいかどうか判断できないまま登録するケースが多かったんです。
わたなべさんの“辺”も同じ。渡邉が正しい。渡辺は略字です」
453:粋蕎
20/04/13 08:21:19.60 fblTsVTs.net
>>野暮天以外
なぁ皆。>>429は
> あんた、こんな匿名掲示板で何語ってんだ？
> ここには数論幾何が分かるようなヤツなんか来ねぇよ｡
と言われる様なレスか？どう考えても其の可能性を強い前提でのレスじゃと思わんか？
>>435
ん？儂、シュルツと書いたか？ショルツと書いとらんかったら済まんな､
儂ゃあ未だにスワイプ入力に慣れんでタッチ入力の都合で
よくある「ください」が「くだしあ」になる例と同じバカやらかすんじゃ｡
ああ、他板でハマーの話をするのにシュワルツェネッガーと書いた所為だ済まん｡
空手二段7人くらいまでだったら返り討ちできる、多分…いや7人は無理か、歳でバネが効かなくなった｡
454:粋蕎
20/04/13 08:33:22.58 fblTsVTs.net
> 広島の８９３のあんたが決めることじゃねえ
> 素人は黙るこった あんた歯磨いてんのか？口が臭ぇよ
URLﾘﾝｸ(t1.gstatic.com)
455:lVpEWFIv1BjIntZ_PR7ML4KwFdKJg
456:１３２人目の素数さん
20/04/13 08:52:03.97 XAAt298g.net
ショルツは京都で話し合って以降は、その後の展開をフォローしてないんじゃないの？
いちいち個人ブログ見に行くか？
457:１３２人目の素数さん
20/04/13 08:53:56.20 6BL8A6i5.net
>>430
いや、数学がすぐ役立つものじゃなくなって、
もう数世紀経つんで。
458:１３２人目の素数さん
20/04/13 08:57:29 6BL8A6i5.net
>>443
反論をしてないから、フォローしてないのか
フォローしたけど、自分の誤りがわかって動けないのかわからん。
ただ、不承認は継続してるが。
459:１３２人目の素数さん
20/04/13 09:07:53.90 8YA/oAnw.net
>>393
専門知識も無い人間として
“最先端”研究について考えられる事はこの一言に尽きると思います
若い天才といっても、専門が違えば専門家並みの習熟度に直ぐに到達出来るかも、って期待するのが無理だったのでは
天才といえどもやっぱり人間なんだな、と
数論幾何の専門家が中高年になるまで心血注ぎ込んで掛けて来た時間と人数にくらべて、若い天才といっても１人の専門外の人がチョチョイと直ぐ見抜ける
「修正不可能なギャップが根幹に有って誰も専門家が気が付かなかった」
って考え難いんですよね
460:野暮天
20/04/13 09:10:51.18 ukZx7597.net
>>440
ああ、あんたが正規部分群の定義を間違えた見栄坊の大阪人か
大阪人ってそういう性格じゃったかのう？
さいとうの件、面白かったか？
ついでに言うと別の坂だが
齊藤は京子（日向坂）だぞ
461:野暮天
20/04/13 09:15:46.58 ukZx7597.net
＞お二人が、がんくび揃えて、記者会見して
＞「ＩＵＴ理論の証明は、正しい」って言っているだから
＞99％正しいんだわ（お二人は100％の自信があるんだわ）
なんで割合が計算できるんじゃろ？
「箱入り無数目」なら選べる１００個の箱のうち９９箱が
代表元と一致するから９９％だと計算できるのはわかるんじゃが
この場合、分母と分子が何になるんじゃろ？
462:１３２人目の素数さん
20/04/13 09:38:31.52 VU6nc0Wr.net
>>446
京都大学+文元以外の遠アーベル幾何専門でIUTを理解したって言ってる人はいるんか
463:１３２人目の素数さん
20/04/13 09:44:35.40 yAJFOUX8.net
>>449
習熟者を育成している段階だそうですから、ＩＵＴ以外で独学で“習熟”するのは困難じゃないでしょうか
464:１３２人目の素数さん
20/04/13 10:13:03.41 AZP114W1.net
やはり
IUTは普通の数学とはパラダイムが異なる
IUT語で成り立ちabc予想を「証明」
したのね。
柏原玉川先生もIUT語を習熟し
パラダイムの異なる数学世界に
行かれたんだ
まあ京都限定の「定理」なんだろう
465:１３２人目の素数さん
20/04/13 10:24:10.05 6BL8A6i5.net
>>451
数学って新たな言語を作って進むもんなんよ。
正しければ追づいする。
間違ってれば否定される。
それだけのこと。
466:１３２人目の素数さん
20/04/13 10:28:56.73 AZP114W1.net
新たな言語は数学の発展なのか、
妄想なのか、言い訳なのか、
見極めが大切だな。
467:１３２人目の素数さん
20/04/13 10:33:15.89 VU6nc0Wr.net
>>450
とはいえLangの「algebra」は900ページくらいで、「EGA」に至ってはSGAを含まなくても1800ページだ
それらを乗り越えて、専門家であれば遠アーベル幾何について前提知識もあるはずなのに、
たかが1000ページ程度の論文を、8年間、京都大学+文元以外誰も読めないというのはどういうことだろうか？
468:野暮天
20/04/13 10:41:30.82 ukZx7597.net
そもそも星や山下や加藤文元は望月の論文を読んで理解しとるんかのう？
469:１３２人目の素数さん
20/04/13 10:41:46.10 my5S7sSz.net
>>447
野暮天さん、どうも
ガロアスレのスレ主です
>ああ、あんたが正規部分群の定義を間違えた見栄坊の大阪人か
１．
470:正規部分群の定義を間違えたわけじゃない！ｗ もっと基本的なところを間違えただけだよ ！！ｗｗ（＾＾； ２．大阪人ではない。「大阪人」の定義にもよるがね。但し、阪大工学部修士卒は事実だよ >大阪人ってそういう性格じゃったかのう？ その論なら、日本人性格の数学とか、中国人性格の数学とか、西洋人性格の数学とか、いろいろ出来て面白いけどな～ｗ 料理みたいものかね？ 日本料理、中国料理、西洋料理か 野暮天さんの性格の方が面白いぜ（＾＾
471:１３２人目の素数さん
20/04/13 10:44:02.54 5BBP7Q6R.net
ブンゲソはただの個人崇拝だからな。
それを公共に垂れ流してるから害悪極まりない
472:野暮天
20/04/13 10:47:33.63 ukZx7597.net
>>456
はて、ガロアスレ？そんなスレ、今あったかな？
・・・ああ、名前だけで中身は全然ガロアと無関係なんで
荒らしスレと認定されて取りつぶしにあったあのスレか
あれは酷いスレじゃったのう
＞正規部分群の定義を間違えたわけじゃない！ｗ
＞もっと基本的なところを間違えただけだよ ！！
それ、もっと悪いのう
473:野暮天
20/04/13 10:50:50.44 ukZx7597.net
>>456
＞阪大工学部修士卒は事実だよ
ん、もしかして阪大は修士だけで
学部は別ってことかのう？
474:野暮天
20/04/13 10:53:15.43 ukZx7597.net
>>456
＞野暮天さんの性格の方が面白いぜ
そうかのう？わしゃ、ただの野暮天じゃがな
インドも北と南では全然違うのう
北はインド・ヨーロッパ語族じゃが
南はドラヴィダ語族じゃからのう
ああ、南インド料理が食べたいのう
475:１３２人目の素数さん
20/04/13 10:55:02.35 my5S7sSz.net
>>446
どうも
レスありがとう
>数論幾何の専門家が中高年になるまで心血注ぎ込んで掛けて来た時間と人数にくらべて、若い天才といっても１人の専門外の人がチョチョイと直ぐ見抜ける
>「修正不可能なギャップが根幹に有って誰も専門家が気が付かなかった」
>って考え難いんですよね
そうそう それに加えて
指摘があったのが２年前で
その後、望月御大を含めて、RIMS査読者複数名、玉川先生、柏原先生が検討して
その結果の査読OKですよ
とすれば、くどいが「ショルツ先生の指摘は百も承知の上での査読OK」という結論ですよ
言わずもがな ですが
476:１３２人目の素数さん
20/04/13 10:58:18.34 7AoFLmDc.net
それは理研の小保方事件があった時点で意味のない反論。
477:１３２人目の素数さん
20/04/13 10:59:03.24 my5S7sSz.net
>>448
野暮天さんの数学、それ性格出てる？ｗ（＾＾；
＞この場合、分母と分子が何になるんじゃろ？
１．100％＝（柏原＋玉川）/（がんくび２つ）
２． 99％＝（柏原が間違う確率0.5%＋玉川が間違う確率0.5%）
QED
以上
478:野暮天
20/04/13 11:00:42.36 ukZx7597.net
＞チョチョイと直ぐ見抜ける
ジョン・ミルナーとかいう人は、
学部時代に教授が講義中に述べた未解決問題を
「宿題」だとおもって解いたとかいう逸話
の持ち主じゃがのう
有名なエキゾチック球面も、
ポアンカレ予想の反例を作ろうとしたら
通常の球面と微分同相でない球面ができた
とかいう感じだったらしいのう
479:１３２人目の素数さん
20/04/13 11:01:17.72 5BBP7Q6R.net
批判を無視しての強行掲載だろ。
スタップだってこれまでの生命科学の研究を愚弄しているトンデモとまで
レフェリーに言われてたんだから。
480:１３２人目の素数さん
20/04/13 11:03:19.01 my5S7sSz.net
>>458
野暮天さん、あんた面白い人だね
>荒らしスレと認定されて取りつぶしにあったあのスレか
誤解だな、それｗ（＾＾
隔離スレでなく
外に出て、もっと暴れろってことよ
いまみたく ｗｗ(゜ロ゜;
>あれは酷いスレじゃったのう
ここよりましよｗｗ
>それ、もっと悪いのう
確かに
”弘法も筆の誤り”
お前がいうな！ｗ（＾＾；
481:１３２人目の素数さん
20/04/13 11:04:09.84 VU6nc0Wr.net
査読OKを素直に信じてる人ってのは
編集委員会「(査読過程は)墓場まで持っていく」
↑これをなんだと思ってるんだ？😅
482:野暮天
20/04/13 11:04:14.99 ukZx7597.net
>>465
＞柏原が間違う確率0.5%
＞玉川が間違う確率0.5%
それ・・・実際のデータに基づく計算かのう
0.5%ということは1/200ということじゃなあ
つまり、200個程度の問題の解決に対して
誤った場合が1個あったということかのう？
できれば、データを全部示してほしいのう
小保方とかいう巨●のおねえさんみたいに
ありもしないデータをこしらえられても
困るからのう
ほんに、笹井とかいう人、巨●に惑わされたんかのう
女は魔物じゃのう
483:１３２人目の素数さん
20/04/13 11:07:44.94 my5S7sSz.net
>>460
野暮天さん、どうも。
(引用開始)
インドも北と南では全然違うのう
北はインド・ヨーロッパ語族じゃが
南はドラヴィダ語族じゃからのう
ああ、南インド料理が食べたいのう
(引用終り)
その話、昨日のNHK第一の地球ラジオで出てたな
（参考）
URLﾘﾝｸ(www4.nhk.or.jp)
ちきゅうラジオ - NHK
(抜粋)
▼「スペシャルちきゅうビーム！」4月12日（日）のテーマは「カレー特集」。 知りたい事、オススメ情報、あなたの思い出などお寄せください。
今回はインド南北編と題して、地域により違うインドカレーの世界に迫ります。
484:野暮天
20/04/13 11:08:02.24 ukZx7597.net
>>466
＞外に出て、もっと暴れろ
あんた・・・溜まっとるんかのう？
もしそうなら、なんか解決する方法が間違っとる気がするがのう
＞”弘法も筆の誤り”
いやいくら弘法でも、己と已と巳の区別くらいできるじゃろう
あんた、素人の分際で、自分が弘法だとか名乗ったら笑われるぞい
485:１３２人目の素数さん
20/04/13 11:11:33.32 my5S7sSz.net
>>467
(引用開始)
査読OKを素直に信じてる人ってのは
編集委員会「(査読過程は)墓場まで持っていく」
↑これをなんだと思ってるんだ？
(引用終り)
１．数学なんだから、議論は拒否していない
２．査読は普通公開はしない。公開する例など皆無と言っていい。普通のこと
（多分査読者の実名とか出すといろいろ問題が起きるし。査読は、論文と対比しないと意味がないから、査読結果は数学的には価値低い）
３．国際会議とか、公の場で議論すれば足りる
（woitブログは、公式に議論する場ではない）
486:野暮天
20/04/13 11:13:15.75 ukZx7597.net
＞編集委員会「(査読過程は)墓場まで持っていく」
玉川とかいう人 自分は墓場に入れると思っとるんかのう
このご時世、いつ野垂れ死んでもおかしくないがのう
487:野暮天
20/04/13 11:15:50.63 ukZx7597.net
>>471
＞査読者の実名とか出すといろいろ問題が起きるし
既に問題起きまくりじゃがのう
RIMSは解決する気がないということかのう
やっぱり組織ぐるみの犯行なんかのう
この国では昔よくあったことじゃが
今もきっと人の目に触れんだけで
沢山あるんじゃろうなあ
488:野暮天
20/04/13 11:17:32.91 ukZx7597.net
＞woitブログは、公式に議論する場ではない
５ｃｈは議論すらできとらんがのう
489:１３２人目の素数さん
20/04/13 11:18:30.58 my5S7sSz.net
>>470
野暮天さん、あんた面白いけど、きりがないね
>あんた・・・溜まっとるんかのう？
>もしそうなら、なんか解決する方法が間違っとる気がするがのう
自分のこと言ってんじゃない？
方法もなにも、５ｃｈなんて、そんなに真面目くさってやるものかね？ 遊びでしょ？ｗ（＾＾；
>いやいくら弘法でも、己と已と巳の区別くらいできるじゃろう
>あんた、素人の分際で、自分が弘法だとか名乗ったら笑われるぞい
確かに、野暮天さん、あんた関東かい？
”笑われるぞい”って、笑いを取りに行っているだから、笑って正解だよ。いわゆるコテコテの関西ギャグ。笑えない？ 失礼しましたｗ（＾＾；
野暮天さん、あんた面白いけど、きりがないね
ここらで切り上げるよ(゜ロ゜;
490:１３２人目の素数さん
20/04/13 11:23:08.00 my5S7sSz.net
>>463 訂正
２． 99％＝（柏原が間違う確率0.5%＋玉川が間違う確率0.5%）
↓
２． 99％＝100％－（柏原が間違う確率0.5%＋玉川が間違う確率0.5%）
スマン
算数間違えた（＾＾；
491:野暮天
20/04/13 11:24:13.08 ukZx7597.net
>>475
＞自分のこと言ってんじゃない？
いやあ、わしはもう齢じゃけえ、ええですわ
＞５ｃｈなんて、そんなに真面目くさってやるものかね？ 遊びでしょ？
あんた、若い頃も女の子相手に
「恋愛なんて、そんなに真面目くさってやるものかね？ 遊びでしょ？」
とかいうとったんじゃないじゃろね
●●なしで●●●して、相手が●●したのを
なんだかんだいって●●させたT大生がおったらしいが
有名大学に入る人なら、●●なしでしたら●●することくらい
分かるじゃろうと思うが
492:野暮天
20/04/13 11:25:44.47 ukZx7597.net
＞野暮天さん、あんた関東かい？
いろいろ点々としたせいで、方言がバラバラじゃなあ
まあ、それもええんじゃないじゃろか
493:１３２人目の素数さん
20/04/13 11:26:02.69 sx2g
494:cUJv.net
495:野暮天
20/04/13 11:27:37.82 ukZx7597.net
>>475
＞野暮天さん、あんた面白いけど、きりがないね
＞ここらで切り上げるよ
あんたこそ、ここでの活動、永遠に切り上げたら どうじゃ？
勉強嫌いがいくらコピペしても天才にはなれんぞい
496:１３２人目の素数さん
20/04/13 11:28:27.94 D9keHdgY.net
ショルツを査読者にして査読やり直せば万事解決だよ
497:野暮天
20/04/13 11:29:53.13 ukZx7597.net
＞ショルツを査読者にして査読やり直せば
まあ、リジェクトじゃろねえ
498:１３２人目の素数さん
20/04/13 11:31:13.78 6BL8A6i5.net
>>481
解決しねえよ。
会話しない奴は査読者の資格がない。
499:１３２人目の素数さん
20/04/13 11:31:35.64 6BL8A6i5.net
>>479
ないんじゃない。
500:野暮天
20/04/13 11:33:14.28 ukZx7597.net
>>480
＞きりがないね
そう、いくら漫然とコピペしてもきりがないんじゃよ
あんたも内心気づいとるんじゃろ？
数学学びたいんじゃったら、大学1年の微積分と線形代数から
やりなおしたほうがええんじゃないじゃろか？
もちろん、定義から読み直すこと
そこをすっとばして計算だけ読んだら
元の木阿弥じゃ わかるかのう？
501:野暮天
20/04/13 11:42:00.92 ukZx7597.net
見栄坊の御人は何がしたいんじゃろうなあ
数学を勉強したいなら5chに書く時間を勉強にあてたほうがええ
数学を勉強する気がないなら5chでコピペして笑われるだけだから他所で暴れたほうがええ
ま、努力が嫌いみたいじゃから後者じゃろうなあ
ニュー速でもどこでもいって日本万歳とか叫んでればええんじゃないか
おかしい者同士気が合うじゃろ
502:１３２人目の素数さん
20/04/13 11:44:27.78 AZP114W1.net
>>455
加藤文元さんは望月新一加藤文元
セミナーを開きIUTを建設した1人
です。
セミナーは「主要定理」まで至った
とか。
加藤文元本は2020IUT年カンファレンスの公式本だから全て英訳しHPに
貼りなさい、
フェセンコもお待ちかねだし
503:１３２人目の素数さん
20/04/13 11:48:29 6BL8A6i5.net
>>473
だから、掲載されたろんぶんがまちがっていても不正じゃねっての。
掲載は査読者の能力を示すだけ。
検証は永遠にできるから。
504:野暮天
20/04/13 11:50:06 ukZx7597.net
>>487
英訳するのは勝手じゃが
専門家が見たら笑われるじゃろうな
「あんたこんな本しか書けんの」って
数学者のすることではないな
まあ、もう「数学者」ではないのかもしれんが
数学者、４０過ぎたら只の人、か
505:１３２人目の素数さん
20/04/13 11:53:14 sx2gcUJv.net
>>488
そうなってしまうと、RIMSや兄弟は、
信用が低くなって、
ちょっとまずい立場になるのでは？
506:１３２人目の素数さん
20/04/13 11:55:40 AZP114W1.net
>>489
望月新一さんのまえがきもありますし、
英訳して貼るべきと思います
507:野暮天
20/04/13 12:02:51.55 ukZx7597.net
>>491
笑われてもええというんなら好きにすればええんじゃないか？
あんた あとから文句いっても遅いってことだけは覚えておくんじゃな
508:１３２人目の素数さん
20/04/13 12:14:44.38 AZP114W1.net
RIMS主催
宇宙際タイヒミュラー理論の拡がり
>加藤文元さんによる、
宇宙際タイヒミュラー理論に関する
ビデオと本
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
509:１３２人目の素数さん
20/04/13 12:16:56.06 qkHwf5S7.net
はよアクセプトせ ショルツは時間稼ぎしてるに過ぎない
510:１３２人目の素数さん
20/04/13 12:19:21.11 SZOY0HPM.net
エロビデオとビニ本
511:１３２人目の素数さん
20/04/13 12:24:03.95 pnphalBl.net
このスレ、4、5人くらいで回ってねえか？
否定派3、擁護派2くらいでww
512:１３２人目の素数さん
20/04/13 12:24:22.87 FfWhsq75.net
>>440
それは完全に間違いだ
以前は異字体が多数あって社会でもそれが許容されていた
漢字を良く知る作家だって異字体を普通に使っていた
それは昭和40年代
513:くらいまで許されていた 学校で漢字を教える都合で教師の負担が重いことから標準化が強力に進められていき異字体は排除されていった 異字体以前に旧字体新字体の大枠の違いもあるしな 旧仮名遣いの排除もあった 異字体は間違いでは無いのにテストではバツが付いてしまうようになった これで子供は使わなくなるから廃れてしまった それでも最後まで苗字には残っていたのだがね 伝統の否定に等しいね 学校テストで複数を正解にすべきなんだよ 正解が一つでは無いのだから この真実を学校教育が歪めたわけだ これは学校教育の罪の一つだね
514:１３２人目の素数さん
20/04/13 12:24:25.08 Zfv5Q3ds.net
>>490
あってると思って掲載してるんだから、
全然問題ないで。
515:１３２人目の素数さん
20/04/13 12:24:51.70 my5S7sSz.net
>>485
野暮天さん、さー
ここ大事だから言っておくが
１．
>そう、いくら漫然とコピペしてもきりがないんじゃよ
話は逆で、事実に基づかない議論は無駄で有害でもある
そのためのコピペだよ
とにかく、このスレは個人の感想というか妄想というか、根拠レスの論旨めためた大杉くん
２．
>もちろん、定義から読み直すこと
>そこをすっとばして計算だけ読んだら
じゃ、聞くけど、IUTの論文を 定義から読み直して
このスレに居て、IUTの成否を論じているのかね？？ｗｗ（＾＾：
もし、そうでなければ、ダブルスタンダードだよ！！
３．
（なお、工学では、現実に合わせて、定義も全部作り直せば良いんだよ、
純数学をヒントに、自分の便利なようにね。
コンピュータサイエンスと、数学の数理論理学の関係に同じ。
古くは、計算尺や、関数表なども、その例だな
勿論動かなかったり、役に立たない駄作はダメだが）
516:１３２人目の素数さん
20/04/13 12:25:22.19 E/8DKtpa.net
故意にやった → 不正 → RIMS解体
故意ではない → 無能 → RIMS解体
ど ち ら に せ よ RIMS 解 体 ！ ！
517:１３２人目の素数さん
20/04/13 12:31:31.57 Zfv5Q3ds.net
>>496
誰も理解できてないんだから、
否定も肯定もできない。
だから、どっちもありうるという理性派と、
無理やり否定する馬鹿のスレ。
518:１３２人目の素数さん
20/04/13 12:32:52.03 Zfv5Q3ds.net
>>500
間違ってたら、直すだけなんで。
故意はねえの。
数学で間違いを排除したら、そもそも、
研究できません。
519:１３２人目の素数さん
20/04/13 12:33:59.03 AZP114W1.net
>>496
擁護派には応援スレまであるんだねw
IUTはいくら技巧を凝らし物理まで持ち出しても基本的な
アイデアに欠けるから「証明」が
不自然と思いますよ
520:１３２人目の素数さん
20/04/13 12:36:54.85 6BL8A6i5.net
>>503
不自然だとか、そもそも、数学全体がそうなんで、
何の意味もない。
521:１３２人目の素数さん
20/04/13 12:37:33.93 AZP114W1.net
>>504
あなたにはIUT語をどうぞ
522:１３２人目の素数さん
20/04/13 12:39:40.48 my5S7sSz.net
>>497
レスありがとう
１．異体字の一般論はその通りだろう
２．昔々、日本に中国から漢字が渡ってきたのち、日本国内でもいろいろ異体字が出来たと思う
（楷書とか行書、草書の区別などもわをかけているかも）
３．さて、明治のころに戸籍制度を作ったわけだ
で、江戸までは、農民とか姓がなかったらしいけど、みんな姓を登録した
そのときに
523:、いろいろ混乱があって、異体字が増えたことは否定できないでしょ ４．さて、時代は下って、戦後になって 当時の文部省が「漢字が難しすぎるので、新字体を正にしよう」となった https://ja.wikipedia.org/wiki/%E6%96%B0%E5%AD%97%E4%BD%93 新字体（しんじたい）は、日本において、1923年（大正12年）の『常用漢字表』に示された略字制定以降、1949年（昭和24年）に告示された『当用漢字字体表』などを経て、現在まで正式に使用されている漢字の異体字である。 ５．そして、21世紀のいま 中国本国（共産党国）は簡体字、台湾が旧字体、日本は独自の新字体となっている ６．前振りが長くなったが、「サイトウ」の漢字は明らかに大杉くんです
524:１３２人目の素数さん
20/04/13 13:08:11.98 my5S7sSz.net
>>499
>話は逆で、事実に基づかない議論は無駄で有害でもある
補足
GIGO ギゴだな
間違った事実に基づいて議論すれば、間違った結論が出るってこと
(勿論、人は誤り訂正機能がついている。それが、良識（含む常識）ってものだ。良識のない議論も大杉くん（＾＾； )
（参考）
URLﾘﾝｸ(www.weblio.jp)
Weblio 辞書 > コンピュータ > IT用語辞典 > GIGOの意味・解説
(抜粋)
GIGO
フルスペル：Garbage In, Garbage Out
読み方：ギゴ，ギーゴ
GIGOとは、コンピュータサイエンスの分野において用いられる表現で、「ゴミを入れればゴミが出てくる」、つまりナンセンスなデータからはナンセンスな結果しか出てこない、という意味の言葉である。
525:１３２人目の素数さん
20/04/13 13:24:20.66 vvVnRe9y.net
Woitのブログを見る限りだと、ショルツ等の指摘に対する反論はショルツ等からすれば反論になっていないってことなのかな
526:１３２人目の素数さん
20/04/13 13:25:00.81 Ot14yWWM.net
異字体の排除 = 答案用紙を処理する業務の都合
こんな下世話な理由で民族が養ってきた記憶と文化を排除していいのか？
文化を衰退方向にベクトルを向けてしまう行為だ
事実、衰退したよな
読めない文学作品が多数なんだから
527:１３２人目の素数さん
20/04/13 13:26:48.08 7AoFLmDc.net
>>508
というか反論すること自体が間違い。
証明を埋めるという作業以外は意味ないよ。
528:１３２人目の素数さん
20/04/13 13:29:28.04 vvVnRe9y.net
Woitのブログの最新コメントの人が過激派でワロタ
>mahmoud says:
>April 13, 2020 at 12:04 am
>...
> (I’m tempted to say that IUT appears to be not even wrong.)
>...
529:１３２人目の素数さん
20/04/13 13:41:21 vvVnRe9y.net
"Orwell’s world"というのはやっぱり1984のことかな
530:１３２人目の素数さん
20/04/13 14:18:19 NmMoe8Fq.net
>>502
STAP細胞なおせよ
531:１３２人目の素数さん
20/04/13 14:18:36 my5S7sSz.net
>>476 訂正
すまん、中学の確率計算間違えた（＾＾；
（訂正）
柏原が間違う確率1割（信頼性90％）
玉川が間違う確率1割（信頼性90％）
両者が同時に間違う可能性＝0.1ｘ0.1＝0.01（＝1％）
（積事象）
よって、両名による記者会見の信頼性＝99％（＝1-0.01）
（訂正終わり）
「玉川、柏原先生 信頼性90％」って
2年かけて、ショルツ氏のたかがあれだけの指摘の検証での 正誤の信頼性として、”信頼性90％”だとか言ったら
「なめすぎだぞ～！ゴラァ～～！！」って、怒鳴り込まれそうだよ～。怖いよぉ～ぉ ｗｗ（＾＾；
532:１３２人目の素数さん
20/04/13 14:22:49 gZPWQ7Ff.net
IUTの成否など笹井なことでどちらでもいい。
当事者を厳しく責めて追い詰めると、
取り返しのつかないことになるから、注意するように。
533:１３２人目の素数さん
20/04/13 14:27:42 NmMoe8Fq.net
望月より数段劣った数学者が証明は正しいと言い
望月より数段勝った数学者が証明は正しいと言えないという
これが新薬の審査なら、官僚は認可を認めてはイケないな
534:１３２人目の素数さん
20/04/13 14:28:02 my5S7sSz.net
>>503
>擁護派には応援スレまであるんだねw
ああ
応援スレは、私が立てたけど
このスレが、最近のアンチひどすぎ
理屈もなにもあったものじゃない
数学で言えば、証明無しで
「定理：IUTは間違っている」とか
「定理：IUT to be not even wrong」とか
議論にもなんにもなってないぞ
>アイデアに欠けるから「証明」が
>不自然と思いますよ
根拠レス
もし根拠あるというなら
ａ）自分でＩＵＴ論文読んでそう判断した
ｂ）自分以外の人がそう言っていた
a) or b)
そして、多分 b)だろけど、だれがどこでどう言っていたのか？ それを示せ
もし、a)なら 許す。それは、数学として、自分の考えを述べたのだから、当然の行為ですからね！（＾＾；
535:１３２人目の素数さん
20/04/13 14:28:42 PhWYYJVW.net
>>515
もっちはそんなヤワじゃない！
536:１３２人目の素数さん
20/04/13 14:43:37 6BL8A6i5.net
>>513
STAP細胞はそもそも現物がない。
IUTは各自に好きな数だけ配られる。
お前も読め
537:１３２人目の素数さん
20/04/13 14:43:42 my5S7sSz.net
>>509
まあ、そういう考えもありますね
１．韓国のハングル、中国本土の簡体字
２．前者は日本のカタカナ or ひらがなに相当、後者は日本の新字体に相当
３．「読めない文学作品が多数」は、その通りだが
話は飛ぶけど、中国語では、「カナ」という表音表記がないので、外国名も全部漢字の当て字で表すのです
昔の明治時代みたいな
４．なので、中国では漢字二千字～三千字程度では、文盲にちかいという。漢字５千字～くらいでようやく 大人の新聞が読めるとか
だから、幼いときから、記憶力が鍛えられる
５．しかし、”漢字廃止論”というのは、昔からある。（下記）
６．”漢字”覚えるのに、時間取られたら、数学の時間なくなるぞと、数学者が考えたかどうは知らないがｗｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
漢字廃止論（かんじはいしろん）とは、中国・日本・ベトナム・朝鮮などの漢字文化圏で漢字を廃止し音標文字の採用を図る言語改革運動である。
(抜粋)
日本の状況
日本は江戸時代中期頃から、国学者らが、漢字廃止を主張し始めた。例えば、賀茂真淵は、著書『国意考』で、漢字の文字数の多さを批判し、仮名文字の文字数の少なさを評価した。その弟子である本居宣長は、著書『玉勝間』で、漢文の不自由さを批判している。
幕末期には、前島密が、1866年（慶応2年）12月に前島来輔という名で開成所翻訳筆記方に出仕していた際に将軍の徳川慶喜に漢字御廃止之議を献じた。
1872年（明治5年）、学制施行に際して、一部で日本語の文字の複雑さ・不規則性が障害であるとみなされ、福澤諭吉は「文字之教」のなかで、徐々に漢字を廃止して仮名を用いるべきであると主張し、清水卯三郎は平仮名専用説を唱えた。
538:１３２人目の素数さん
20/04/13 14:50:06 E/8DKtpa.net
>望月の論文が発表されるとどうなるかというと、本質的には数学文献の分岐点です。
>人々は望月の結果に依存する論文を書き、新しいフォークで発表されるかもしれませんが、
>コミュニティの大多数は、より大きなフォークの一貫性を維持するために、
>そのような論文を拒絶しなければならなくなるでしょう。これは良い状況ではありません。
URLﾘﾝｸ(www.math.columbia.edu)
IUTを引用した論文を更に引用して・・・と続くと
ドミノ式に数学全体の信頼性が崩壊する危険性があるから
京都発の論文は今後全てシカトするしかないという事を暗に仄めかしてるな。
539:１３２人目の素数さん
20/04/13 14:50:18 AZP114W1.net
>>517
スルー
540:１３２人目の素数さん
20/04/13 14:54:09 NmMoe8Fq.net
>>519
IUT理論は成立するという事を勝手に大前提にして
故に論文は修正すれば良いだけという詐術ですねｗ
541:１３２人目の素数さん
20/04/13 14:59:28 LWCqzmt8.net
学術の巨大掲示板群 - アルファ・ラボ
URLﾘﾝｸ(x0000.net)
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
542:１３２人目の素数さん
20/04/13 15:14:52.41 Y9js0GVd.net
おまえら好きだなあ
おまえら雑魚が５ちゃんで何を言おうとどうにもならないのに
543:１３２人目の素数さん
20/04/13 15:17:26.65 vvVnRe9y.net
>>521
当然の懸念だよね
正しさに疑問が残る論文を引用して（議論の根拠として）書かれた論文は果たして正しいか？
IUTを引用した論文が他の国際的なジャーナルでアクセプトされるかどうか、今後の展開に期待したい
544:１３２人目の素数さん
20/04/13 15:32:20.23 7AoFLmDc.net
まあ誰がそれ書くんだって話もあるが。
星ですらIUTは見切って書いてないんだし。
545:１３２人目の素数さん
20/04/13 15:37:22.29 5BBP7Q6R.net
ショルツの書き込みあるね。
やっぱりIUT村の人々は集合論圏論を根本的に勘違いしてやらかしてるんだな。
Woit激おこ
546:１３２人目の素数さん
20/04/13 15:41:52 E/8DKtpa.net
IUT自体を引用してなくても
RIMSは集合論を勘違いした集団で
集合論周りのギャップを誰も見抜けないと扱われるから
今後はRIMS関連の論文は極力引用回避する方向でしょう。
少なくともPRIMSは数学誌としては事実上扱われなくなるかと。
547:１３２人目の素数さん
20/04/13 15:44:59 CNPa1jiZ.net
IUTの論文でZFC公理系の公理の数が9個って指摘が過去スレにあったな
今は見つからないから本当なのか分からないけど、それが本当なら、
そういうところが「証明に対する認識の違い」を結果的に生んでる気はする(もちろんそのミスが直接Cor3.12の証明に及んでるわけではないが)
ただ案外数学者の中でも公理の数を9個だと思ってる人っているのかな
548:野暮天
20/04/13 15:52:19 ukZx7597.net
あー、いままで昼寝しとった
>>499
>事実に基づかない議論は無駄で有害でもある
>そのためのコピペだよ
なんで正規部分群の定義も間違えたあんたに
HPの記述が事実かどうかわかるんじゃ？
わからんじゃろ？
わけもわからず道に落ちてる物食ったら腹壊すじゃろ
あんたはネットで見つけた文章をわけもわからずコピペしとるだけじゃろ
腹下すぞい
549:野暮天
20/04/13 15:58:01 ukZx7597.net
>>499
＞IUTの論文を 定義から読み直して
＞IUTの成否を論じているのかね？？
あんた、IUTの論文見たことあるか？
あんた、定義から読み直して成否を論じられるか？
できんじゃろ？
群論も間違えるあんたに数論幾何なんかわかるわけないじゃろ
え？わし？もちろん、わかるわけがない
わしはあんたとちごて身の程を知っとるからのう
数学界の反応
550:を見て「ああ、こりゃだめじゃわい」と思ってるだけ もし、IUT論文が証明として未完成だとしても、有用なアイデアがあれば もっと好意的に評価されるもんじゃが、そんな反応でもないからな よっほどどうしようもないアイデアなんじゃろな
551:１３２人目の素数さん
20/04/13 16:00:04 5BBP7Q6R.net
Gが近頃とんと音沙汰なしなのは、気づいてしまったのかな。
552:野暮天
20/04/13 16:02:24 ukZx7597.net
>>499
＞工学では、現実に合わせて、定義も全部作り直せば良いんだよ
なんか偉そうに語っちょるが
あんた、工学でどんな実績上げてきたんじゃ？
ちょっと紹介してくれんかの
工学の世界では「なんちゃって博士」が多いと聞くがのう
ほれ、糸川英夫っておるじゃろ？
日本のロケットの父とかいわれとる人じゃ
てっきり、ロケットで学位とったと思うとったら
実はバイオリンの研究で学位とったらしいのう
まあ、なんでもええけど、ちょっと驚きじゃのう
URLﾘﾝｸ(ja.wikipedia.org)
553:野暮天
20/04/13 16:04:35 ukZx7597.net
>>507
あんた、つまらん言葉だけは、よう知っとるのう
記憶力だけで大学受験乗り切った口じゃろ
そういう人は、大学入学後、大学の学問にカルチャーショックをうけて
燃え尽き症候群に陥ると聞いたがのう あんたはどうじゃった？
554:１３２人目の素数さん
20/04/13 16:06:40 hC942ZHM.net
京都だけ、独立数学団体を作るしかないな…
命名： 令和維新群 ～俺たちは噛ませ犬じゃない
555:野暮天
20/04/13 16:09:19 ukZx7597.net
>>514
確率計算は結構じゃが、肝心の
「●●が間違う確率1割（信頼性90％）」
の根拠となるデータはあるんかのう？
何度も聞いとるが、あんた一度も示してくれんのう？
野球選手の打率も、安打数／打数で計算するじゃぞ
で、数学者の場合の、打数と安打数は何じゃ？
まさか数字もなしに、勝手に９割とかフカしとるんか？
それあんたウソツキじゃろ
556:１３２人目の素数さん
20/04/13 16:11:36 NmMoe8Fq.net
日本の数学界は腐敗してる
黙ってる奴も同罪だ
557:１３２人目の素数さん
20/04/13 16:12:57 my5S7sSz.net
>>531
野暮天さん、どうも
「顧みて他を言う」（かえりみてたをいう）の典型だな
おれのことをディスっても
自分が、IUTを論じる資格があることの証明にはならんな！ｗ（＾＾；
（参考）
URLﾘﾝｸ(imidas.jp)
顧みて他を言う イミダス･集英社
かえりみてたをいう
(抜粋)
問答に窮した者が、左右の者を顧みて、その場をごまかし言い逃れることをいう。
中国の斉の宣王が孟子（もうし）に問い詰められて返答に窮し、臣下のほうを顧みて、その場を繕ったという故事による。
〔類〕左右を顧みて他を言う
〔出〕孟子（もうし）
〔会〕「お父さん、今日こそは久子さんとの結婚を許してください」「母さん、さっき私に電話があったようだが」「顧みて他を言うなんて、あんまりです。はっきり答えてください」
558:野暮天
20/04/13 16:15:28 ukZx7597.net
>>517
応援スレって、ありゃあんたが勝手に自分の引き籠りのために
スレ立てただけじゃろ ゴミみたいなコピペに囲まれて
世間の連中は、ゴミ屋敷ならぬコピペスレというちょる
＞理屈もなにもあったものじゃない
再三、数学で間違えたあんたがそれをいうとはお笑い草じゃ
群論の件はさんざん述べたが、あんた順序数でも間違えたらしいのう
Zermelo構成のωは、無限重の{}の重なりだと豪語したとか
あんたω－１とかωー２があると思うとるんか？
そんなもんありゃせんよ ωは極限順序数じゃろう
あんたωを
559:、超準自然数かなんかと勘違いしとりゃせんか？ だから定義を読まずに、自分勝手に妄想する「自称天才」君は困るのう どんどんトンデモの沼にはまって沈んでいきよる
560:１３２人目の素数さん
20/04/13 16:15:28 my5S7sSz.net
>>534
>>539より
「顧みて他を言う」（かえりみてたをいう）の典型だな
他人のことを言って誤魔化しても
自分が、IUTを論じる資格があることの証明にはならんな！ｗ（＾＾；
（参考）
URLﾘﾝｸ(imidas.jp)
顧みて他を言う イミダス･集英社
かえりみてたをいう
561:１３２人目の素数さん
20/04/13 16:16:31 my5S7sSz.net
>>535
ぐだぐだ言ってないで、自分がIUTをどう思うか
根拠と共に語れ
できないならできないと言え
562:１３２人目の素数さん
20/04/13 16:18:58 hC942ZHM.net
宇宙際と聞いていたのに、京都限定タイヒミュラー理論だったってことですかね。
頑張ってほしいですね。
563:１３２人目の素数さん
20/04/13 16:19:03 qkHwf5S7.net
RIMSはアクセプトしなさい
望月もショルツも自信があるんだろう
やりあえばいい
そんな戦いなら 組織の信用問題には発展しないから
564:野暮天
20/04/13 16:19:36 ukZx7597.net
>>520
漢字は中国の文字じゃろう
なんで日本固有の文化なんじゃ？
ま、そんなこといいだしたらヨーロッパも
・数字 インドからアラビア経由で伝来
・文字 フェニキアから伝来
・宗教 イスラエルから伝来
じゃから、固有のもんなんか一つもないのう
そもそも当人たちが、実はアジアからやってきたというからのう
（インド・ヨーロッパ語族の故郷はアジアのステップ地帯らしい）
565:１３２人目の素数さん
20/04/13 16:20:40 my5S7sSz.net
>>537
(引用開始)
確率計算は結構じゃが、肝心の
「●●が間違う確率1割（信頼性90％）」
の根拠となるデータはあるんかのう？
何度も聞いとるが、あんた一度も示してくれんのう？
(引用終り)
話は逆
いままで、柏原先生、玉川先生が、間違ったことを書いたり、公に口にして間違ったことがあるか？
あるなら、示せ！
そういう事例が無いなら、信頼性90％以上でしょｗ（＾＾；
566:１３２人目の素数さん
20/04/13 16:22:13 my5S7sSz.net
>>540
>>539 ｗ（＾＾
他人をディスっても、自分の正当化にはならんぜ、数学ではな！
QED
ｗ（＾＾；
567:野暮天
20/04/13 16:23:20 ukZx7597.net
>>530
＞IUTの論文でZFC公理系の公理の数が9個って指摘
ああ、選択公理と置換公理は実は公理図式じゃから
式として数えたら実は無数にあるという話じゃろ？
ま、集合論研究者以外そんなこと知らんじゃろ
あの人らは、そういうことには無頓着じゃからのう
しかし系３．１２の「証明」に集合論とか絡んでおるんか？
もしそうならもっと炎上してそうなもんじゃが
568:１３２人目の素数さん
20/04/13 16:23:58 AZP114W1.net
>>536
京都はむかし疫病が流行り亡骸を清水寺周辺に捨てた奇異な話を葬式で聞いた
今は新型コロナウィルスとIUTウィルスが流行り封じ込めになるんだろう。
新型コロナウィルス感染ならKM方程式
からも自然収束と予測できるが、
569:１３２人目の素数さん
20/04/13 16:25:02 my5S7sSz.net
>>543
>宇宙際と聞いていたのに、京都限定タイヒミュラー理論だったってことですかね。
一応
英国F先生
米国D先生、J先生
（他国もあるかも）
なので、宇宙際ではないにしても、国際までは行っているな！（＾＾；
（宇宙人がいるかどうかしらんけどなｗ）
570:１３２人目の素数さん
20/04/13 16:26:06.40 CNPa1jiZ.net
>>548
もちろん直接には全く関係ないけど、
そのレベルだと証明という概念に対しても認識の差異があるんじゃないかなと
571:野暮天
20/04/13 16:26:32.84 ukZx7597.net
>>546
＞いままで、柏原先生、玉川先生が、間違ったことを書いたり、
＞公に口にして間違ったことがあるか？
あんた、何、ムキになっとるんじゃ？
IUTが間違っとったら あんた 死ぬんか？
死なんじゃろ？
じゃったら「IUTは正しいっ」と力みかえらんことじゃ
柏原氏と玉川氏がなぜIUT論文のアクセプトを容認したかは分からんな
金に困っとるのかもしれん 貧すれば鈍するというからのう
しかし、そういう姿は見たくないもんじゃのう やっぱり国が悪いんかのう
572:１３２人目の素数さん
20/04/13 16:27:19.08 my5S7sSz.net
>>544
同意同意
>望月もショルツも自信があるんだろう
>やりあえばいい
そう
プロレスみたいもの
最初は、正義の英雄がピンチになる
そこから、逆転が お決まりのパターンよ
それでこそ、見ている方も面白い（＾＾；
（どっちが正義かしらんけどなｗ ）
573:１３２人目の素数さん
20/04/13 16:27:30.75
574:AZP114W1.net
575:１３２人目の素数さん
20/04/13 16:28:59.59 my5S7sSz.net
>>552
＞じゃったら「IUTは正しいっ」と力みかえらんことじゃ
別に、「IUTは正しい」と思うから
正しいというだけのことよ
力みもなにも、面白いの一言よｗ（＾＾；
576:野暮天
20/04/13 16:29:22.53 ukZx7597.net
>>546
＞あるなら、示せ！
＞そういう事例が無いなら、信頼性90％以上でしょ
わしが理解できんのは、なぜ無理矢理、定量化したがるのか、ということじゃ
数量化したら信頼性が増すと思うとるんなら、大間違いじゃ
なんか工学屋にはそういう野蛮な考えの持主が少なくないのう
数量化馬鹿というかなんというか・・・あんたら工学部でどんな教育受けたんじゃ？
577:野暮天
20/04/13 16:39:38.21 ukZx7597.net
>>553
＞（IUT論争は）プロレスみたいもの
＞最初は、正義の英雄がピンチになる
＞そこから、逆転が お決まりのパターンよ
＞それでこそ、見ている方も面白い
わしの見方とは違うのう
IUT＝ももクロ
外国勢＝BABYMETAL
こう書くとモノノフ（＝ももクロのファン）から猛バッシング食らいそうじゃのう
宇宙際なんとかいうのは百田夏菜子のエビぞりジャンプみたいなもんじゃ
たしかにスゴイが、歌唱とは無関係じゃ
ああいうのが受けるのは日本だけじゃろ
SU-METALの歌唱は世界で通用する一流のもんじゃ
だから海外のライブでも観客をねじ伏せられる
あれこそが本当の芸じゃ
そういえば、雑誌「ヘドバン」にももクロのマネージャーの川上氏が
登場したことがあったが、BABYMETALには感心してばっかりじゃったな
あの人はよう分かっとる 自分らとBABYMETALは住む世界が違う、と
あえてレベルとはいわんよ 芸能界も一般社会も同じ
自分の力でどう生きるかが大事 カラスが鵜の真似をしても溺れるだけ
百田夏菜子はイイ女じゃから きっと芸能界も渡っていけるじゃろ
他の三人は・・・知らん
578:１３２人目の素数さん
20/04/13 16:40:45.23 hC942ZHM.net
ABC国際タイトルマッチで、「自明だ、よく読め」はやっぱり観客がしらける。
塩試合なんだよね。京都勢は頑張ってほしい。
579:野暮天
20/04/13 16:42:40.83 ukZx7597.net
>>555
＞「IUTは正しい」と思うから正しいというだけのことよ
あんた「箱入り無数目」も間違っとると思うから間違いだといってるわけか
あんた自分は神だとでも思うとるんか？
群論もダメ、順序数論もダメ
そんなあんたがなんで自分は間違ってないと思うんじゃ？
おかしいじゃろ
580:１３２人目の素数さん
20/04/13 16:54:18.52 vWi06T7g.net
>>508
エタール基本群やそれに準じる基本群を用いた理論では回避できないって理解をしてるね
確かにその部分は単遠アーベルでも基本的に変わらん
望月がそんな間違いをするかってレスがあるが、むしろ実際以上に柔軟に考え過ぎて失敗した可能性はあるな
スキームを統制するパターンとかスキームを超える遠アーベル幾何っていう考えに魅せられて
単純な事実依拠を怠ったという可能性
581:１３２人目の素数さん
20/04/13 16:55:43.19 GJRuKvRa.net
モッチーのIUTは未来を開く数学やぞ
URLﾘﾝｸ(special.sankei.com)
数学の望月理論「人類初、数百年に１度の偉業」 加藤文元氏に聞く
URLﾘﾝｸ(www.sankei.com)
582:１３２人目の素数さん
20/04/13 16:59:07.26 qYHwwEc4.net
ショルツからしたらボヤけって言ってるけど結局こういう事でしょ
意味ないじゃん
という論法になってるから全く噛み合わない
583:野暮天
20/04/13 16:59:45.36 ukZx7597.net
日本のマスコミはどうも本当の天才を認めたがないところがあるのう
歌が上手い
584:女性アイドル総選挙にSu-METALがランクインしてない！ https://babymetalize.com/archives/26027 多分番組の公式回答はこうじゃろなあ 「SU-METALさんは、バンドのヴォーカルですから そもそもメイト（＝BABYMETALのファン）も BABYMETALをアイドルとして扱うな、と いつもいってるじゃないですか」 しかし、そんなこというんじゃったら 乃木坂の楽曲は、生田絵梨花の実力を フルに引き出しておるんか？ 違うじゃろ？ まあ、番組がSU-METALをアイドルでないとしたがるのも分からんではない こんなのTVで放映したら、日本のアイドルは全員面目を失う https://www.youtube.com/watch?v=8NVdK6GRTP8
585:１３２人目の素数さん
20/04/13 17:04:22.43 GJRuKvRa.net
ID:jmK8b/PK
ID:OlsRjmnt
ID:ijoqd/ZI
ID:ukZx7597
↑
NG
586:１３２人目の素数さん
20/04/13 17:13:48.80 nP8hll5d.net
>>564
正解w
587:１３２人目の素数さん
20/04/13 17:16:34.53 my5S7sSz.net
>>556
野暮天さん、あんた関東生まれの関東育ちか？
あるいは、もっと田舎か？
>＞そういう事例が無いなら、信頼性90％以上でしょ
>わしが理解できんのは、なぜ無理矢理、定量化したがるのか、ということじゃ
あのな～ｗｗ
もともと、「両名による記者会見の信頼性＝99％」（>>514）
の”99％”という言い回しがさ
自然言語の常套句なんだよね
万に一つ と似た言葉（下記）
で、そんなものが、定量評価に乗らない文学表現であることは ”百も承知”で
茶化しているんだよ これ 関西のノリなんだわ ｗ（＾＾；
それを、”理解できんのは、なぜ無理矢理、定量化したがるのか”なんて
「野暮」っていうわけだｗ
（参考）
URLﾘﾝｸ(www.weblio.jp)
Weblio 辞書 > 成句の検索 > 慣用句 > 数 > 万 > 万に一つもの意味・解説
三省堂 大辞林 第三版
(抜粋)
万に一ひとつも
万ある可能性のうち一つも。決して。あとに打ち消しの語を伴って用いられる。 「可能性は－ない」
588:１３２人目の素数さん
20/04/13 17:16:42.30 Lx5viamn.net
もし望月博士が、延べ数十人の数学者たちが寄ってたかって100年くらいの期間をかけて
登る数学理論のはしごを、20年でおひとりで一気に駆け上ってしまっていたとしたら、
置いてきぼりにされた数学者たちは何が起こったのか状況把握ができないって事象が
起こっているのか？
細部に小さいミスがあったとしても発想の方向が新しかったとしたら偉大な業績として
已然歴史に残るのではないか？
小さいミスの指摘が仮に「妥当」だったとしてもそれで望月博士の偉業を否定することは
できない説もあるのではないか。
数学理論の正しさとはそもそも何なのか？ 既存の物理法則やアルゴリズムを記述してる部分が
現代数学にあってこれらの現代数学が物理法則やアルゴリズムのモデリングに使えることが
長い年月実証されているわけだから、現代数学とのトートロジーは許されないはず。
ということは、望月博士の理論は現代数学の一般性を高めて広義拡大していなければ
ならないということではないか。
かつ、現代数学部分をくまなく広義拡大しつつ、望月博士が新しく要請した理論のうち、
現代数学の外延部分を含めてIUT理論内部に自己矛盾が一切見つからなければ、IUT理論は
正しいと言ってよいのではないか？
言ってること間違ってますでしょうか？
589:野暮天
20/04/13 17:17:45.91 ukZx7597.net
>>564
申し訳ないのう
・・・といいつつ、>>563の話を続けるわけじゃが
URLﾘﾝｸ(magfesta.jp)
SU-METALの名前がない！
ま、分かるヤツは分かる
�
590:ｶ田絵梨花もよう分かっとるｗ https://www.bilibili.com/video/av49671160/
591:１３２人目の素数さん
20/04/13 17:18:41.01 AZP114W1.net
>>562
ショルツが対称性を例にIUTの痛いところ
を突いているとか、
スマートで容赦ないから非常に
好感が持てる。
592:１３２人目の素数さん
20/04/13 17:19:13.67 CNPa1jiZ.net
スキームの局所環付き空間としての定義が分からないという代数幾何勉強中の人はいないだろうし
例えば50年くらい駆け上がったとしてもきちんと論証すれば分かるのでは？
593:１３２人目の素数さん
20/04/13 17:22:02.94 my5S7sSz.net
>>559
>あんた「箱入り無数目」も間違っとると思うから間違いだといってるわけか
「箱入り無数目」は間違！
もし、身近に大学で確率論か確率過程論を修めた人が居て聞けるなら、聞いてみな
”「箱入り無数目」は間違！”が分かるから
そこが、分からないレベルで IUT語るなんて、おへそが茶を沸かすレベルでしかないよねｗ（＾＾；
594:野暮天
20/04/13 17:24:58.88 ukZx7597.net
>>566
＞もともと、”99％”という言い回しがさ自然言語の常套句なんだよね
なるほど 数字には意味がない と認めるわけじゃな
つまり 詐欺じゃった と認めるわけじゃな
ちなみに光速の99％はラピディティで置き換えると2.64…程度
光速そのものはラピディティでは∞じゃから 大したことない
まあ、光速より小さいならラピディティは有限じゃから
どんなに大きくても「大したことない」んじゃがのう
（注：ラピディティとは速度をvとしたときのarctanh(v/c)
速度の合成により、ラピディティは可算される)
595:１３２人目の素数さん
20/04/13 17:28:00.73 my5S7sSz.net
>>560
>望月がそんな間違いをするかってレスがあるが、むしろ実際以上に柔軟に考え過ぎて失敗した可能性はあるな
>スキームを統制するパターンとかスキームを超える遠アーベル幾何っていう考えに魅せられて
>単純な事実依拠を怠ったという可能性
勿論、可能性はあるけどね
でも、2018年に指摘されて
その後、2年間かけて査読して
玉川先生も、OKのお墨付き
望月先生一人なら、まだしも、4月3日の記者会見したってことは、RIMSはショルツ氏の指摘にはちゃんと数学的に反論できる自信があるってこと
それは、まだ出てきてないけど
それを待たないと、外野が良いの悪いのって、言えないよね
そのうち出てくるでしょ、出なきゃおかしい（国際会議では出るよ）
596:野暮天
20/04/13 17:29:20.17 ukZx7597.net
>>571
＞「箱入り無数目」は間違！
＞もし、身近に大学で確率論か確率過程論を修めた人が居て聞けるなら、聞いてみな
で、あんたはどこの誰に聞いたんじゃ
わしはその人に直接尋ねてみるから
大阪大学理学部数学科の誰に尋ねたんじゃ？
まさか 工学部の専門外の教授に尋ねたわけではあるまい？
そんなん無意味に決まっとるじゃろ
597:１３２人目の素数さん
20/04/13 17:30:04.77 my5S7sSz.net
>>567
>もし望月博士が、延べ数十人の数学者たちが寄ってたかって100年くらいの期間をかけて
>登る数学理論のはしごを、20年でおひとりで一気に駆け上ってしまっていたとしたら、
>置いてきぼりにされた数学者たちは何が起こったのか状況把握ができないって事象が
>起こっているのか？
同意
ただ、そのことは、今年の国際会議が終われば
はっきりすると思う
それを待ちましょう！！（＾＾；
598:１３２人目の素数さん
20/04/13 17:30:24.13 vWi06T7g.net
ショルツの最新のコメントはSSレポートに更にわかりやすい情報を付加してる
エタール基本群から出発して、対称性通信による無数の異なる特異な対数加群を構成するというのは
根本的におかしくないかと言ってる
しかしこれ、結局ポストモダンの人などが言ってたことと基本的には同じ
bizarre、ある意味で手品みたいな話なんだな
599:１３２人目の素数さん
20/04/13 17:32:19.16 my5S7sSz.net
>>574
>で、あんたはどこの誰に聞いたんじゃ
>わしはその人に直接尋ねてみるから
そんなことは、誰に聞いても良いよ
あなたが、東大の確率論の専門のだれそれとか、別に地方大でも だれそれとか
知っている人に聞け
それで決着するよｗ（＾＾；
600:１３２人目の素数さん
20/04/13 17:32:59.91 Y9js0GVd.net
>>571
おまえ隔離スレで↓から逃亡しといて何言ってんの？
>１．しっぽの同値類は可能
>２．決定番号を決めることは可能
決定番号は自然数である。 Y/N
{d(s^i)|i∈{1,2,...,100}}:=Mは、100個の（重複を許す）自然数の集合である。 Y/N
Mは有限全順序集合である。 Y/N
Mは最大元を持つ。 Y/N
Mの最大元は1個または複数個である。 Y/N
Mの単独最大元は1個または０個である。 Y/N
k∈{1,2,...,100} をランダム選択したとき、d(s^k)がMの単独最大元である確率は1/100または0である。 Y/N
P(s^k(D)=r^k(D))≧99/100（但しD:=max{d(s^i)|i≠k}） Y/N
>３．しかし、確率計算は正当化できない
は誤りである。 Y/N
601:野暮天
20/04/13 17:33:51.70 ukZx7597.net
＞4月3日の記者会見したってことは、
＞RIMSはショルツ氏の指摘には
＞ちゃんと数学的に反論できる自信があるってこと
それなら、反論した後で、記者会見するじゃろ
ショルツが認めなくても、他の数学者が認めればええじゃろ
なぜ、そうせんのかのう できんのかのう
できんのに記者会見するっちゅうのは、素人の文科省の官僚を
だまくらかせば、科研費がもらえるっていうハラかのう？
それ、国民を欺く詐欺じゃのう
あんた国民として怒らんのか
あんたの収めた税金が不当に使われるんじゃぞ
602:１３２人目の素数さん
20/04/13 17:35:41.26 my5S7sSz.net
>>572
>なるほど 数字には意味がない と認めるわけじゃな
>つまり 詐欺じゃった と認めるわけじゃな
数字には意味がない
↓
詐欺じゃった
この証明には、大きなギャップあり！！
さて、ギャップはどこでしょうか？ｗ
QED
ｗｗ(゜ロ゜;
603:野暮天
20/04/13 17:37:19.37 ukZx7597.net
>>577
>>で、あんたはどこの誰に聞いたんじゃ
>>わしはその人に直接尋ねてみるから
>そんなことは、誰に聞いても良いよ
耳が遠いようじゃから、耳元で大声でいわせてもらうが
「あ・ん・た・は・ど・こ・の・だ・れ・に・き・い・た・ん・じゃ？」
あんたまさか誰にも聞かずにフカしとるんか
じゃ、群論や順序数の件と同様、初歩的誤りじゃろうな
あんたが数学を全然わかっとらんのは数学板の読者の常識じゃからのう
臆面もなく書き込めるのは面の皮が鋼鉄製だともっぱらの噂じゃ
604:１３２人目の素数さん
20/04/13 17:39:09.69 my5S7sSz.net
>>579
>それなら、反論した後で、記者会見するじゃろ
記者会見は、文系の記者相手で、広報は一般大衆向け
プロ向けには、今年国際会議が予定されているでしょ
そして、秋と春の日本数学会と
そして、2022ICMがあるよ
>ショルツが認めなくても、他の数学者が認めればええじゃろ
その通り
これから、数学オセロゲームが始まります
おれら、ヤジウマは、数学オセロゲームを楽しむんだよ～ｗ(゜ロ゜;
605:１３２人目の素数さん
20/04/13 17:39:30 Lx5viamn.net
望月博士とショルツ博士の議論は、
ハイゼンベルクの行列力学はシュレディンガーの波動力学のどっちが正しいかって
議論なんですか？
結局どっちも正しくて、一つの真理を別々の理論で同時に書き表せるのに、互いに
違う理論の言葉を使おうとするからコミュニケーションミスが起こってる
あるいは、望月博士の理論はカロリックやエーテルを仮定するような大局観から疑われ
ているんでしょうか？
大局観が間違ってなくて理論の方向性自体がすばらしいのであれば、議論を重ねる
ごとに理論はよりブラッシュアップしていくと期待していいのではないでしょうか？
素人ですいません。
606:１３２人目の素数さん
20/04/13 17:41:30 my5S7sSz.net
>>581
>耳が遠いようじゃから、耳元で大声でいわせてもらうが
>「あ・ん・た・は・ど・こ・の・だ・れ・に・き・い・た・ん・じゃ？」
あんた、大学レベルの確率論・確率過程論 やってないでしょ
おれは、やったよ
それだけのこと
「箱入り無数目」は、大学レベルの確率論・確率過程論やってないと、嵌って抜けらないってことよｗ（＾＾；
607:野暮天
20/04/13 17:41:40 ukZx7597.net
>>578
その昔、見栄坊の大阪人が
「決定番号は自然数である。」
という質問に
「N! 確率１で∞！」
と答えたときはズッコケまくったもんじゃ
決定番号の定義を読んで理解したならこんな回答は決してできん
できんことをするっちゅうのは、理解できてないちゅうこっちゃ
見栄坊氏はディスレクシアかのう？
URLﾘﾝｸ(ja.wikipedia.org)
608:１３２人目の素数さん
20/04/13 17:43:43 AZP114W1.net
>>567
IUTは�
609:蛹ｾ壮語で役立たずです。 IUTはabc予想から天気予報まで 有効と言ってます。 が実際は、 天気予報よりシンプルな感染症現象の数理モデルでも役立たずです。 気象なら水蒸気から相転移し雲になり クラスター化して集中豪雨のスーパーセルになります。 感染モデルはウィルスの変異は仮定しませんしibmモデルもシンプルです。 まあRIMSの新型コロナウィルス対策なら RIMS封鎖が最も有効でしょう
610:野暮天
20/04/13 17:44:00 ukZx7597.net
>>584
＞あんた、大学レベルの確率論・確率過程論 やってないでしょ
＞おれは、やったよ
あんた自習じゃろｗ
わし、やったが・・・箱入り無数目の否定にはつながらんな
ああ、そうそう、あんたここでは匿名にしたいようじゃが
便宜的にHN入れてくれんか そう名前は「見栄坊」で
611:１３２人目の素数さん
20/04/13 17:44:38 my5S7sSz.net
>>583
>望月博士とショルツ博士の議論は、
>ハイゼンベルクの行列力学はシュレディンガーの波動力学のどっちが正しいかって
>議論なんですか？
その例えで言えば
１．量子力学の確率解釈を支持したパウリ一派
VS
２．量子力学の確率解釈を拒否したアインシュタイン、シュレーディンガー一派
って構図だと思うよ
どっちがどっちか
これから、はっきりすると思うけどね（＾＾；
612:１３２人目の素数さん
20/04/13 17:45:54 Y9js0GVd.net
>>584
なんでおまえは>>578から逃げるんだ？
逃げるなら自分の間違いを認めろ
613:１３２人目の素数さん
20/04/13 17:46:58 my5S7sSz.net
>>587
＞あんた自習じゃろｗ
おれと、天才ショルツを比べる気ないけど
天才ショルツ氏も、ほとんど自習らしいよ、数学
>わし、やったが・・・箱入り無数目の否定にはつながらんな
だから、あなた、抜けたんでしょ
学んだことが、というか、理解できてないかだな（＾＾；
614:１３２人目の素数さん
20/04/13 17:48:07 Lx5viamn.net
>>586
相変化からコリオリス力までみんな含んだ雲の動き数値シミュレーション何て2世紀前の
数学理論で十分なんでは？ それと数学理論の正しさと、数学理論で物理現象をモデリング
する正しさは別問題ですよね
数学はわかんないけどモデリングの方は一応プロなんですけど。
615:１３２人目の素数さん
20/04/13 17:48:07 Lx5viamn.net
>>586
相変化からコリオリス力までみんな含んだ雲の動き数値シミュレーション何て2世紀前の
数学理論で十分なんでは？ それと数学理論の正しさと、数学理論で物理現象をモデリング
する正しさは別問題ですよね
数学はわかんないけどモデリングの方は一応プロなんですけど。
616:野暮天
20/04/13 17:49:03 ukZx7597.net
>>583
＞望月博士とショルツ博士の議論は
むやみに大袈裟な仕掛けを考えた、マッドサイエンティストMに対して
洗練されたヨーロピアンスタイルの天才Sが
「あれもいらない、これもいらない・・・
最低限これだけですけどこれじゃ仕掛けは動かないですね」
と指摘し
「わしの長年の労作を・・・貴様ごとき若造が否定するとか百年早いわい！」
とMが激怒
これを聞いてSの捨て台詞
「あああ、年齢は関係ないですよ
数学者としての盛りを過ぎた老人って・・・哀れなもんですね」
漫画の読み過ぎかｗ
617:１３２人目の素数さん
20/04/13 17:50:12 TnD+4OAc.net
>>446
>数論幾何の専門家が中高年になるまで心血注ぎ込んで掛けて来た時間と人数にくらべて、
>若い天才といっても１人の専門外の人がチョチョイと直ぐ見抜ける
>「修正不可能なギャップが根幹に有って誰も専門家が気が付かなかった」
>って考え難いんですよね
違う。望月は証明できたとし、周囲の人間は理解できないけれども身内びいきの感情で、
認めてしまったというだけのこと。
周囲の「専門家」が誰一人説明できないことは、望月応援団の誰もがわかっていない証拠である。
望月は、ショルツほかの指摘にたいして、強情張ってるだけにみえる。
また、望月の証明の欠陥を指摘したのはSSだけではない。
名前が知られているだけで、コンラッズ・woit・越川が、同じ個所で同じ指摘をしている。
618:１３２人目の素数さん
20/04/13 17:51:34 Lx5viamn.net
>>593
漫画と芸能ゴシップ誌と競馬予想誌
619:読み過ぎだと想像しますｗ よくわかんないけど
620:１３２人目の素数さん
20/04/13 17:55:51 AZP114W1.net
>>592
プリミティブ方程式がわかれば
予測可能になるの？
雲もなる仮定も超水滴法とか色々ある
し、
集中豪雨の予測もドップラーレーダーの
データが必要でしょ
621:野暮天
20/04/13 17:55:58 ukZx7597.net
>>594
＞望月は、ショルツほかの指摘にたいして、強情張ってるだけにみえる。
なるほど、箱入り無数目で
「見栄坊が、ここの読者の指摘にたいして、強情はってるだけ」
というのと同じじゃな
阪大が見栄坊の論文をアクセプトし出版する際には教えてくれるか
ま、そんな事態は永遠に訪れないと思うが
622:１３２人目の素数さん
20/04/13 17:56:31 dqNdeGIH.net
>>594
え？
「証明は正しい」って会見済みですが。
623:１３２人目の素数さん
20/04/13 17:56:34 TnD+4OAc.net
>>483
望月の側に査読者を選ぶ権利無し。
こんなことをいう時点で世界の笑いもの
624:１３２人目の素数さん
20/04/13 17:57:11 Y9js0GVd.net
ID:my5S7sSz
クダラナイこと言ってないで>>578に答えなさい
答えないなら間違いを認めなさい
625:野暮天
20/04/13 17:58:29 ukZx7597.net
>>592
＞2世紀前の数学理論で十分なんでは？
そうじゃろな
２１世紀になってやっと双曲幾何が利用される状況じゃからな
626:１３２人目の素数さん
20/04/13 17:59:48 Lx5viamn.net
>>596
モデリングに使う構成方程式や境界条件式を計測から求めた実測値をはめ込んで
方程式系をcloseさせるってこと普通にやりますけど、
それならいよいよ純粋数学理論の正しさとは筋違いの話ですよね
627:野暮天
20/04/13 18:01:19 ukZx7597.net
>>595
＞漫画と芸能ゴシップ誌と競馬予想誌読み過ぎ
実はどれも大して読んでないがのう
競馬はやったことないな
ギャンブルでやったことあるのは宝くじだけじゃのう
628:野暮天
20/04/13 18:01:19 ukZx7597.net
>>595
＞漫画と芸能ゴシップ誌と競馬予想誌読み過ぎ
実はどれも大して読んでないがのう
競馬はやったことないな
ギャンブルでやったことあるのは宝くじだけじゃのう
629:１３２人目の素数さん
20/04/13 18:05:01 TnD+4OAc.net
>>598
分かってないまま正しいと認めたんだろう。
630:野暮天
20/04/13 18:05:03 ukZx7597.net
>>600
見栄坊は自分の長年の主張を撤回することは
自分の体面を失うことだと思っとるようじゃが・・・
そもそも数学を知らん素人に体面なんかないじゃろ
なに思い上がっとるんかのう あの大阪人は
631:１３２人目の素数さん
20/04/13 18:05:46 vvVnRe9y.net
>>582
順序が逆なんだよね
普通プロ向けに国際会議でそれなりのコンセンサスを得てから記者会見でしょう
プレプリントを公開したことでかえって批判されているのに、関係者ばかりが正しいと叫んでいる状況は明らかにおかしい
632:野暮天
20/04/13 18:07:14 ukZx7597.net
>>605
玉川は、望月が天才だと思い込んどるんじゃろうな
京都の数論幾何グループ全体が集団催眠にかかってる
と考えたほうがよさそうじゃ
柏原氏はもらい事故みたいなもんじゃな
633:１３２人目の素数さん
20/04/13 18:08:56 dqNdeGIH.net
>>605
なぜそんな事が分かるんですか？
634:野暮天
20/04/13 18:09:41 ukZx7597.net
>>582
＞これから、数学オセロゲームが始まります
＞おれら、ヤジウマは、数学オセロゲームを楽しむんだよ～
見栄坊氏はアルツハイマー型認知症じゃろか
なんか不健康な生活を送ってそうじゃからなあ
635:１３２人目の素数さん
20/04/13 18:10:45 Lx5viamn.net
>>603
そうでしたかそれは失礼しました
モデリングの正しさは経験則（実験との整合性）ですが、数学理論の正しさとは
いまだにわかりません。嘘くさい数学理論で整合性だけはどう試しても満たしてるっぽい
数学理論でも、騙されたと思ってその数学理論でモデリングして数値計算したり、
間接測定した実測値があってたら、しかも何度追実験してもあってたら、
もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな
理論でピタリとモデリングができるようであれば実務屋では使ってみたくなると思います。
数学理論の正しさの尺度だけがどうしても切り分けできずに私の中で引っかかってます。
636:１３２人目の素数さん
20/04/13 18:11:46 TnD+4OAc.net
>>609
説明できていないから.
ちなみに、ギャップのない証明があるならば、機械で検証できる。
望月応援団は機械で検証できる証明を提示していない。
ゆえにギャップのない証明は存在しない。
事実として今
637:現在存在しない。
638:野暮天
20/04/13 18:13:19 ukZx7597.net
＞数学理論の正しさとはいまだにわかりません。
数学理論の正しさは無矛盾性じゃな・・・ただし証明不可能じゃが
639:１３２人目の素数さん
20/04/13 18:15:07 y67whNyF.net
>>599
査読者っていうのは最低限会話しなきゃ能力がないから選べないの。
望月が選ぶんじゃなくてもな。
640:１３２人目の素数さん
20/04/13 18:16:50 y67whNyF.net
>>612
あなたのいう機械って何。
641:１３２人目の素数さん
20/04/13 18:17:24 dqNdeGIH.net
>>612
ここに書き込まれるより
望月先生のブログで指摘されてはいかがでしょうか
642:１３２人目の素数さん
20/04/13 18:19:54 TnD+4OAc.net
コンピュータによる証明検証だよ。
今はそれが可能。
近い将来
「証明がわかる」ということを、コンピュータで証明可能な書き下しをすることを意味するようになるだろう。、
「証明になっている・なっていない」の押し問答でエネルギーを無駄に消費するのは意味がないから。
643:１３２人目の素数さん
20/04/13 18:21:31 Lx5viamn.net
数学理論内の論理だけで同じ数学理論に矛盾がない事の証明ができないことは、
有名なゲーデルの不完全性定理で証明されているんですよね
だとしたら、ある数学理論が無矛盾であることの調査は、
コンピュータのマシンパワーをつかって、何らかのアルゴリズムで矛盾性の
再現を試みさせてみて、すごーーーーく長い時間（人力なら10000年分とか）
理論をこねくり回しても矛盾性を発見できなければ10000年かかっても矛盾を
発見できなさそうなほどの無矛盾な数学理論って主張できるって方針
で行うんですかね？
もちろん、矛盾探索アルゴリズムに不備がないことを何等かの検証をしつつ
どういうアルゴリズムでどういう検証なのかよくわかんないですけどｗ
644:１３２人目の素数さん
20/04/13 18:22:54 TnD+4OAc.net
望月は今や、ケプラー予想の先行権を主張したウーイーシアンみたいな立ち位置だな。
これだからアジアンは、って言われないことを希望するよｗ
645:１３２人目の素数さん
20/04/13 18:27:39 vWi06T7g.net
>>608
現役の遠アーベル専門家の玉川さんとたまたま担ぎ出された御大では全く違うし、御大に責任を
問う必要はない
646:１３２人目の素数さん
20/04/13 18:28:16 Ot14yWWM.net
>>557
ももクロとは比較しないでいただきたい
BABYMETALは文字通り桁違い
唯一世界でブレイクしたスター
ももクロはBiSHにすら追い抜かれたヘタレ
世界で全く通用しないからこうなってる
Reddit（世界最大の掲示板）
コミュニティーのメンバー数(2020年4月9日)
BABYMETAL 26292
AKB 5483
BAND-MAID 3968
Perfume 3796
さくら学院 3568
Aimar 2848
ONE OK ROCK 2410
きゃりーぱみゅぱみゅ 1874
乃木坂 1350
宇多田ヒカル 994
モーニング娘 974
欅坂 787
X JAPAN 578
嵐 576
ヨルシカ 519
マキシマム ザ ホルモン 479
LiSA 419
BiSH 377
ももクロ 345
647:１３２人目の素数さん
20/04/13 18:29:29 Oetq8pjs.net
>>612
> 望月応援団は機械で検証できる証明を提示していない。
> ゆえにギャップのない証明は存在しない。
未だかつて普通の数学者(Mac Laneの教科書のタイトルにある“working mathematicians”の意味で）が
機械つまりコンピュータで検証できるレベルの証明を提示したことなんて一度としてない
Coqのようなコンピュータ上の証明検証システムで検証できる証明を提示していないのがNGというのならば
フィールズ賞やアーベル賞の受賞者全員から賞を剥奪しないといけなくなる
648:１３２人目の素数さん
20/04/13 18:34:43 vWi06T7g.net
>>611
個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく
ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる
649:１３２人目の素数さん
20/04/13 18:35:26 TnD+4OAc.net
>>622
ケプラー予想の証明はこの度機械で検証した。
査読者は99％正しいとといっていたが、残り1％の可能性を消すためにも必要だったのだろう。
今までの数学の確立された業績で、証明に疑問のあるものは存在しない。
望月のは現に異議存在する以上機械で検証にかけるよう求めるのは当然だろう。
650:１３２人目の素数さん
20/04/13 18:43:57 E/8DKtpa.net
ケプラー予想の機械検証は提出者本人が主導してる。
逃げ回ってるRIMSとは真逆の対応。
651:１３２人目の素数さん
20/04/13 18:44:52 Lx5viamn.net
コンピュータなんて結局1と0の二進数演算してるだけで、アルゴリズム書くのは今のところ
でも、モンテカルロ法で「でたらめな」数学オブジェクト？を文字どうり「テキトー」に
組合せてみた記号列（文字列の文字の代わりに数学記号の組み合わせ）を乱暴にも公理と
見立ててマシンパワーつかって頭から矛盾性を検証する。もちろん、ほとんどのでたらめな
記号列は最初の一回の検証でNG判定になるので次の記号列を試す。
まったくの「テキトー」だと時間がかかりすぎて無駄なので、既存の数学理論に数学者の
直感で当たりをつけて初期条件に多少の作為を入れる。
たとえばユークリッド幾何学公理系なら第5公準に当たりを付けて何通りかいじくる
あるいは、機械学習かエキスパートシステムを使って、他の数学理論がブレークスルーした
ときの発想をパターンで覚え込ませたり、教師付き学習させて、すべてランダムな試行錯誤
に多少インテリジェンス性をもたせる。
こうやって基本的にはランダムな数学オブジェクトの組み合わせを総当たりかすこし
入れ知恵を加味した探索をさせて、コンピュータが無矛盾そうな数学理論を発見すること
「待つ」。
量子コンピュータのように破格のマシンパワーをつかえば、見通しの良い初期条件や、
入れ知恵や探索アルゴリズムや矛盾判定プログラムのセンスが良ければもしかしたら、
機械が新しい数学理論を自動で発見して、ある程度の検証までしてくれるかもしれない。
よくわかんないけど。
すいません数学の素人です。
機械学習で
652:１３２人目の素数さん
20/04/13 18:57:43.10 TnD+4OAc.net
最近の一流の棋士は将棋ソフトで学ぶそうだが、
もうすぐ数学者たちも機械にセンスを学ぶようになるだろう。
653:１３２人目の素数さん
20/04/13 18:58:14.02 Lx5viamn.net
>>623
>個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく
>ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる
「基本的な問題意識」の定義がわかりません。
もしかして数学者の研究動機をあなたの個人的な哲学で制限しようとしてますか？
「強い理論」の定義がわかりません。
現代残っている数学理論は矛盾が発見されていない理論またはさしあたり矛盾が見つからなさそうと数学者たちから考えられてる理論ですよね？
数学は専門外なのでよくわかんないんですけど。
654:１３２人目の素数さん
20/04/13 19:01:57 R2NiC+iT.net
>>627
あいつら先に定義がないと動けないので
そういう部分をわかってあげれば
少々数学としておかしくても
多変数の多項式とかを秒殺で処理してくれるから助かる
多変数多項式環の元とかわけわかんねえもんｗ
655:１３２人目の素数さん
20/04/13 19:02:05 dqNdeGIH.net
>>619
そうなら良いですね
「アジアンだから」の欧米からの塩対応でなければ倫理的には問題無しですもんね
656:１３２人目の素数さん
20/04/13 19:09:47 sx2gcUJv.net
508, 528-530, 560, 562, 569, 594あと野暮天さんは真相を語っている気がしますね
my5S7sSzは消えてくれないかな
657:野暮天
20/04/13 19:32:46 ukZx7597.net
>>621
すまんかった ももクロは個人的には好きなグループじゃがな
658:BiSHはよう知らんのじゃ BiSは知っとるが テラシマユフは脱北できてよかったのう Redditでさくら学院が上位に来とるのう 今お薦めのコは広島から来たスーパールーキーの戸高美湖（元 革命少女）じゃ あ、もう二年目になったからルーキーじゃないか
659:野暮天
20/04/13 19:35:55 ukZx7597.net
>>631
＞my5S7sSzは消えてくれないかな
見栄坊自身のためにもそれがよいじゃろう
数学書を山ほど買い込んでもちっとも読みもせんとか無駄じゃろう
さっさと全部売り払って、山でトマトでもつくったらよかろう
グロタンディクみたいに
660:野暮天
20/04/13 19:41:39.16 ukZx7597.net
＞これだからアジアンは
それはないじゃろ
岡潔はともかく、S.S.Chern（陳省身）も小平も認められたんじゃから
661:１３２人目の素数さん
20/04/13 19:42:03.19 Ot14yWWM.net
iTunesアルバム ワールドワイド(最新アルバム)
BABYMETALが日本の頂点である
ワールドワイドに人気の無いアーティストは下位となる
Worldwide iTunes Album Chart
1位 BABYMETAL - METAL GALAXY 2019/10/11
2位 宇多田ヒカル - 初恋 2019/06/27
4位 ONE OK ROCK - Eye of the Storm 2019/02/15
4位 The GazettE - Ninth 2018/06/13
10位 BAND-MAID - CONQUEROR 2019/12/04
19位 DIR EN GREY - The Insulated World 2018/09/26
28位 RADWIMPS - Weathering With You -Complete Version- 2019/11/26
31位 coldrain - THE SIDE EFFECTS 2019/08/28
34位 ヨルシカ - Elma 2019/08/28
36位 錦戸 亮 - Nomad 2019/12/11
39位 ずっと真夜中でいいのに。 - 潜潜話 2019/10/28
40位 LUNA SEA - Cross 2019/12/18
45位 King Gnu - CEREMONY 2020/01/16
47位 Official髭男dism - Traveler 2019/10/09
48位 Poppin'Party - イニシャル/夢を撃ち抜く瞬間に 2020/01/08
54位 あいみょん - 瞬間的シックスセンス 2019/02/13
54位 Toshl - Im a Singer Vol. 2 2019/11/21
54位 藤井 風 - 何なんw 2020/01/23
55位 Perfume - Perfume the Best "P Cubed 2019/09/18
57位 GLAY - No Democracy 2019/10/02
57位 浜崎あゆみ - M()DE IN JAPAN 2016/06/29
58位 サカナクション - 834.194 2019/06/18
59位 Crossfaith - EX_MACHINA 2018/08/01
662:野暮天
20/04/13 19:49:40.53 ukZx7597.net
>>635
宇多田ヒカルを抜いたのか？！
そりゃスゲェ！！！
663:１３２人目の素数さん
20/04/13 19:49:41.71 DYqPl9DE.net
>>611
>もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな
>理論でピタリとモデリングができるようであれば実務屋では使ってみたくなると思います。
>数学理論の正しさの尺度だけがどうしても切り分けできずに私の中で引っかかってます。
どうも
その感じよく分かります
ところで、数学にも、モデル理論があります
逆数学：数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラム
こういうのを知ると、数学の厳密性が、20世紀のそれと21世紀とでは、異なっていることが分かりますよ（＾＾；
参考
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数理解析研究所講究録 第2050巻 2017 48-56
1 980年代半ば,米国
664:中西部のモデル理論,そして未来 モデル理論賛歌 板井 昌典 東海大学 理学部 情報数理学科 筆者のモデル理論研究との関わりを中心に,モデル理論の過去30年の進化について解説する. 米国でモデル理論研究を開始する契機を与えて下さった角田譲先生にあらためて感謝いたします. 1 はじめに モデル理論研究を始めることになったのは 「偶然」 であった.1983年3月に神戸大学大学院を修了したのち米国の複数の大学院への入学を希望していた.いろいろ曲折はあったが,米国イリノイ大学シカゴ校への入学が決まったのは,1983年の夏であった. 実は,この時点ではモデル理論のことも,その後大変お世話になる John T Baidwin のことも何も知らない状態であった.振り返ってみれば,1980年代半ばに米国中西部でモデル理論研究を始めることが出来たのは実に幸運であった. 拙稿は,講究録の通常の論文とは異なり,個人史的観点からの 「モデル理論」 論であり,過去30年間のモデル理論発展の全体を網羅しているものでないことを予めお断り しておく. 前置きはこれく らいにして本題に入ろう https://ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6 逆数学 (抜粋) 逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである 逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる
665:野暮天
20/04/13 19:52:09.03 ukZx7597.net
>>637
見栄坊よ おぬしの職場 まだ社員を出勤させとるのか
5chに書き込みするだけの社員とか 出勤させる意味なかろう
666:野暮天
20/04/13 19:55:03.41 ukZx7597.net
>>637
＞数学にも、モデル理論があります
数理モデルのモデルと、モデル理論のモデルが
同じじゃと思うヤツをはじめてみたわい
定義を確認せんヤツはこれじゃから困るのう
667:１３２人目の素数さん
20/04/13 19:56:44.17 sMk8UGpY.net
望月の証明は正しい。
ショルツの指摘は正しい。
つまり、3.11から3.12は導かれるとも、導かれないとも言える。
ＡＢＣ予想は証明できたとも、証明できていないとも言える。
俺が前々から言ってるように、ＡＢＣ予想は決定不能な命題なんだぜ。
668:野暮天
20/04/13 19:59:14.47 ukZx7597.net
>>618
もし、ショルツが「IUTは矛盾している」と主張しているなら
その証明責務はショルツにあるじゃろうな
しかし、ショルツがいってるのは
「系3.12について、望月の方法では証明できそうもない」
ということじゃから、証明になっていることを示す責務は望月にある
669:野暮天
20/04/13 20:01:23.87 ukZx7597.net
>>640
もしABC予想が決定不能問題なら
望月の証明は間違ってることになるのう
望月とショルツの主張が両立することはない
670:野暮天
20/04/13 20:03:47.24 ukZx7597.net
もし見栄坊が望月を応援する行動が
「オリンピックで日本人選手を応援する行動」
と同じじゃとしたら
数学には全く興味がないっちゅうことじゃのう
数学者にとって、ある問題を解いた人が
自国の人間か否かはどうでもええことじゃ
671:１３２人目の素数さん
20/04/13 20:03:58.86 ZctrM3uq.net
>>640
ゴミクズは黙ってろ
決定不能なら証明したではなく決定不能が答えだ
672:１３２人目の素数さん
20/04/13 20:06:43.00 ZctrM3uq.net
日本はもうダメだな
この望月関連で確信した
数学がこの体たらくならもう日本に未来はないね
673:野暮天
20/04/13 20:07:44.55 ukZx7597.net
ところで、この次のスレは数学板じゃのうて
ニュー速板にでも立てたらどうじゃろう？
どうせ数学の話などできんのじゃろう？
674:１３２人目の素数さん
20/04/13 20:11:00.99 B1CiQ8tU
675:.net
676:野暮天
20/04/13 20:13:29.17 ukZx7597.net
>>645
＞日本はもうダメだな
わしはコロナの件でそう確信したがのう
検査はせん 補償は出さん 下らん動画はのせる
この国の首相は国民を蔑ろにしとる
URLﾘﾝｸ(www.instagram.com)
これが民主主義か？
こんな民主主義ならもういらんじゃろ
議会制は根本的に間違っとる
677:１３２人目の素数さん
20/04/13 20:17:23.81 vWi06T7g.net
>>645
少なくとも望月やらショルツやらこの件に関わってる数学者なんかごく一部だからな
目立つからって全てであるかのように扱うのはおかしい
678:１３２人目の素数さん
20/04/13 20:17:50.72 y67whNyF.net
盲人象をなでる以前かと
679:１３２人目の素数さん
20/04/13 20:20:20.61 B1CiQ8tU.net
みんなすごいと言ってるけど何がどう凄いのか全然わからない
すごいからすごい
680:１３２人目の素数さん
20/04/13 20:21:19.78 vWi06T7g.net
>>628
それについて具体的に述べるのは勿体ないから言わないw
681:野暮天
20/04/13 20:21:43.48 ukZx7597.net
今に日本でも感染爆発がおきる
検査しとらんのじゃからそこらに潜在的感染者は山ほどおるじゃろ
貧困層を中心に死者が出るのは目に見えている
みんな今の政権の富裕層優遇政策のせいじゃ
だれが本当に働いてるのかわかっとらんな
金持ちは金だけ持っててもちっとも働きもせん
働くヤツがおらなくなったら金なんか無意味じゃ
所得分布 資産分布について全く言及できない
経済学は根本的に無意味じゃな
682:１３２人目の素数さん
20/04/13 20:23:02.19 DYqPl9DE.net
>>648
648 名前：野暮天[sage] 投稿日：2020/04/13(月) 20:13:29.17 ID:ukZx7597 [63/63]
[63/63]か、暇人だなｗ（＾＾；
683:１３２人目の素数さん
20/04/13 20:23:34.65 DYqPl9DE.net
>>653
ID:ukZx7597 [64/64]か
暇人だなｗｗ
684:野暮天
20/04/13 20:27:04 ukZx7597.net
＞暇人だな
うらやましいか？
おぬし 仕事やめたらよかろう
どうせ職場でも５ｃｈにかきこみするだけじゃろう
まさにデヴィッド・グレーバーのいう🐄💩仕事じゃな
685:野暮天
20/04/13 20:30:15 ukZx7597.net
>>656
＞デヴィッド・グレーバーのいう🐄💩仕事じゃな
いかんいかん、正確には🐂💩仕事らしい
686:１３２人目の素数さん
20/04/13 20:30:37 B1CiQ8tU.net
たかだか有限個のたかだかって何？
数学者特有の言い回し？
687:１３２人目の素数さん
20/04/13 20:43:17.16 DYqPl9DE.net
>>657
おサル、今度は”野暮天”名か
クスリ変わったかのか？ ｗ（＾＾；
688:１３２人目の素数さん
20/04/13 20:44:31.66 DYqPl9DE.net
>>659 訂正
クスリ変わったかのか？ ｗ（＾＾；
↓
クスリ変わったのか？ ｗ（＾＾；
ロリっちまったな
分かるとおもうが（＾＾
689:野暮天
20/04/13 20:46:32.13 ukZx7597.net
>>659
見栄坊は、サイコパスに効く💊が無くて残念じゃのう
690:野暮天
20/04/13 20:53:21.03 ukZx7597.net
さてそろそろBS-TBSの酒場放浪記でも見るか
691:１３２人目の素数さん
20/04/13 21:12:07.66 rJ1EYo/f.net
math_jinという方が、やたらと、ショルツが読めないと言っている
Cor 3.12の説明は、望月のどこそこ、星のどこそこ、山下のどこそこ
に書いてあるとツイードしているが、math_jin自身は読めているから
そういうツイードをしているのでしょうか。自分が読めないのに
なんでそんなツイードが可能なのだろう。
692:１３２人目の素数さん
20/04/13 21:22:47.83 fhSCJULt.net
>>663
なんでこのスレにそれを書くんだ
直接言ってこいよチキンが
693:１３２人目の素数さん
20/04/13 21:23:00.01 vWi06T7g.net
>>663
ショルツはIUTでやりたいことも最低限は理解してる
仕組みをわかった上でおかしいと言ってる。論争は普通の数学者からすればSSが有利だが、
別に誰も全否定はしてない。説明できるまで認めないよ、という状態。アンチとか関係なくWoitの言う通り
まあ現状これ以上ああだこうだ言うのは確かに無駄だろう。アクセプトしたからって正しい前提で
見てくれるほど甘くはないってこと
694:１３２人目の素数さん
20/04/13 21:25:45 vvVnRe9y.net
読めるならWoitのブログのコメントに対して何か反論するだろう
695:１３２人目の素数さん
20/04/13 21:34:59 y67whNyF.net
>>665
普通の数学者って誰のこと?
そもそも、シュルツに対しての望月の返答が放置されてる時点で
外径的にはSSが不利に見えるが。
696:１３２人目の素数さん
20/04/13 21:46:09 xkqYGVs+.net
ジョン・コンウェイがコロナで亡くなったね
2020年4月11日、2019新型コロナウイルス（COVID-19）が原因で死去。82歳没。
697:１３２人目の素数さん
20/04/13 22:05:43 GJRuKvRa.net
モッチーの反論に再反論せずに、査読完了まで何やってたん？ｗ ショルツさん
698:１３２人目の素数さん
20/04/13 22:22:54 2GaqU2jz.net
>>668
マジか…もう一つぐらい面白い有限群本を書いてほしかった
ご冥福をお祈りいたします