[過去ﾛｸﾞ] Inter-universal geometryとABC予想(シン応援スレ) 87 (739ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
503: 03/05(木)08:12 ID:sJCq5Dat(19/35) AAS
>>502
オミゴトは私の感想なだけ
504: 03/05(木)08:14 ID:d0wmuSNa(2/7) AAS
>>405
>証明すべきことは2点が開集合で分離できること
”Wの”２点ね
>つまりw1∈U1,w2∈U2でU1∩U2=φであるものを見いだす
U1,U2⊂W ね
>それを補集合にしたらどんな閉集合を見いだせば良いか分かるだろ
>その作り方はお見事な解答通り
>ただ最初の部分は飛ばしてるが直ぐ補えるだろ？そこができない？
省5
505(1): 03/05(木)08:16 ID:d0wmuSNa(3/7) AAS
アンカーつけなおしで再投稿
>>408
>証明すべきことは2点が開集合で分離できること
”Wの”２点ね
>つまりw1∈U1,w2∈U2でU1∩U2=φであるものを見いだす
U1,U2⊂W ね
省8
506: 03/05(木)08:17 ID:sJCq5Dat(20/35) AAS
>>502
>>ZがハウスドルフでF,F'は有限集合だから
>>開集合U,U' (⊂Z)をF⊂U、F'⊂U' 、U∩U' = φ と選べる。
>この１行目の前提だけから２行目の結論は言える
細かく書くと>>484
>>414で納得したようだから書かなくて良いと思ったけど蛇足
507: 03/05(木)08:18 ID:sJCq5Dat(21/35) AAS
>>505
適当に訂正して
508(1): 03/05(木)08:28 ID:0bDMUBzw(1/4) AAS
>>484
>F1=f^-1(w1),F2=f^-1(w2)
w1,w2∈W で、F1,F2⊂Z ね
>∀a∈F1,b∈F2∃Ua,b∋a,Ub,a∋b Ua,b∩Ub,a=φ
a,b∈Z
(Ｕa,b),(Ub,a)⊂Zは、”Zの”開集合
>Va=∩{Ua,b|b∈F2},Vb=∩{Ub,a|a∈F1}
>∀a∈F1,b∈F2 Va∋a,Vb∋b,Va∩Vb=φ
省7
509(2): 03/05(木)08:36 ID:0bDMUBzw(2/4) AAS
>>496
>”∀a∈F1,b∈F2∃Ua,b∋a,Ub,a∋b Ua,b∩Ub,a=φ”
>ここ ∀の範囲がはっきりしないぜ。bも入れるんだろ？
∀の範囲はF1=f^-1(w1),F2=f^-1(w2)だから明確
１が直前の行すら忘れるニワトリだから
不明確だと誤解してるだけ
＞かつ b∈F2∃Ua→ b∈F2,∃Ua じゃね？
全然違うけど
１、頭大丈夫？
＞カンマかピリオード入れて区切れ！
省9
510: 03/05(木)08:38 ID:dOP5u22Q(1/4) AAS
ハウスドルフ空間はT1空間であり、その中で一点集合は閉集合になっている。さらに、ハウスドルフ空間のコンパクト部分集合は閉集合である。ハウスドルフ空間における2つの交わらないコンパクト部分集合はそれらの近傍によって分離できる。
511(6): 03/05(木)08:53 ID:UAWW2ggT(1/4) AAS
ところでみなさんに質問
Rの2つのコピーZから、
それを原点0以外のところ全部くっつけたWへの写像fで
Zの閉集合[0,1]×{-1,1}を移した先の集合は・・・
閉集合ですか？
512: 03/05(木)09:10 ID:sJCq5Dat(22/35) AAS
>>508
>Va,Vb⊂Zは、”Zの”開集合になるかい？
有限だからね
>結局Zの中だけでしか
>考えてないんじゃない？
そうよ
ここだけ>>482
>じゃ最初の飛ばしてるところも大丈夫？
513: 03/05(木)09:13 ID:sJCq5Dat(23/35) AAS
>>511
補集合は(-∞,0)∪(1,∞)だから開
514(1): 03/05(木)09:15 ID:PDDxQmR8(1/4) AAS
>>482
適当にしか書いてないは>>339にある。
515(1): 03/05(木)09:17 ID:sJCq5Dat(24/35) AAS
だから>>511の像は閉
516: 03/05(木)09:18 ID:sJCq5Dat(25/35) AAS
>>514
サンクス
517(1): 03/05(木)09:21 ID:PDDxQmR8(2/4) AAS
>>488
いや、それは明らかに挨拶よりもレベルの高い書き込みだろう。
これが出た直後に、挨拶や未練に関して言及するのはおかしいだろう。
私に相当有利な書き込みが出て来ているのだから。
518: 03/05(木)09:30 ID:sJCq5Dat(26/35) AAS
>>517
別に？
519(1): 03/05(木)09:31 ID:sJCq5Dat(27/35) AAS
有利とか不利とか自分で考えたら良いだけ
他人は別の感触を持つかも知れないし
何も持たない人がほとんどでは？
520: 03/05(木)09:31 ID:PDDxQmR8(3/4) AAS
院試について質問してやっぱり良かったよ。
ちょっと忙しいから、後でゆっくり見る。
ま、絶対的な反対者がいたから、やり辛いことに変わりはない。
他のスレに書き始めたりもしているから、本当にどちらでも良いんだよ。
521(4): 03/05(木)09:32 ID:QMTkHD+M(1/7) AAS
>>515
> だから>>511の像は閉
ぶぶー（笑）
閉集合じゃないですよ
というのは、Wで原点に向かう点列の収束先が
(0,1)か(0,-1)か分かんないじゃないですか
522: 03/05(木)09:35 ID:sJCq5Dat(28/35) AAS
>>509
>Ｕa,bとかUb,aとかいう名前のつけ方が
>不適切を除けば読めないことはない
スマンす
523: 03/05(木)09:36 ID:QMTkHD+M(2/7) AAS
＞院試について質問してやっぱり良かったよ。
それは正解
ｎ×ｎ行列のランクがｎ未満だとしても
ｎに近いのか０に近いのか差が出るよね（笑）
524: 03/05(木)09:36 ID:sJCq5Dat(29/35) AAS
>>521
はぁ
525(2): 03/05(木)09:38 ID:PDDxQmR8(4/4) AAS
>>519
貴方は最終的には、自分で決めれば良いだけに辿り着く人なんじゃない？
問題は>>364の人。
少なくとも一人こんな人がいるんじゃ、私は何もできないよ。
526(1): 03/05(木)09:48 ID:sJCq5Dat(30/35) AAS
>>521
>(0,1)か(0,-1)か分かんないじゃないですか
分離できないのが面白いんだけどね
527: 03/05(木)09:49 ID:sJCq5Dat(31/35) AAS
>>525
どうでもいい
528(1): 03/05(木)09:49 ID:sJCq5Dat(32/35) AAS
何もできないならしなければ良いし
したいならしたら良い
529(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/05(木)09:53 ID:S3WOVTxG(1/13) AAS
>>509
ふっふ、ほっほ
ご苦労様です
いいかい
院試は定期とは違う
定期は、名前有り答案で かつ 答案返却ある
名前みて こいつは出来るやつだから まるとか
戻ってきた答案で、”ここは こういうつもりで書いた”と 訴えて 判定を覆すことはできるが
院試は、それがない
だから、極力 フォーマルに くだけた表記はしないことだ
省5
530(1): 03/05(木)10:01 ID:ZuXcBDn/(1) AAS
>>528
まあ、貴方は最後には他人に委ねる優しさがあるからね。
ただ、今の私の勝手な法律では、一行目に私のガンマに対する批判を書いておけば呼び出せるからねw
これすら文句を言われるようじゃ、何もできない。
つまり、どうでも良いということw
531(1): 03/05(木)10:03 ID:dOP5u22Q(2/4) AAS
>>529
院試の話できるレベルにないやん
532(1): 03/05(木)10:05 ID:S3WOVTxG(2/13) AAS
>>526
>>(0,1)か(0,-1)か分かんないじゃないですか
>分離できないのが面白いんだけどね
赤ペン先生
１）ここで 自然語で ”分離できない”とするのは 如何か？ 意図不明だよ
２）”閉集合じゃないですよ
というのは、Wで原点に向かう点列の収束先が
(0,1)か(0,-1)か分かんないじゃないですか”
に対するロジカルな反論がない。自然語でハグラカシみえみえ
533(2): 03/05(木)10:05 ID:Z4xovnZQ(1/2) AAS
>>521
今AIに確認したところ（笑）
そうか、[0,1]×{-1}（これはZで閉）を
fで移した先の集合がWで閉じゃないのか
そりゃそうだ（笑）
534(1): 03/05(木)10:07 ID:Z4xovnZQ(2/2) AAS
>>529 なにいってんだこいつ（笑）
>>532 533読んでな まあでも読んでもわかんないか（笑）
535(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/05(木)10:10 ID:S3WOVTxG(3/13) AAS
>>531
>院試の話できるレベルにないやん
おまえがな
院試が 普段の勉強と違うのは
書いたことが全てで（採点結果の詳細は知らされない）
白紙答案は０点ってこと
採点は 例えば１０点満点から０点までとすると
受験者の戦略としては
時間配分にもよるが
分かったところまで 途中答案でも 書いて 部分点下さいとすべしだよ
536: 03/05(木)10:16 ID:dOP5u22Q(3/4) AAS
>>535
自分のゴミレス見てからいえよ
何にも意味わかってないやん
>>303
537(1): 03/05(木)10:26 ID:0bDMUBzw(3/4) AAS
今AIに確認したところ（笑）
この問題は
・non-separated scheme
・非ハウルドルフ多様体
とかの例で基本的に出て来る
（前者はハーツホーンにもEGAにも出てくる）
ことなので、やんわり教えてくれたけど
ぶっちゃけ「知らないヤツはモグリ」
と言わんがばかりの返答でした
ま、１はこんな返答でも
省3
538: 03/05(木)10:29 ID:0bDMUBzw(4/4) AAS
誤 みっともない泣きおとしをやるんだろうけお
正 みっともない泣きおとしをやるんだろうけど
まあ、基本 １は自分に甘々だけどね（笑）
539: 03/05(木)10:43 ID:k8ey+eRB(3/8) AAS
>>485
>大学には証明を解くときに「任意の」や「或る」を使って書くときに
>「∀」や「∃」の記号を使って簡単に書いてはいけない
>といってた教授がいたけど
数学の証明には形式体系内の形式的証明と形式体系外の証明がある。
前者は論理式の列であり、論理式は論理記号∀、∃を使って書く。
後者の書き方に厳密な規定はなく自然言語や論理式を使っても良いが、下手に∀、∃を使うと可読性が悪化したりスコープの誤解が生じたりすることがある。
540(1): 03/05(木)10:44 ID:S3WOVTxG(4/13) AAS
>>534
>533読んでな まあでも読んでもわかんないか（笑）
ふっふ、ほっほ
赤ペン先生
>>533より
(引用開始)
>>521
今AIに確認したところ（笑）
そうか、[0,1]×{-1}（これはZで閉）を
fで移した先の集合がWで閉じゃないのか
省42
541: 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/05(木)10:51 ID:S3WOVTxG(5/13) AAS
>>537
(引用開始)
今AIに確認したところ（笑）
この問題は
・non-separated scheme
・非ハウルドルフ多様体
とかの例で基本的に出て来る
（前者はハーツホーンにもEGAにも出てくる）
ことなので、やんわり教えてくれたけど
ぶっちゃけ「知らないヤツはモグリ」
省16
542(2): 03/05(木)11:05 ID:sJCq5Dat(33/35) AAS
>>533
その通り
分離できないから一方だけ含むのだと閉にならない
543(1): 03/05(木)11:21 ID:sJCq5Dat(34/35) AAS
>>530
キモチワルイ
544(1): 03/05(木)11:29 ID:UAWW2ggT(2/4) AAS
>>542
>分離できないから一方だけ含むのだと閉にならない
ですね なんか勘違いしてた
悪性自己愛患者の１と違って、謙虚ですから（笑）
545(1): 03/05(木)11:32 ID:UAWW2ggT(3/4) AAS
＞Grok AIのハルシネーションの 鵜呑み
１は得意の筈の「検索情報の受け売り」でもAIに惨敗（笑）
もうあきらめろって
謙虚な自分は、これからはAIのペットとして生きますわ
546: 03/05(木)11:34 ID:UAWW2ggT(4/4) AAS
AIにはいくらでも質問できるので
納得できないときは細かく再質問すればいい
それできないと意味ないけどね
ペットになるのも大変ですわ
ご主人様の御機嫌はとらにゃあかんし
547(2): 03/05(木)11:45 ID:k8ey+eRB(4/8) AAS
>>525
じゃ何もするな
548: 03/05(木)11:57 ID:wFSYNU3g(1) AAS
>>547
新しい数学の勉強法はこれだ
「AIに根掘り葉掘り聞きまくる」
549(1): 03/05(木)12:35 ID:k8ey+eRB(5/8) AAS
>>529
いいかげん受験数学は卒業したら？ もうすぐ人生卒業の後期高齢者なんでしょ？
550(1): 03/05(木)12:41 ID:d0wmuSNa(4/7) AAS
>>549
AIの発達ぶりを実感して思うこと
「もう今更数学とか無理だな。別のことやろ（笑）」
551(1): 03/05(木)12:45 ID:d0wmuSNa(5/7) AAS
分からなくて気になってたことは
AIに訊いたらだいたいわかりました（笑）
もちろんすべてがわかったなんていいませんよ
上っ面はわかった
深いところは自分が思うより
はるかにめんどくさいから
手を出さないほうが無難だ
ということまでわかった（笑）
真の賢さとは身の程を知ることだと思います
自分に分かりそうなことだけ知り
省7
552: 03/05(木)12:49 ID:d0wmuSNa(6/7) AAS
>>551
＞真の賢さとは身の程を知ることだと思います
＞自分に分かりそうなことだけ知り
＞そうでないこと「なんかそうみたい」で終わらせる
この考え方のいいところは、みんなそれぞれ賢い、といえることです
これは単に自分の精神安定のためだけでなく
社会で他人と協調していく上でも大事なことです
１が残念なのは、単に大学レベルの数学がわかってないことではなく
なんでもかんでもわかったと言い張って他人の上に立つことで
自分だけ得しようとする三歳児的精神から抜け出してないことです（笑）
上下前次1-新書関写板覧索設栞歴
あと 187 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.062s