HOMELv018 OCLで「true and invalid」の結果はどうなるか。 2026年1月25日 「and」演算において、一方がtrueでも他方がinvalidであれば結果を確定できないためinvalidとなる。 UMLのメタモデルにおいて、アクティビティ図の「決定ノード（DecisionNode）」から出るエッジの条件を指定するメタクラスはどれか。 OCLの「Tuple」型において、要素を定義する正しい構文はどれか。
