キーワードpolynomial time procedure 部局