>>402
そうではなくて、テスト駆動では書けないよねって話
テスト駆動は、仕様を宣言的命題としてのテストからコードを導出するんだから、>>380 のいうコードになってしまう