26/08/06 07:54:42.53 yU/2F8x4.net
>>824のつづき
LANAのような形式化プロジェクトの意義はここにあります。形式化では、
定義は何か
どの対象からどの対象への写像なのか
どの仮定を使っているのか
どの推論規則で結論が出るのか
を極端に明示する必要があります。
その過程で、「あれ、この部分は人間同士が暗黙に補っていたのでは？」という箇所が浮かび上がります。
逆に言えば、形式化できれば「問題なし」と確認される可能性もあります。
なので質問の、
要するに肝心な点が全然理解されないまま？
については、
「少なくとも論争の核心部分について、数学界全体で共有された理解にはまだ達していない」
というのが近いです。
ただし、
望月氏とその支持者は「理解されていないのは批判側」と考えている
Scholze・Stix側は「理解した上で核心部分に問題がある」と考えている
ので、「誰も理解していない」というより、高度に専門的な部分について、理解の仕方が対立しているという状態です。
826:１３２人目の素数さん
26/08/06 11:00:35.27 S7IQGdSL.net
LLMに間違った設定して嘘つかせてるIUT擁護派おじさん
しかもこれなんでも合わせてくるgeminiだろうな
IUT擁護派御用達w
827:１３２人目の素数さん
26/08/06 12:10:38.80 V4JscyH/.net
自作の作文やろ
バレなきゃ何でもあり
828:１３２人目の素数さん
26/08/06 14:42:39.62 i5h8aAml.net
>>819
>なかなか一段落ということにはならないようだ
ID:Jbp+daKxは、御大か
巡回ありがとうございます
そうですね
望月先生の一派が、今一度奮闘して
是非 3.11→3.12のLean形式化を達成して
ほしいものです （＾＾
やればできる
がんばれ 望月先生たち
829:１３２人目の素数さん
26/08/06 15:07:08.46 qWbsHYAY.net
と、同じこと言い続ける壊れたテープレコーダ
830:１３２人目の素数さん
26/08/06 16:51:30.42 yU/2F8x4.net
>>826-827
GeminiではなくChatGPT
ChatGPTは、日本の法律家みたいな口の利き方をします
口癖は
「・・・とまでは言えない」
「それだけでは、そのような意図があったと判断することはできない」
日本人がよくやる勘繰りは、ChatGPTのお気に召さないようです（笑）
831:１３２人目の素数さん
26/08/06 17:24:55.20 Muv+LfxP.net
IUTの話題はやたら粘着するネット民がいるようだが
何がモチベーションなのか
832:１３２人目の素数さん
26/08/06 17:25:52.31 Muv+LfxP.net
そんなに理屈があるようにも見えないし
もっと向き合うべきことが各々あるんじゃないか？
833:１３２人目の素数さん
26/08/06 17:31:21.48 S7IQGdSL.net
>>831
キチガイ朝鮮系宗教団体の動員じゃないっすかあねえ
揃って朝鮮偽右翼だし
834:１３２人目の素数さん
26/08/06 17:42:23.49 i5h8aAml.net
いいね コピーしておく
URLﾘﾝｸ(rio2016.5ch.io)
764１３２人目の素数さん
2026/08/06(木) ID:PwyO3MPP
URLﾘﾝｸ(lean-lang.org)
URLﾘﾝｸ(lean-lang.org)
835:１３２人目の素数さん
26/08/06 18:06:23.96 Muv+LfxP.net
>>833
なぜ汚言を吐くのが気持ちよくて抑え難いのか
836:１３２人目の素数さん
26/08/06 18:13:32.72 /Vos677Y.net
>>835
君が自分の規範を他人に押しつけたい気持ちを抑え難いのと同じ
837:１３２人目の素数さん
26/08/06 18:21:28.37 S7IQGdSL.net
>>835
お前らIUTの本質だよ
838:１３２人目の素数さん
26/08/06 18:35:50.53 Muv+LfxP.net
>>836
>>837
別に責めてるわけでもないのに反射的に喧嘩腰になられてもね
結局理屈がないし、何をどうしたいのか
軸がない
839:１３２人目の素数さん
26/08/06 18:42:30.88 qLVQWfkT.net
>>835
そんな病もあるらしい。
840:１３２人目の素数さん
26/08/06 18:48:42.50 /Vos677Y.net
>>838
喧嘩腰？なんのこっちゃ
徹底的に追及する姿勢は数学の華
数学やってたら大体分かろう
841:１３２人目の素数さん
26/08/06 18:51:58.92 qLVQWfkT.net
代数学の華
842:１３２人目の素数さん
26/08/06 18:53:23.94 Muv+LfxP.net
>>840
論理が通ってればね
843:１３２人目の素数さん
26/08/06 18:55:59.23 Muv+LfxP.net
それに加えて、政治や感情抜きに、フラットにするならばね
844:１３２人目の素数さん
26/08/06 19:22:11.14 qWbsHYAY.net
>>837
間違いを指摘してくれたSSに対し教祖様自ら実践したしね
確かにあの宗教団体の本質ですね
845:１３２人目の素数さん
26/08/06 19:24:13.89 qWbsHYAY.net
>>838
それ、教祖様へこそ言うべきだよ？
846:１３２人目の素数さん
26/08/06 19:39:16.08 Muv+LfxP.net
>>845
ということは結局自分達もやっちゃダメなのでは
847:１３２人目の素数さん
26/08/06 19:58:30.51 S7IQGdSL.net
>>838
他人にだけ礼儀を要求する朝鮮人IUT仕草出ましたああ
848:１３２人目の素数さん
26/08/06 19:59:10.79 S7IQGdSL.net
日本財団なんて笹川朝鮮人の巣やからなw
そいつらが日本の数学腐らせながら税金抜くって一石二鳥
849:１３２人目の素数さん
26/08/06 20:00:50.65 S7IQGdSL.net
今さっき京大ブルーバックス立ち読みしてきたら
数学パートがめっちゃ健全なことしか書いてなくてワラタ
この人たちは、、、
850:１３２人目の素数さん
26/08/06 20:02:14.48 qLVQWfkT.net
謙虚になれよ！
851:１３２人目の素数さん
26/08/06 20:02:56.03 qLVQWfkT.net
ノーマネーでフィニッシュです。
852:１３２人目の素数さん
26/08/06 20:20:31.88 Muv+LfxP.net
>>847
話の軸足が定まらないのと、半ばやっつけになってるところが
おふざけ感ある
でもおふざけ・はっちゃけにしては一つの話題に粘着しすぎてる気がするので、
過激派のテイのおふざけ、のそのもう一つ背景に何かストレスとかがあるようにも見える
853:１３２人目の素数さん
26/08/06 20:21:46.69 S7IQGdSL.net
>>852
根拠ゼロの感想で相手を上回ったような気分になってるのか
低学歴在日ってエセ精神分析っ好きだよなあ
っておうかそれもう80年代の論壇で滅んだよ
根拠ないからw
854:１３２人目の素数さん
26/08/06 20:21:54.78 S7IQGdSL.net
朝鮮人w
855:１３２人目の素数さん
26/08/06 20:22:59.85 S7IQGdSL.net
>>840
IUTってさあ
やたら他人に噛み付くくせに
被害者ぶるよなあ
朝鮮系ダブルスタンダードの使い手だよなw
856:１３２人目の素数さん
26/08/06 20:26:25.91 Muv+LfxP.net
>>853
精神分析が古いってことを知ってるなら
多分心理学についてそれなりに知ってると思うんだけど
そのことと朝鮮人っていうステレオタイプを強調することは
チグハグなのではないかな
857:１３２人目の素数さん
26/08/06 20:38:10.94 Muv+LfxP.net
精神分析がどう批判されたかも知ってそうな書きぶりだし
単に調べただけじゃなくて、それなりに知識があると思うんだけどな
858:１３２人目の素数さん
26/08/06 20:58:54.27 iG0fbsPi.net
本当は理知的なところもあるんじゃないか？
だとすると今ここでの書き込みが理知的じゃないのは何かしら問題がある
その問題に、段階的に合理的に向き合う方が、気持ちも状況も良くなる
逆に回避すると気持ちが荒廃し、問題も肥大していく
それが現代の認知行動療法の趣旨だって知ってても良さそうなものだが
859:１３２人目の素数さん
26/08/06 21:23:44.67 S7IQGdSL.net
>>857
ゲラゲラ
もうテメエの書き込み忘れたのかよ
ほんと鳥頭だな
860:１３２人目の素数さん
26/08/06 21:25:16.09 S7IQGdSL.net
>>843
政治力一本槍のIUTおじさんの主張フイタw
IUT論文のギャップに根拠ねーんだからそこで終わりなんだよちょんかす
861:１３２人目の素数さん
26/08/06 21:25:46.67 S7IQGdSL.net
>>857
お前よりあるわ
低学歴朝鮮人w
862:１３２人目の素数さん
26/08/06 21:27:47.85 S7IQGdSL.net
>>858
ワラタ
ニワカの知ったかぶりでまーだ精神分析ぶってる朝鮮ジジイww
IUT最後の砦がエセ精神分析か
ま、そーなるわな
ハッタリしかねーからなw
863:１３２人目の素数さん
26/08/06 21:28:15.63 S7IQGdSL.net
コジキのコスプレで威嚇したりww
864:１３２人目の素数さん
26/08/06 21:29:15.89 S7IQGdSL.net
あ、あれか
無関係な過去の天才逸話シリーズを身にまとった裸の王様いるわなw
865:１３２人目の素数さん
26/08/06 21:46:21.01 Muv+LfxP.net
自分を批判する人はIUT信者だというのは
論理が飛んでるね
実際、IUTを擁護する文言は入ってないでしょ
866:１３２人目の素数さん
26/08/06 22:04:17.07 Muv+LfxP.net
IUT一つの話に固執したり興奮しすぎだから
何か解決すべき個人的問題から逃げてるんじゃないか
でも逃げると破滅していくよ
という話
867:１３２人目の素数さん
26/08/06 22:09:41.98 Muv+LfxP.net
IUTの批判をするの自体はおかしくないと思うけど
執着、興奮、力み過ぎ、非論理的、朝鮮人揶揄とかの色々なところがおかしいって話
868:１３２人目の素数さん
26/08/06 22:11:31.65 aX3+6M6c.net
‥なんだこれは‥たまげたなぁ…
ID:S7IQGdSL
書き込み傾向
サマリー
数学の「Inter-universal geometry」や「ABC予想」に関するスレッドにおいて、特定の主張を行う層に対し、強い言葉を用いて攻撃的な議論を展開している。論理的な反論よりも、相手の属性や背景を揶揄するような表現が目立ち、非常に過激な言説が特徴的である。
関心分野
数学（Inter-universal geometry / ABC予想）
IUT理論やABC予想に関するスレッドにおいて、その妥当性や擁護派の主張について繰り返し言及している。
投稿スタイル
攻撃的揶揄型
特定の属性（国籍や学歴など）を用いた蔑称や、相手を「キチガイ」「低学歴」と断定するような過激な表現を多用し、議論の場において相手を貶めるスタイルが顕著である。
レッテル貼り志向
相手の主張や行動に対し、「宗教団体の動員」「ダブルスタンダード」といった強い言葉でラベルを貼り、論点を個人の属性へとすり替える傾向がある。
嘲笑的コミュニケーション
「ワラタ」「ゲラゲラ」といった感嘆詞を用い、相手の主張や状況を冷笑的に扱う表現が繰り返し見られる。
周囲の反応
困惑・批判
「なぜ汚言を吐くのが気持ちよくて抑え難いのか」「反射的に喧嘩腰になられてもね」といった、投稿者の攻撃的な態度に対する戸惑いや、論理の欠如を指摘する反応が見られる。
揶揄・皮肉
「教祖様自ら実践したしね」「過激派のテイのおふざけ」など、投稿者の振る舞いを冷ややかに捉えた返信が観測される。
869:１３２人目の素数さん
26/08/06 22:18:13.79 Muv+LfxP.net
IUT関連で酷い目に遭ったというなら分からないでもないけど
870:１３２人目の素数さん
26/08/06 22:28:33.95 qLVQWfkT.net
あちぃからフロート食いながら、精神分析でもしとけw
871:１３２人目の素数さん
26/08/06 22:30:23.98 qLVQWfkT.net
フロイトだけに。
こりゃまたクサいw
872:１３２人目の素数さん
26/08/06 22:33:30.12 fQyYfhnA.net
自閉症vs汚言症
873:１３２人目の素数さん
26/08/07 00:00:01.94 ZMoI/z4p.net
>>869
エセ科学で税金抜いてんなよゴミがw
開き直ってんのウケるww
874:１３２人目の素数さん
26/08/07 00:00:35.26 ZMoI/z4p.net
興奮しまくってゴミコピペ連打するIUTおじさんw
875:１３２人目の素数さん
26/08/07 00:01:48.16 ZMoI/z4p.net
>>872
自爆して巻き込もうとするIUT代表ガイジ必死だな
876:１３２人目の素数さん
26/08/07 00:21:56.49 51skuoAc.net
>>873
税金問題に関連して言ってんのね
ならまあ分からんでもない
額にもよるけど
877:１３２人目の素数さん
26/08/07 00:43:53.56 5yLzFKaC.net
IUT関連の事業って文科省とか京都大学からそんなお金出てるの？フランスとかから研究者招聘して研究集会とか頻繁にやってたような気がするから確かに資金は潤沢なんだろうけど科研費の基盤Aとかなんでしょ？
878:１３２人目の素数さん
26/08/07 01:20:14.87 ZMoI/z4p.net
>>876
ずっとそうだよ
私費なら勝手にやれと
科学史の恥だけど愚行権はある
879:１３２人目の素数さん
26/08/07 01:47:26.84 ZMoI/z4p.net
>>877
これ餌に大学作ってんだろ
880:１３２人目の素数さん
26/08/07 14:14:07.80 9C++TP0U.net
2022年「2026年まで待て」
2026年「しばし待て」
2030年までといわなくなったのは「進歩」か
881:１３２人目の素数さん
26/08/07 16:06:28.71 bStmhNX6.net
少なくともLANAは「一年を目処に」と言ってるらしいからそこで一区切りつけるんやろ
882:１３２人目の素数さん
26/08/08 07:41:18.19 ehbO1w/X.net
>>881 さよか
883:１３２人目の素数さん
26/08/09 10:48:50.98 wj+RJXo8.net
京大病院、脳腫瘍ではなく患者の小脳と脳幹の正常部位を摘出（運動と自発呼吸を司る部位） 患者は生き地獄に [595118796]
URLﾘﾝｸ(greta.5ch.io)
884:１３２人目の素数さん
26/08/09 10:57:33.84 48bZm4i6.net
腐ってるのはRIMSだけじゃなかったようだ
885:１３２人目の素数さん
26/08/09 13:46:05.62 bhPgskXQ.net
オマ
霊長類研のこと知らんとは
京大の素人だな
886:１３２人目の素数さん
26/08/09 13:54:34.94 wwlWoND/.net
ゴリラ研究の元総長
887:１３２人目の素数さん
26/08/09 13:55:40.48 wwlWoND/.net
なんかニュースがあったような覚えもある。
888:１３２人目の素数さん
26/08/09 15:02:32.23 bhPgskXQ.net
不正の温床
889:１３２人目の素数さん
26/08/09 16:12:09.84 q/CiUH4O.net
ショートスリーパー信者ボコボコにしたら
遠吠えがIUTと同じだったw
890:１３２人目の素数さん
26/08/10 09:17:47.09 3t671piW.net
もとはといえば、望月新一の不誠実かつ傲慢な態度が原因
891:１３２人目の素数さん
26/08/11 15:18:58.53 sx5EmLbr.net
AIペタペタキチガイと汚言投稿しかない
892:１３２人目の素数さん
26/08/11 15:36:04.83 7fA8Lsf8.net
IUTのイキがり方とか
ショートスリーパーと同じだからなw
893:１３２人目の素数さん
26/08/11 15:36:26.47 7fA8Lsf8.net
>>891
あ、中身ゼロ朝鮮人でちゅう
894:１３２人目の素数さん
26/08/11 17:12:43.66 eCVHVSFa.net
次スレ立てた ここを使い切ったら次スレへ
URLﾘﾝｸ(rio2016.5ch.io)
Inter-universal geometryとABC予想(シン応援スレ) 93
895:１３２人目の素数さん
26/08/11 21:09:40.97 pgfYvWMU.net
[PDF] Comments on the LANA Project Report of Kato et al.
K Joshi - 2026
Joshi はしつこいね
jin は頭の病気
統合失調症
896:１３２人目の素数さん
26/08/11 21:25:25.20 pgfYvWMU.net
Joshi は、もっちーに、abc予想の証明は、Joshi ともっちーの共同研究という形にしよう、と提案している
897:１３２人目の素数さん
26/08/11 21:39:19.76 DkedeTWS.net
>>895
普通の数学的態度だと思うけどね
正しいかどうかは分からんけど
URLﾘﾝｸ(bpb-us-e2.wpmucdn.com)
898:１３２人目の素数さん
26/08/12 05:05:01.13 F5ZVMLNg.net
Joshiのこの騒動の整理は結構良かったよ
自身の証明はおかしかったみたいだけど
899:１３２人目の素数さん
26/08/12 08:33:00.92 8pPgcfpu.net
もうここも役割を終えたかもな
900:１３２人目の素数さん
26/08/12 08:34:57.08 DszuDzN0.net
証明は無いで結論出たしな
901:１３２人目の素数さん
26/08/12 09:57:13.71 2dw+bjTC.net
>>899
税金抜いてたカスども討伐しないとダメじゃね
902:１３２人目の素数さん
26/08/12 10:22:49.78 4yQnIkTl.net
>>895
>[PDF] Comments on the LANA Project Report of Kato et al.
>K Joshi - 2026
情報ありがとう
下記だね
URLﾘﾝｸ(sites.arizona.edu)
Webpage of Kirti Joshi
My reports on the Mochizuki-Scholze-Stix Controversy
URLﾘﾝｸ(sites.arizona.edu)
・Comments on the LANA Project Report of Fumiharu Kato et al. [Provides my comments on the recent (July 2026) LEAN Formalization of Mochizuki’s IUTT]
903:１３２人目の素数さん
26/08/12 13:14:15.24 8J9zLkQW.net
Joshi とjin はゴミ
904:１３２人目の素数さん
26/08/13 05:58:15.44 X3o3TBh2.net
Joshiはもっちーにたかってるだけだったか
💩だな
905:１３２人目の素数さん
26/08/13 05:59:16.19 X3o3TBh2.net
＞証明は無いで結論出たしな
2015年に予想された通りだったな
906:１３２人目の素数さん
26/08/13 06:00:04.93 X3o3TBh2.net
💩スレはさっさと埋めようか
まったくどこの🐎🦌が立てたんだか