Proj
J-GLOBAL ID：202204006018865653
Research Project code：21461172
型理論に基づく音楽自動生成ツールの開発
型理論に基づく音楽自動生成ツールの開発
National award number：JPMJAX210C
Study period：2021 - 2023
Organization (1)：
Principal investigator：
(
, 情報理工学院, 助教 )
DOI：
https://doi.org/10.52926/JPMJAX210C
Research overview：
プログラミング言語分野では、型と命題、プログラムと証明の間に成り立つ対応関係が古くから知られています。本研究では、この対応関係に基づいた音楽自動生成ツールを開発します。アイディアとしては、作曲規則を型として表現し、プログラム合成器を用いて型が付く音楽を合成します。これにより、理論的な正しさが数学的に証明された音楽を自動生成することが可能になります。
Terms in the title (5)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
,
Research program：
＞
＞
Parent Research Project：
数理・情報のフロンティア
Organization with control over the research：
Japan Science and Technology Agency
