HOMELv053 OCLにおいて「true implies false」を評価した結果はどうなるか。 2026年1月25日 A implies B(AならばB)は、Aが真でBが偽の場合のみ偽(false)を返す。 OCL式「-5.abs()」の結果はどれか。 UML 2.5において、操作(Operation)が副作用を持たない(状態を変更しない)ことを示す属性はどれか。