AI for Math

数学系エンドユーザーのための Lean 入門

• https://shosonoda.github.io/lean-math-note/

Lebesgue積分論 （Lean Blueprint）

• https://shosonoda.github.io/lean-ksk2026/blueprint/

• (public repo) https://github.com/shosonoda/lean-ksk2026

Deep Learning Theory

集中講義「深層ニューラルネットの積分表現理論」

• TBC

リッジレット変換論（Lean Blueprint）

• https://shosonoda.github.io/lean-ridgelet/blueprint/html-multi/index.html