数学数学/東大理数B3(ゼミ等の記録▶@thaMrk623)/数学の勉強をしましょう、特に代数幾何、導来圏、数え上げ、ミラー対称性
Joined May 2022
- Tweets12.7K
- Following942
- Followers773
- Likes69.3K
Mark6 retweeted
これにはstacksの証明が微妙なところがあったりなかったりするらしいが、今回のことで分かるのはstacksに乗っている定理は大体正しいと認識して何かしてもいいのでは、くらいのものだと思う。ライブラリになるような形では形式化されていないってmathlibやTau Cetiの人が言っている
Mark6 retweeted
Axiomが誇大広告をするせいで、今回の形式化がどのくらい確かなものなのか認知している人が少なさそう。少なくともStacks projectのもので扱われているが、定式化されていないもの (Hom stackとか) があったり、Stacksとは違うような定式化や、いくつかのFactを認めている部分もあると報告されている
Mark6 retweeted
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 🌆
Mark6 retweeted
四次元の叡智を、着る。
11月4日発売
『10/8不等式Tシャツ』5,280円（税込）
古田幹雄先生本人の直筆による、10/8不等式。
前面には定理の主張、背面には証明の鍵となる、Seiberg-Witten写像の有限次元近似による大域的倉西写像の構成のアイデアを。
そして、色分けにも深い意味が。
数学の美しさと奥深さを、身にまとう一着。
ご予約受付中⇩
x.gd/TawTG
Mark6 retweeted
びっくりするくらいオモロい話をする人の裏番組をします
いわゆる物理から数学へ行って帰ってこなかった人の視点から物理を数学の言葉で語る、学部レベルの数理物理を話すので、B1から大歓迎！
来てね〜
【科学大談話会のご案内】
開催日:2026年11月7日（土）
開催場所:東京科学大学大岡山キャンパス
対象: 数学物理に興味のある方
プログラムの詳細は以下のリンクからご覧ください！
suubutsuseminar.com/discours…
Mark6 retweeted
【ポリネシアンTOEFL 1日目】Polchinski ~String Theory~ 朗読会
youtu.be/Xm6m9TFdX4s?si=lEQ_…
Mark6 retweeted
Derived Categories in Geometry and Representation Theory - in honor of Professor Alexey Bondal's 65th birthday
2026年11月30日(月)〜12月4日(金)
@.東京大学柏キャンパス Kavli IPMUレクチャーホール
参加登録締切:11月23日
indico.ipmu.jp/event/515/
#Dタイム情報
