円周率の歌とか素数の歌とか出てくるかもしれないのか