To-Do list 20230102

数学

• Hartshorne 演習
• descent theory
• 代数多様体の理論
• Belyi の定理
• Riemann 面の学習
• 子供のデッサンについての理論
• NSW
• type theory (Girard, "Proofs and Types")
• 可換環論
• 複素幾何
• 微分幾何
• 表現論
• 圏論

音楽

• SoundQuest
• Ellington 曲の聴き込み
• 楽譜チェック
• 譜起こし

生活

• 英語 (listening)
• 財布, 自転車, 服などの購入 (奨学金が入っていれば)
• mathpedia 更新
• 文書製作