証明に関する手法 / 仮定 / モデル 確率的証明 probabilistically cheacable proofs ランダムオラクルモデル(ROM) / ランダムオラクル仮定 シミュレーション手法 ハイブリッドアーギュメント 形式的手法 formal method 帰着の効率 識別不能 なんでPCPが一番…