generated at
状態機械