HOMELv043 OCLにおいて、コレクション「s」が「重複する要素を少なくとも1組持っている」ことを確認する式はどれか。 2026年1月25日 isUniqueが偽であること、またはSetに変換した際にサイズが減ることで重複を検知できる。 UMLにおいて、あるクラスのインスタンスが生成された際に実行される「初期化」の振る舞いを指定する属性はどれか。 OCLにおいて「null = invalid」の評価結果はどうなるか。
