HOMELv006 MBTにおける「制約付きランダム」の目的はどれか。 2026年3月13日 特定の制約条件(ガード条件など)を満たす範囲内で、ランダムにテスト入力を生成する。 MBTとAI/機械学習の組み合わせで期待される効果はどれか。 要求仕様書からモデルを作成する際の最大の課題はどれか。