ディストリビューション 有名なディストリビューションの一覧 カーネルは共通 大学では RedHat 系や Debian 系が人気かな?