忙しくて音楽時間をあまり取れない人向けのプレイヤー書きました。mpg123 をインストールしておいてください。play-chaos などとして、パスを通すしたら、mp3 ファイルなどがあるディレクトリで $ play-chaos *.mp3と、やります。(Windows で DirectShow だ…