東京大学大学院情報理工学系研究科数理情報学専攻:(現)東京大学大学院情報理工学系研究科数理情報学専攻