キーワードprogramming and algorithm theory 種類学術雑誌論文