(@-@) (@-@) (@-@) (@-@) automata 拘束 2020