東京大学大学院 情報理工学系研究科 システム情報学専攻 天野・澤山研究室（システム第六研究室）