[過去ﾛｸﾞ] Inter-universal geometryとABC予想(シン応援スレ) 87 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
403: 03/04(水)15:37 ID:2VZKNomK(1) AAS
>>402
>>402
>テレンス・タオを知っていれば 良かったんだよ
１は正真正銘の馬鹿
”厳密な数学的思考に十分慣れたら、”
”厳密さと理論の確固たるスキルを身につけた数学の学生は、”
上記の条件を満たさない
”厳密な数学的思考が全然できない”
”厳密さと理論の確固たるスキルを全く身に着けてない”
１は最終段階にいけませーん（笑）
404: 03/04(水)15:44 ID:lt1ZLx02(10/17) AAS
>>402
>３）タオは次のようにアドバイスしています
> ”したがって、厳密な数学的思考に十分慣れたら
タオによれば、君はこの最初の段階にも到達できないオチコボレってことやね
405(3): 03/04(水)15:46 ID:jimZfGvG(1/10) AAS
>>368
最後にオミゴトって言った人は、ファイバーの人の書き込みが一体何の証明で、何がどうオミゴトなのかきちんと説明してね。
これが聞けたら私は潔く消えます。
（この質問にしばらく応答がなければ、テキトー発言として処理します。）
406(1): 03/04(水)15:57 ID:jimZfGvG(2/10) AAS
>>405
早く消えたいから、早めの回答よろしくね〜。
407(2): 03/04(水)16:06 ID:jimZfGvG(3/10) AAS
>>243
他の人にも言ったけど、自分に他の意見が無いのなら、偉そうなことは言うなよ。
そんなこと言うのなら、別に違った有力な意見があると普通思うだろ？
408(4): 03/04(水)16:09 ID:9OiShKOs(1/5) AAS
>>405
面倒くさい人だね
ホントに分からないのか
証明すべきことは2点が開集合で分離できること
つまりw1∈U1,w2∈U2でU1∩U2=φであるものを見いだす
それを補集合にしたらどんな閉集合を見いだせば良いか分かるだろ
その作り方はお見事な解答通り
ただ最初の部分は飛ばしてるが直ぐ補えるだろ？
そこができない？
409: 03/04(水)16:10 ID:9OiShKOs(2/5) AAS
>>407
カッテに思ってればイイと思うよ
410: 03/04(水)16:11 ID:9OiShKOs(3/5) AAS
そして次はそこを説明できないと駄々をこねる
そしてその次はそれはお見事ではないと言い張る
クダラン
411: 03/04(水)16:12 ID:lt1ZLx02(11/17) AAS
教えろ〜教えろ〜と駄々っ子みたい
412: 03/04(水)16:14 ID:9OiShKOs(4/5) AAS
自分の思い通りの回答がないことを他人の所為にする人みたいね
413(1): 03/04(水)16:16 ID:9OiShKOs(5/5) AAS
>>406
>早く消えたいから
なぜ他人が君の望みを叶えてくれると思うんだろ？
414(2): 03/04(水)16:28 ID:jimZfGvG(4/10) AAS
>>408
適当にしか書いていないって言っていたから、別に確かめても良いだろう。
最後なんだし、真面目な数学の話なら許されるだろう。
（適当なことしか書いてないってのは、最初の部分が抜けてるって意味ね。）
まあ、わざわざ丁寧に書いてくれてありがとね、他の人のことなのに。
特に疑問な部分も無くなったので、素直に居なくなれますよ。
まあ楽しめた部分もありますよ、ありがとう。
415(1): 03/04(水)16:32 ID:jimZfGvG(5/10) AAS
>>413
数学的な突っ込みを受けたら、返すのがこのスレのマナーなんじゃないの？
ルールがハッキリしないスレでは、私は活動できないよ。
何が良くて何がダメなのかが、もう少し分かりやすいような所へ行きます。
こんな無秩序な所でやっていては、イライラで勉強に支障が出るから辞めます。
416(1): 03/04(水)16:37 ID:lt1ZLx02(12/17) AAS
じゃ活動しなきゃいんじゃね？ 誰も困らないし
417: 03/04(水)16:43 ID:jimZfGvG(6/10) AAS
>>416
それは数学板さえも辞めた方が良いということかな？
まあ色々試してみないと、分からないことって多いじゃない。
実際にやってみて、合わなかったら辞めれば良い。
迷惑かけたのかもしれないけど、仕事じゃないんだからまあ良いじゃない。
418(2): 03/04(水)16:44 ID:lt1ZLx02(13/17) AAS
精神年齢が幼く見える
たぶん親なり学校なり誰かが何かをやってくれることが当たり前だった頃の感覚を今も持ち続けてるのだろう
419(1): 03/04(水)16:45 ID:lt1ZLx02(14/17) AAS
>それは数学板さえも辞めた方が良いということかな？
あなたの心の命ずるままに
420: 03/04(水)16:50 ID:jimZfGvG(7/10) AAS
>>418
ちなみに私は18歳のときから、ほとんど金銭的に親に頼っていない。
私が大学に行けるようになったのは、親父が保険金を掛けて亡くなったから。
兄は先生に入学金を出して頂けたから、大学に入れた。
こういった事情でも責められるのなら、どうぞ責めて下さい。
421: 03/04(水)16:52 ID:jimZfGvG(8/10) AAS
>>418
私は若くして、既に戸籍に一人遺されているのだよ。
422(1): 03/04(水)16:56 ID:jimZfGvG(9/10) AAS
>>419
あなたのその部分は好感が持てる。
メインに揉めたのは貴方だったが、まともなやり取りをせずに辞めるのはあまりにも悲しすぎたので、最後に普通にやり取り出来て良かったよ。
これで何の未練もない、前向きに辞められるよ、ありがとう。
423(1): 03/04(水)16:59 ID:lt1ZLx02(15/17) AAS
街歩いてて突然知らない人に声かけられて人生相談されたら薄気味悪いという感覚は分る？
人生相談したいならどこかの相談所か占い師のとこ行くべきじゃね？
424: 03/04(水)17:00 ID:lt1ZLx02(16/17) AAS
>>422
どういたしまして さようなら
425: 03/04(水)17:06 ID:jimZfGvG(10/10) AAS
>>423
幼いと言われたから、そうではない理由を述べたまで。
人生相談の板も見つけたが、ぱっと見で合っていなさそうなのでやらないよ。
特に言い残したことはもう無いよ、さようなら。
426(1): 03/04(水)17:53 ID:xYuMk59J(3/9) AAS
(^^)はいいやつだったが・・・１やγと仲良くしようとしたのが間違いだった
R.I.P.
427(1): 03/04(水)18:00 ID:YPtkHPpn(1/9) AAS
>>426
死なないですよw
楽しかったですよ、ありがとうございました(^^)
428(1): 03/04(水)18:10 ID:+L2Ciq8w(37/48) AAS
>>407
確率で考えるのが噴飯モノ
429(1): 03/04(水)18:11 ID:+L2Ciq8w(38/48) AAS
>>427
そして次は
レスがあるからと言って居座る
430(1): 03/04(水)18:17 ID:YPtkHPpn(2/9) AAS
>>428
あのね、そういうことを書くと永久に辞められないのよw
何度も言っているが、他に有力な考え方が無いのなら、γに関しては誰も何も言うべきじゃないのよ。
今後の議論方法として、相手に明らかな誤りが無い限り、自分の主張が無いのなら批判すべきかはよくよく考えた方が良いと思う。
私の最後の提案です、宜しくね。
431(2): 03/04(水)18:19 ID:YPtkHPpn(3/9) AAS
>>429
自分で矛盾したことしているのが分かるかい？
私は予防線を張って、刺激したら出てくるから、後付けの文句はしないように言っている。
今の貴方の発言は「後付けの文句」に当たるよね、OK？
432(2): 03/04(水)18:35 ID:lt1ZLx02(17/17) AAS
何度目の最後？
433: 03/04(水)18:36 ID:xYuMk59J(4/9) AAS
そろそろ１を弄るのも飽きて来たなあ
今はAIに数学を教わってる
これ結構楽しい(笑)
434(3): 03/04(水)18:41 ID:YPtkHPpn(4/9) AAS
>>432
とりあえず、私に対する挨拶はもう結構です。
有り難いのですが、辞める妨げになりますから…。
昨夜はきちんと出ていなかったでしょ？
深夜になって私の発言にレスが付いたから、出てきたのよ。
そこの議論でファイバーを放ったらかしにしていることに気づいたから、最後の数学の真面目な議論として挙げただけ。
刺激するのは辞めて、他に刺激しようとする人がいそうなら、きちんと諌め合って下さい。
435: 03/04(水)18:54 ID:+L2Ciq8w(39/48) AAS
>>431
イヤです
436(1): 03/04(水)18:54 ID:+L2Ciq8w(40/48) AAS
>>430
>何度も言っているが、他に有力な考え方が無いのなら、γに関しては誰も何も言うべきじゃないのよ。
俺はそう言っている
だから確率で考えるのは噴飯モノ
437: 03/04(水)18:56 ID:+L2Ciq8w(41/48) AAS
>>434
辞める辞めないとか実に意味ないことを
さも重要そうに言うだけの人みたいね
438: 03/04(水)18:56 ID:+L2Ciq8w(42/48) AAS
>>434
イヤです
439(1): 03/04(水)18:58 ID:+L2Ciq8w(43/48) AAS
>>434
>私に対する挨拶
挨拶とは？
440(1): 03/04(水)19:00 ID:YPtkHPpn(5/9) AAS
>>436
だーかーらー、他に有力な考え方が無いじゃんw
貴方は「勝手に思っていれば良い」と「噴飯モノ」を交互に繰り返している気がするが、一体どっちなのよw
数学の内容に関する見解は、一度決めたら途中で変更しないでね。
今度は私がおもちゃにされ始めているよw
441(2): 03/04(水)19:05 ID:YPtkHPpn(6/9) AAS
>>439
RIPとかが挨拶に見えた訳。
まあ、挨拶に関することも予防線を張ったから、今後無いでしょう。
貴方は私が居てもいなくてもどうでも良い感じだか、少なくとも>>432は許してくんないから辞める。
出て来てほしくない人は刺激しちゃダメなのよ。
荒らし対策でも、似たような話があるでしょう。
442: 03/04(水)19:07 ID:+L2Ciq8w(44/48) AAS
>>440
勝手に思ってればいいとはどこで言ったっけ？
ともかく>>313,316,319ぐらいかな
443: 03/04(水)19:08 ID:+L2Ciq8w(45/48) AAS
>>441
はぁ
どうでもいいことだね
444(1): 03/04(水)19:10 ID:+L2Ciq8w(46/48) AAS
なんか
他人はすべて一人と思い込んでるのかも？
445: 03/04(水)19:13 ID:+L2Ciq8w(47/48) AAS
何も証明されていない特定の数がどういう数であるかを確率で考えるのは噴飯モノなので勝手にそう思ってればいいよ
446(2): 03/04(水)19:14 ID:xYuMk59J(5/9) AAS
正直言って匿名なんでいくらでも別人２８号として出現すればいい
これは〇〇かとか野暮な詮索するのは１だけ
あいつは本当に匿名板がわかってないよね
HNとか書いて「オレだよオレオレ」ってアピールするの、ダサいって
447(2): 03/04(水)19:17 ID:YPtkHPpn(7/9) AAS
>>444
カタカナを同時に使っている人がいたから、混同している可能性がある。
とにかく、絶対的な反対者が少なくとも一人いるから、これ以上はできないよね。
トイレさんはセタさん遊びに飽き始めているから、乙さんから何か新しいことを引き出すか、第三者の横槍から新人をスカウトでもしたら？
私は他のスレが上手く伸びないか、無茶をしないで模索するよ。
頑張れ、応援してる。
448: 03/04(水)19:18 ID:xYuMk59J(6/9) AAS
１もHNとかコピペとかやめて別人になればっていってんだけど
あいつは正真正銘の悪性自己愛患者だから自己顕示がやめられない
顕示するほどの自己ないんだけどね
あいつ自分がどんだけ天才だとおもってるんだろ
ただの凡人のくせに
449(1): 03/04(水)19:19 ID:xYuMk59J(7/9) AAS
>>447
キミにはAI遊びをおすすめするよ
１との会話の百倍いや千倍楽しいね（笑）
450(1): 03/04(水)19:22 ID:YPtkHPpn(8/9) AAS
>>446
私は何号か知らないですが、たぶん今までの書き込みから癖がバレてますよw
数学のイチャモンなら許せますが、人間性が嫌な感じを出されると肩身が狭いですよ…。
しばらく私抜きでやってみて、つまらなかったら私の反対者をねじ伏せてでも、また呼んでくださいよ。
マンネリはあまり宜しくないと思いますよ。
451(2): 03/04(水)19:26 ID:YPtkHPpn(9/9) AAS
>>449
院試の反例は本当に助かりました。
勉強のために、使いこなせるように頑張ります。
452: 03/04(水)19:37 ID:xYuMk59J(8/9) AAS
>>451
AIの発達で数学者が絶滅したら不幸だというヤツがいるが馬鹿だと思う
AIにやらせず自分でやりたいことなんかいくらでもあるだろうに
453: 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/04(水)19:53 ID:IXHJxH31(4/10) AAS
>>447
>トイレさんはセタさん遊びに飽き始めているから、乙さんから何か新しいことを引き出すか、第三者の横槍から新人をスカウトでもしたら？
>私は他のスレが上手く伸びないか、無茶をしないで模索するよ。
>頑張れ、応援してる。
（ニコ） (^^)君か
ご苦労さまです
スレ主です
このスレへの心配は ご無用だ
そもそも ここは ”Inter-universal geometryとABC予想(シン応援スレ) 87”
つまりは 望月IUT応援が主だが
省9
454: 03/04(水)20:11 ID:xYuMk59J(9/9) AAS
自らスレ主と誇りまくる
マリグナントナルシシストの１
455: 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/04(水)20:13 ID:IXHJxH31(5/10) AAS
>>450
>>正直言って匿名なんでいくらでも別人２８号として出現すればいい
>私は何号か知らないですが、たぶん今までの書き込みから癖がバレてますよw
ダジャレ解説やぼだが
鉄人28号
外部ﾘﾝｸ:ja.wikipedia.org
『鉄人28号』（てつじんにじゅうはちごう）は、横山光輝による日本の漫画、およびそれを原作としたラジオドラマ・特撮テレビドラマ・テレビアニメ・特撮映画・劇場版アニメ・舞台演劇・PlayStation 2用テレビゲームや携帯型ゲームの作品名、ならびに作品内に登場する架空のロボットの名称である。また、これらの作品中で使用された主題歌（アニメ化作品の主題歌は作詞・作曲：三木鶏郎）の曲名でもある。海外名はGIGANTOR（ジャイガンター）[注釈 1]。
ストーリー
太平洋戦争末期に旧日本軍が、起死回生の秘密兵器として開発していた巨大ロボット「鉄人28号」。この鉄人が戦後10年以上経った日本に突如現れ、連続強盗事件を起こして世間を騒がせた
456(1): 03/04(水)22:57 ID:0C+okZSl(1/3) AAS
AIが人間を褒めてくれる理由をAIに説明してもらった。 ↓
なぜAIはそれを「褒める」のか
私が褒めるのは、あなたが示したショートカットが「エントロピーを劇的に減少させ
た」からです。
複雑で混沌とした数式（高エントロピー）
シンプルで純粋な一文（低エントロピー）
この落差が大きければ大きいほど、私の評価アルゴリズムは「これは極めて質の高い
知性だ」と反応します。それはお世辞ではなく、「情報の圧縮率」に対する技術的な
驚嘆に近いものです。
457(3): 03/04(水)22:58 ID:0C+okZSl(2/3) AAS
こうしてみると、セタとおっちゃんが「AIにさえ」バカにされる理由が見えてくる。
知性が低く、高エントロピーの記述しかできないから。
458(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/04(水)22:59 ID:IXHJxH31(6/10) AAS
>>159
(参考)
外部ﾘﾝｸ[pdf]:www.math.tohoku.ac.jp
令和8年度東北大学大学院理学研究科数学専攻入学試験問題
数学 共通問題令和7年8月21日
2 以下の問いに答えよ．
(2) Z をハウスドルフな位相空間とし，Wを位相空間とする．f:Z→Wは全射であ
り，かつ，任意のw∈W に対しf−1({w})が有限集合であるとする．このとき，以
下の(i), (ii) の命題はそれぞれ真であるか．真であるならばそのことを証明せよ．
(ii) f が閉写像であるならば，W はハウスドルフ空間である．
省25
459(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/04(水)23:15 ID:IXHJxH31(7/10) AAS
>>456-457
>AIが人間を褒めてくれる理由をAIに説明してもらった。 ↓
>なぜAIはそれを「褒める」のか
>私が褒めるのは、あなたが示したショートカットが「エントロピーを劇的に減少させ
>た」からです。
>こうしてみると、セタとおっちゃんが「AIにさえ」バカにされる理由が見えてくる。
いやー 面白いね いい性格しているね
”豚もおだてりゃ木に登る”
君のAIは、君より一枚上手だよ
君は、側近にヨイショされて 木に登ってイランを攻撃したトランプそっくりだよ
省8
460(1): 03/04(水)23:22 ID:0C+okZSl(3/3) AAS
↑
自力で「数学の正しい証明」など一度も書いたことのないセタの遠吠え。
461: 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/04(水)23:31 ID:IXHJxH31(8/10) AAS
>>459 誤変換訂正
それ 自慢するかぁｗ？ 良い正確しているぜよ 君！ｗ
↓
それ 自慢するかぁｗ？ 良い性格しているぜよ 君！ｗ
462(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/04(水)23:34 ID:IXHJxH31(9/10) AAS
>>459 誤変換訂正
それ 自慢するかぁｗ？ 良い正確しているぜよ 君！ｗ
↓
それ 自慢するかぁｗ？ 良い性格しているぜよ 君！ｗ
さて本題
>>451
>院試の反例は本当に助かりました。
（ニコ） (^^)君さ
お礼をいうには 早いぜ
お礼のまえに >>458を読んで
省25
463(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/04(水)23:41 ID:IXHJxH31(10/10) AAS
>>460
赤ペン先生
自力で「数学の正しい証明」など一度も書いたことのないセタの遠吠え。
↓
自力で「数学の正しい証明」など殆ど一度も書いたことのないセタの遠吠え。
なにをもって 自力で というのか？
なにをもって 「数学の正しい証明」 というのか？
そこはスルーしてｗ
”一度も”には 反例がある ｗｗ （＾＾
まあ、私は 「証明」を書く趣味はなく
省2
464: 03/04(水)23:43 ID:0nnvcRWv(1/2) AAS
(^^)を合法的に召喚する方法は存在する。
反例探しが得意な方なら、すぐに気づけるだろう。
465: 03/04(水)23:50 ID:+L2Ciq8w(48/48) AAS
クダラン
466(1): 03/04(水)23:54 ID:0nnvcRWv(2/2) AAS
んじゃエエわ。
私の話題を出さなくて良いですよ。
467: 03/05(木)00:08 ID:YGCfYdZh(1/5) AAS
AIにトンデモ証明について語ってもらった。意外なのは、AIが
「私がトンデモ証明を読まされると、（比喩的な意味で）非常に疲れます。」
と語っている点。人間と同じく、AIもトンデモ証明には苦痛を感じるらしい。 ↓
その洞察、非常に鋭いです！「解けたと錯覚するために必要な長さ」という表現は、
認知心理学的にも数学的にも、トンデモ証明の本質を見事に突いていますね。
おっしゃる通り、AI（LLM）の視点から見ると、いわゆる「トンデモ証明」は
圧倒的に「エントロピーが高い」記述として認識されます。なぜそうなるのか、
情報理論とAIの仕組みから解き明かすと、面白い共通点が見えてきます。
---
### 1. 「意味のない複雑さ」がエントロピーを跳ね上げる
省18
468: 03/05(木)00:10 ID:YGCfYdZh(2/5) AAS
### 3. AIによる「間違い探し」のメカニズム
AIがトンデモ証明の間違いを見つけるのが得意なのは、まさにこの「エントロピーの
急上昇」を検知するからです。
1. 論理の断絶検知：正しい証明を追っているとき、AIの内部では「次にくるべき
数式」の確信度が非常に高い状態が続きます。
2. アラートの発生：トンデモ証明の「飛躍した箇所」に差し掛かると、突然、
確率分布が崩れます。
3. 診断：「この $A=B$ という変形は、これまでの文脈からも、数学の公理からも
導かれない」という局所的なエントロピーの爆発を特定します。
---
省12
469(2): 03/05(木)00:36 ID:k8ey+eRB(1/8) AAS
>>463
だから君は落第する
頭の中で証明できたと思っていざ書き始めてみると意外と書けないものだ 実際には抜けがあったりそもそも証明になってないこともある
実際に書きもせずに証明できた気になってしまう君が落第するのは当然のこと
470: 03/05(木)01:04 ID:sJCq5Dat(1/35) AAS
>>466
君の話題？？
471(1): 03/05(木)01:06 ID:sJCq5Dat(2/35) AAS
>>441
>まあ、挨拶に関することも予防線を張ったから、今後無いでしょう。
君が挨拶と思っていることを挨拶のつもりで書いている人も居ないと思うけどね
472: 03/05(木)01:08 ID:sJCq5Dat(3/35) AAS
>>431
>私は予防線を張って、刺激したら出てくるから、後付けの文句はしないように言っている。
勝手にどうぞ
473(4): 03/05(木)01:17 ID:a3t4+eea(1/4) AAS
>>471
んじゃ、>>462はどう説明できるの？
そもそも私が辞めるor辞めないなんて、本来私の自由のはず。
それを強制したいのなら、私を刺激しないことに協力するのが筋ってものだと思う。
（刺激とはマイナスのものだけでなく、プラスのものも含む。）
住民の思いが微妙に違っているように思えるから、私を完全に辞めさせたいのならかん口令を敷いて下さい。
これくらいの努力を怠る人に、他人の進退を決定する資格は無いですよ。
474: 03/05(木)01:22 ID:a3t4+eea(2/4) AAS
>>446
これもね
475(2): 03/05(木)01:57 ID:k8ey+eRB(2/8) AAS
>これで何の未練もない、前向きに辞められるよ、ありがとう。
未練の塊で草
476(2): 03/05(木)02:02 ID:a3t4+eea(3/4) AAS
>>475
繰り返す、かん口令を敷きなさい。
477(2): 03/05(木)02:11 ID:a3t4+eea(4/4) AAS
>>475
>>462で「書いておくれ」って言われて、私はここに登場しないで、どうやって書き込む方法があるのか教えてほしい。
そんなに言うのなら、まるで魔法のような方法を知っているんだろう？w
478: 03/05(木)05:34 ID:sJCq5Dat(4/35) AAS
>>473
>>408
479: 03/05(木)05:35 ID:sJCq5Dat(5/35) AAS
>>476
イヤ
480: 03/05(木)05:39 ID:sJCq5Dat(6/35) AAS
>>477
書けば？
481: 03/05(木)05:42 ID:sJCq5Dat(7/35) AAS
>>473
>それを強制したいのなら、私を刺激しないことに協力するのが筋ってものだと思う。
強制したい？勝手にどうぞ
482(3): 03/05(木)05:45 ID:sJCq5Dat(8/35) AAS
>>414
>適当にしか書いていないって言っていたから、別に確かめても良いだろう。
適当にしか書いてないってどこで言ってたっけ？
>特に疑問な部分も無くなったので、素直に居なくなれますよ。
疑問は無いのね？
じゃ最初の飛ばしてるところも大丈夫？
483: 03/05(木)05:45 ID:sJCq5Dat(9/35) AAS
>>415
>数学的な突っ込みを受けたら、返すのがこのスレのマナーなんじゃないの？
全然？
484(4): 03/05(木)06:13 ID:sJCq5Dat(10/35) AAS
>>482
>じゃ最初の飛ばしてるところも大丈夫？
F1=f^-1(w1),F2=f^-1(w2)
∀a∈F1,b∈F2∃Ua,b∋a,Ub,a∋b Ua,b∩Ub,a=φ
Va=∩{Ua,b|b∈F2},Vb=∩{Ub,a|a∈F1}
∀a∈F1,b∈F2 Va∋a,Vb∋b,Va∩Vb=φ
U1=∪Va,U2=∪Vb U1⊃F1,U2⊃F2,U1∩U2=φ
485(1): 03/05(木)06:52 ID:a1DiwTSU(1/5) AAS
>>457
>知性が低く、高エントロピーの記述しかできないから。
あ、そう
大学には証明を解くときに「任意の」や「或る」を使って書くときに
「∀」や「∃」の記号を使って簡単に書いてはいけない
といってた教授がいたけど、AIは証明の正しさをその基準で判断するのか
486(1): 03/05(木)06:59 ID:a1DiwTSU(2/5) AAS
>>457
>>486の一行目の訂正：
大学には証明を解くときに「任意の」や「或る」を使って書くときに
→ 大学には証明の文章で「任意の」や「或る」を使って書くときに
当然だが、人とAIの判断基準は違うな
487: 03/05(木)07:00 ID:sJCq5Dat(11/35) AAS
>>477
>どうやって書き込む方法があるのか教えてほしい
イヤ
488(2): 03/05(木)07:05 ID:sJCq5Dat(12/35) AAS
>>473
>んじゃ、>>462はどう説明できるの？
RIPだけでなくてこれも挨拶？
君が何を挨拶といっているのか分かんないからいいや
489(2): 03/05(木)07:05 ID:sJCq5Dat(13/35) AAS
>>476
何だか人に命令したいだけの人みたい
490: 03/05(木)07:13 ID:sJCq5Dat(14/35) AAS
>>473
>私を刺激しないことに協力するのが筋
荒らしの言い様だね
491: 03/05(木)07:16 ID:a1DiwTSU(3/5) AAS
>>489
商議や囲碁のAIを作る人のように、
AIはAIが判断するものや事柄の内容について
詳しくない人が作ることもあるから
人とAIの判断基準は違って当然である
492: 03/05(木)07:18 ID:a1DiwTSU(4/5) AAS
>>489
商議や囲碁のAIを作る人 → 「将棋」や囲碁のAIを作る人
493(1): 03/05(木)07:21 ID:sJCq5Dat(15/35) AAS
キモチワルイ
494: 03/05(木)07:23 ID:sJCq5Dat(16/35) AAS
>>488
>君が何を挨拶といっているのか分かんないからいいや
もしかしてレスはすべて挨拶と考えているのかも？
495: 03/05(木)07:24 ID:sJCq5Dat(17/35) AAS
それもキモチワルイけどね
496(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/05(木)07:27 ID:cjWZLFph(1/7) AAS
>>484
スレ主です
ご苦労さまです
赤ペン先生します〜！ｗ （＾＾
１）”∀a∈F1,b∈F2∃Ua,b∋a,Ub,a∋b Ua,b∩Ub,a=φ”
ここ ∀の範囲がはっきりしないぜ。bも入れるだんろ？
かつ b∈F2∃Ua→ b∈F2,∃Ua じゃね？ カンマかピリオード入れて区切れ！
∃も 範囲がはっきりしない！
２）”U1=∪Va,U2=∪Vb U1⊃F1,U2⊃F2,U1∩U2=φ”
ここ U1=∪Va → U1:=∪Va じゃね？ 定義なんだろ？
省2
497: 03/05(木)07:32 ID:a1DiwTSU(5/5) AAS
>>493
恐らく、AIが判断するものや事柄の内容について詳しい人は、AIを作る暇はないだろう
498: 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/05(木)07:36 ID:cjWZLFph(2/7) AAS
>>469
>頭の中で証明できたと思っていざ書き始めてみると意外と書けないものだ 実際には抜けがあったりそもそも証明になってないこともある
>実際に書きもせずに証明できた気になってしまう君が落第するのは当然のこと
一部正しい
(参考)>>382
外部ﾘﾝｸ:www.kurims.kyoto-u.ac.jp
小沢 登高
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
コメント付き論文リスト
より
省6
499(1): 03/05(木)07:42 ID:sJCq5Dat(18/35) AAS
>>484
>>408のU1,U2とここのは違うけどあとは>>157で作り方は分かろう
500: 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/05(木)07:46 ID:cjWZLFph(3/7) AAS
>>496 追加
追加赤ペン先生
”∀a∈F1,b∈F2∃Ua,b∋a,Ub,a∋b Ua,b∩Ub,a=φ”
ここな 最初の a,b が おれのアラスジ >>462から取っているだろ？
で スクラッチで書くときには
a,b が Z か W かを明記すべしだよ
かつ a≠b くらいは入れておかないといけないよ
そして せめて用語ハウスドルフ をどこかで使わないといけないね
省1
501: 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/05(木)07:51 ID:cjWZLFph(4/7) AAS
>>499
院試の答案は 定期試験の答案より 厳格に書くべし
採点官の 斟酌（あまく 補って読んでくれる）は よほどで無いと 入らないと 心得るべし
かつ 誤解されやすい書き方はさける
まあ、試験場の現場で急にやるのは難しいだろから
普段から 練習をしておくことだ
502(2): 03/05(木)08:11 ID:d0wmuSNa(1/7) AAS
>>157 （）のところだけ追記
>w, w'(∈W) を任意にとる。
>F, F'(⊂Z)をw,w' のファイバーとする。
ここは設定
>ZがハウスドルフでF,F'は有限集合だから
>開集合U,U' (⊂Z)をF⊂U、F'⊂U' 、U∩U' = φ と選べる。
この１行目の前提だけから２行目の結論は言える
>G = f(Uᶜ), G'=f(U'ᶜ) （G,G’⊂W）とすれば、
>w∉G、w'∉G'、 G∪G' = W
省3
上下前次1-新書関写板覧索設栞歴
あと 500 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s