Update 7.1.7-坂本.tex

編集した