IUT一派は学術界にとって有害では？ (28ﾚｽ)
上下前次1-新
1: 2025/10/19(日)15:43 ID:xbKxmzdC(1) AAS
学問的誠実性の欠如
2: poem 2025/10/19(日)16:13 ID:BpkWiiMj(1/4) AAS
スレタイはpoemを有害とほぼ同件
3: 2025/10/19(日)16:37 ID:o9LVSsQs(1) AAS
poemは十分有害じゃないか！！
4: poem 2025/10/19(日)16:55 ID:BpkWiiMj(2/4) AAS
そうだったか！こりゃだめだったか！
5: 2025/10/19(日)16:58 ID:eEQCakFE(1) AAS
予算のための虚偽掲載で数理研取りつぶしかな
6: poem 2025/10/19(日)16:59 ID:BpkWiiMj(3/4) AAS
もっと！poemと！IUT学派を！アナロジーしてくれよ！めっちゃ！なにかわかるさ！
7: 2025/10/19(日)17:32 ID:lAm2mstU(1) AAS
7ゲットなら心願成就ッ！
8: poem 2025/10/19(日)17:39 ID:BpkWiiMj(4/4) AAS
逆に、IUT学派やpoemが、無害になったならどんな条件だと？
9: poem 2025/10/21(火)14:46 ID:4nXavK3w(1) AAS
─9─
10: poem 2025/11/09(日)16:07 ID:DMcXXBZe(1) AAS
【我は、有象無象見うる千々れ覆う千の光、爾は、全て星なる毒尾棚引く皆騎当千、供に、万の学を零な国に、別たれ！これで立ち上がれるかな？】
2chｽﾚ:emperor
11: poem 2025/11/27(木)17:55 ID:JTs8b8+G(1) AAS
ニートとは→村人A
アマチュアの村人A
プロの村人A
在野の村人A
poem
12: poem 2025/12/02(火)19:55 ID:qsvhsa5s(1) AAS
格安エアコン市場消え熱死者凍死者増加の2027年
2chｽﾚ:sci
13: 2025/12/07(日)11:21 ID:rkPuxCLi(1) AAS
Twitterﾘﾝｸ:hottaqu
>打開策として、望月氏が示しているのが、定理証明支援ソフト「Lean（リーン）」の活用だ。
いよいよか
Twitterﾘﾝｸ:thejimwatkins
14: 2025/12/11(木)02:18 ID:+K5ylC6X(1/2) AAS
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を
理解できないから・拒絶しているからだと
これまで通りに責任を転嫁して
自らを納得させることになるのではないでしょうか
15: 2025/12/11(木)02:19 ID:+K5ylC6X(2/2) AAS
263 １３２人目の素数さん 2025/12/07(日) 19:34:10.48 ID:sosmtPx6
>> 261 それについては>> 246にある通り
別に本人が形式化を実行する必要はありませんが
本人が音頭を取って本人の責任の下に行われるのでなければ
事態は何も進展しません
証明責任は証明を主張する側にあります
途轍もない主張には途轍もなく固い証拠が必要です（カール・セーガン）
16: poem 2025/12/20(土)20:22 ID:S/vL4lNT(1) AAS
(物理学)安定の谷というフローチャート
2chｽﾚ:sci
─
三次元
2chｽﾚ:math
─
暗記は運なのか
2chｽﾚ:math
─
｢優先学｣とは？
2chｽﾚ:occult
─
子供が救えて
2chｽﾚ:emperor
─
水平思考と垂直思考でAIを越えよう。出落ち
2chｽﾚ:math
─
位相空間結晶続き。｢｢But So｣｢So But｣｣
2chｽﾚ:math
─
位相空間結晶続き。｢原始一覧or原初一覧｣｢学問一覧は理由を説明できる。これは理由を悪なる説明はできず善なる説明は沢山作れるが全ての説明が本当の所を言い当てていない説明が実在しない一覧｣｢が実在する｣。これを特定する説明
2chｽﾚ:math
─
殺陣系の戦闘
2chｽﾚ:emperor
17(1): poem 2025/12/22(月)17:18 ID:ldUuLg71(1/4) AAS
2chｽﾚ:math
18: poem 2025/12/22(月)17:19 ID:ldUuLg71(2/4) AAS
>>17 ここのスレタイの同内容が他所に出たのでリンク
19(2): 2025/12/22(月)17:54 ID:BweBT3rT(1/2) AAS
どーもー、ウンコ製造機でございます。
ご無沙汰しております。
さあ、賽の目を振って出た数だけウンコをさせて頂きます。それでは参ります。
💩💩💩💩💩💩💩 召し上がれ♩
20(1): poem 2025/12/22(月)18:01 ID:ldUuLg71(3/4) AAS
>>19 お客様の声(クレーム)｢主にIUT学派相手にウンコ売りつけてるコーナーがあるのですが、IUT学派を原始時代の類人猿に見るような、非文明的なイデオロギーとコーナーだと思います。即刻無くすべきだと思うのですが、文明的な理由がおありなのでしょうか？｣
21: poem 2025/12/22(月)18:01 ID:ldUuLg71(4/4) AAS
poemは非文明的
IUT学派は文明的
22: 2025/12/22(月)18:04 ID:BweBT3rT(2/2) AAS
>>19
おっ、意外とイケるじゃん。
3コもペロリですよ。
良い仕事してますね〜。
💩💩💩💩
23: poem 01/07(水)03:17 ID:w6sNuE06(1) AAS
274poem
226/01/07(水) 03:10:01.55ID:w6sNuE06
質問
y^2＋x^2=r^2の円の方程式って
ブラケット記法的に、
y=xを一番簡単なブラケット記法に
円の方程式が複雑記法に表記もできるけど
円の方程式は同じく簡単な表記にもできたり
なんてしないか？
24: unko 01/08(木)13:56 ID:cZT6bpnC(1) AAS
>>20
ウンコの特売セールだよ。
今が買いどきだよ。
💩💩💩💩💩💩💩💩💩
25: 01/12(月)16:57 ID:Hs+z9gSl(1) AAS
宇宙人は地球に来ている！
来ていないと言うなら来ていないことを証明しろ！
26: 01/12(月)19:50 ID:z5ESjSTf(1) AAS
ウンコ型UFOの再来です。
💩 💩 💩
27: ポエム 01/13(火)10:05 ID:plKLQUo7(1) AAS
部分修復と範囲修復
2chｽﾚ:sci
─
迷惑寄付とは？
2chｽﾚ:emperor
─
実動するは実静しない、と、実静するは実動しない
2chｽﾚ:sci
─
平均台→依存
2chｽﾚ:emperor
─
挿入→賢者→吊→自分呼称→セルフ
2chｽﾚ:emperor
─
法律に公序良俗が組み込まれてる
2chｽﾚ:emperor
─
肉体的挙動と霊的挙動の違いわからん
2chｽﾚ:sci
─
定量的と定測的。編み目拡大ｽｶｽｶ量、編み目不変ﾐﾂﾐﾂ測
2chｽﾚ:sci
─
何かへ力へ
2chｽﾚ:emperor
28: poem 01/18(日)17:26 ID:CPCY0fvk(1) AAS
法律｢人畜に害を加える性癖があきらかな｣
2chｽﾚ:sci
─
走馬灯現象の秘密とか
2chｽﾚ:sci
─
雑多な宗教スレ案件
2chｽﾚ:sci
─
デバッグ学と修辞学、それと雑記
2chｽﾚ:sci
─
式間を繋ぐと失われるかわかる物、新たな数学式
2chｽﾚ:sci
─
神話存在の神話文属性は神話創作芸術と神話利用変数挿
2chｽﾚ:sci
─
この物理板は
2chｽﾚ:sci
─
12月〜1月の期の候
2chｽﾚ:sci
─
異世界で実家となる家ができた場合って
2chｽﾚ:sci
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.297s*