Update ATS-types03-ja.tex (cont.)