トーク:モデル／ソルバー独立

【 もでる／そるばーどくりつ(model/solver independence) 】

ある方式（例えば，モデル記述言語）で記述されたモデルの具体例が，計算上は必ずしも等価とは言えない複数のソルバーで修正なしに正しく処理できることをいう．モデルやソルバーの再利用可能性を高め，情報資源としての価値を高める上で重要な性質である．