キーワードpolynomial time verification 種類会議発表論文