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

図3時系列上で拡張構文がとる値　

図3時系列上で拡張構文がとる値