HOMELv005 UMLの「リデフィニション(Redefinition)」と「スペシャライゼーション(Specialization)」の違いに関する記述として正しいものはどれか。 2026年1月25日 スペシャライゼーションは汎化によるサブタイプ化を指し、リデフィニション({redefines})は継承されたメンバの定義(多重度や型など)をより具体的に書き換えることである。 OCLにおいて、前件がfalseの場合、含意(implies)式全体の評価結果はどうなるか。 ステートマシンにおける「退避擬似状態(Terminate Pseudo-state)」に遷移した際の結果はどれか。