仕様を満たしていることをデータ構造で表現する