翁 (@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
26
2
108
6,963
怪文、見られちゃってます🫪
1
7
313
定期的に怪文擦られるの厳しい
9
420
前回のエピソード読み直してるけど、やっぱりクオリティ高すぎる……
5
446
デデキント環って加群を使った特徴づけもあるんだ、おもろい (Wikipediaより)
2
14
777
ずっと思ってるけど、リー代数の冪零とか可解とかの議論ってなんであんなに群論と酷似してるんだ
1
9
522
加群の拡大はExt¹に対応する、なるほど
1
1
7
1,209
AのBによる拡大を列挙するだけなら, Pが射影加群である短完全列 0→Q→P→A→0 をとって, 各Q→BごとにQ→Pとpushoutをとればいいんですね (Extまで計算しなくても大丈夫)
4
445
松村可換環論ゼミ ( § 11. DVR, Dedekind 環 ) すでに Neukirch でやった内容もあったけど、分数イデアルについて 可逆⇔射影的 とか、あと ht を挟む議論とか、はとても環論で面白かった Krull-秋月 の証明重すぎる
1
15
1,363
…………で、僕は将来の進路どうすればいいんすか😠😠😠
2
30
801
翁 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,901
6,294
4,769
40,625
22,782,282
一個下の数学科の人々はどこにいるんだ Twitterでも全然見ないなあ
1
1
14
1,641
そうだよーって方はぜひいいねとかお願いします👀
5
604
ℚ/ℤをほむほむして任意の加群を移入加群に埋め込んだけど、あれガチなに 謎議論すぎるしℚ/ℤは誰なんだ
1
1
22
1,880
野菜が嫌いすぎて段ボールに例えた人です、
野菜が嫌いすぎて野菜を段ボールに例える人と、段ボールを食べたことがある人が居合わせた瞬間が #spmAd9th最高の瞬間 だったなあ
2
23
1,939
段ボールを食べたことがある人 です
野菜が嫌いすぎて野菜を段ボールに例える人と、段ボールを食べたことがある人が居合わせた瞬間が #spmAd9th最高の瞬間 だったなあ
5
29
1,420
最近SNS離れしてたけど、こういう場で認知してもらえるためにいっぱいツイートしておくべきなのかもしれない
5
639
野菜が嫌いすぎて野菜を段ボールに例える人と、段ボールを食べたことがある人が居合わせた瞬間が #spmAd9th最高の瞬間 だったなあ
8
5
34
6,711
#spmAd9th ヘケ代数班でしたー!強い方々に色々教えていただいたり面白い話を聞けたりして満足です!!ありがとうございましたーーーー
15
745