キーワード多項式時間アルゴリズム 部局大学院理工学研究科(工学)