最終更新日:2025/12/01
例文

その定理は、制約解決の問題で遭遇するいくつかの一般的な充足不能な事例を列挙している。

復習用の問題

The theorem lists several common unsatisfiabilities encountered in constraint-solving problems.

正解を見る

The theorem lists several common unsatisfiabilities encountered in constraint-solving problems.

音声機能が動作しない場合はこちらをご確認ください

関連する単語

unsatisfiabilities

名詞
活用形 複数形
日本語の意味
充足不可能性の複数形。論理学などにおいて、ある式や条件集合がいかなる充足割り当てによっても真とならない状態を示す。
このボタンはなに?

その定理は、制約解決の問題で遭遇するいくつかの一般的な充足不能な事例を列挙している。

英語 - 英語

項目の編集設定
  • 項目の編集権限を持つユーザー - すべてのユーザー
  • 項目の新規作成を審査する
  • 項目の編集を審査する
  • 項目の削除を審査する
  • 重複の恐れのある項目名の追加を審査する
  • 項目名の変更を審査する
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
例文の編集設定
  • 例文の編集権限を持つユーザー - すべてのユーザー
  • 例文の削除を審査する
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
問題の編集設定
  • 問題の編集権限を持つユーザー - すべてのユーザー
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
編集ガイドライン

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★