[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
巡回ご苦労様です
”ばかばかしい”
ダメ出しが でました （＾＾
803(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/12(水)10:25 ID:ALZYQ4aC(3/9) AAS
>>781
(引用開始)
代数学の基本定理 (Fundamental Theorem of Algebra)は
ハーツホーンでは、直接は扱っていないぞ！ｗｗｗ
いや、もちろん ハーツホーンで扱う大定理で それに何かを組み合わせれば
代数学の基本定理 (Fundamental Theorem of Algebra)が 導けるかもしれないよ
だがな、ハーツホーンの前提が 学部レベルの複素関数論や 代数学の基本定理を前提としていたら どうよ？
それって、循環論法だよｗｗｗ
(引用終り)
補足しておくと
省24
804: 11/12(水)10:27 ID:5tb83k/H(1) AAS
>>801
やっぱIUT擁護が日本人のフリする朝鮮人偽右翼なのワラタ
805: 11/12(水)10:44 ID:+6voqTol(3/4) AAS
>>802
不正解
>∀x(P(x)→Q(x))→(∀xP(x)→∀xQ(x))
の証明もきちんと書けないのに
>きちんと証明書かないで、数学やれるんだね
と豪語しちゃうピエロ
上下前次1-新書関写板覧索設栞歴
あと 197 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s