発行年2010 - 2014 キーワードpolynomial time verification 部局大学院理工学研究科(工学)