リスト4.9 example_userで使用するコード。