[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
73: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)14:09:43.87 ID:W0+ORYap(7/7) AAS
>>72
＞Feit-Thompson定理（英語版）は、Coqで2012年9月に証明が完了したという
＞同じことを、いま人手でやっても、いまや評価されないってことよ（単なる証明屋さん）
いや、もちろん、Coqに掛からない証明も沢山あるし
最初からは、Coqには掛からないのかも知れない
そういう場合に、
手作業での場合分け証明は、世界初としては評価されるよ
省4
93(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)21:12:39.87 ID:qSerb9O3(3/7) AAS
>>92
つづき
外部ﾘﾝｸ:ja.wikipedia.org
微分
(抜粋)
5 一般化
詳細は「微分の一般化（英語版）」を参照
省12
130: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/23(土)21:56:27.87 ID:iKDSmfWl(28/31) AAS
Kiran Sridhara Kedlaya先生のホームページ下記
IUTからみで、前半2回のworkshopは
リストアップされている
しかし、後半2回のworkshopは、リストにないね（＾＾；
３）
Invitation to inter-universal Teichmuller Theory (IUT)
RIMS workshop, September 1 - 4 2020
省15
286(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/05(木)00:19:17.87 ID:ed0WVJzV(5/8) AAS
>>285
つづき
アットホームな慶應大学
数学研究者というのは狭い門なので、研究の実力の他にもタイミングや運が必要なのだと思います。私が博士課程を修了したころは、研究者を目指す若い人が増えていたのに職の数は減っている時期だったので、椅子を勝ち取るのは熾烈な戦いでした。
結局、北大のあとは半年間東大のポスドクをしたのちにトロント大学のポスドクになりました。トロント大学に向かう直前に慶應大学から採用の内定を得たので、トロントでの滞在を予定より短く半年で切り上げ、2008年4月から慶應義塾大学理工学部数理科学科の専任講師として着任しました。
とても良い大学に就職できたおかげで、5年間のポスドク時代も無駄ではなかったと感じます。慶應大学に着任してからは、デンマーク大学にも滞在する機会を得ました。
慶應大学理工学部の良さは、先生と生徒の距離が近く、まさに「半学半教」を実践しているところですね。真剣に議論したり、お酒を酌み交わしたり、アットホームな雰囲気の中で過ごすことができ、とても気に入っています。
省6
310(3): 2019/12/07(土)15:14:07.87 ID:qvPzzpXn(1/13) AAS
AA省
405(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/14(土)10:28:37.87 ID:s6Tab8iq(3/13) AAS
>>404
つづき
Introduction
Many writers have mused about algebraic geometry over deeper bases than the
ring Z of integers. Although there are several, possibly unrelated reasons for this,
here I will mention just two. The first is that the combinatorial nature of enumeration formulas in linear algebra over finite fields Fq as q tends to 1 suggests that,
just as one can work over all finite fields simultaneously by using algebraic geometry over Z, perhaps one could bring in the combinatorics of finite sets by working
省10
511(1): 2019/12/21(土)17:35:51.87 ID:tz17Etk6(9/10) AAS
>>509
eやπの各ベキ級数表示は理論としては実数論の後に微分積分で出て来るから、
eやπの各10進表示によるベキ級数表示のように誰でも思い付くことで反論しても意味ない。
517(2): 2019/12/22(日)09:47:14.87 ID:9yS2Cprl(1/33) AAS
おっちゃんです。
>>513
>そもそも乙の「ベキ級数表示」という言い方が雑
微分積分で任意の実数(或いは任意の複素数)xに対して
e^x＝Σ_{k=0,1,…,+∞}( (1/(k!))x^k )
と定義されるベキ級数が表れることも分からんのか。
xを実変数とする。πのベキ級数は、π^x＝e^{xlog(|π|)}＝e^{xlog(π)} と定義される。
省5
653: 2019/12/24(火)18:30:06.87 ID:LXTkrP+A(3/5) AAS
＊＊イルミネーション＊＊が
仕舞われても
☆☆おっちゃん△☆☆の
**＊＊輝き＊＊は終わらない＊＊**
721: 2019/12/27(金)21:44:47.87 ID:YpXNa5gb(2/2) AAS
>>720
;◜ᴗ◝)
873(1): 2020/01/01(水)16:52:27.87 ID:/Fokj8ve(2/2) AAS
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
おーい IPって知ってますぅ？
呆れたw恥ずかしい奴
＞親戚とか付き合いがあるんじゃね？
↑特にワロタ 可哀想過ぎてナンも言えんw
無知って怖いね
942: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)21:57:29.87 ID:ivt0JCXh(34/37) AAS
>>939 参考
外部ﾘﾝｸ:ja.wikipedia.org
圏論
(抜粋)
歴史
一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている。
トポスと呼ばれる特別な種類の圏は、数学基礎論としての公理的集合論に取って代わることすら可能である。
省4
997: 2020/01/04(土)21:09:58.87 ID:R9y7Ngbn(4/7) AAS
そのヒステリー、
＊＊男性更年期障害＊＊じゃ？
「ロー症候群」←ググってミレニアム？
すぐに泌尿器科へＧＯ！！？
ｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.071s