Computational technique for generating and indexing a large number of short melodies using zero-suppressed binary decision diagrams - 土屋憲靖 - プレプリント