集中講義 数学特別講義4/H 機械学習理論 「 数学系エンドユーザーのための Lean入門 」 | Department of Mathematics Kyoto University
www.math.kyoto-u.ac.jp