HOMELv039 OCLで「true or invalid」が「true」になる理由として正しいものはどれか。 2026年1月25日 論理和（OR）の定義により、一方が真であれば他方が不明（invalid）でも全体は真となる。 モデル変換の定義において、変換のソースモデルとターゲットモデルが同じメタモデルに従う変換を何と呼ぶか。 UMLメタモデルにおいて、状態マシンの「State」が自身の中にさらに「StateMachine」を持つことを何と呼ぶか。
