キーワードalternating multi-counter automata 部局工学部