UbuntuはDebian派生なのですが、もう別物として扱う。
linuxmintはUbuntu派生なのですが、もう別物として扱う。