ハードウェア支援型の高機密計算環境を使用した大規模計算における完全性の効率的な保証