HOMELv042 OCL式「Set{1,2,3}->forAll(e1, e2 | e1 <> e2)」を評価した際、要素が3つの場合の結果はどうなるか。 2026年1月25日 forAllに複数の変数を指定すると全組み合わせをチェックする。自分自身（e1=e2）のケースも含まれるため、e1 <> e2 は不成立となる。 モデル駆動開発において、モデルの変更が即座にコードに反映され、かつコードの変更も即座にモデルに反映される環境を何と呼ぶか。 UMLにおいて、あるクラスのインスタンスが生成された際に実行される「初期化」の振る舞いを指定する属性はどれか。
