[過去ﾛｸﾞ] Interuniversal geometry とABC 予想60
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
603(1): 06/14(日)17:13 ID:OmfOix83(1) AAS
でも>>602ゎホンモノの天才ﾓｯﾁｬﾏの業績に比肩するナニモノモヒリダサズ
雨にも飽きず 風ニモアキズ
悔し〜って裏で悪口言うだけが精一杯の
尊師と取り巻きにも入らない情けないニセモノ集団じゃん。
604: 06/14(日)17:19 ID:F5m8gboL(1) AAS
Peter Scholzeって肩幅が狭いですが、MPIMでは肩身が広いようですね。
605: 06/14(日)19:31 ID:9MBHxaBE(1/3) AAS
>>602
コジキのコスプレとかw
606(1): 06/14(日)19:31 ID:9MBHxaBE(2/3) AAS
>>603
つまんねえコピペ低学歴在日ワラタ
何これ
ますチョン？
607: 06/14(日)19:39 ID:Y7y2YnfU(1) AAS
永訣の朝は良いね
608: 06/14(日)19:57 ID:k784Ly9S(1) AAS
７月１７日がそうならないように祈ろう
609(1): 06/14(日)19:59 ID:gOMPl6pr(1) AAS
>>606
なんて腐れ中共漢人は日本人や韓国人に成り済まして韓国人ディスや日本人ディスしかできないん？
バレバレで中共漢人がますます嫌われてるだけなのにね。
ﾓｯﾁｬﾏに粘着してスパイよこしたり、ネットで執拗くバッシングしたり必死だよね。
610: 06/14(日)20:55 ID:9MBHxaBE(3/3) AAS
>>609
ワラタ
お前おと同じ血が汚れた低学歴朝鮮人偽右翼についてレクチャーしてやるよ
リアル右翼舐めんなよ笹川在日
これが答え
旧満州=北朝鮮&中国瀋陽＝李氏朝鮮=朝鮮族=清和＝在日偽右翼=統一=勝共=朝鮮道院=紅卍会(日本赤十字)=大本教(偽装神道)=在日偽右翼=プーアノン北朝鮮在日偽右翼=日猶同祖論(イスラエル工作員)
WW2後、英米から東アジアの防共を任されていたが所詮はチョンカスなので結局はロシア北朝鮮に寝返って日本で右翼を騙って寄生しつつ李氏朝鮮奴隷制の復興を目指している
やたら中国中国言う割に
なぜか北朝鮮&ロシアをスルーするのは
旧満州北朝鮮人偽右翼だから
省3
611: 06/16(火)01:00 ID:qjrYZYwC(1) AAS
望月教授がLeanを形式化検証ではなくコミュニケーションのツールとして使用しようとする理由 “in fact the logical structure of the theory is rather simple” 「IUT理論の論理構造は、かなりシンプルなので」 Lepage氏のように、LANAチームも正しい理解に達するだろうという確信があること😏
☝
だったら1発で終わらせろよ
理解者何人いるんだよw
コミュニケーションwwできてねーじゃん
612: 06/17(水)12:38 ID:BS0TaH+W(1) AAS
正しい理解に達したのだろう。その結果
613: 06/17(水)12:51 ID:Sg+ZMoDj(1) AAS
証明は間違いという理解に達した
614: 06/17(水)15:33 ID:awuS9Hac(1) AAS
ようやく辿り着いたか、神の域に
615(1): 06/17(水)20:57 ID:Im0o0M5C(1) AAS
間違いですらないひどい有様から間違いに到達したのか
あとはあいつらが
「ショルツさんありがとうございました」が言えるかどうか
616(1): 06/17(水)21:55 ID:xrEYsVit(1) AAS
公開後数秒で死んだはずの理論をここまで引っ張ったのはまさに神業
617: 06/17(水)23:26 ID:JQ8keOxq(1) AAS
>>616
税金どんだけ抜いたんだろうな
618: 06/18(木)08:40 ID:ugvkYf9+(1) AAS
>>615
外部ﾘﾝｸ[html]:www.asahi.com
バザード氏は形式化で証明が正しいと検証される可能性について聞かれて
「そうなれば大きな驚きとなり、
数学界は望月氏に謝罪することになるでしょう」
と答えてますが、これはイギリス紳士の皮肉でその真意は
「そんな可能性はない、
（これで失敗したら）望月氏は数学界に謝罪しなさい」
ってことでしょう
619(1): 06/18(木)11:14 ID:94TSE/y9(1) AAS
BがXで忙しい忙しいいうとるが、来月のLANA発表も期待していいのか？
620: 06/18(木)12:16 ID:HqyjUcmM(1) AAS
>>619
ZEN大学出版会じゃないんですか？
621: 06/18(木)22:50 ID:OGIMk/Jt(1) AAS
閉校しなさい
622(3): 06/18(木)23:06 ID:IQE6lLOk(1) AAS
2019年4月KADOKAWAより
川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」=(文元IUT本)が出版された。
scholz stixレポートへ回答書で
望月新一本人も監修している。
(>>310) (>>312)
(>>316) (>>334)
(>>335) など
ZMCの加藤文元所長は2026年7月10日までに文元IUT本の英訳をKADOKAWAのHPなどで公開する責任がある。
fesenko副所長が英訳を熱望してた
623: 06/19(金)00:12 ID:cuIShk23(1/5) AAS
なんで英訳の責任なんてあんの？
さすがに言い掛かりってもんだろ
だいたい7月10日って何の日付？
妄想も大概にな
ところでLANAプロジェクトは順調に進行してるってよ
624(1): 06/19(金)00:31 ID:dORXWEYi(1/2) AAS
>なんで英訳の責任なんてあんのかよ
fesenko副所長がベストセラーと
絶賛し英訳を熱望していたからだ。
英訳は文元所長があると言っていた。
>ところでLANAプロジェクトは順調に進行してるってよ
既にIUTの自己評価は>>622で決定している。
LANAプロジェクトは不必要だ
625: 06/19(金)00:35 ID:q5hmIrr5(1) AAS
よくわかんね
626(1): 06/19(金)00:49 ID:cuIShk23(2/5) AAS
>>624 そんなんで責任が生じるわけねえだろ
627: 06/19(金)00:51 ID:cuIShk23(3/5) AAS
あと外野が何を言おうがLANAプロジェクトの進捗には関係ないね
628(1): 06/19(金)00:53 ID:dORXWEYi(2/2) AAS
>>626
>ところでLANAプロジェクトは順調に進行してるってよ
誰に聞きましたか？
加藤文元所長？
629: 06/19(金)00:58 ID:cuIShk23(4/5) AAS
>>628 lean界隈から
630: 06/19(金)01:49 ID:p7G9a4Zs(1) AAS
> lean界隈から
LANAプロジェクトのlean
専門家はcommelinとtopaz。
・commelin
>この重要なプロジェクトを支援してくださっている川上様、ならびにZEN数学センターに感謝申し上げるとともに、今後の継続的な協力関係を楽しみにしております。
・topaz
>川上様、加藤教授、そしてZEN数学センター（ZMC）が、これほど真剣な目的を持ってこのチームを結成し、支援してくださったことに深く感謝申し上げます
二人とも川上量生氏に謝礼を述べているが、ZMCの所員でない川上量生氏の
援助とは何？
金銭的援助？
省3
631(2): 06/19(金)03:49 ID:2RsXB+Rc(1) AAS
717に吠え面かくなよ文科省報告書云々一本野郎
632: 06/19(金)06:05 ID:vEuVMEol(1) AAS
また罵倒逃げですか？
633: 06/19(金)06:49 ID:P9EKCEXc(1) AAS
まともな情報を持っていない人は7.17？まで素直に待っていれば良いのに。
634(1): 06/19(金)07:48 ID:OLmeb/0d(1/3) AAS
>>631
>文科省報告書云々
京大数理研ではabc予想が査読中から
解決していた。
2026年7月17日に具体的明確な経緯の
説明があるのか
635(1): 06/19(金)07:53 ID:OLmeb/0d(2/3) AAS
>>634
平成28年(2016年)6月
IUT論文査読中。
文科省所管の独立行政法人
大学改革支援・学位授与機構宛
京都大学数理解析研究所
第2期中期目標期間(平成22年〜
平成27事業年度)
-現況調査表 -
・p 28-3
資料 2. 発表論文数
所員の発表論文数
査読付き論文のみ
省5
636: 06/19(金)08:01 ID:OLmeb/0d(3/3) AAS
>>635
外部ﾘﾝｸ[pdf]:www.niad.ac.jp
637: 06/19(金)08:53 ID:L9+EvLqC(1) AAS
IUT騒動とは何か？
RIMSの中の人が文科省から予算を毟るために
できてもいないことをできたと言い張った出来事
638(1): 06/19(金)09:53 ID:cuIShk23(5/5) AAS
>>631 こいつは経緯と無関係なLANAプロジェクトが
＞具体的明確な経緯の説明
できると思ってるデンパだから
ところでLANAプロジェクトって何のためにあると思ってんの？
639: 06/19(金)10:02 ID:WCuFKOXa(1) AAS
でんぱ組
640: 06/19(金)14:04 ID:0aG6IhJ/(1) AAS
>>638
コミュニケーション(失笑)だろ
641(2): 06/19(金)23:10 ID:+Z3vQSjh(1/2) AAS
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による形式化→出力で、入力がトンデモ(デンパ)だから出力もトンデモ(デンパ)のガラクタだ。
省2
642(2): 06/19(金)23:20 ID:+Z3vQSjh(2/2) AAS
>>641
外部ﾘﾝｸ:zen.ac.jp
643: 06/20(土)06:47 ID:gJAUPic7(1) AAS
とりあえずscholzeが問題視する部分だけでもAIで検証できないのか
644(1): 06/20(土)06:58 ID:UYtLNwKk(1) AAS
IUT論文AIに読み込ませて、定理3.11から系3.12を導く過程をLEANでやらせてみりゃわかるけど、部品と補題が多すぎるねん
それらの定式化だけで数万行軽く行く
LANAは遠アーベル幾何学のライブラリ実装も兼ねてるって話だから7月17日の中間報告ではGithubが流石に公開されると思うから期待やね
Githubの公開がなかったらそれだけでガッカリや
645(1): 06/20(土)09:49 ID:MaaC2GCB(1) AAS
造語おじさんの虚言に誠心誠意答付き合って議論したショルツって聖人かなにか？
646: 06/20(土)15:19 ID:Hajjvb0G(1/2) AAS
まだ期待してる馬鹿いるのか
数学素人が文元に騙されてんだろうけど 哀れだなw
647: 06/20(土)15:27 ID:xZkSBPwa(1) AAS
☆がコード化要員に論理を説明できないのがすべて
無い論理は説明できないわな
648(1): 06/20(土)16:22 ID:U5VeawLX(1) AAS
数学を学び、議論するときは、他のすべてを無駄とみなして本題だけに集中すること
レトリックもドラマチックもいらない
649: 06/20(土)17:05 ID:xgRaE+To(1) AAS
>>648
過去の天才の逸話を並べてIUTを飾り立てる加藤であった
650: 06/20(土)18:20 ID:75vrnpmp(1/2) AAS
>>574
だな
書かれてる活動実態がないからね
651(1): 06/20(土)18:25 ID:75vrnpmp(2/2) AAS
>>644
>LANAは遠アーベル幾何学のライブラリ実装も兼ねてるって話だから7月17日の中間報告ではGithubが流石に公開されると思うから期待やね
無理じゃないかなあ
もともとそれがゴールだったら1年半かけてるから終わってるはず
ゴールはIUT理論の正当性で
そっちのギャップが深刻な状態
その状態で遠アーベル幾何学ライブラリの構築に集中できると思えない
海外みたいにプロジェクトが数学の方はやらない専門プログラマ雇ってれば別だけど日本は不得意なやり方
652: 06/20(土)22:08 ID:Hajjvb0G(2/2) AAS
山下とか数理研で何もしてねえで恥ずかしくねえのかな
厚顔無恥な連中だな
653: 06/21(日)11:16 ID:WtUOM5ns(1) AAS
山下さんはどこか外国に行ったと聞いたが
654: 06/21(日)15:00 ID:P7TNj9jK(1/2) AAS
乞食豚のほう
655: 06/21(日)15:06 ID:P7TNj9jK(2/2) AAS
乞食豚のほう
656: 06/21(日)15:23 ID:Ug4h4X0X(1/2) AAS
>>645
数学の守り神であった
657: 06/21(日)16:07 ID:2KWb6MC6(1) AAS
どの山下
658: 06/21(日)20:49 ID:Ug4h4X0X(2/2) AAS
>>651
ライブラリ揃ってるのにも関わらず
証明できませんでした
って聞こえは素人も色々気付くからなw
659(2): 06/22(月)08:19 ID:M/aVMyCz(1/3) AAS
LANA (Lean for ANAbelian geometry)の
『第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築』だ
外部ﾘﾝｸ:zen.ac.jp
加藤氏は大人だからね、失敗するプロジェクトなんてやらないんだ
一体いつから───LANAがIUT検証のためのプロジェクトだと錯覚していた？
660(1): 06/22(月)09:45 ID:Z4vgGBe8(1) AAS
>>642
若山zen大学学長
>本プロジェクトの目的は二つです。
ひとつは日本の研究者の貢献が著しい遠アーベル幾何学の主要定理をLean形式化し、そのライブラリを構築することです。
もう一つは京都大学数理解析研究所の望月新一教授による宇宙際タイヒミュラー理論の、Lean形式化による検証です。
661: 06/22(月)11:23 ID:l7w32A/Y(1) AAS
>>659
錯覚した人乙
662(1): 06/22(月)13:32 ID:kwTa7c0W(1/3) AAS
>>659
言い訳だらけ
自称大人w
663: 06/22(月)14:10 ID:+V70gXqv(1) AAS
遠アーベル幾何自体
晩年精神に問題が起こってあちこちで揉め事起こしてた
才能枯れ果てた後のグロタンディークの搾りかすみたいな数学だからな
なんの動機もないし望月もなるべくして闇堕ちしたんだろうな
664: 06/22(月)20:24 ID:esbZuJig(1) AAS
23℃
くもり
665(1): 06/22(月)20:36 ID:M/aVMyCz(2/3) AAS
>>662 錯覚した人乙
言い訳も何も、プロジェクトの初めからの目標設定だし
公表時の記者会見でも誤解のないよう、初めにそう明言してますよ
加藤氏の中で既に絵は描かれてるってことじゃないですか
666: 06/22(月)21:12 ID:kwTa7c0W(2/3) AAS
>>665
お、後出し恥ずかしいww
ほんとバカだなこいつ
667: 06/22(月)21:13 ID:kwTa7c0W(3/3) AAS
じゃあ完成したんすか？w
668(1): 06/22(月)21:33 ID:M/aVMyCz(3/3) AAS
完成って『遠アーベル幾何学の形式化とそのライブラリ構築』は
オープンエンドで完成するようなもんじゃないっしょ
数学音痴乙
一程度の進展があればプロジェクトは成功ってことでよろ
669(1): 06/23(火)00:23 ID:3CPS6ijz(1/7) AAS
>>668
ゲラゲラ
爆笑した
税金いくら抜いたの
670(6): 06/23(火)00:24 ID:3CPS6ijz(2/7) AAS
第一の目的も第二の目的もできませんでしたって話？
ID:M/aVMyCz
イキリチビ
書き込むたびに矛盾
さすがIUTw
671: 06/23(火)01:09 ID:4rA5BnHm(1/21) AAS
>>669
テメエラは金金ってなんで日本の血税に口挟んでんの？
テメエ日本に納税してねえだろ。
672: 06/23(火)01:11 ID:4rA5BnHm(2/21) AAS
>>670
テメエはいつもの朝鮮人に対する差別用語連呼のﾁｮﾝﾁｮﾝ鳴いてるキチ●イやん。
雀か。おのれは。
似非日本人が。
673: 06/23(火)01:12 ID:4rA5BnHm(3/21) AAS
パアァッー！ン
ー?(>>670)ー・
674: 06/23(火)01:14 ID:4rA5BnHm(4/21) AAS
|↑↑ ﾇｯ! /
| ΘдΘ))
|∝ノ
|⊂(⊂(>>670)⊃
675: 06/23(火)01:16 ID:4rA5BnHm(5/21) AAS
|↑↑ ４んだなｯ!
| ΘдΘ)
| )∂»
|⊂(⊂(>>670)⊃
676: 06/23(火)01:16 ID:4rA5BnHm(6/21) AAS
|
| ≡333（脱兎）
|
|⊂(⊂(>>670)⊃
677: 06/23(火)01:52 ID:4Vut7GgY(1) AAS
>>670
>第一の目的も第二の目的もできませんでしたって話？
数学なんだからできるはずよな
678(1): 06/23(火)07:59 ID:LR5qBlFd(1/3) AAS
第１の目的については当然進展があるんじゃないの
専門家がついてるしlean勢も協力してるし
それこそ「数学なんだから」
数学なのに「完成」があると思ってるのはデンパくんだけ
679: 06/23(火)08:06 ID:LR5qBlFd(2/3) AAS
LANAがabcにどれだけ踏み込むかは
スポンサーであるかわんごの意思次第かなあ
かわんごは某氏とは違って真剣なんだと思う
680: 06/23(火)12:01 ID:3CPS6ijz(3/7) AAS
>>678
ライブラリ整備で？
バカすぎw
681: 06/23(火)12:02 ID:3CPS6ijz(4/7) AAS
整備できませんでしたあ(失笑
ってことか
682: 06/23(火)12:51 ID:3CPS6ijz(5/7) AAS
第0本当の目的
やってるフリ
683: 06/23(火)15:53 ID:4rA5BnHm(7/21) AAS
悔しそう
684: 06/23(火)15:54 ID:4rA5BnHm(8/21) AAS
悔しくてうんこ漏らしてそう
脱糞ジジイ カアイソウ カアイソウ
チビリブス爺 カアイソウ カアイソウ
685: 06/23(火)15:58 ID:FmmFwsow(1) AAS
水前ジジイ清子
686(2): 06/23(火)18:13 ID:3CPS6ijz(6/7) AAS
ID:4rA5BnHm
中身ゼロでワラタ
さすがIUTの鏡w
687: 06/23(火)18:29 ID:qRLE+1PM(1/2) AAS
太っちょカウボーイ
688: 06/23(火)18:58 ID:4rA5BnHm(9/21) AAS
鏡に話しかけるの止めてもらえます？
>>686IUTの疑義を数学での検証は一切示さずにひたすら誹謗中傷と名誉毀損と侮辱とヘイトスピーチを公然とネットでデジタルタトゥーに刻んでるお前の自己紹介はおへそでドセイロンティーからチャイを湧かせるね。
689: 06/23(火)19:01 ID:4rA5BnHm(10/21) AAS
もっとよく鏡をガン見して
ゲロ吐いて窒息してみてﾎﾗﾎﾗﾎﾗ
（ｽｩｩ⋯痛ｧ!浄化ノススメ）
690(1): 06/23(火)19:04 ID:4rA5BnHm(11/21) AAS
画像ﾘﾝｸ[png]:www.kyodemo.net
外部ﾘﾝｸ:www.kyodemo.net
691: 06/23(火)19:06 ID:4rA5BnHm(12/21) AAS
すっごい白くなってる（中身）
中身空ほどよく鳴りますねぇ！
人は鏡。ハッキリ解んだね。
692: 06/23(火)19:08 ID:4rA5BnHm(13/21) AAS
これのどこが数学的に中身０で無いと？
↓
>>690←おまえのレスはいつもこんなゴミレスばっかりだゾ。
こんなもん以外のおまえのレスなんか誰も
知wらwなwいwよw
693: 06/23(火)19:10 ID:4rA5BnHm(14/21) AAS
ID:3CPS6ijzｯﾂｧﾏ？息してる？
694: 06/23(火)19:11 ID:4rA5BnHm(15/21) AAS
闘いは似た者同士で起きる
«👓»
695: 06/23(火)19:16 ID:4rA5BnHm(16/21) AAS
相手にとって不足は無いゾ
ID:3CPS6ijz。
貴様こそが、このｽｩｩ⋯痛ｧ!を時偶訪れてゎ
流離ひ転がり続け永らく滑り続けた
ぉ絵描きとぽぇ夢の使ひ手の俺と
互角の闘いを繰り拡げられる相手だゾ。
696: 06/23(火)19:19 ID:4rA5BnHm(17/21) AAS
パア゙ァ゙ッ゙ー"!"ん゙!"!"!"
∵∴➖?(>>686)➖🔥?🔫»
697: 06/23(火)19:21 ID:4rA5BnHm(18/21) AAS
今日の射●ぉゎりｯ！ぉ仕舞ひｯ！
698: 06/23(火)19:29 ID:qRLE+1PM(2/2) AAS
ウバ茶
699: 06/23(火)20:13 ID:LR5qBlFd(3/3) AAS
デンパくんは平常運転だねー
だいたいleanの人たちがLANAに協力してるのって
第１の目的がライブラリ構築だからだよね
leanの人たちの目標と合致してるもん
LANAとしては第１の目的を支援するから
第２の目的にも協力してねってことでしょう
LANAプロジェクトのジュニアメンバーの中には
第１の目的専属の人がいるんじゃないですか
leanのお２人が記者会見でかわんごに感謝してますし
これで成果が出ないわけないですね
700(2): 06/23(火)20:54 ID:3CPS6ijz(7/7) AAS
ギャップ前提でイキりはじめてんのうけるw
話題逸らしが未完成ライブラリww
701: 06/23(火)21:13 ID:4rA5BnHm(19/21) AAS
＼ﾌﾞｽﾘｯ!／
≫🔪🗡≪
(((>>700)))
702(1): 06/23(火)21:14 ID:4rA5BnHm(20/21) AAS
今日の刺●終ゎりっ!お終ィ！修了！
🔪🗡
⊂(>>700)⊃)⊃
上下前次1-新書関写板覧索設栞歴
あと 300 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.093s