翁 (@I_______nu) header
翁 (@I_______nu) profile picture

東大理数B3 / 数学😈

Joined November 2020
Photo by 翁 (@I_______nu)Photo by 翁 (@I_______nu)Photo by 翁 (@I_______nu)Photo by 翁 (@I_______nu)Photo by 翁 (@I_______nu)Photo by 翁 (@I_______nu)Photo by 翁 (@I_______nu)Photo by 翁 (@I_______nu)Photo by 翁 (@I_______nu)Photo by 翁 (@I_______nu)
やります. ・(各点)Kan拡張を,「再構成の数理」というスローガンで非数学者に話す予定です. (数学者へ:群論を「対称性の数理」というスローガンで話すこととパラレルな"比喩"です) ・数学的に厳密な話と,そこに私が見ているものの両方の話をします.
12/8に洞 龍弥 @hora_algebra さんに駒場キャンパスにて「Kan拡張入門:再構成の数理として」というタイトルの集中講義をしていただけることになりました。内容としては、数学が専門ではない人向けに圏論におけるKan拡張の概念を解説していただくものになります。どなたでもご参加可能です。以下詳細
2
28
2
125
8,093
怪文、見られちゃってます🫪
1
7
333
定期的に怪文擦られるの厳しい
9
439
前回のエピソード読み直してるけど、やっぱりクオリティ高すぎる……
5
465
デデキント環って加群を使った特徴づけもあるんだ、おもろい (Wikipediaより)
2
14
795
ずっと思ってるけど、リー代数の冪零とか可解とかの議論ってなんであんなに群論と酷似してるんだ
1
9
535
AのBによる拡大を列挙するだけなら, Pが射影加群である短完全列 0→Q→P→A→0 をとって, 各Q→BごとにQ→Pとpushoutをとればいいんですね (Extまで計算しなくても大丈夫)
4
449
加群の拡大はExt¹に対応する、なるほど
1
1
7
1,215
松村可換環論ゼミ ( § 11. DVR, Dedekind 環 ) すでに Neukirch でやった内容もあったけど、分数イデアルについて 可逆⇔射影的 とか、あと ht を挟む議論とか、はとても環論で面白かった Krull-秋月 の証明重すぎる
1
15
1,364
…………で、僕は将来の進路どうすればいいんすか😠😠😠
2
30
805
翁 retweeted
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
1,900
6,288
4,767
40,616
22,791,019
そうだよーって方はぜひいいねとかお願いします👀
5
607