Roles of automatic differentiation in nonlinear analysis and high-quality computation - Iri, Masao.