ホーアCSPモデルの理論