>>192
同じパターンの繰り返しは同じ曲とみなすという観賞主体なら、
新たに曲の最後につけたすという操作に対する群をなして、
その主体にとっての曲の集合は有限になるかもよ。