第三节 方法的验证程序概要