HOMELv044 OCLにおいて「Set{1,2,3}->forAll(e | e > 0)」を実行した際、要素が空のセットの場合の結果はどうなるか。 2026年1月25日 空の集合に対するforAll（全称修飾）は、条件に関わらず常に「真（真空の真）」を返す。 MDAにおいて、PIMからPSMを生成する際に、モデルに付加される「プラットフォーム固有のヒント情報」を何と呼ぶか。 UMLにおいて、ある要素が複数の「名前空間」に同時に所属することは可能か。
