HOMELv058 OCLにおいて「null implies true」の結果はどうなるか。 2026年1月25日 ならば（implies）では、結論側がtrueであれば仮定がnullやinvalidでも結果はtrueとなる。 OCLにおいて、コレクション「s」に重複する要素が存在しないことを「isUnique」以外で判定する正しい式はどれか。 UMLにおいて、あるクラスが「能動的（isActive = true）」である場合、インスタンス生成時に何が起きるか。
