東京大学情報基盤センター、新たな教育用計算機システムを運用開始(9/10)