旧所属 九州大学 大学院システム情報科学研究院 情報理学部門