php - midiをmp3に変換

Question

1 つの midi ファイルがあり、そのファイルを Web ページで再生したいのですが、現在再生に midi.js プレーヤーを使用していますが、モバイル ブラウザーでは動作しません。

そのファイルを再生する方法を教えてください。または、MIDI を再生したり、mp3 に変換したりする方法を教えてください。

これが私のコードです

  $data = fopen ($midi, 'rb');
 $size= filesize($midi);
 $contents = fread ($data, $size);
 fclose($data);
 $encoded= base64_encode($contents);

 $encode = "'data:audio/midi;base64,".$encoded."=='";

最後に base64 値を midi.js に渡します

Answer 1

モバイルブラウザーで MIDI.js が機能しないという同様の問題に遭遇しました。私は ogg ファイルを含めましたが、mp3 ファイルが欠落していたことが判明しました (何らかの理由で MIDI.js は、synth_drum の ogg バージョンのみを提供します)。

128 の General MIDI サウンドすべてのインストゥルメント ファイルは、https://github.com/gleitz/midi-js-soundfontsにあります。