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