HOMELv040 「QVT-Relations」における「checkonly」ドメインの意味はどれか。 2026年1月25日 checkonlyと指定されたドメインは、変換の結果として書き換えられることはない。 UMLの「パッケージマージ（PackageMerge）」において、同名のクラスが両方のパッケージに存在する場合、マージ後のクラスはどうなるか。 OCLにおいて、2つのSet「s1, s2」に対して「s1.intersection(s2)」が空である場合、何が言えるか。
