RedHat Enterprise Linux

RHEL の Academic Edition があることが判明したので、鈴村研に導入することにします。System S を動かす可能性のあるマシンをすべて RHEL に変えましょう。