高位設計手法にアサーションを適用

リスト5　アサーションを適用できるように変更したコード