発行年1970 - 1974 キーワードalternating multi-counter automata 部局工学部