21/02/01 14:08:34.62 aqdMvFBD.net
ハーツホーンはネーター性の仮定がな
結局これだけ経ってもEGAを読むくらいならこれ読めば済む、って本が存在しない
713:１３２人目の素数さん
21/02/01 14:21:59.44 JskKoWNd.net
>>696
たしかにそれは複素解析をやるなら邪魔だな
局所Noetherなものしか扱わないなら連接定理とか必ず成り立つから意味ないし
714:１３２人目の素数さん
21/02/01 14:55:09.02 mpFADcym.net
ねじり層が重要だろ
715:１３２人目の素数さん
21/02/01 15:07:30.39 oeH+vmwn.net
ぶっちゃけ複素多様体論だけやってればいい
これは数論幾何をやる場合でもそう
716:１３２人目の素数さん
21/02/01 15:24:20.40 mpFADcym.net
そんなわけねーだろが！！
717:１３２人目の素数さん
21/02/01 15:40:07.74 k76UPGef.net
スキームは
・代数多様体の族、係数拡大
・降下
・連接層
・formal completion
などとは親和性が高い
しかし、群作用による商を扱うのは決定的に不得意で、このために幾何学的不変式論とか簡約代数群とかわけわからんものがある
718:１３２人目の素数さん
21/02/01 15:41:24.09 i0BXRcOq.net
>>700
なぜ？
719:１３２人目の素数さん
21/02/01 15:57:17.60 2BC0yaCi.net
こいつ全然スキーム理解してねーし
720:１３２人目の素数さん
21/02/01 16:02:04.91 8+u6RuKA.net
>>703
スキームって何？
721:１３２人目の素数さん
21/02/01 16:04:38.98 W5u2wnGv.net
>>700
スキームが必要なのってどんなとき？
722:１３２人目の素数さん
21/02/01 16:14:33.06 jAbburBz.net
>>703
スキームって何？
723:１３２人目の素数さん
21/02/01 17:33:36.45 375ErVCQ.net
ハーツホーンとスキームって、何か関係あるの？
創始したとか？
724:１３２人目の素数さん
21/02/01 18:51:33.60 jAbburBz.net
Kを代数的としてシグモイドに作用するK対称群が単純でしょうか？
725:１３２人目の素数さん
21/02/01 19:16:11.80 5iApNy9h.net
ここでスキーム論ポエム書き込んでる連中はHumpty-Dumptyの定理も知らんのだろ？
726:１３２人目の素数さん
21/02/01 19:36:27.26 lPHgVR3w.net
スキームは一種の関手だよ
727:１３２人目の素数さん
21/02/01 19:50:43.91 5iApNy9h.net
fが関数
φ → (φ, f)は汎関数
Sはスキーム
X → Hom(X, S)は関手
728:１３２人目の素数さん
21/02/01 19:53:31.76 kDqs3meq.net
Hを上半平面
Γ⊂SL(2, Z)は合同部分群
モジュラー曲線Γ＼Hは代数多様体
Hは代数多様体ではない
729:１３２人目の素数さん
21/02/01 20:00:56.89 kDqs3meq.net
正定値という条件を扱うには、ベクトル束を考える
つまり、ベクトル束のモジュライ空間への簡約代数群の作用を考える
730:１３２人目の素数さん
21/02/01 20:37:11.63 REcQ5wjE.net
代数的スタックって何
731:１３２人目の素数さん
21/02/01 21:09:40.95 lPHgVR3w.net
>>712
それの一般化が志村多様体になるんだっけ？
732:１３２人目の素数さん
21/02/02 08:26:33.87 wi4fyukP.net
志村多様体って何？
733:１３２人目の素数さん
21/02/02 08:57:34.07 QmspI81U.net
>>701
雑にオービフォルドとか考えちゃって誤魔化したくなる。
734:１３２人目の素数さん
21/02/02 09:15:59.72 wi4fyukP.net
志村データとは？
735:１３２人目の素数さん
21/02/02 09:47:53.04 CVMcnzEC.net
志村って志村けんとなんか関係あるの？
736:１３２人目の素数さん
21/02/02 10:29:34.28 wi4fyukP.net
本人だろ
737:１３２人目の素数さん
21/02/02 11:03:30.79 CVMcnzEC.net
志村けんって蘇生したの？
738:１３２人目の素数さん
21/02/02 13:10:05.54 68bhTO31.net
Twitterに数学勉強垢持ってるが、「いいね」がつくのは教科書トーク（上野はハーツホーンより分かりやすい、とか）だけ
739:１３２人目の素数さん
21/02/02 13:10:53.74 68bhTO31.net
人は易きに流れる
740:１３２人目の素数さん
21/02/02 14:33:17.56 QNKney6Y.net
ハーツホーンよりも分かりやすいのなんてないぞ
マンフォードはダメやし
741:１３２人目の素数さん
21/02/02 17:27:35.91 xXB+nKhe.net
742:V: vector space over R
743:１３２人目の素数さん
21/02/02 17:28:18.33 xXB+nKhe.net
V: vector space over R
dim(R) < ∞
744:１３２人目の素数さん
21/02/02 17:34:31.74 xXB+nKhe.net
I: V → V linear map
I: almost complex structure
:⇔ I ○ I = -1
745:１３２人目の素数さん
21/02/02 17:42:35.50 xXB+nKhe.net
V: vector space over C
dim(V) = n
⇒
V: vector space over R
dim(V) = 2n as a R vector space
Ex.
∀v∈V, v → iv is an almost complex structure on V.
746:１３２人目の素数さん
21/02/02 17:51:39.02 R1R34dz4.net
いみふめい
747:１３２人目の素数さん
21/02/02 18:20:04.37 ShXOO5GM.net
英語で書くあたり、相当な猛者とみた
748:１３２人目の素数さん
21/02/02 18:21:27.08 R1R34dz4.net
>an almost complex structure
きっと、自己紹介ですよ
749:１３２人目の素数さん
21/02/02 18:38:08.79 mVp2O40b.net
V: vector space over R
I: almost complex structure on V
⇒ V naturally has complex vector space structure
∵
∀a + bi ∈ C (a, b∈ R), ∀v ∈ V
(a + bi) := av + bI(v) □
750:１３２人目の素数さん
21/02/02 18:38:45.28 R1R34dz4.net
そうか天然であると
751:１３２人目の素数さん
21/02/02 22:18:36.15 PNdaTRqL.net
接続って何
752:１３２人目の素数さん
21/02/02 22:18:43.90 PNdaTRqL.net
接続って何
753:１３２人目の素数さん
21/02/02 23:30:43.83 Lz3tw6Fj.net
(0, ∞) → S1
M → T
C → J
754:１３２人目の素数さん
21/02/02 23:31:11.95 Lz3tw6Fj.net
π
755:１３２人目の素数さん
21/02/02 23:31:19.92 Lz3tw6Fj.net
π1
756:１３２人目の素数さん
21/02/02 23:33:07.32 //mmIwPF.net
エタール基本群
p進周期
遠アーベル幾何
757:１３２人目の素数さん
21/02/02 23:33:55.19 //mmIwPF.net
被覆
モチーフ
コホモロジー
758:１３２人目の素数さん
21/02/02 23:35:09.32 //mmIwPF.net
l進表現
保型表現
Eichler - Shimura isomorphism
759:１３２人目の素数さん
21/02/02 23:35:52.65 //mmIwPF.net
結び目
モノドロミー
KZ方程式
760:１３２人目の素数さん
21/02/02 23:36:57.40 //mmIwPF.net
基本群
モチーフ
代数的サイクル
761:１３２人目の素数さん
21/02/02 23:38:39.16 //mmIwPF.net
Lefschetz fixed point theorem
合同ゼータ関数
エタールコホモロジー
762:１３２人目の素数さん
21/02/02 23:40:55.21 //mmIwPF.net
Jacobian
周期
Torelli theorem
763:１３２人目の素数さん
21/02/02 23:45:06.68 //mmIwPF.net
Abel多様体
Siegel modular variety
Riemannテータ関数
764:１３２人目の素数さん
21/02/02 23:57:52.07 yem9YTQk.net
>>744
構造の類似に着目することだと思う
完全に共通しているだけでなく、
一般化を妨げる障害まで含めて
具体例大事
765:１３２人目の素数さん
21/02/02 23:59:54.06 yem9YTQk.net
非自明的構造に豊かさが現れる
抽象化の粋
766:１３２人目の素数さん
21/02/03 00:02:28.34 AnfiAuT7.net
学ぶより
自発的に調査したくなる
人間コンピュータ
767:１３２人目の素数さん
21/02/03 00:03:41.18 AnfiAuT7.net
>>749
× 学ぶより
○ 習うより
768:１３２人目の素数さん
21/02/03 00:06:16.47 AnfiAuT7.net
知ってる
膨大なトピックス
自然に覚える
研究者の知恵
769:１３２人目の素数さん
21/02/03 00:14:32.91 AnfiAuT7.net
孤独と夢想
現実から逃走
繰り返される計算trivial loop
諦めたらゲームオーバー
摂取sugar and caffeine
my brain起動そしてoverheat
770:１３２人目の素数さん
21/02/03 00:28:16.02 AnfiAuT7.net
Ah! Eureka突如としてinspired
燦然と現る幾何学的objects
紡ぐstory理論体系
刻む歴史に繋げるbranches
771:１３２人目の素数さん
21/02/03 00:30:46.37 7ZU9cb2E.net
ゼータ関数とテータ関数は違いますか？
772:１３２人目の素数さん
21/02/03 00:30:56.94 7ZU9cb2E.net
エータ関数は？
773:１３２人目の素数さん
21/02/03 00:31:49.31 e8VBBPqh.net
カスプって何ですか
ヨーグルト？
774:１３２人目の素数さん
21/02/03 00:35:08.92 yradKLlm.net
Shimura variety
Shimura category
Shimura zoo
775:１３２人目の素数さん
21/02/03 00:36:06.83 yradKLlm.net
Takagi-Kato-Shimura drift theorem
776:１３２人目の素数さん
21/02/03 00:45:45.64 yradKLlm.net
アイーンヒラー・志村の合同関係
777:式
778:１３２人目の素数さん
21/02/03 01:21:40.70 EbBQxCS3.net
肛門の腫物をはんだごてで潰すと
779:１３２人目の素数さん
21/02/03 01:23:09.56 EbBQxCS3.net
シャクレは人の業
サムライムーヴメント
780:１３２人目の素数さん
21/02/03 01:24:57.73 EbBQxCS3.net
ばってんカレーでもよか
781:１３２人目の素数さん
21/02/03 01:26:51.55 EbBQxCS3.net
人の目は七十七歳
sophisticatedイタリア
782:１３２人目の素数さん
21/02/03 01:37:37.10 EbBQxCS3.net
しかしながらここで一句
点棒が足りぬと申すか
783:１３２人目の素数さん
21/02/03 09:02:32.68 EbBQxCS3.net
スポット載せるビーム
そう、平坦さだけで見つかるインデックス
同じ道に積む断面累積していく
全域に満ちると詰まってても伸び伸び
繰り返す度微妙に変わるところ繋げる成分
周期を見れば離れても特定できる
784:１３２人目の素数さん
21/02/03 09:54:41.01 vSD6Ul8W.net
>>754
テータお前すげえよ
八面六臂かよ
785:１３２人目の素数さん
21/02/03 10:00:44.85 gfahVAWf.net
ゼータ←法。秩序
テータ←源泉。母体。
エータ←テータの一部
786:１３２人目の素数さん
21/02/03 10:12:05.48 C2XLAy4b.net
>>712
K3曲面←代数的とは限らない
その位数2の有限群による商（Enriques曲面）←代数的
787:１３２人目の素数さん
21/02/03 10:15:38.32 I0UpqXxB.net
adjunction form
Hurwitz formula
Hirzebruch–Riemann–Roch theorem
788:１３２人目の素数さん
21/02/03 10:17:18.12 I0UpqXxB.net
>>756
Q∪{∞}の軌道
789:１３２人目の素数さん
21/02/03 11:23:13.18 hAQU/73L.net
アデールとイデールって何？
ウデール以降はないの？
790:１３２人目の素数さん
21/02/03 12:58:55.11 IuhCU+Co.net
>>767
ほらな
しょせん日本の学問なんてガンダムみたいなもんなんだよ
日本の学者＝アニオタと同じ精神レベル
791:１３２人目の素数さん
21/02/03 13:08:04.52 qu8IAFq6.net
いえ、日本の学問はランダムです。あるいはカオス
792:１３２人目の素数さん
21/02/03 13:37:23.02 5nJrTzUt.net
接続って何
793:１３２人目の素数さん
21/02/03 13:42:13.01 qu8IAFq6.net
でんしゃののりかえみたいなもんちゅうかな？
794:１３２人目の素数さん
21/02/03 18:24:30.20 gPf+vxK0.net
構造層ってなに？
795:１３２人目の素数さん
21/02/03 18:40:08.76 Na+w7Ilf.net
建築関係の用語
796:１３２人目の素数さん
21/02/03 18:42:48.78 4UYvnpiZ.net
環付空間は底空間と構造層の組を対象と考えるわけだけど
位相空間で集合としては同じでも違う位相を考えることがあるように、環付空間でも構造層だけ異なるものを取るときあるの？
797:１３２人目の素数さん
21/02/03 18:44:59.84 9fTs6mEc.net
そりゃ複素多様体を可微分多様体と考えれば
798:１３２人目の素数さん
21/02/03 19:07:34.34 SOu2tw06.net
「層」という言葉からは、地層のように各々の階層が上下に積み重なったものを連想するかも知れない。
しかし、層はフランス語「faisceau」の訳語であり、これは「束ねたもの」という意味である。
SerreのFaisceaux Algébriques Cohérentsなどの文献では、層は底空間と局所同相なファイバー空間として導入される 。つまり、各点xに対応したファイバーF_xの合併である。
「faisceau」というのは、地層のようなものではなく、このファイバーを束ねたものである。
799:１３２人目の素数さん
21/02/03 20:19:41.11 +bT1vSP0.net
接続って何ですか
800:１３２人目の素数さん
21/02/03 20:19:59.50 n23sIRKN.net
接続って何ですか
801:１３２人目の素数さん
21/02/03 20:54:02.19 L3jCIoGP.net
虚二次体のAbel拡大は、楕円曲線の等分点の座標により生成されるが、非可換なgroup varietyの等分を考えて、非Abel拡大の場合を扱うことはできないか？
802:１３２人目の素数さん
21/02/03 21:07:49.29 jqe1rq+e.net
Abel多様体で既に非Abel拡大が得られる。
虚数乗法のない楕円曲線の、周期のn等分から生ずる拡大体のGalois群は、
[[a b] [c d]] (mod n), gcd(ad - bc, n) = 1
という行列群に同型だ。定義体が1のn乗根を含むときは、さらに
ad - bc ≡ 1 (mod n)
という条件のついた部分群に含まれる。
803:１３２人目の素数さん
21/02/03 21:17:28.71 bCQhxCd2.net
>>774,775
数学、幾何学での「接続」なら二本のレール間のゲージ幅のほうではなく
文字通り
カーブでの歪み。
804:１３２人目の素数さん
21/02/03 21:19:18.06 bCQhxCd2.net
>>785
列車がカーブ通る時にフレームに受ける歪み。
現いわき旧平行き普通電車。
805:１３２人目の素数さん
21/02/03 22:10:04.28 B2x0Etxg.net
>>782
ゲージ場
806:１３２人目の素数さん
21/02/04 06:52:34.56 /c3blS4p.net
カルティエ因子ってなに？
807:１３２人目の素数さん
21/02/04 13:27:10.73 LT5a5ehE.net
局所的な（有理型）関数を貼り合わせたもの。大域的には関数ではないかも知れない。
T(x) = exp(2πx)
はR上の関数だが、
S^1 = R/Z
上の関数ではない。
S^1を二つの開集合
U = (0, 1)の像
V = (1/2, 1/2 + 1)の像
で被覆する。(U∩V)×R上の自己同型を
(p, x) → (p, T(1) x) --- (*)
で定めると、これらのデータはS^1上の直線束(L, π)を構成する。
T(x)はLの切断だと思える。実際、Lには
π^(-1)(U) ～ U × R
π^(-1)(V) ～ V × R
という局所自明化と、(*)による変換写像があるので、
x∈Uに対しては、[x] → ([x], T(x))
x∈Vに対しては、[x] → ([x], T(1) T(x))
と定めることができる。xと同じ同値類に属する別の元を取ると、像の第2成分にT(n)倍の違いが生じ得るが、(*)より、それはL上では同じ点である。
このTに対応するCartier因子（の1つ）は
{(U, T(x)), (V, T(1) T(x))}
で定まる。実際、U∩V上ではこの関数の比は正則関数になる。もっとも、Tは零点も極も持たないから、このCartier因子は自明であるが。
808:１３２人目の素数さん
21/02/04 16:45:33.68 ejTjv9CE.net
ファイバー積ってなに？
809:１３２人目の素数さん
21/02/04 17:39:19.56 GYxL11ev.net
>>790
テンソル積の双対
810:１３２人目の素数さん
21/02/04 19:07:55.71 NDpJe0Cb.net
ねじり層ってなに？
811:１３２人目の素数さん
21/02/05 11:14:51.14 if/QxqiL.net
スキームって何？
812:１３２人目の素数さん
21/02/05 11:55:02.01 JzhABNth.net
ミルクでしょ
813:１３２人目の素数さん
21/02/05 13:48:37.49 LHsJQEuL.net
仕組みのこと
破綻した金融機関に救済スキームを適用したりするでしょ
814:１３２人目の素数さん
21/02/05 15:16:36.32 RQMz/12f.net
アフィン・スキームってなに？
815:１３２人目の素数さん
21/02/05 15:20:57.41 qMbHSbaV.net
wikiで調べてみたら？
816:１３２人目の素数さん
21/02/05 17:06:45.41 Ty0MLxEh.net
>>795
そもそも、指数関数の原始関数の一覧が閉グラフ定理である
817:１３２人目の素数さん
21/02/05 18:04:22.65 PUse92cH.net
>>796
たとえば、バナッハ空間が局所コンパクト空間である小平消滅定理を一般化したウォルター・ルディンがtrivialベクトル空間である
818:１３２人目の素数さん
21/02/05 18:20:26.96 j4ldPPME.net
>>793
陰関数定理がハール速度がtrivialコンパクト空間を発見した吉田洋一を一般化した普遍係数定理がモジュラー形式である
819:１３２人目の素数さん
21/02/05 18:21:33.94 j4ldPPME.net
よく知られたように、川又雄二郎が小平消滅定理を一般化した
820:１３２人目の素数さん
21/02/05 18:23:16.55 Gt0PF7UK.net
標数ｐの特異点解消
821:ってまだ解けないの？
822:１３２人目の素数さん
21/02/05 19:21:06.12 PUeX2VM0.net
>>802
2017に廣中が論文書いてる
内容は知らん
823:１３２人目の素数さん
21/02/05 19:35:28.76 Gt0PF7UK.net
探してみます
824:１３２人目の素数さん
21/02/05 19:59:58.01 O+e5F26I.net
>>801
代数多様体論持ってるわ
825:１３２人目の素数さん
21/02/05 20:14:32.04 JzhABNth.net
つんでるのね
826:１３２人目の素数さん
21/02/05 20:17:35.71 tydJKNXd.net
>>805
そうだな
たとえば、ファイバー束が一様収束を一般化する複素多様体がtrivial
つまり、位相空間がすごい
827:１３２人目の素数さん
21/02/05 20:25:11.13 3R9Io3sN.net
>>806
そもそも、積位相がコンパクト空間である京都大学数理解析研究所がすごい
森毅が合同ゼータ関数を一般化した絶対収束が遅いエルミート計量が予想を出した
828:１３２人目の素数さん
21/02/05 20:36:37.23 P2Pi4egP.net
ザリスキ位相は強力なんだよな
829:１３２人目の素数さん
21/02/05 20:43:24.53 +D8SKiQ/.net
>>808
ソーカル事件やボグダノフ事件みたいに、専門用語を無意味に羅列してるだけのレスを繰り返してるみたいだが、ボットなのか？
830:１３２人目の素数さん
21/02/05 20:53:17.15 8sLLFojr.net
>>810
行列の対数がモニック多項式である
そもそも、マルコフ過程が最速降下曲線である作用素が見た陰関数が黄金進法を利用したシューアの補題がオーストリア数学会である園がタブである有限単純群の分類が体にいいライプニッツの調和三角形が疑素数を研究した微分作用素である
言い換えると、明示公式が出したジョルダン曲線定理が見た
831:１３２人目の素数さん
21/02/05 20:59:32.30 +D8SKiQ/.net
やはりボットか
IDもやたら変わってるし
832:１３２人目の素数さん
21/02/05 21:01:58.23 HaBn7XDc.net
代数多様体をつくるときに、ほとんどが糊しろになる
833:１３２人目の素数さん
21/02/05 21:22:04.92 ipD9iMGx.net
川又・フィーベックの消滅定理
834:１３２人目の素数さん
21/02/05 21:39:39.69 3gzZp/nT.net
万有体ってなに？
835:１３２人目の素数さん
21/02/05 21:40:58.82 Gt0PF7UK.net
特異な多様体の場合は消滅定理とかどうなるんですか？
836:１３２人目の素数さん
21/02/06 15:42:25.57 USyJos3+.net
成立しないから特異点解消するのでは
837:１３２人目の素数さん
21/02/06 20:38:56.21 EJIm9QPu.net
モイシェゾン多様体っなに？
838:１３２人目の素数さん
21/02/06 21:06:23.57 ukvM+AIZ.net
>>5
可愛い😆
839:１３２人目の素数さん
21/02/06 21:10:18.30 ukvM+AIZ.net
>>7
大学で数学専攻してなかった？
苦手だったリベラルアーツ系の単位を落としたからって留年したかで退学になったんじゃなかったかな？
バラモンだけど家庭があんまり裕福じゃなかったみたいな…
母親は教育熱心な人で、とくにインドの宗教教育に熱心だったらしい。
数学の英才教育は受けてないと思うけど、当時のインドの一般人にしては教育レベルは低くなかったと思う。
840:１３２人目の素数さん
21/02/06 21:11:53.05 TuFfgis7.net
ラマヌジャンよりもハーディーのが格上の数学者
841:１３２人目の素数さん
21/02/06 21:20:18.58 9/LFbw3W.net
ラマヌジャンは証明ができなかったんでしょ。おれと同じだね
842:１３２人目の素数さん
21/02/06 21:34:29.31 IElglSqi.net
証明できない数学者など数学者ではない
843:１３２人目の素数さん
21/02/06 23:56:24.59 HbSSp/Ek.net
本当にそうかな？
844:１３２人目の素数さん
21/02/07 01:24:56.29 bVFNoeKa.net
数学を進展させた数々の予想の存在が>>823の主張の妥当性に疑いを惹起させる。
845:１３２人目の素数さん
21/02/07 02:42:51.79 /DVjNvUa.net
ア�
846:fールとは各素点での完備化の積
847:１３２人目の素数さん
21/02/07 02:43:10.09 /DVjNvUa.net
イデールとはアデールの情報群
848:１３２人目の素数さん
21/02/07 02:44:01.63 /DVjNvUa.net
ウデールとはイデールの大域体の対角埋め込みによる剰余群
849:１３２人目の素数さん
21/02/07 02:44:41.31 /DVjNvUa.net
エデールとはウデールのノルムが1の元のなす部分群
850:１３２人目の素数さん
21/02/07 02:46:05.02 /DVjNvUa.net
オデールとはエデールの有限位数部分群
851:１３２人目の素数さん
21/02/07 02:46:37.22 /DVjNvUa.net
カデールとはオデールの素数位数の部分群
852:１３２人目の素数さん
21/02/07 02:47:02.67 /DVjNvUa.net
キデールとはカデールの有限個の直積
853:１３２人目の素数さん
21/02/07 02:48:40.95 /DVjNvUa.net
クデールとはキデールの射影完備化
854:１３２人目の素数さん
21/02/07 02:49:49.40 /DVjNvUa.net
ケデールとはクデールの商体
855:１３２人目の素数さん
21/02/07 02:50:23.99 /DVjNvUa.net
コデールとはケデールの有限次拡大
856:１３２人目の素数さん
21/02/07 02:51:07.51 /DVjNvUa.net
サデールとはコデールの自己同型群
857:１３２人目の素数さん
21/02/07 02:52:46.78 XJ9u5QWt.net
スキームなんかいらんでしょ
必要な場面ある？
858:１３２人目の素数さん
21/02/07 03:07:12.52 Ssjl4n2P.net
Hartshorneだけじゃ幾何学的なイメージが沸かないから、複素幾何を先にやれという主張もあるが、これは具体的にどういう内容のことを言っているの
859:１３２人目の素数さん
21/02/07 08:40:57.89 FB2EQfin.net
スキームって何？
860:１３２人目の素数さん
21/02/07 08:42:57.07 ejS2FHl1.net
ハーツホーンって何した人？
861:１３２人目の素数さん
21/02/07 08:47:49.98 i3aurVMs.net
>>815
これは俺も知りたい
その標数の体全部部分体に含む体くらいの認識でいる
862:１３２人目の素数さん
21/02/07 08:48:25.40 i3aurVMs.net
どうせ今更その辺を厳密に理解する必要もなかろうし
863:１３２人目の素数さん
21/02/07 09:55:23.53 7YOKKMWk.net
V: Cベクトル空間
864:１３２人目の素数さん
21/02/07 10:28:46.73 772rI4Qr.net
日本の代数幾何研究が低迷してるのは何故なのか？
865:１３２人目の素数さん
21/02/07 11:59:29.71 PYLqdSye.net
>>825
ただ成果を残した数学者って予想だけでは終わってない気がする
名がついてる予想を残した数学者は別のところで便利な概念を生み出したり有用な定理を証明したりしてる印象がある
866:１３２人目の素数さん
21/02/07 13:40:47.31 OiNBC1+O.net
数学者ってIQ200くらいあるの？
867:１３２人目の素数さん
21/02/07 13:53:19.12 yrmeLQsP.net
200じゃ盆栽だな
868:１３２人目の素数さん
21/02/07 13:58:56.06 71c6H3EJ.net
研究では科学者のIQが一般的平均に比べて高い一方で、著名な科学者のIQは、博士号保持者の平均と比べて低いことも多々あるという事実もまた報告されています。
また、論文の数や、論文の総引用回数、論文当たりの引用回数など、科学者の研究生産性の指標とIQの相関を調べたBayer and Folger （1966)、Law et al. (2008)などの研究からは、こうした研究生産性の指標とIQの間の相関はほぼゼロに近いということが知られています。
URLﾘﾝｸ(www.giftedpower.net)
869:１３２人目の素数さん
21/02/07 14:06:48.01 Zu9TqAUP.net
>>844
低迷してるの？
870:１３２人目の素数さん
21/02/07 15:40:16.71 OiNBC1+O.net
代数幾何学っていったら、飯高やろ
871:１３２人目の素数さん
21/02/07 17:33:26.83 v5cOCAqg.net
ノイマンのIQは300だし、これくらいになるとノーベル賞とかバンバン取れるんだろうな
872:１３２人目の素数さん
21/02/07 17:44:51.38 71c6H3EJ.net
>>851
>>848
研究でIQは研究能力と関係がないことが示されている
そつなくこなせるから研究職につきやすい、といった可能性はあるかもしれないが、IQが高いから研究成果が出るとかその逆のようなことを結論づけることはできない
873:１３２人目の素数さん
21/02/07 18:51:46.67 v5cOCAqg.net
でも、IQ高い方が難問とか解けたりするやん
数学は他の学問とは異なるんじゃないの？
物理や化学は実験主体だし
運でノーベル賞取れたりすると思う
874:１３２人目の素数さん
21/02/07 18:53:19.50
875:772rI4Qr.net
876:１３２人目の素数さん
21/02/07 19:05:25.83 71c6H3EJ.net
>>853
>でも、IQ高い方が難問とか解けたりするやん
経験則な上、受験問題の難問が解ければ研究もできるとするエビデンスもない
>数学は他の学問とは異なるんじゃないの？
物理や化学は実験主体だし
理論物理学や経済学などは理論主体で数学だけ特別視する理由がない
>運でノーベル賞取れたりすると思う
数学に運要素がないとも言えない
877:１３２人目の素数さん
21/02/07 19:15:15.01 jKrsEfQA.net
運良く賞を貰った数学者はいるが、運良く業績を挙げた数学者はいるのだろうか？
878:１３２人目の素数さん
21/02/08 15:45:34.80 V5blr8ru.net
ラマヌジャンは異才だよな
あんな公式誰も思い付かん
879:１３２人目の素数さん
21/02/08 17:09:07.32 ph8bbBaA.net
スキーム理論の有効性は？
880:１３２人目の素数さん
21/02/08 17:11:35.74 QTWauK/M.net
スキームって必要？
881:１３２人目の素数さん
21/02/08 17:15:45.36 IaChJqoC.net
スキーム論の威力って何が決定的なの？
素イデアルを点と考えるのは、岩澤健吉の代数函数論とか読めば、明らかにEGAより20年近く前から有効な考え方と見なされている
層の基礎理論はカルタンとセールの業績
結局、スキームの着想云々ではなくて、EGAがすごすぎるの？
882:１３２人目の素数さん
21/02/08 17:27:48.06 apUGb10y.net
X→S
883:１３２人目の素数さん
21/02/08 18:19:30.29 dQqoN9Db.net
グロタンディークに聞けよ？
本人が創始したんだからよ？
884:１３２人目の素数さん
21/02/08 19:37:05.16 apUGb10y.net
表現可能関手の観点と、relativeな観点の合わせ技
ある種のSスキームの圏(Sch/S)から集合の圏(Sets)への反変関手Fは表現可能で、F(X)の元（パラメトライズされた対象）はuniversal elementの適当な基底変換で得られる
Hilbertスキームとかがそう
885:１３２人目の素数さん
21/02/09 01:04:44.14 MnYNZREe.net
スキームって本当に必要なんか？
>>863
結局これだってスキームの範囲に収まらないものがあるから代数空間とかスタックとか出てきてるんじゃん
886:１３２人目の素数さん
21/02/09 06:48:41.97 o2zkGLEG.net
スキームは必須ですよ
887:１３２人目の素数さん
21/02/09 07:27:26.88 brpzOWJs.net
スキームはあります
888:１３２人目の素数さん
21/02/09 09:32:51.09 7XaF0tFH.net
ここは一般人がスキームを理解しようとするスレでっか
889:１３２人目の素数さん
21/02/09 10:43:06.92 sAQpoRb4.net
>>5
おま俺
890:１３２人目の素数さん
21/02/09 11:47:02.75 WdzyKpwh.net
スキームが必須な曲面とは？
891:１３２人目の素数さん
21/02/09 12:39:53.98 wb+gX+Y8.net
森重文←イケメン
若いときの廣中←イケメン
永田雅宜←イケメン
京大の代数幾何学者はイケメンが多い
892:１３２人目の素数さん
21/02/09 12:42:35.83 GYQ9/B2V.net
マンフォードはイケメン
893:１３２人目の素数さん
21/02/09 12:45:20.53 GYQ9/B2V.net
グロタンディークは一定の角度から見るとイケメンだけど、顎がしゃくれてる
894:１３２人目の素数さん
21/02/09 12:49:44.58 GYQ9/B2V.net
ザリスキとガウスは
ちょっと似てる？
どちらも人相が良い
895:１３２人目の素数さん
21/02/09 12:53:26.91 GYQ9/B2V.net
リチャード・テイラーは、髪がフサフサのときはイケメンだった
896:１３２人目の素数さん
21/02/09 13:50:28.00 TeqwPING.net
スタックとスキームは何が違うの？
897:１３２人目の素数さん
21/02/09 13:59:47.84 QLyOimLt.net
>>875
自己同型が多く入ってる
898:１３２人目の素数さん
21/02/09 16:46:27.17 rvrA/pVI.net
スキームの創始者って、誰なの？
899:１３２人目の素数さん
21/02/09 18:03:00.53 nm1aUVtG.net
アメーバってなに？
900:１３２人目の素数さん
21/02/09 18:29:47.99 E6ZHgxxn.net
リクームってだれ？
901:１３２人目の素数さん
21/02/09 18:41:00.49 nm1aUVtG.net
ギニュー特選隊だよ
ジャンプの高校生の漫画にも出てきたな
902:１３２人目の素数さん
21/02/09 19:51:42.90 /CpjYeUw.net
>>877
シュバレー
903:１３２人目の素数さん
21/02/09 19:51:50.31 /CpjYeUw.net
ザリスキー
904:１３２人目の素数さん
21/02/09 19:52:23.61 /CpjYeUw.net
素イデアルが点って言い出したのは、ネーターとかクルルまで遡るんじゃないか
905:１３２人目の素数さん
21/02/09 19:54:56.95 /CpjYeUw.net
関数体から初めて、付値環を点と見なしたのは、ヴェイユかザリスキ？
906:１３２人目の素数さん
21/02/09 19:58:01.04 /CpjYeUw.net
層を基礎付けしたのはカルタンとセール
907:１３２人目の素数さん
21/02/09 20:00:34.88 /CpjYeUw.net
グロタンディークが何かいろいろやった
908:１３２人目の素数さん
21/02/09 20:01:36.16 brpzOWJs.net
そのなかで人類の記憶に残るものはありますか
909:１３２人目の素数さん
21/02/09 20:25:47.53 EibqV6CH.net
グロタンはアーベル賞とってないからな
セールの方が格上
910:１３２人目の素数さん
21/02/09 20:31:57.12 cLPc7oBl.net
Mathlogを見ていると、スレタイの正しさがしみじみ分かる
911:１３２人目の素数さん
21/02/09 20:34:10.97 d+kIwwKA.net
というかもうこのスレが
912:１３２人目の素数さん
21/02/09 20:47:47.66 uur/g/pt.net
というか日本人が
913:１３２人目の素数さん
21/02/09 20:52:04.79 w5KOvxUu.net
Deligneが最強では
914:１３２人目の素数さん
21/02/09 20:57:41.10 E6ZHgxxn.net
URLﾘﾝｸ(i0.wp.com)
915:１３２人目の素数さん
21/02/10 01:57:25.98 zYhd+RYV.net
スタックをさらに一般化したのが導来幾何ですか？
916:１３２人目の素数さん
21/02/10 07:23:27.72 K92P1U0m.net
数オリと代数幾何学って、どっちの方が難しいの？
917:１３２人目の素数さん
21/02/10 08:00:54.94 0+nr6A0x.net
数オリ
918:１３２人目の素数さん
21/02/10 10:42:16.69 5pfnxiWi.net
スキームとスタックってどっちの方が難しいですか？
919:１３２人目の素数さん
21/02/10 15:59:40.24 X1GFokAc.net
>>896
嘘つけ！？
920:１３２人目の素数さん
21/02/10 22:13:38.21 G0GGyIcT.net
鼯鼠
921:１３２人目の素数さん
21/02/11 02:17:48.71 ttXIK/6s.net
さっぶ
922:１３２人目の素数さん
21/02/11 07:34:41.22 ts7xMs/8.net
ザッブーン
923:１３２人目の素数さん
21/02/11 08:01:07.90 ggblsuur.net
シュビドュビ
924:１３２人目の素数さん
21/02/11 09:25:23.60 MPXzTgUc.net
志村バラエティがマジで定義見ても何のことかわからん
Siegelモジュラー形式は複素トーラスのモジュライ空間から自然に出てくるんだけど
Hilbertモジュラー形式の方は、定義は簡単なんだけど何の実例になってんのかよく知らん
多変数のモジュラー形式って、志村バラエティや志村けんの導入まで載った入門書無いん？
925:１３２人目の素数さん
21/02/11 09:26:57.87 MPXzTgUc.net
要するに、Siegelモジュラー形式に出てくる行列の係数を、一般の代数体もっと精密にアデールにすると、ああいうのが正確な定義になるってことやろ？
926:１３２人目の素数さん
21/02/11 09:28:32.82 MPXzTgUc.net
志村のIntroduction to Arithmetic Theory of Automorphic Functionsとか、DeligneやMilneの論文読めばええのか？
927:１３２人目の素数さん
21/02/11 09:30:28.06 MPXzTgUc.net
今は代数幾何学忘れて表現論方面から入門するのがトレンドなのか？
928:１３２人目の素数さん
21/02/11 09:34:14.33 MPXzTgUc.net
一時期のファイバー束みたいなもんだよな
論文のネタを探すのに適しているんだろう
929:１３２人目の素数さん
21/02/11 10:34:14.64 LhJOi09v.net
代数幾何学が一番面白いよな
930:１３２人目の素数さん
21/02/11 10:55:32.06 d6GYIY5e.net
>>903
>Siegelモジュラー形式は
>複素トーラスのモジュライ空間から
>自然に出てくるんだけど
でも多次元の場合
一次元の場合のJ不変量のような
都合のいいものがないって聞いたけど？
931:１３２人目の素数さん
21/02/11 13:29:24.10 hX/6IrlY.net
>>909
代わりにKummer多様体というAbel多様体の商を考える
その最小定義体が、j不変量（というか、Qにj(τ)を添加した体）に該当する
932:１３２人目の素数さん
21/02/11 13:33:05.95 6LthYLqV.net
>>910
なぜ、こういう返答がすぐできる人がいるのに、今の数学板はこんな惨憺た る状態なの？
933:１３２人目の素数さん
21/02/11 13:53:28.59 pAsWYZeR.net
そもそもTwitterとかが台頭して過疎ってるから
934:１３２人目の素数さん
21/02/11 14:52:30.78 afCtq50l.net
代数幾何学って、どれくらい難しいの？
935:１３２人目の素数さん
21/02/11 14:53:50.22 ttXIK/6s.net
数オリくらいかな
936:１３２人目の素数さん
21/02/11 15:25:53.15 afCtq50l.net
みんなは数オリ解けるの？
937:１３２人目の素数さん
21/02/11 15:57:46.86 q8OWItnU.net
ケーラー多様体ってマジ何なん？
エルミート計量に付随する微分形式が閉だと何が嬉しいん？
938:１３２人目の素数さん
21/02/11 15:58:12.86 q8OWItnU.net
というかこれは何を一般化したものなんだ？
939:１３２人目の素数さん
21/02/11 18:31:57.29 SnrfA99d.net
ケーラー多様体とトーリック多様体って、どっちの方が凄いん？
940:１３２人目の素数さん
21/02/11 18:40:28.84 ttXIK/6s.net
数オリのがすごい
941:１３２人目の素数さん
21/02/11 20:02:26.36 SnrfA99d.net
数オリのどこが、そんなに凄いの？
只のパズルじゃないの？
942:１３２人目の素数さん
21/02/11 20:30:20.57 sEU6G9EB.net
エルミート計量が入ると、各点の接空間にC^nの内積に相当するものが入るわけだ
943:１３２人目の素数さん
21/02/11 20:36:58.44 sEU6G9EB.net
このエルミート内積ってのはスグレモノで、
n = 1のとき具体的に書いてみれば分かるが
(a + ib)(c - di) = (ac + bd) + (ad - bd)i
通常の内積（リーマン軽量）と、交代双線型形式（微分形式）の情報を
両方持ってる
944:１３２人目の素数さん
21/02/11 21:20:19.74 6QPiJRRD.net
>>911
結局ケチな奴らが多すぎて
俺みたいに耳学問での吸収力がある奴に知恵つけるのが恐ろしいんだろうと思うよ。
945:１３２人目の素数さん
21/02/11 21:47:02.59 FEPiFoxP.net
代数幾何学について語ってください
946:１３２人目の素数さん
21/02/11 21:55:08.74 QNn0ehh5.net
>>923
馬鹿みたい
947:１３２人目の素数さん
21/02/11 22:02:59.96 6QPiJRRD.net
>>925
現状バカでも成長する余地がある奴に
餌をやらず干したがる既得権益層がいっぱい居る。
948:１３２人目の素数さん
21/02/11 22:22:37.91 KcV3pw4N.net
>>926
数学でも耳学問が効果があるのは確かだが、2ちゃんを読んでも耳学問にはならないよ。
949:１３２人目の素数さん
21/02/11 23:46:49.17 NXhKn0iw.net
耳学問って、なんぞ！？
950:１３２人目の素数さん
21/02/11 23:59:06.63 sEU6G9EB.net
>>928
医学だよ
951:１３２人目の素数さん
21/02/12 00:00:24.07 hbx1r8vv.net
耳鼻科かよ
952:１３２人目の素数さん
21/02/12 05:57:55.99 UbMRFSUd.net
医学なんてただの暗記で簡単だよな
953:１３２人目の素数さん
21/02/12 07:51:44.67 AcTnXrnU.net
数学のが遥かに難しくて高尚な学問
954:１３２人目の素数さん
21/02/12 07:54:27.30 hbx1r8vv.net
哲学の方が難しい。数学はそのほんの演習問題
955:１３２人目の素数さん
21/02/12 09:15:01.62 CgZLlKub.net
学校数学は数学じゃないからな
956:１３２人目の素数さん
21/02/12 10:05:33.37 wfEHYGG0.net
高校数学は、モデル化と計算手法の習得で学問ではないわな
数オリもパズルだし
957:１３２人目の素数さん
21/02/12 10:40:56.97 ZnPGv0hg.net
太宰治は数学が得意だった…成績表公開
URLﾘﾝｸ(www.yomiuri.co.jp)
958:１３２人目の素数さん
21/02/12 11:34:49.81 SQT1HUzS.net
暗記した公式を組み合わせてたまたま上手く解ける問題に手際よく答えるというだけだからな
959:１３２人目の素数さん
21/02/12 11:40:33.68 Cj/z2DZ7.net
志村五郎や飯高茂は明確に否定してるしな
960:１３２人目の素数さん
21/02/12 11:56:10.97 +3GfqeZs.net
ある公式をネタにした問題を作ろう
→簡単に解かれないように回りくどくしよう
ただこれだけだからな
入試問題に数学の本質だの美しさだの言ってる奴はただのアホだよ
961:１３２人目の素数さん
21/02/12 11:58:52.74 Y5j4qniC.net
たとえば(a^
962:2 + b^2 + c^2)(a - b)(b - c)(c - a)を展開する それを因数分解せよという問題にする これをいろんな分野でやってるだけ
963:１３２人目の素数さん
21/02/12 12:04:02.51 psIoiXoW.net
出題者が用意した上手い解き方を見つけるただのゲームだからな
1 2 3 x 4 4 2 2 2 2
x = ?
みたいな謎解きと変わらん
964:１３２人目の素数さん
21/02/12 12:09:48.62 psIoiXoW.net
そういう業者は別として、いい年こいて大学入試数学だの数学オリンピックだのにハマってたり、良問がどうのと評論してる奴はホント滑稽
965:１３２人目の素数さん
21/02/12 12:16:43.20 psIoiXoW.net
まあ趣味としてやってるだけならいいんだけど
そのただの趣味で、数学や数学教育に一家言持った気になると本当にみっともない
966:１３２人目の素数さん
21/02/12 12:17:32.57 psIoiXoW.net
パワプロの知識でプロ野球を評論してるようなもの
967:１３２人目の素数さん
21/02/12 12:25:15.02 oOz19nJs.net
大学専門レベルの数学を知っている人は
入試数学が数学物理工学で使われる数学と何の関係もないことを知っている
数学の知識が大学受験で止まっている人や、受験数学の本や講座を売って儲けている人だけが
入試数学が大学に入って役に立つとか、論理的思考力を養うとか必死に宣伝している
968:１３２人目の素数さん
21/02/12 12:35:09.23 EN88WCpt.net
ここの住人はよっぽどつまらん大学目指してたらしいな
>>945
↓読んどけ
URLﾘﾝｸ(www.tokyo-tosho.co.jp)
969:１３２人目の素数さん
21/02/12 12:35:59.99 EN88WCpt.net
ま、問題のための問題が多いのは否定せんがね
970:１３２人目の素数さん
21/02/12 12:52:04.24 sbaPolD0.net
高校数学と大学数学は、まるで別物
971:１３２人目の素数さん
21/02/12 13:12:47.13 ZfC++wWO.net
>>946
受験数学の本書いて儲けてる人じゃん(笑)
972:１３２人目の素数さん
21/02/12 13:24:09.88 EN88WCpt.net
>>949
だから？
読んだ？
973:１３２人目の素数さん
21/02/12 13:25:28.86 whSbLHnN.net
いつまで受験数学やってんだ？
浪人生か？
974:１３２人目の素数さん
21/02/12 13:35:13.67 71agRjO7.net
佐武のテンソル代数難しくね？
975:１３２人目の素数さん
21/02/12 13:38:11.79 71agRjO7.net
テンソル積の存在を示すのに、一次関係式全体で生成される部分ベクトル空間で割る操作が必要だから、商ベクトル空間をやらないといけない
976:１３２人目の素数さん
21/02/12 13:40:29.03 71agRjO7.net
しかし、そんなことに入るよりは、一年生向けなら
範囲を外積代数に絞って、行列式やR^Nの微分形式との関連を教えた方がいいだろう
977:１３２人目の素数さん
21/02/12 13:43:32.90 JI8DERPA.net
数オリは究極のパズル
978:１３２人目の素数さん
21/02/12 13:48:37.26 S8iZ18ai.net
日本で最後にフィールズ賞を取ったのが共通一次前世代の森重文で、そこから31年間取れず、中国の高考(実質6科目の難関試験)、韓国のスヌン(およそ6科目の難関試験)もまた、フィールズ賞受賞者を一人も排出していない
一方で、アメリカのSAT(3科目)、イギリスのAレベル(4科目)、フランスのバカロレア(6科目+α)は、科目数はバラけているものの、難易度自体はいずれもセンター試験より簡単なレベルでよい(ドイツのアビトゥーアについては、州などでかなり仕組みが違うため統一的に語れない)
そして、アメリカ、イギリス、フランスいずれも日本、中国、韓国より近年フィールズ賞を受賞しており成果を残している
今の日本の大学入試、難関試験は、数学から見れば間違っているという結論にしか至らない
979:１３２人目の素数さん
21/02/12 13:53:56.04 JI8DERPA.net
数オリメダリストの多
980:くは、フィールズ賞取ってるんだが？
981:１３２人目の素数さん
21/02/12 13:54:55.67 Y1AGjCiM.net
>>957
ソースは？
982:１３２人目の素数さん
21/02/12 14:16:48.42 S8iZ18ai.net
一つ訂正
中国からも香港特別行政区生まれの現アメリカ人のフィールズ賞受賞者を一人排出している
ただしこの人も香港の大学に入ったのが1966年とかなり古く、香港の歴史上大学入試も今とかなり違うだろう
983:１３２人目の素数さん
21/02/12 14:23:37.43 FmFb+9Ow.net
高いレベルの創造には低いレベルでの対象を自由自在に操れる感覚が必要
984:１３２人目の素数さん
21/02/12 14:42:16.47 7bKbiQ4y.net
>>956
入試ったって所詮は高卒程度のことしか問わないからね
それで数学の才能なんかわかるわけないよ
明らかに才能がないのが分かるくらいの話で
北米と西欧にフィールズ賞が多いのは
やっぱりそこが現代数学の中心だからでしょう
富めるものはますます富むの喩えのとおり
西ヨーロッパ人が東アジア人より優れている
というわけではないだろうね
中国はS.S.Chern（陳省身）を生み出しただけでも
現代数学に貢献してる
985:１３２人目の素数さん
21/02/12 14:49:38.01 JI8DERPA.net
数オリメダリストは、後に大富豪になってる
986:１３２人目の素数さん
21/02/12 14:55:49.82 IEVvH9wO.net
ただのパズルだからね
987:１３２人目の素数さん
21/02/12 14:58:18.31 IEVvH9wO.net
ピアノの演奏技術というより、猫踏んじゃったをいかに技巧的に弾くかの競争みたいなもんだからな
普通に数学をやってる限り無視してよい
988:１３２人目の素数さん
21/02/12 15:11:28.14 6UjnAp9+.net
>>961
多いのは欧米が中心だから、というのは確かに正しいように思えるけど、それだけでは「31年間ゼロ」の説明にはならないんだよね、現に昔は取れてるんだから
民族の違いについても昔は取れてるわけで、では何故「今」取れないのかを考える際に「今活躍してる国、活躍してない国で違うもの」「活躍できなくなった国の昔と今で違うもの」を考察すると、大学入試以外に答えは存在しない
「活躍してる国、活躍してない国の違い」は前述の通りで、「活躍できなくなった国の今と昔の違い」については、
中国も大学入試制度については1950年頃(ちなみにチャーン類で有名なチャーンはこれより更に前の世代)に共通試験を導入したが中断したりゴタゴタがあった
そこから日本も中国も大学進学が浸透し競争が激化するにつれ、徐々に難化していった
これだけのファクターが揃ってて、日本の今の難関大学入試を否定しないのは厳しい
989:１３２人目の素数さん
21/02/12 15:21:36.06 JI8DERPA.net
おまえら東大理系数学解けるの？
990:１３２人目の素数さん
21/02/12 15:36:30.57 4FAizBnn.net
>>965
くだらん
教育学部でやってろ文系脳
991:１３２人目の素数さん
21/02/12 15:40:28.73 6UjnAp9+.net
>>967
実際教育学でも、日本の大学入試のような難関試験は悪影響しかないという論文も出てる
ちなみに理系と文系という区分けは日本特有のものであって、学問の本質はそこにはない
992:１３２人目の素数さん
21/02/12 15:53:49.33 nE6BZfa+.net
「文系」というのは「理系」の対義語ではありません
単に「頭が悪いこと」を表す単語です
993:１３２人目の素数さん
21/02/12 15:56:04.77 vOuJ52tu.net
法学部とか経済学部とか文学部とか、数学使わない専攻だと、先生の指定した本輪読して感想文書けば卒業できるからね
994:１３２人目の素数さん
21/02/12 15:57:49.66 vOuJ52tu.net
というか読む必要すらない
セミナー仲間から又聞きした内容を妄想で補完するか、先輩の卒論コピペすればオーケー
995:１３２人目の素数さん
21/02/12 16:13:25.94 7bKbiQ4y.net
>>965
フィールズ賞受賞者も多様化してるからね
イラ
996:ン人とかクルド人とかベトナム人とかとってるから 民族でいえばインド系もとってる 日本人が30年とってないとか 大したことじゃないよ ドイツはやっと2人目だし ベルギーは2人もとってるのに オランダはまだ0人だから
997:１３２人目の素数さん
21/02/12 16:15:37.66 7bKbiQ4y.net
>>968
>理系と文系という区分けは
数学を使うか使わないか、で分けただけ しかも
理系だからといって数学が必要なわけでもなく
文系だからといって数学が不要なわけでもない
998:１３２人目の素数さん
21/02/12 16:22:26.02 7bKbiQ4y.net
>>965
チャーンが生まれたのは辛亥革命の頃だね
20歳前には大学を卒業してるからかなりの秀才だったのは間違いない
で、その後ドイツのハンブルク大で博士をとって
1年間くらいフランスのエリ・カルタンの弟子やって
それから中国に帰っていきなり教授だからね
999:１３２人目の素数さん
21/02/12 16:59:49.46 vOuJ52tu.net
ベルギーが2人って言ってもほとんどフランス人みたいなもんだし
1000:１３２人目の素数さん
21/02/12 17:03:23.14 mY3HWxlp.net
フィールズ賞って問題解き競争だしな
すごいのもいるけど、最近のはほとんど羨ましいとか思わん
1001:１３２人目の素数さん
21/02/12 17:05:22.52 Ck/USzva.net
ムーンシャインとか解けて何が嬉しいのか
1002:１３２人目の素数さん
21/02/12 17:12:40.85 NrMPZqII.net
これだけ数学が細分化されてるのに、飛び級もない日本から40歳未満しか受賞できない賞というのは無理でしょう
日本で権力持ってる指導者も、代数幾何や整数論みたいな難しい分野の人ばかりですし
1003:１３２人目の素数さん
21/02/12 17:19:32.33 u9giwWM6.net
>>972
多様化してるからこそ、なおのこと相対的に日本の実力が低くなってしまわないように手を打つのが政治だと思うけどな
ところでロシアのEGEを忘れていたが、これもセンター試験より簡単なんだよね(高得点だと無償だが、高得点でなくとも有償で入る選択肢もある)
>>973
そうだな
だから理系と文系という言葉は何の意味もない
ただ、日本の経済学や哲学が大きく遅れてる為に、文系と呼ばれるような学問が否定される風潮があるんだろうなと思う
1004:１３２人目の素数さん
21/02/12 17:21:25.89 7bKbiQ4y.net
>>979
日本って言葉忘れよう 国家なんてなくなるから
経済学は悪の学問だから無くなっていいｗ
1005:１３２人目の素数さん
21/02/12 17:23:57.37 7bKbiQ4y.net
>>976
数学が終わりに近づいてるのかもな
1006:１３２人目の素数さん
21/02/12 17:24:58.34 7bKbiQ4y.net
限りなき経済成長も限りなき数学の発展もない
地球も人類の脳も有限だから
1007:１３２人目の素数さん
21/02/12 17:28:04.30 7bKbiQ4y.net
>>978
>代数幾何や整数論みたいな難しい分野
代数幾何は複素幾何のパクリ
数論幾何は代数幾何のパクリ
本質的な深みがあるわけではない
石油がいつかでなくなるように
数学の成果もいつかでなくなるだろう
数学そのものは無限だとしても
人間の脳が有限だから
1008:１３２人目の素数さん
21/02/12 17:43:15.35 K1hlSF1/.net
>>961
比喩でもなんでもなく財産のストックとフローの複式簿記のほうが
行列や行列式、グロタンディーク群よりも先に赤字持ち出し▲を思い付いてる。
勾配だかラプラシアンの▽とか∇と組み合わせてダビデの星。
1009:１３２人目の素数さん
21/02/12 17:46:03.61 K1hlSF1/.net
>>953
商鑑遠からず
1010:１３２人目の素数さん
21/02/12 17:46:44.31 3O9Kcoqj.net
日本が世界的数学者を出せないのは
大学にカネが入ってないからであって
中高までの教育の問題じゃねーよ
フィールズ賞取れなかった30年間は
失われた30年と一致している
アメリカの大学のように
財政が豊かなら解決。それだけ
1011:１３２人目の素数さん
21/02/12 17:48:36.53 3O9Kcoqj.net
ノーベル賞はここ20年たくさん取ってるが、
ノーベル賞は成果を出した時期より数十年遅れて表彰
1012:されるものだから これもそろそろ取れなくなるだろう
1013:１３２人目の素数さん
21/02/12 17:48:40.18 7bKbiQ4y.net
>>984
複式簿記では、経済の問題点は見えないよ
URLﾘﾝｸ(gigazine.net)
「ボゴシアン教授によると、
（経済に関する数理モデルのシミュレーションによって）
たった1人が全ての参加者の所持金を獲得し、
他の参加者の所持金がゼロになるという
「富の独占」が必ず生じるとのこと。」
「この富の独占は、参加者の人数にも、
それぞれの参加者の開始時の所持金にもよらず、
必ず生じます。」
1014:１３２人目の素数さん
21/02/12 17:50:57.58 7bKbiQ4y.net
ノーベル賞ガー、フィールズ賞ガーとかいう前に
今の貨幣経済自体が遠からず破綻する
数学なんかやってる場合じゃなくなるかもね
1015:１３２人目の素数さん
21/02/12 17:51:35.20 K1hlSF1/.net
>>988
大不幸ゲームなら厨房の頃に読んだ。
1016:１３２人目の素数さん
21/02/12 17:53:32.18 K1hlSF1/.net
>>989
もうとっくにポストアポカリプスなゾンビ資本主義にお前ら老害がバブル後冷戦後日本を陥らせて久しい。
1017:１３２人目の素数さん
21/02/12 18:00:29.78 7bKbiQ4y.net
>>991
ラスボス叩こうね GAFAの人たちとかｗ
老人叩いても大した金は出てこないから
1018:１３２人目の素数さん
21/02/12 18:02:45.81 7bKbiQ4y.net
目下の関心は
「かつてのリョコウバトのように大量にいた人類が
いかにあっというまに急激に絶滅するか？」
人類は滅びますね 生き残るとしてもアフリカとかの未開部族ですよ
文明人は確実に死にます だって自分じゃ何もできないでしょ
1019:１３２人目の素数さん
21/02/12 18:05:36.90 7bKbiQ4y.net
多分、ガウス以降数学者が得た知見は確実に失われますね
いや、ニュートン以降？ もしかしたらアルキメデス以降かｗ
知識人は死に絶えますから
生き残る人（高々数万人程度）は、算数くらいしかできないでしょう
1020:１３２人目の素数さん
21/02/12 18:16:29.70 3O9Kcoqj.net
>>989
まだだいぶ先の話だなそれは
コロナのおかげで地球資源をあまり使わなくなったので
資本主義は延命した
1021:１３２人目の素数さん
21/02/12 18:44:42.93 3O9Kcoqj.net
インターネットの維持にもだいぶエネルギーを使うが、
海外旅行者のためにジェット機を飛ばすほどの莫大な浪費ではない
1022:１３２人目の素数さん
21/02/12 19:11:11.57 7bKbiQ4y.net
>>995
＞コロナのおかげで地球資源をあまり使わなくなった
大して減ってないよ
「人新生の資本論」読むと、資本主義は破滅するって実感するよ
ま、オレは遺書書いたし 思い残すことないから 今死んでもいいよ
1023:１３２人目の素数さん
21/02/12 19:12:22.32 EN88WCpt.net
終末論者いて草
1024:１３２人目の素数さん
21/02/12 19:19:19.61 7bKbiQ4y.net
>>998
楽観論者は笑って餓死しな
1025:１３２人目の素数さん
21/02/12 19:20:00.27 7bKbiQ4y.net
楽観は死の苦労を忘れさせる効果しかない
ま、死ぬだけならそれで十分かｗ
1026:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 202日 10時間 5分 8秒
1027:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています