ハルヒ問題、最小超置換の紹介 stringbeginners: https://sites.google.com/view/stringbeginners/workshop/2018/2018-11-02-tokyo