IsA
処理系