HOMELv053 OCLにおいて、コレクションの全要素に対して条件を満たさないものが「1つもない」ことを確認する式はどれか。 2026年1月25日 これらはすべて論理的に全称修飾(すべての要素がpを満たす)と同等である。 MOFの階層構造において、UMLメタモデル(M2)自体のメタモデル(M3)として機能するものはどれか。 UMLにおいて、あるクラスの属性と、関連(Association)の端の両方を表す共通のメタクラスはどれか。