キーワード多項式時間 種類学術雑誌論文