HOMELv006 要求仕様書からモデルを作成する際の最大の課題はどれか。 2026年3月13日 自然言語で書かれた要求には解釈の余地があるため、モデル化の際に厳密な定義が求められる。 MBTにおける「制約付きランダム」の目的はどれか。 モデル上の動作と実際のシステムの動作が一致しない現象を何と呼ぶか。