371びぼーろく; vlc player で midiを再生したい時

frescobaldiでlilypondファイルを編集していると譜面のpdfやmidiを作ってくれる。

midiファイルはvlc playerで自動再生される。ところがデフォルトではvlc player ではmidiファイルは再生してくれない。

色々調べてみるとvlc-plugin-fluidsynthを入れるといいらしい。

ということで早速aptitudeでインストールすると再生してくれた。

さて、計算をやっている途中で色々と悩んでいる間にいいことを思い付いた。
が、うまくいくかどうかは分からない。
次回の議論で提案してみよう。

それとは別に短い論文を書き上げて投稿。今年はこれで2本目。結構良い調子。PRDに投稿予定だけど通ると良いなぁ。