キーワード多項式時間判定 部局大学院理工学研究科(工学)