悪魔の証明ってプログラミングと同じか
バグのあることは証明できてもバグの無いことは証明できないという