HOMELv044 OCLにおいて「invalid or true」の結果はどうなるか 2026年1月25日 論理和（OR）では一方がtrueであれば、もう一方がエラー（invalid）であっても結果はtrueと確定する。 OCL式「Sequence{1,2,3}->subSequence(2, 2)」の結果はどれか。 UML 2.5において、操作（Operation）が副作用を持たない（状態を変更しない）ことを示す属性はどれか。
