Operatorクラスに事前条件および事後条件を追加
Operator.Reset関数を追加