旧所属 北海道大学 大学院工学研究科 システム情報工学専攻