普段自宅では Linux デスクトップを使っている。最近はデスクトップPCを複数のディストリビューションでマルチブートにしてある。一番よく使うのが Ubuntu 11.04、たまに Debian Wheezy や Fedora 15 である。少し前まで openSUSE も使っていたが今はほとん…