円周率を音楽にするとすればどのような曲になるのだろう。