旧所属 東北大学 大学院情報科学研究科 情報基礎科学専攻