コトバンクはYahoo!辞書と技術提携しています。

充足可能問題 じゅうそくかのうもんだい

1件 の用語解説(充足可能問題の意味・用語解説を検索)

ASCII.jpデジタル用語辞典の解説

充足可能問題

数学的問題のひとつ。ブール代数の変数に0か1を代入して、その式の値が1になる可能性を判定する問題。

出典|ASCII.jpデジタル用語辞典
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

充足可能問題の関連キーワードブール型ブール代数主成分分析数理計画法線形代数学代数学の基本定理偏導関数重相関係数マルチバリエイト分析センシティビティ分析

今日のキーワード

パラチオン、パラチオンメチル

パラチオンは無色で油状の液体、パラチオンメチルはコハク色の液体。ともに毒性が強く、有機リン系殺虫剤として使用された。50年代以降、稲の害虫被害を防ぐことが確認され、広く導入された。しかし、農民の中毒死...

続きを読む

コトバンク for iPhone