梅崎直也
Notes
Courses
Papers
Talks
Talks
講演・発表資料
証明支援系LEANに入門しよう
Slides (SpeakerDeck)
ミケル点とべズーの定理
Slides (SpeakerDeck)
ラマヌジャンのデルタ
すうがく徒のつどい＠オンライン
Slides (SpeakerDeck)
合同式と幾何学
Slides (SpeakerDeck)
ヴェイユ予想とl進層のフーリエ変換
すうがく徒のつどい＠オンライン
Slides (SpeakerDeck)
Egisonパターンマッチによる彩色
Slides (SpeakerDeck)
関数等式と双対性
Slides (SpeakerDeck)
直交多項式と表現論
Slides (SpeakerDeck)
導来代数幾何入門
Slides (SpeakerDeck)
作図と対称性
Slides (SpeakerDeck)
整数論と様々な数学
Slides (SpeakerDeck)
パーフェクトイド空間とコホモロジー
Slides (SpeakerDeck)
楕円曲線の有理点と BSD 予想
Slides (SpeakerDeck)
レムニスケートから楕円関数へ
Slides (SpeakerDeck)
Chowla-Selberg公式
Slides (SpeakerDeck)
ディリクレL関数と三角関数
Slides (SpeakerDeck)
数論幾何と分岐
Slides (SpeakerDeck)