東大の共用ＰＣ、マックに切り替え