仕様からコードを自動生成すればバグらない
仕様はちゃんとしか書けないものとする