HOMELv052 「QVT-Relations」における「when句」が記述される場所として正しいものはどれか。 2026年1月25日 when句（前提条件）とwhere句（事後条件）は、Relation定義の本体内に記述される。 UML 2.5において「Classifier」を継承しない要素はどれか。 OCLにおいて、数値xが「無限（Infinity）」であることを判定する演算はどれか。
