HOMELv055 UML 2.5において、ある分類子（Classifier）が「抽象（isAbstract = true）」である際、インスタンス化について何が言えるか。 2026年1月25日 抽象分類子は構造を継承させるためのものであり、直接的なインスタンス化は禁止されている。 OCLで「self.oclIsTypeOf(T)」がtrueを返す条件はどれか。 OCLにおいて、コレクション「s」の全要素が異なることを確認する「isUnique」を空のコレクションに適用した結果はどれか。
