Update ATS-types03-ja.tex / add some figures