task #400 state, transition, annotation の基礎工事

* 最後の`()`は省略してください
* 演算子の前後には空白を入れてください