発行年2015 - 2019 キーワードHunter–Saxton system 種類学術雑誌論文