[過去ログ]
Interuniversal geometry とABC 予想60 (1002レス)
Interuniversal geometry とABC 予想60 http://rio2016.5ch.io/test/read.cgi/math/1774529018/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
554: 132人目の素数さん [] 2026/05/28(木) 18:21:43.53 ID:GUZiy/Mx あっw 同じ手口だw 33 名無しさん@実況は禁止ですよ 警備員[Lv.3] (ワッチョイ 1347-h4v0) 2026/05/27(水) 15:02:09.76 ID:KVhGBc830 今日Xのタイムラインでやたらとニコニコ動画を褒めまくってる(よいしょ)ポストが流れてるんだけど、ニコニコを褒め称えるバイトでもあるのかな 今までの運営を全然しらない人がポストしてるようなのばっかり https://egg.5ch.io/test/read.cgi/streaming/1779421814/33 40 名無しさん@実況は禁止ですよ 警備員[Lv.0][新芽] (ワッチョイ ab0c-S3fo) 2026/05/28(木) 14:05:00.35 ID:w+lIvLur0 >>33 まじなんなんだろうなあれ、最近流れてきてきっしょいわ だれか言ってやれよ、糞運営は相変わらずだと https://egg.5ch.io/test/read.cgi/streaming/1779421814/40 http://rio2016.5ch.io/test/read.cgi/math/1774529018/554
555: 132人目の素数さん [] 2026/05/29(金) 06:58:12.73 ID:V6ITruI4 火曜日に話した人は 望月理論をたいへん高く評価していたが 検証の話を知らなかった。 http://rio2016.5ch.io/test/read.cgi/math/1774529018/555
556: 132人目の素数さん [] 2026/05/29(金) 08:57:38.77 ID:V6ITruI4 40年前から同じ問題に取り組んでいる人で それについて論文を書いているところだと言っていた。 「論文にしないと誰も信用してくれませんからね」 と言っていたが 700ページの論文を書いても危ないとは あまり思っていないようだった。 http://rio2016.5ch.io/test/read.cgi/math/1774529018/556
557: 132人目の素数さん [sage] 2026/05/29(金) 10:23:36.76 ID:/CxzB/+J 川上とかいうクソゴミどこに逃げてんの? http://rio2016.5ch.io/test/read.cgi/math/1774529018/557
558: 132人目の素数さん [] 2026/05/29(金) 10:56:24.87 ID:XlDWbW9z 逃げるって?只のスポンサーでしょう zen大学設立できたんだから満足してるのでは http://rio2016.5ch.io/test/read.cgi/math/1774529018/558
559: 132人目の素数さん [sage] 2026/05/29(金) 12:54:43.37 ID:/CxzB/+J バカチョン「た、、ただのスポンサーだからあ責任なーい」 まあ税金抜きゃ井だけだもんなw ゲラゲラ ザコの遠吠えw http://rio2016.5ch.io/test/read.cgi/math/1774529018/559
560: 132人目の素数さん [] 2026/05/29(金) 14:04:56.03 ID:xzFpGX5Z >>553 数学の先生ってみんなこのシャツを着てるイメージなんだが同じブランドなんだろうか http://rio2016.5ch.io/test/read.cgi/math/1774529018/560
561: 132人目の素数さん [] 2026/05/30(土) 22:05:21.85 ID:bSiKlz/A 看板に使ってクソ学校作って税金抜いてる当事者じゃねーか >>558 チョンカスw http://rio2016.5ch.io/test/read.cgi/math/1774529018/561
562: 132人目の素数さん [] 2026/05/31(日) 06:31:22.69 ID:0jQjC6CC 7月17日はzen大学にとっても 意味のある日になるだろう http://rio2016.5ch.io/test/read.cgi/math/1774529018/562
563: 132人目の素数さん [] 2026/05/31(日) 14:18:06.65 ID:L4PfG3Ly 同じ系統のドワンゴ国産LLMのオッサンもいい感じに仕上がってきたなw 訴訟がどうの喚き始めたw http://rio2016.5ch.io/test/read.cgi/math/1774529018/563
564: 132人目の素数さん [] 2026/05/31(日) 15:05:25.19 ID:ARXMxDns >>563 気色悪い懸念国人は死ねよ恥知らずが。 http://rio2016.5ch.io/test/read.cgi/math/1774529018/564
565: 132人目の素数さん [] 2026/05/31(日) 15:49:38.61 ID:L4PfG3Ly >>564 おいゴミ 笹川朝鮮人が日本人ぶってんじゃねーぞコラ http://rio2016.5ch.io/test/read.cgi/math/1774529018/565
566: 132人目の素数さん [] 2026/05/31(日) 15:51:09.88 ID:L4PfG3Ly ひやっしーもcav.とか世界を救ったとか言い出してるし ほんといい仕上がりだわ こいつらw http://rio2016.5ch.io/test/read.cgi/math/1774529018/566
567: 132人目の素数さん [] 2026/05/31(日) 16:00:52.18 ID:L4PfG3Ly なんか脅迫してきたぞ 殺されてしまう http://rio2016.5ch.io/test/read.cgi/math/1774529018/567
568: 132人目の素数さん [] 2026/05/31(日) 16:41:43.45 ID:L4PfG3Ly 国産LLMの同キャラが「ひやっしーなどとばかにされた」とか言ってるけど これ完全にひやっしーさんを侮蔑してるよな http://rio2016.5ch.io/test/read.cgi/math/1774529018/568
569: 132人目の素数さん [] 2026/06/01(月) 10:57:32.57 ID:wTLKh3an >>568 とっとと入院するか●ねキチ●イ http://rio2016.5ch.io/test/read.cgi/math/1774529018/569
570: 132人目の素数さん [sage] 2026/06/01(月) 11:13:15.33 ID:pSYWCYPX 梨汁 http://rio2016.5ch.io/test/read.cgi/math/1774529018/570
571: 132人目の素数さん [sage] 2026/06/01(月) 11:17:23.06 ID:pSYWCYPX 入院食に良いかも http://rio2016.5ch.io/test/read.cgi/math/1774529018/571
572: 132人目の素数さん [] 2026/06/01(月) 16:06:16.32 ID:xKc5MUqE >>569 言語障害か ドワンゴ周りバカしかいねー http://rio2016.5ch.io/test/read.cgi/math/1774529018/572
573: 132人目の素数さん [] 2026/06/01(月) 16:38:58.90 ID:xKc5MUqE ガンギマリに仕上がってて爆笑したw http://rio2016.5ch.io/test/read.cgi/math/1774529018/573
574: 132人目の素数さん [sage] 2026/06/02(火) 21:33:32.13 ID:WRJhRISC >>128 これ記事全部AI生成じゃいのか http://rio2016.5ch.io/test/read.cgi/math/1774529018/574
575: 132人目の素数さん [] 2026/06/02(火) 21:46:37.68 ID:jrSMLXal >>574 それぽいね http://rio2016.5ch.io/test/read.cgi/math/1774529018/575
576: 132人目の素数さん [sage] 2026/06/02(火) 23:11:49.63 ID:RhtQq3GB >>575 geminiだろうね 事実捻じ曲げてまで利用者に寄せてくるからな IUT信者御用達 http://rio2016.5ch.io/test/read.cgi/math/1774529018/576
577: 132人目の素数さん [] 2026/06/05(金) 07:11:35.78 ID:oFv6aamr そもそももうなんの進展もないよね IUT 望月も何かがおかしいことに気づいてるんじゃないかな? プライドクソ高だからどう拳を下げて謝ればいいのかわからんのだろうね 笑 http://rio2016.5ch.io/test/read.cgi/math/1774529018/577
578: 132人目の素数さん [sage] 2026/06/05(金) 12:40:18.24 ID:+lkPZ47g 進展ないかどうかは717にわかる http://rio2016.5ch.io/test/read.cgi/math/1774529018/578
579: 132人目の素数さん [sage] 2026/06/05(金) 13:51:43.74 ID:xa9tsfQY ゆっくり待とう http://rio2016.5ch.io/test/read.cgi/math/1774529018/579
580: 132人目の素数さん [] 2026/06/05(金) 13:57:15.51 ID:hh2bP5sr ショルツの指摘はクリティカルだった、LEANでそれがはっきりしたって言えばまあある程度は許されるんじゃないかね http://rio2016.5ch.io/test/read.cgi/math/1774529018/580
581: 132人目の素数さん [sage] 2026/06/05(金) 18:35:11.31 ID:TK3sAAJ7 >>577 ドワンゴ税金吸い取りシステムに使われてるだけなのが認められないのかもな 手段は問わず数学界の予算のためえええとか自分に嘘ついてる状態かもな http://rio2016.5ch.io/test/read.cgi/math/1774529018/581
582: 132人目の素数さん [sage] 2026/06/05(金) 20:47:34.74 ID:dIc+3A3u >>580 「問題は3.12じゃなああい、3.11.5だああ」 とか小細工かましてフカしてるあたり 認めないだろうなw http://rio2016.5ch.io/test/read.cgi/math/1774529018/582
583: 132人目の素数さん [] 2026/06/08(月) 23:26:33.76 ID:jIFwXGol >>582 ショルツも間違ってましたバーカバーカって言いながらギャップ認めればワンチャン引き分けっぽく見えるから... http://rio2016.5ch.io/test/read.cgi/math/1774529018/583
584: 132人目の素数さん [] 2026/06/09(火) 06:28:00.99 ID:RhJLDhI+ 自分に間違いがあったなんて認めるわけないっしょ 望月数学「復元」の正当性がat stakeなんだから 形式化不能って言われたらこれまで同様 自明なことを分からん方が悪いと突っぱねるっしょ (ついでに形式主義が悪いとか言い出したらモノホンなんだが) 誰がどんな助け舟だそうが爆砕するのみよ http://rio2016.5ch.io/test/read.cgi/math/1774529018/584
585: 132人目の素数さん [] 2026/06/09(火) 06:48:18.98 ID:2JlLibg8 世界的数学者フェセンコ氏の現在の立場はどうなのだろう 彼はABC予想が今や定理になったと主張しているのかどうか http://rio2016.5ch.io/test/read.cgi/math/1774529018/585
586: 132人目の素数さん [] 2026/06/09(火) 06:57:59.11 ID:xX00Cr76 基礎論の本一冊でも読めば望月の頭脳なら自分の主張がおかしいってすぐ理解できただろうに ろくに勉強もせず精神論で俺が考えたんだから正しいってゴネ続けるって老害そのもの http://rio2016.5ch.io/test/read.cgi/math/1774529018/586
587: 132人目の素数さん [] 2026/06/09(火) 20:18:19.82 ID:pCDyfSN7 望月は朝日が必死に印象操作してるような 革命者でも真理の追求者でもなんでもなく 権威に胡座かいてワガママ放題ゴネ得狙いの老害そのものなんだよな http://rio2016.5ch.io/test/read.cgi/math/1774529018/587
588: 132人目の素数さん [] 2026/06/09(火) 21:09:08.54 ID:6oknm69m >>585 ZEN大学教授なんでしょ確かさ http://rio2016.5ch.io/test/read.cgi/math/1774529018/588
589: 132人目の素数さん [] 2026/06/11(木) 21:49:50.68 ID:6OJ7PBRy LANAもfesenkoのIUT講義もIUGC (ZMCと名を変更)に基づく。 既にIUGCでは、望月新一IUTが現数学と 異なる一方abc予想はそのIUTより解決したと宣言している。 abc予想の受理は茶番劇だ https://m.youtube.com/watch?v=8vLQIAgFapk&ra=m http://rio2016.5ch.io/test/read.cgi/math/1774529018/589
590: 132人目の素数さん [] 2026/06/12(金) 00:01:38.75 ID:FjNGj4Vm 京大数理研の数学誌PRIMS編集が IUTよりabc予想を証明したとする望月新一論文を受理したから、 京大数理研ととりまきのみabc定理で 他はabc予想。 この事実は今後も変わらない。 またfesenko氏は3年かけてIUTを完全に 理解したとか梅崎氏はIUT講義の単位認定 基準を述べるほどIUTを理解している とかハッタリかましているとしか思えない。茶番劇は続くだろう http://rio2016.5ch.io/test/read.cgi/math/1774529018/590
591: 132人目の素数さん [sage] 2026/06/12(金) 01:05:40.94 ID:5DGUTc4x 外野だけど、幻の3.11.5が出てきた時点で望月がSSにファビョっただけに見えてる 普通に謝った方がいいよ http://rio2016.5ch.io/test/read.cgi/math/1774529018/591
592: 132人目の素数さん [] 2026/06/12(金) 02:10:27.62 ID:wCvZwoqO アサヒのバカ記者が知ったかぶって フィフティフィフティの印象づくりしてるのは害悪でしかないね 取り巻き以外に取材とかしてねえ太鼓持ち垂れ流しの三流コタツ記者やなあれ 俺はその辺の数学者より数学に詳しいんだ! ↑このノリでHPVワクチンの陰謀論とかも垂れ流してたんだろうなバカサヨ新聞 http://rio2016.5ch.io/test/read.cgi/math/1774529018/592
593: 132人目の素数さん [sage] 2026/06/12(金) 03:35:39.56 ID:WYOfHywY >>592 朝日新聞とAERAの科学記事まじで知的障害くせえからなあ ひやっしー持ち上げてたり 個別の記述もかなりやばい完全アウトな言及がいくつもある http://rio2016.5ch.io/test/read.cgi/math/1774529018/593
594: 132人目の素数さん [] 2026/06/12(金) 04:59:36.37 ID:wCvZwoqO いまだに難しすぎてor斬新すぎて理解できないとか言い訳信じてるのも望月真理教教団だけだろ http://rio2016.5ch.io/test/read.cgi/math/1774529018/594
595: 132人目の素数さん [] 2026/06/12(金) 19:50:29.24 ID:EiJ8sP/3 看这个の読み方が知りたい http://rio2016.5ch.io/test/read.cgi/math/1774529018/595
596: 132人目の素数さん [] 2026/06/12(金) 21:13:17.96 ID:zzeCjkGL >>595 カンチェイガ、これを見てという意味 http://rio2016.5ch.io/test/read.cgi/math/1774529018/596
597: 132人目の素数さん [] 2026/06/12(金) 21:23:44.41 ID:EiJ8sP/3 ネットで見たときには 「カンチューリ」と聞こえた http://rio2016.5ch.io/test/read.cgi/math/1774529018/597
598: 132人目の素数さん [] 2026/06/14(日) 16:31:44.21 ID:rGtUHP+M >>560 scholzeは賢いから似合う http://rio2016.5ch.io/test/read.cgi/math/1774529018/598
599: 132人目の素数さん [] 2026/06/14(日) 16:39:40.82 ID:rGtUHP+M ・Condensed Mathematics quanta magazine 2026年5月20日 Two Researchers Are Rebuilding Mathematics From the Ground Up >some mathematicians are likening their work to a similar mathematical あrevolution that took place in the 1950s and ’60s — when Alexander Grothendieck reimagined the field of algebraic geometry。 in accordance with category theory, vastly extending its reach and power. Grothendieck’s impact on modern mathematics was profound. And now, according to Dagur Asgeirsson , a postdoctoral researcher at the University of Alberta and Clausen’s former graduate student, "I think it’s fair to compare Peter to Grothendieck in this sense. He is reinventing everything somehow.” 一部の数学者は、自分たちの研究を1950年代から60年代にかけて起きた同様の数学的革命に例えている。 当時、アレクサンダー・グロタンディークは圏論に基づいて代数幾何学の分野を再構築し、その適用範囲と影響力を飛躍的に拡大させた。 グロタンディークが現代数学に与えた影響は計り知れない。 そして今、アルバータ大学のポスドク研究員であり、クラウセンの元大学院生であるダグル・アスゲイルソンは、「この意味において、ピーターをグロタンディークと比較するのは妥当だと思います。彼はある意味で、すべてを再発明しているのです」と述べている。deepl http://rio2016.5ch.io/test/read.cgi/math/1774529018/599
600: 132人目の素数さん [] 2026/06/14(日) 16:44:58.87 ID:rGtUHP+M >>599 https://www.quantamagazine.org/two-researchers-are-rebuilding-mathematics-from-the-ground-up-20260520/ http://rio2016.5ch.io/test/read.cgi/math/1774529018/600
601: 132人目の素数さん [sage] 2026/06/14(日) 16:45:10.21 ID:Cuj+tJLh とりあえずビールならぬ とりあえずチェック服 http://rio2016.5ch.io/test/read.cgi/math/1774529018/601
602: 132人目の素数さん [] 2026/06/14(日) 17:01:33.85 ID:Om9P0sLd ホンモノの天才ショルツに忌憚なく叩きのめされて 悔し〜って裏で悪口言うだけが精一杯の情けない尊師と取り巻きのニセモノ集団 http://rio2016.5ch.io/test/read.cgi/math/1774529018/602
603: 132人目の素数さん [] 2026/06/14(日) 17:13:05.02 ID:OmfOix83 でも>>602ゎホンモノの天才モッチャマの業績に比肩するナニモノモヒリダサズ 雨にも飽きず 風ニモアキズ 悔し〜って裏で悪口言うだけが精一杯の 尊師と取り巻きにも入らない情けないニセモノ集団じゃん。 http://rio2016.5ch.io/test/read.cgi/math/1774529018/603
604: 132人目の素数さん [] 2026/06/14(日) 17:19:31.88 ID:F5m8gboL Peter Scholzeって肩幅が狭いですが、MPIMでは肩身が広いようですね。 http://rio2016.5ch.io/test/read.cgi/math/1774529018/604
605: 132人目の素数さん [sage] 2026/06/14(日) 19:31:01.54 ID:9MBHxaBE >>602 コジキのコスプレとかw http://rio2016.5ch.io/test/read.cgi/math/1774529018/605
606: 132人目の素数さん [sage] 2026/06/14(日) 19:31:48.54 ID:9MBHxaBE >>603 つまんねえコピペ低学歴在日ワラタ 何これ ますチョン? http://rio2016.5ch.io/test/read.cgi/math/1774529018/606
607: 132人目の素数さん [sage] 2026/06/14(日) 19:39:49.61 ID:Y7y2YnfU 永訣の朝は良いね http://rio2016.5ch.io/test/read.cgi/math/1774529018/607
608: 132人目の素数さん [] 2026/06/14(日) 19:57:47.17 ID:k784Ly9S 7月17日がそうならないように祈ろう http://rio2016.5ch.io/test/read.cgi/math/1774529018/608
609: 132人目の素数さん [] 2026/06/14(日) 19:59:12.29 ID:gOMPl6pr >>606 なんて腐れ中共漢人は日本人や韓国人に成り済まして韓国人ディスや日本人ディスしかできないん? バレバレで中共漢人がますます嫌われてるだけなのにね。 モッチャマに粘着してスパイよこしたり、ネットで執拗くバッシングしたり必死だよね。 http://rio2016.5ch.io/test/read.cgi/math/1774529018/609
610: 132人目の素数さん [sage] 2026/06/14(日) 20:55:04.87 ID:9MBHxaBE >>609 ワラタ お前おと同じ血が汚れた低学歴朝鮮人偽右翼についてレクチャーしてやるよ リアル右翼舐めんなよ笹川在日 これが答え 旧満州=北朝鮮&中国瀋陽=李氏朝鮮=朝鮮族=清和=在日偽右翼=統一=勝共=朝鮮道院=紅卍会(日本赤十字)=大本教(偽装神道)=在日偽右翼=プーアノン北朝鮮在日偽右翼=日猶同祖論(イスラエル工作員) WW2後、英米から東アジアの防共を任されていたが所詮はチョンカスなので結局はロシア北朝鮮に寝返って日本で右翼を騙って寄生しつつ李氏朝鮮奴隷制の復興を目指している やたら中国中国言う割に なぜか北朝鮮&ロシアをスルーするのは 旧満州北朝鮮人偽右翼だから あともう一個パラメータあって 日猶同祖論系宗教の朝鮮人 この場合はイスラエルの犬成分が強くなる http://rio2016.5ch.io/test/read.cgi/math/1774529018/610
611: 132人目の素数さん [sage] 2026/06/16(火) 01:00:18.47 ID:qjrYZYwC 望月教授がLeanを形式化検証ではなくコミュニケーションのツールとして使用しようとする理由 “in fact the logical structure of the theory is rather simple” 「IUT理論の論理構造は、かなりシンプルなので」 Lepage氏のように、LANAチームも正しい理解に達するだろうという確信があること😏 ☝ だったら1発で終わらせろよ 理解者何人いるんだよw コミュニケーションwwできてねーじゃん http://rio2016.5ch.io/test/read.cgi/math/1774529018/611
612: 132人目の素数さん [] 2026/06/17(水) 12:38:58.16 ID:BS0TaH+W 正しい理解に達したのだろう。その結果 http://rio2016.5ch.io/test/read.cgi/math/1774529018/612
613: 132人目の素数さん [sage] 2026/06/17(水) 12:51:21.16 ID:Sg+ZMoDj 証明は間違いという理解に達した http://rio2016.5ch.io/test/read.cgi/math/1774529018/613
614: 132人目の素数さん [sage] 2026/06/17(水) 15:33:30.82 ID:awuS9Hac ようやく辿り着いたか、神の域に http://rio2016.5ch.io/test/read.cgi/math/1774529018/614
615: 132人目の素数さん [sage] 2026/06/17(水) 20:57:42.71 ID:Im0o0M5C 間違いですらないひどい有様から間違いに到達したのか あとはあいつらが 「ショルツさんありがとうございました」が言えるかどうか http://rio2016.5ch.io/test/read.cgi/math/1774529018/615
616: 132人目の素数さん [sage] 2026/06/17(水) 21:55:57.80 ID:xrEYsVit 公開後数秒で死んだはずの理論をここまで引っ張ったのはまさに神業 http://rio2016.5ch.io/test/read.cgi/math/1774529018/616
617: 132人目の素数さん [sage] 2026/06/17(水) 23:26:34.34 ID:JQ8keOxq >>616 税金どんだけ抜いたんだろうな http://rio2016.5ch.io/test/read.cgi/math/1774529018/617
618: 132人目の素数さん [] 2026/06/18(木) 08:40:20.42 ID:ugvkYf9+ >>615 https://www.asahi.com/articles/ASTDB0C95TDBDIFI00WM.html バザード氏は形式化で証明が正しいと検証される可能性について聞かれて 「そうなれば大きな驚きとなり、 数学界は望月氏に謝罪することになるでしょう」 と答えてますが、これはイギリス紳士の皮肉でその真意は 「そんな可能性はない、 (これで失敗したら)望月氏は数学界に謝罪しなさい」 ってことでしょう http://rio2016.5ch.io/test/read.cgi/math/1774529018/618
619: 132人目の素数さん [sage] 2026/06/18(木) 11:14:19.62 ID:94TSE/y9 BがXで忙しい忙しいいうとるが、来月のLANA発表も期待していいのか? http://rio2016.5ch.io/test/read.cgi/math/1774529018/619
620: 132人目の素数さん [] 2026/06/18(木) 12:16:34.44 ID:HqyjUcmM >>619 ZEN大学出版会じゃないんですか? http://rio2016.5ch.io/test/read.cgi/math/1774529018/620
621: 132人目の素数さん [sage] 2026/06/18(木) 22:50:13.71 ID:OGIMk/Jt 閉校しなさい http://rio2016.5ch.io/test/read.cgi/math/1774529018/621
622: 132人目の素数さん [] 2026/06/18(木) 23:06:06.25 ID:IQE6lLOk 2019年4月KADOKAWAより 川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」=(文元IUT本)が出版された。 scholz stixレポートへ回答書で 望月新一本人も監修している。 (>>310) (>>312) (>>316) (>>334) (>>335) など ZMCの加藤文元所長は2026年7月10日までに文元IUT本の英訳をKADOKAWAのHPなどで公開する責任がある。 fesenko副所長が英訳を熱望してた http://rio2016.5ch.io/test/read.cgi/math/1774529018/622
623: 132人目の素数さん [] 2026/06/19(金) 00:12:23.72 ID:cuIShk23 なんで英訳の責任なんてあんの? さすがに言い掛かりってもんだろ だいたい7月10日って何の日付? 妄想も大概にな ところでLANAプロジェクトは順調に進行してるってよ http://rio2016.5ch.io/test/read.cgi/math/1774529018/623
624: 132人目の素数さん [] 2026/06/19(金) 00:31:30.71 ID:dORXWEYi >なんで英訳の責任なんてあんのかよ fesenko副所長がベストセラーと 絶賛し英訳を熱望していたからだ。 英訳は文元所長があると言っていた。 >ところでLANAプロジェクトは順調に進行してるってよ 既にIUTの自己評価は>>622で決定している。 LANAプロジェクトは不必要だ http://rio2016.5ch.io/test/read.cgi/math/1774529018/624
625: 132人目の素数さん [sage] 2026/06/19(金) 00:35:34.63 ID:q5hmIrr5 よくわかんね http://rio2016.5ch.io/test/read.cgi/math/1774529018/625
626: 132人目の素数さん [] 2026/06/19(金) 00:49:56.29 ID:cuIShk23 >>624 そんなんで責任が生じるわけねえだろ http://rio2016.5ch.io/test/read.cgi/math/1774529018/626
627: 132人目の素数さん [] 2026/06/19(金) 00:51:58.83 ID:cuIShk23 あと外野が何を言おうがLANAプロジェクトの進捗には関係ないね http://rio2016.5ch.io/test/read.cgi/math/1774529018/627
628: 132人目の素数さん [] 2026/06/19(金) 00:53:17.55 ID:dORXWEYi >>626 >ところでLANAプロジェクトは順調に進行してるってよ 誰に聞きましたか? 加藤文元所長? http://rio2016.5ch.io/test/read.cgi/math/1774529018/628
629: 132人目の素数さん [] 2026/06/19(金) 00:58:05.07 ID:cuIShk23 >>628 lean界隈から http://rio2016.5ch.io/test/read.cgi/math/1774529018/629
630: 132人目の素数さん [] 2026/06/19(金) 01:49:23.49 ID:p7G9a4Zs > lean界隈から LANAプロジェクトのlean 専門家はcommelinとtopaz。 ・commelin >この重要なプロジェクトを支援してくださっている川上様、ならびにZEN数学センターに感謝申し上げるとともに、今後の継続的な協力関係を楽しみにしております。 ・topaz >川上様、加藤教授、そしてZEN数学センター(ZMC)が、これほど真剣な目的を持ってこのチームを結成し、支援してくださったことに深く感謝申し上げます 二人とも川上量生氏に謝礼を述べているが、ZMCの所員でない川上量生氏の 援助とは何? 金銭的援助? また、 川上量生氏の企画なら、既に 望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」へがある。 http://rio2016.5ch.io/test/read.cgi/math/1774529018/630
631: 132人目の素数さん [sage] 2026/06/19(金) 03:49:53.99 ID:2RsXB+Rc 717に吠え面かくなよ文科省報告書云々一本野郎 http://rio2016.5ch.io/test/read.cgi/math/1774529018/631
632: 132人目の素数さん [] 2026/06/19(金) 06:05:23.55 ID:vEuVMEol また罵倒逃げですか? http://rio2016.5ch.io/test/read.cgi/math/1774529018/632
633: 132人目の素数さん [sage] 2026/06/19(金) 06:49:49.72 ID:P9EKCEXc まともな情報を持っていない人は7.17?まで素直に待っていれば良いのに。 http://rio2016.5ch.io/test/read.cgi/math/1774529018/633
634: 132人目の素数さん [] 2026/06/19(金) 07:48:26.56 ID:OLmeb/0d >>631 >文科省報告書云々 京大数理研ではabc予想が査読中から 解決していた。 2026年7月17日に具体的明確な経緯の 説明があるのか http://rio2016.5ch.io/test/read.cgi/math/1774529018/634
635: 132人目の素数さん [] 2026/06/19(金) 07:53:58.34 ID:OLmeb/0d >>634 平成28年(2016年)6月 IUT論文査読中。 文科省所管の独立行政法人 大学改革支援・学位授与機構宛 京都大学数理解析研究所 第2期中期目標期間(平成22年〜 平成27事業年度) -現況調査表 - ・p 28-3 資料 2. 発表論文数 所員の発表論文数 査読付き論文のみ ・p28-10 事例4「数論幾何の研究」 「望月新一に よる「宇宙際タイヒ ミューラー理論」の構築とその結果としての ABC 予想の解決は、 特筆すべき 出来事である。」 「当該論文は現在査読中であるが、 」 「望月新一が同理論の概要を解説した業績番号1― (2)(2014)が、 講究録別冊(B51)として刊行されている」 http://rio2016.5ch.io/test/read.cgi/math/1774529018/635
636: 132人目の素数さん [] 2026/06/19(金) 08:01:33.46 ID:OLmeb/0d >>635 https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_5_3.pdf http://rio2016.5ch.io/test/read.cgi/math/1774529018/636
637: 132人目の素数さん [] 2026/06/19(金) 08:53:37.74 ID:L9+EvLqC IUT騒動とは何か? RIMSの中の人が文科省から予算を毟るために できてもいないことをできたと言い張った出来事 http://rio2016.5ch.io/test/read.cgi/math/1774529018/637
638: 132人目の素数さん [] 2026/06/19(金) 09:53:58.61 ID:cuIShk23 >>631 こいつは経緯と無関係なLANAプロジェクトが >具体的明確な経緯の説明 できると思ってるデンパだから ところでLANAプロジェクトって何のためにあると思ってんの? http://rio2016.5ch.io/test/read.cgi/math/1774529018/638
639: 132人目の素数さん [sage] 2026/06/19(金) 10:02:09.61 ID:WCuFKOXa でんぱ組 http://rio2016.5ch.io/test/read.cgi/math/1774529018/639
640: 132人目の素数さん [sage] 2026/06/19(金) 14:04:51.08 ID:0aG6IhJ/ >>638 コミュニケーション(失笑)だろ http://rio2016.5ch.io/test/read.cgi/math/1774529018/640
641: 132人目の素数さん [] 2026/06/19(金) 23:10:42.24 ID:+Z3vQSjh IUTスキャンダルの原因は I didn’t really see a key idea that would get us closer to the proof of the abcconjecture.” by p.scholze IUT一派にはabc予想の証明へ近づくkeyとなるアイデアがない。 だからscholze.stixレポートへの回答が望月IUT語のトンデモ(デンパ)になった。(>>622) 加藤文元所長のLANAプロジェクトは 入力.望月新一語のIUT→自然言語→leanによる形式化→出力で、入力がトンデモ(デンパ)だから出力もトンデモ(デンパ)のガラクタだ。 京大数理研界隈では、 ガラクタabc定理を信奉する IUTへ信心が推奨されてるようだ http://rio2016.5ch.io/test/read.cgi/math/1774529018/641
642: 132人目の素数さん [] 2026/06/19(金) 23:20:09.92 ID:+Z3vQSjh >>641 https://zen.ac.jp/zmc/topics/jwz-o8xr3v6f http://rio2016.5ch.io/test/read.cgi/math/1774529018/642
643: 132人目の素数さん [] 2026/06/20(土) 06:47:43.87 ID:gJAUPic7 とりあえずscholzeが問題視する部分だけでもAIで検証できないのか http://rio2016.5ch.io/test/read.cgi/math/1774529018/643
644: 132人目の素数さん [] 2026/06/20(土) 06:58:54.24 ID:UYtLNwKk IUT論文AIに読み込ませて、定理3.11から系3.12を導く過程をLEANでやらせてみりゃわかるけど、部品と補題が多すぎるねん それらの定式化だけで数万行軽く行く LANAは遠アーベル幾何学のライブラリ実装も兼ねてるって話だから7月17日の中間報告ではGithubが流石に公開されると思うから期待やね Githubの公開がなかったらそれだけでガッカリや http://rio2016.5ch.io/test/read.cgi/math/1774529018/644
645: 132人目の素数さん [sage] 2026/06/20(土) 09:49:30.97 ID:MaaC2GCB 造語おじさんの虚言に誠心誠意答付き合って議論したショルツって聖人かなにか? http://rio2016.5ch.io/test/read.cgi/math/1774529018/645
646: 132人目の素数さん [] 2026/06/20(土) 15:19:28.94 ID:Hajjvb0G まだ期待してる馬鹿いるのか 数学素人が文元に騙されてんだろうけど 哀れだなw http://rio2016.5ch.io/test/read.cgi/math/1774529018/646
647: 132人目の素数さん [] 2026/06/20(土) 15:27:39.17 ID:xZkSBPwa ☆がコード化要員に論理を説明できないのがすべて 無い論理は説明できないわな http://rio2016.5ch.io/test/read.cgi/math/1774529018/647
648: 132人目の素数さん [sage] 2026/06/20(土) 16:22:39.10 ID:U5VeawLX 数学を学び、議論するときは、他のすべてを無駄とみなして本題だけに集中すること レトリックもドラマチックもいらない http://rio2016.5ch.io/test/read.cgi/math/1774529018/648
649: 132人目の素数さん [sage] 2026/06/20(土) 17:05:20.74 ID:xgRaE+To >>648 過去の天才の逸話を並べてIUTを飾り立てる加藤であった http://rio2016.5ch.io/test/read.cgi/math/1774529018/649
650: 132人目の素数さん [] 2026/06/20(土) 18:20:40.89 ID:75vrnpmp >>574 だな 書かれてる活動実態がないからね http://rio2016.5ch.io/test/read.cgi/math/1774529018/650
651: 132人目の素数さん [] 2026/06/20(土) 18:25:56.58 ID:75vrnpmp >>644 >LANAは遠アーベル幾何学のライブラリ実装も兼ねてるって話だから7月17日の中間報告ではGithubが流石に公開されると思うから期待やね 無理じゃないかなあ もともとそれがゴールだったら1年半かけてるから終わってるはず ゴールはIUT理論の正当性で そっちのギャップが深刻な状態 その状態で遠アーベル幾何学ライブラリの構築に集中できると思えない 海外みたいにプロジェクトが数学の方はやらない専門プログラマ雇ってれば別だけど日本は不得意なやり方 http://rio2016.5ch.io/test/read.cgi/math/1774529018/651
652: 132人目の素数さん [] 2026/06/20(土) 22:08:30.65 ID:Hajjvb0G 山下とか数理研で何もしてねえで恥ずかしくねえのかな 厚顔無恥な連中だな http://rio2016.5ch.io/test/read.cgi/math/1774529018/652
653: 132人目の素数さん [] 2026/06/21(日) 11:16:19.39 ID:WtUOM5ns 山下さんはどこか外国に行ったと聞いたが http://rio2016.5ch.io/test/read.cgi/math/1774529018/653
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 349 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s