HOMELv034 OCLにおいて、コレクション「s」の全要素が特定の条件「p」を満たさないものが「1つもない」ことを確認する式はどれか。 2026年1月25日 これらはすべて論理的に同等であり、全要素が条件pを満たすことを確認できる。 MDAにおいて、システム間の相互運用性を高めるために、複数のモデル間で共有される「共通モデル」を何と呼ぶか。 UML 2.5において、クラス（Class）が「isActive」属性をtrueに持っている場合、そのインスタンスを何と呼ぶか。
