HOMELv022 OCLの `isUnique` 操作は、何を確認するものか。 2026年1月25日 `col->isUnique(expr)` は、コレクションの各要素 `e` に対して `expr` を計算し、その結果の値が重複しない場合にtrueを返す。 ステートマシン図において、ある状態が「アクティブ（Active）」であるとはどういうことか。 OCLにおける「メッセージ式（Message Expression）」で、送信されたメッセージが値を返したかどうかを確認する操作はどれか。
