unsatisfiable

「unsatisfiable」の発音・読み方

カタカナ読み(目安)アンサティスファイアブル

「unsatisfiable」の意味

「unsatisfiable」の例文

The formula is unsatisfiable under these constraints.

これらの制約下ではその式は満たせない。

「unsatisfiable」のレベル別の例文

「 unsatisfiable」のコアイメージ コアイメージ

与えられた制約や条件を満たす解や実現手段が存在しない状態を指す

「unsatisfiable」のよく使う型

「unsatisfiable」とよく一緒に使う語

「unsatisfiable」のよくある間違い

  • ✕ I am unsatisfiable.

    ○ This requirement is unsatisfiable.

    unsatisfiableは通常、要求・条件・問題など、満たす対象について使う。人にも使えるが、「何をしても満足させられない人」という特殊な意味になる。

「 unsatisfiable」の英英 英英

Unable to be satisfied; having no possible solution or assignment that fulfills the given constraints, frequently used in SAT and constraint-solving contexts.

「 unsatisfiable」の語源 語源

unsatisfiableは、否定のun-とsatisfiableの結合で、satisfiableはラテン語起源のsatisfy(satis=十分+facere=作る)が語幹となり「満たせる」を表した形から派生して「満たせない」となった

「 unsatisfiable」のコラム コラム

  • SAT問題や制約プログラミングで頻出の用語で、条件や制約の下で解や割り当てが存在しないことを端的に表す

「unsatisfiable」のよくある質問

Q. unsatisfiableは人にも使えますか?
使えますが、通常は要求・条件・問題などが「満たせない」という意味で使います。人を形容すると「何をしても満足させられない」という意味になり、一般的ではありません。人が満足していない場合は、通常unsatisfiedを使います。
Q. unsatisfiableとunsatisfiedの違いは何ですか?
unsatisfiableは、要求や条件などが原理的に満たせない、または論理的に解を持たないという意味です。unsatisfiedは、人が満足していない場合や、要件がまだ満たされていない場合に使います。unsatisfied requirementは「未達成の要件」という意味で正しい表現です。
Q. unsatisfiableはどの分野で使われますか?
業務上の要求や条件に加え、数学・論理学・コンピューター科学で、条件を同時に満たす解が存在しない場合にも使われます。