HOMELv008 UMLメタモデルにおいて、クラスやコンポーネントのように「インスタンス化可能（Reifiable）」であるかを示すメタクラスのプロパティは通常どれに関連するか。 2026年1月25日 isAbstractプロパティがtrueの場合、そのクラスは抽象クラスであり直接インスタンス化できない。falseであれば（具象であれば）インスタンス化可能である。 OCLのTuple（タプル）を使用して、名前と年齢のペアを持つコレクションを生成する正しい構文はどれか。 プロトコルステートマシンにおける「事後条件（Post-condition）」は、通常のステートマシンの何に対応するか。
