オブジェクト計算
from TaPL
Abadi, Cardelli
OOP言語の核となる機能を抽出している