デジタルシンセサイザーのOSはどんなものが使われているのだろうか