タグreverse deduction付きモデル