Update 7.1.7-坂本.tex

手動マージ