論理エラーも検出？