2010年12月06日
注意せず書いた部分にはやはり間違いが多い
- 2010-12-06 (Mon)
- 一般
Theorem の結果に基づく corollary を書いたらそのステートメント内の式を書き間違えてた．そして証明も適当にすっ飛ばしてたので，これおかしくねーかと指摘されるまで気づかんかった．テスト実装も広いクラスを扱うTheoremに基づいて作ってたし．
ということで，自明な結果ほど注意深くなっておかないと書き間違いが増えるなぁと．気をつけよう．
- Comments: 0
- TrackBack (Close): -