IUT一派は学術界にとって有害では？

**１３２人目の素数さん** · 2025/10/19(日) 15:43:56.85

学問的誠実性の欠如

**poem** · 2025/10/19(日) 16:13:16.93

スレタイはpoemを有害とほぼ同件

**１３２人目の素数さん** · 2025/10/19(日) 16:37:10.33

poemは十分有害じゃないか！！

**poem** · 2025/10/19(日) 16:55:07.17

そうだったか！こりゃだめだったか！

**１３２人目の素数さん** · 2025/10/19(日) 16:58:22.83

予算のための虚偽掲載で数理研取りつぶしかな

**poem** · 2025/10/19(日) 16:59:40.88

もっと！poemと！IUT学派を！アナロジーしてくれよ！めっちゃ！なにかわかるさ！

**１３２人目の素数さん** · 2025/10/19(日) 17:32:11.72

7ゲットなら心願成就ッ！

**poem** · 2025/10/19(日) 17:39:00.22

逆に、IUT学派やpoemが、無害になったならどんな条件だと？

**poem** · 2025/10/21(火) 14:46:32.17

　
　
　
　
　
　
　
　─9─　
　
　
　
　
　
　
　

**poem** · 2025/11/09(日) 16:07:39.18

【我は、有象無象見うる千々れ覆う千の光、爾は、全て星なる毒尾棚引く皆騎当千、供に、万の学を零な国に、別たれ！これで立ち上がれるかな？】
https://egg.5ch.net/test/read.cgi/emperor/1762666477/

**poem** · 2025/11/27(木) 17:55:44.84

ニートとは→村人A
アマチュアの村人A
プロの村人A
在野の村人A
poem

**poem** · 2025/12/02(火) 19:55:25.49

格安エアコン市場消え熱死者凍死者増加の2027年
https://rio2016.5ch.net/test/read.cgi/sci/1320567504/615/

**１３２人目の素数さん** · 2025/12/07(日) 11:21:39.98

https://twitter.com/hottaqu/status/1997377234202673194

>打開策として、望月氏が示しているのが、定理証明支援ソフト「Lean（リーン）」の活用だ。

いよいよか
https://twitter.com/thejimwatkins

**１３２人目の素数さん** · 2025/12/11(木) 02:18:19.28

246 １３２人目の素数さん 2025/12/06(土) 19:53:00.98 ID:63QplXU6
>> 232
＞望月氏が打開策示す
望月氏の主張は
証明になっていないと主張する側が打開しろ
と言っているに等しい内容ですから
到底打開策とは言えません

証明が理解不能という批判に開き直って
> (NwExp) entirely standard practice in professional
> mathematics for research papers to be written with
> a rather narrowly defined circle of experts in mind.
と言い放っているにもかかわらず
形式化が"narrowly defined circle of experts"によってではなく
外部の研究者によってなされるべきと言っているのですから
> (LnCom) the task of communicating the mathematical
> content of IUT to mathematicians (such as arithmetic
> geometers) with professional expertise in writing
> Lean code is one important area of currently on going
> efforts with regard to the goal of Lean-style
> formalization of IUT.

当初は歓待されたのにご存じの結果に終わった
Joshi氏やBoyd氏の顛末に鑑みて
望月氏に協力する研究者が現れるはずもありません
（標準的な遠アーベル幾何の形式化は別）

形式化できないのは外部の数学者がiutを
理解できないから・拒絶しているからだと
これまで通りに責任を転嫁して
自らを納得させることになるのではないでしょうか

**１３２人目の素数さん** · 2025/12/11(木) 02:19:14.23

263 １３２人目の素数さん 2025/12/07(日) 19:34:10.48 ID:sosmtPx6
>> 261　それについては>> 246にある通り
別に本人が形式化を実行する必要はありませんが
本人が音頭を取って本人の責任の下に行われるのでなければ
事態は何も進展しません

証明責任は証明を主張する側にあります
途轍もない主張には途轍もなく固い証拠が必要です（カール・セーガン）

**poem** · 2025/12/20(土) 20:22:40.23

(物理学)安定の谷というフローチャート
https://rio2016.5ch.net/test/read.cgi/sci/1759571910/671/
─
三次元
https://rio2016.5ch.net/test/read.cgi/math/1766099666/
─
暗記は運なのか
https://itest.5ch.net/rio2016/test/read.cgi/math/1766120485/
─
｢優先学｣とは？
https://mao.5ch.net/test/read.cgi/occult/1752658471/151-169/
─
子供が救えて
https://egg.5ch.net/test/read.cgi/emperor/1759510039/78-82/
─
水平思考と垂直思考でAIを越えよう。出落ち
https://rio2016.5ch.net/test/read.cgi/math/1766224112/
─
位相空間結晶続き。｢｢But So｣｢So But｣｣
https://itest.5ch.net/rio2016/test/read.cgi/math/1765623416/136-191/
─
位相空間結晶続き。｢原始一覧or原初一覧｣｢学問一覧は理由を説明できる。これは理由を悪なる説明はできず善なる説明は沢山作れるが全ての説明が本当の所を言い当てていない説明が実在しない一覧｣｢が実在する｣。これを特定する説明
https://itest.5ch.net/rio2016/test/read.cgi/math/1765623416/192-212/
─
殺陣系の戦闘
https://egg.5ch.net/test/read.cgi/emperor/1758912538/151/

**poem** · 2025/12/22(月) 17:18:20.53

https://rio2016.5ch.net/test/read.cgi/math/1766332919/19-/

**poem** · 2025/12/22(月) 17:19:15.18

>>17 ここのスレタイの同内容が他所に出たのでリンク

**１３２人目の素数さん** · 2025/12/22(月) 17:54:26.45

どーもー、ウンコ製造機でございます。
ご無沙汰しております。

さあ、賽の目を振って出た数だけウンコをさせて頂きます。それでは参ります。

💩💩💩💩💩💩💩　召し上がれ♩

**poem** · 2025/12/22(月) 18:01:08.10

>>19 お客様の声(クレーム)｢主にIUT学派相手にウンコ売りつけてるコーナーがあるのですが、IUT学派を原始時代の類人猿に見るような、非文明的なイデオロギーとコーナーだと思います。即刻無くすべきだと思うのですが、文明的な理由がおありなのでしょうか？｣

**poem** · 2025/12/22(月) 18:01:55.70

poemは非文明的
IUT学派は文明的

**１３２人目の素数さん** · 2025/12/22(月) 18:04:31.82

>>19
おっ、意外とイケるじゃん。
3コもペロリですよ。
良い仕事してますね〜。

💩💩💩💩

**poem** · 2026/01/07(水) 03:17:31.89

274poem
226/01/07(水) 03:10:01.55ID:w6sNuE06
質問
y^2＋x^2=r^2の円の方程式って
ブラケット記法的に、
y=xを一番簡単なブラケット記法に
円の方程式が複雑記法に表記もできるけど
円の方程式は同じく簡単な表記にもできたり
なんてしないか？