アサーションの設定