オートマ記述なんかだと、
応用編やる意味あんのかな