Update 3.1.3-実装機能.tex