わたしは何をいったのか

• （テストや証明のために）扱いやすいインターフェース／クラスを書きましょう。

• 部分的にでもいいから、ある種の論理式によって仕様を記述しましょう。

• 形式的手法の教育的効果、トレーニング効果を無視しないでください。