HOMELv009 入力条件の複雑な論理関係をモデル化するのに適した手法はどれか。 2026年3月13日 因果グラフは複数の原因(入力)と結果(出力)の論理的な結びつきを可視化するのに役立つ。 MBTで過度な抽象化を行った場合に発生する問題はどれか。 実行中のシステムとモデルの同期がズレた場合の状態を何と呼ぶか。