俺が聞いたところによるとオブジェクト指向の完全な理論化は出来ていないとの事だったけどなぁ。