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

リスト3 アサーションの記述例 

リスト3 アサーションの記述例