2007-12-25 class invariant C++ 前に作ったこれは、不気味で使う気が起こらない 結局素朴なものに変更した…ソースとサンプル フリー関数のpre/postconditionはボツ