数値モデル有効であること示しただろ