類型化と実現値化
from
ERモデルの抽象化概念
classification/instantiation
類型化