HOMELv051 OCLにおいて、コレクション「s」に重複する要素が「存在しない」ことを確認する式はどれか。 2026年1月25日 isUniqueで要素自身をキーにするか、Set変換後のサイズを比較することで重複を判定できる。 UML 2.5において、ある分類子（Classifier）が「isLeaf = true」である場合、何が禁止されるか。 OCLにおいて「invalid and false」の結果はどうなるか。
