式が false の場合に例外を発生させます。