プログラミング研究室

Jiwonによるキャンパスアジアプログラム成果発表

KAISTからの交換留学生Jiwon Kimがキャンパスアジアプログラムの成果発表を行いました。Kimは当研究室において微分音に関する音楽理論の形式化に取り組みました。微分音とは「半音よりさらに細かく分けられた音程」(Wikipedia)で現代音楽などに見られるものですが、Kimの研究は音楽理論に見られる様々な性質を型理論を用いることで検証できないかという意欲的な取り組みでした。