>>374
音楽はどんな曲が１番聴き心地が良いか？から始まるんですが、もちろん音楽の
自動定理証明のことも考えたんですが、それは基礎理論であって、いろんな種類の
音楽が出来れば良いと思ってます。個人的な研究成果としては、歌詞の掛詞が複雑
になりすぎたり、周期性が無いノイズだらけなのに格好いい音楽なども、一瞬で
出力できる、というものです。