| 体系的番号 |
JPMJAX210C |
| DOI |
https://doi.org/10.52926/JPMJAX210C |
研究代表者 |
叢 悠悠 東京工業大学, 情報理工学院, 助教
|
|---|
| 研究期間 (年度) |
2021 – 2023
|
| 概要 | プログラミング言語分野では、型と命題、プログラムと証明の間に成り立つ対応関係が古くから知られています。本研究では、この対応関係に基づいた音楽自動生成ツールを開発します。アイディアとしては、作曲規則を型として表現し、プログラム合成器を用いて型が付く音楽を合成します。これにより、理論的な正しさが数学的に証明された音楽を自動生成することが可能になります。
|
|---|
| 研究領域 | 数理・情報のフロンティア |
|---|
