タグde-abstraction付きモデル