翻訳と辞書 Words near each other ・ 充溢 ・ 充用 ・ 充盈像 ・ 充血 ・ 充血、怒張、うっ血、うっ滞(体液で腫れること) ・ 充血した ・ 充血した目 ・ 充血性頭痛 ・ 充行状 ・ 充足 ・ 充足可能性 ・ 充足可能性問題 ・ 充足律 ・ 充足根拠律 ・ 充足理由律 ・ 充電 ・ 充電ちゃん ・ 充電スタンド ・ 充電ステーション ・ 充電器 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 充足可能性 ： ミニ英和和英辞書 充足可能性[じゅうそく] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 充足 ： [じゅうそく] 　 1. (n,vs) sufficiency　 ・ 足 ： [あし] 　【名詞】 1. foot　2. pace　3. gait　4. leg　 ・ 可 ： [か] 　 1. (n,n-suf) passable　 ・ 可能 ： [かのう] 　 1. (adj-na,n) possible　2. practicable　3. feasible　 ・ 可能性 ： [かのうせい] 　【名詞】 1. potentiality　2. likelihood　3. possibility　4. availability　 ・ 能 ： [よく, のう] 　 1. (adv,n,vs) being skilled in　2. nicely　3. properly　4. well　5. skillfully　6. thoroughly 充足可能性 （ リダイレクト：充足可能性問題 ） ： ウィキペディア日本語版 充足可能性問題[じゅうそくかのうせいもんだい] 充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem, SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。 ==定義== 真偽値をとる論理変数 $\backslash textstyle$ および論理演算子により論理式を構成する。 *論理否定 $(\backslash bar)\; \backslash dots\; x\_1$ が真ならば偽 偽ならば真 *論理和 $(x\_1\; \backslash lor\; x\_2)\; \backslash dots\; x\_1$ が真ならば $x\_1\backslash ,$ 偽ならば $x\_2\backslash ,$ *論理積 $(x\_1\; \backslash land\; x\_2)\; \backslash dots\; x\_1$ が真ならば $x\_2\backslash ,$ 偽ならば$x\_1\backslash ,$ *リテラル - 論理変数 $(x\_1)\backslash ,$ またはその否定 $(\backslash bar)$ *節 - リテラルの論理和 $(x\_1\; \backslash lor\; \backslash bar\; \backslash lor\; ...)$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「充足可能性問題」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Boolean satisfiability problem 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.