型理論に基づいた音楽自動生成に関する招待講演 (@ TYPES 2022)

叢悠悠が TYPES 2022 で “Composing Music from Types” という題目の招待講演を行います.