HOMELv057 OCLにおいて「Set{1,2,3}->forAll(e | e > 0)」を実行した際、対象が空集合「Set{}」の場合の結果はどれか。 2026年1月25日 空集合に対する全称修飾（forAll）は、反例が存在しないため常に真（true）となる。 MDAにおいて、特定のミドルウェアやプログラミング言語に依存した詳細モデルを何と呼ぶか。 UMLにおいて、ある要素が「Abstract（抽象）」であるかを示す「isAbstract」属性を所有するメタクラスはどれか。
