HOMELv027 OCLにおいて、コレクション「s」に重複する要素が「存在しない」ことを確認する式はどれか。 2026年1月25日 isUnique(e | e) または元のサイズとSetに変換したサイズを比較することで重複の有無を確認できる。 UML 2.5において、ある分類子（Classifier）が「Final（継承不可）」であることを示す属性はどれか。 OCLで「true or invalid」を評価した際の結果はどれか。
