HOMELv048 OCLにおいて「true or invalid」を評価した結果はどうなるか。 2026年1月25日 論理和(or)では、片方がtrueであれば結果が確定するため、もう一方がinvalidでもtrueとなる。 OCL式「Sequence{1,2,3}->last()」の結果はどれか。 UMLの「プロファイル」において、ステレオタイプがメタクラスを拡張する関係「Extension」の強さを指定する属性はどれか。