演習 9.4.3 とか。