類型化
from
類型化と実現値化
共通の性質をもつ実体を、その上で一様な条件が保たてるクラスにグループ分けすること。instance-of階層が構成される。
各実態は該当するクラスの実現値。クラス「社員」に対して、ココの社員である実体、石井、井上、佐藤・・・