你是怎么知道 MIDI 音乐这种东西的？