Mark6 (@Mathrk623) header
Mark6 (@Mathrk623) profile picture

Mark6

@Mathrk623

数学数学/東大理数B3(ゼミ等の記録▶@thaMrk623)/数学の勉強をしましょう、特に代数幾何、導来圏、数え上げ、ミラー対称性

mathrk623.github.io/
Joined May 2022
  • Tweets12.7K
  • Following942
  • Followers773
790Media
Photo by Mark6 (@Mathrk623)Photo by Mark6 (@Mathrk623)Photo by Mark6 (@Mathrk623)Photo by Mark6 (@Mathrk623)Photo by Mark6 (@Mathrk623)Photo by Mark6 (@Mathrk623)Photo by Mark6 (@Mathrk623)Photo by Mark6 (@Mathrk623)Photo by Mark6 (@Mathrk623)Photo by Mark6 (@Mathrk623)
Mark6 retweeted
紙茶屋 (@spect283148) profile picture
紙茶屋@spect28314816h
McKay対応に魅入られてしまいそう
1
8
378
談話会、追悼研究集会と、知らない数学を詰め込まれまくってフラフラの所に直撃する、深谷圏の集中講義１週間（むり）
1
31
1,239
に直撃する、来週のMMP集中講義１週間（きびしい）
7
326
これにも会えて互いの知見を交換する会を持とうという話になるなど　ありがて〜
Mark6 (@Mathrk623) profile pictureMark6@Mathrk623Nov 7
理物のB2君に絡んでたら「(Mark6)さんと似た興味の先輩いますよ」と言われ、アツすぎると舞い上がったものの、よく考えたら心当たりがあり、聞いたところやはり教養の同クラだった
1
4
649
11月8日の幾何、参加してました 頭の知らないところに情報をグリグリ詰め込まれてパンクしそうです カロリーの高い面白話がずっと続いててすごかった
1
31
1,047
追悼集会行きます
16
907
理物のB2君に絡んでたら「(Mark6)さんと似た興味の先輩いますよ」と言われ、アツすぎると舞い上がったものの、よく考えたら心当たりがあり、聞いたところやはり教養の同クラだった
1
1
37
3,434
このまえ駒場書籍部で出くわした時、複素幾何とシンプレクティック幾何の話をしてて、その時は僕の方がまだそこまでのめり込んでなかったからピンと来てなかったが、まさかのまさかだ...
3
622
理論上気体の上に液体が浮くはずです ↑ 激アツ激ヤバ！！ まだ実験で再現できていません ↑ 物理怖すぎ！！！
13
827
聞いた発表の3/5で熱を流しており、熱ってすごいんだなぁと思った
12
805
今日の数物談話会で後者の具体例（quiver variety）を見せていただいたのが滅茶苦茶アツかった、ほんとに面白かった〜〜〜
Mark6 (@Mathrk623) profile pictureMark6@Mathrk623Aug 6
「ハミルトン力学をやる場所」みたいなシンプレクティックの扱いと、「モジュライを作る構造」みたいなシンプレクティックの扱い（？）がうまくくっつかなくて難しい　力学というのに理解が浅いからなんだろうけど...
1
1
18
1,365
これにはstacksの証明が微妙なところがあったりなかったりするらしいが、今回のことで分かるのはstacksに乗っている定理は大体正しいと認識して何かしてもいいのでは、くらいのものだと思う。ライブラリになるような形では形式化されていないってmathlibやTau Cetiの人が言っている
1
1
5
925
Axiomが誇大広告をするせいで、今回の形式化がどのくらい確かなものなのか認知している人が少なさそう。少なくともStacks projectのもので扱われているが、定式化されていないもの (Hom stackとか) があったり、Stacksとは違うような定式化や、いくつかのFactを認めている部分もあると報告されている
1
3
1
22
2,478
解析の話を聞き、非自明ですごいなぁと思いました
1
1
14
937
Mark6 retweeted
Axiom (@axiommathai) profile picture
Axiom
@axiommathaiNov 4
Most think vibecoding at scale is slop. Here’s a counterexample. Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved. A mathematical city 🌆
851
1,552
325
7,026
6,971,716
Stacks Project の全形式化マジか
1
23
977
Hodge-Riemannまわりの符号計算ガチで厳しい　ぜんぶup to signで済ませようかな
5
644
特性類講義ゼミ完走して神
1
1
22
801
数学科に来てよかったこと ・楽しそうに数学してる人達がいっぱいいる ・勉強してて苦しくない ・他大の人と仲良くなれた 数学科に来てよくなかったこと ・数学しかやらない ・数学しかできない ・数学すらできないのではないかと3日に1回くらい情緒がおわる
6
98
14
1,425
56,238
そもそも「q̇で微分する」みたいな記法がむずすぎる
2
1
2
81
11,122
Load more