Update 7.3.4-岡本.tex