実はちょっと前にメインの研究用マシンをGentoo LinuxからUbuntuに乗り換えた。64bit環境だとどうしてもインストールできないソフトがあったので32bit環境でOSをインストールしなおす必要が出たんだけど、ちょっと時間がなかったし、手軽にインストールでき…