[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
783: 11/11(火)21:29 ID:5zG2VQDm(7/9) AAS
>>765
下らないことしか書かないね
784: 11/11(火)21:32 ID:5zG2VQDm(8/9) AAS
>>773
>>>767-768
>>ばかばかしい
混成ですよ
785(1): 11/11(火)21:39 ID:rZBZzvXB(7/10) AAS
＞代数学の基本定理 (Fundamental Theorem of Algebra)はハーツホーンでは、直接は扱っていないぞ！
「直接」＝代数学の基本定理 (Fundamental Theorem of Algebra)という言葉を明示して
ということなら、そうはなってないかもしれんが、読む人が読めば
ああ、これって代数学の基本定理のことじゃん
と分かる記述があれば、それは「書いてある」ということになるんだよ
＞もちろん ハーツホーンで扱う大定理に何かを組み合わせれば
＞代数学の基本定理 (Fundamental Theorem of Algebra)
＞が 導けるかもしれないよ
ここでいってるのは、そういうことではなくて
代数学の基本定理にあたることが、層とコホモロジーの言葉で書ける
省12
786: 11/11(火)21:44 ID:rZBZzvXB(8/10) AAS
>>773
＞”フローチャート”自身は、構造化も非構造化も関係ないですよ！
というか構造化されてない
と断言できるのは、構造化チャートというものが存在してるから
外部ﾘﾝｸ[html]:www.ap-siken.com
構造化チャートでは、フローチャートのような勝手なgotoは書けない
条件分岐と繰り返しの構造が規定されてるから
キミ、構造化って何をどう構造化してるか全然分かってないでしょ
787(2): 11/11(火)21:47 ID:ewbNriaY(6/7) AAS
Siuは8月の研究集会で
Hartshorneはformalなので嫌いだと
言っていた
788: 11/11(火)21:50 ID:rZBZzvXB(9/10) AAS
別に「構造化自然言語文」で書けば、わかりやすく曖昧さのないプログラムは書けるよ
ブログラムというけど、所詮は文章だから（笑）
まあ、
ロクに文章も読めず
ロクな文章も書けない高卒の世田君に、
ロクなプログラムは書けんし
ロクな質問もAIに対してできないから
ロクな回答をAIに書かせることもできんね
ロクでもない奴といわれても仕方ない（笑）
789(2): 11/11(火)21:53 ID:rZBZzvXB(10/10) AAS
>>787
Hartshornに書いてあるといったが
Hartshornにしか書いてないとはいってないよ
日本語分かる？
790(1): 11/11(火)22:08 ID:ewbNriaY(7/7) AAS
Hartshorne
791: 11/11(火)23:08 ID:5zG2VQDm(9/9) AAS
>>789
ID:ewbNriaY はどこかしら日本語が不自由
792(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)23:32 ID:MAm0UGMh(2/3) AAS
>>782
>「Chapter II.5–6：線束、切断、チャーン類。CP^1 上の O(n) の大域切断＝多項式。」
>意味わかる？わかんないならハーツホーン読んでも無駄だから、即古本屋に売りな
>>785
>「直接」＝代数学の基本定理 (Fundamental Theorem of Algebra)という言葉を明示して
>ということなら、そうはなってないかもしれんが、読む人が読めば
>ああ、これって代数学の基本定理のことじゃん
>と分かる記述があれば、それは「書いてある」ということになるんだよ
ふっふ、ほっほ
ははは
省7
793: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)23:44 ID:MAm0UGMh(3/3) AAS
>>787
>Siuは8月の研究集会で
>Hartshorneはformalなので嫌いだと
>言っていた
御大か
巡回ご苦労さまです
なる・・・
意味深ですな
余韻がないってことかな？ （＾＾
794: 11/12(水)00:23 ID:Aucj6td8(1/2) AAS
>>792
内容がよく理解できていれば普通のことでは？
795: 11/12(水)00:29 ID:Aucj6td8(2/2) AAS
>>792
>きちんと証明書かないで、数学やれるんだね
グロタンディークの夢想した遠アーベル幾何は数学ではないと？
まあ確かにそうだったのかも
796: 11/12(水)03:22 ID:+6voqTol(1/4) AAS
>>792
>きちんと証明書かないで、数学やれるんだね
人生で一度も証明書いたことが無いおまえがそれ言うか？
なら下記命題の証明をきちんと書いてみ？
∀x(P(x)→Q(x))→(∀xP(x)→∀xQ(x))
797: 11/12(水)03:25 ID:+6voqTol(2/4) AAS
あ、ごめん、セタは∀恐怖症だったな そもそもその式の意味からワカランよな
798: 11/12(水)05:54 ID:gdxRFtgb(1/4) AAS
＞下記命題の証明をきちんと書いてみ？
＞∀x(P(x)→Q(x))→(∀xP(x)→∀xQ(x))
そもそも以下が成立する
∀x(P(x)→Q(x))→(∃xP(x)→∃xQ(x))
また同じことだが以下が成立する
∀x(P(x)→Q(x))→(∀x¬Q(x)→∀x¬P(x))
799(1): 11/12(水)07:11 ID:pxtTmWLA(1/2) AAS
ばかばかしい
800: 11/12(水)09:54 ID:jidz5oCS(1) AAS
おっ そうだな
801(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/12(水)09:58 ID:ALZYQ4aC(1/9) AAS
再録
2chｽﾚ:math
Inter-universal geometry とABC 予想58
930１３２人目の素数さん
2025/11/12(水) ID:auYzJv10
>> 924
>>>査読過程
>こんなやり方は二度と通らないだろう
ご苦労さまです
ピュアな数学者に
省18
802(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/12(水)10:03 ID:ALZYQ4aC(2/9) AAS
>>799
巡回ご苦労様です
”ばかばかしい”
ダメ出しが でました （＾＾
上下前次1-新書関写板覧索設栞歴
あと 200 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s