Update ATS-types03-ja.tex