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