解题程序鉴别器 【计】 problem program evaluator