クラス図:誘導可能性