実行による検証