HOMELv049 OCLにおいて「Set{1,2,3}->forAll(e | e > 0)」を実行した際、要素が空のセットの場合の結果はどれか。 2026年1月25日 空集合に対する全称修飾（forAll）は、数学的定義に従い常に真（true）を返す。 「QVT-Operational」において、あるオブジェクトの型を「強制的に」別の型として扱うための演算子はどれか。 UMLにおいて「InterfaceRealization」関係のソース（実装側）となれるメタクラスはどれか。
