mp3は歌のファイルの一種である．