「Disjunctive」を含む例文一覧(8)
- The memory portions are disjunctive.
これらメモリ部分は分離的である。 - 特許庁 - in philosophy, a kind of concept called a disjunctive proposition
離接的概念という哲学概念 - EDR日英対訳辞書 - VERIFICATION BASED ON DISJUNCTIVE TRANSITION RELATION DECOMPOSITION
選言的遷移関係分解に基づく検証 - 特許庁 - in formal logic, a method of reasoning, called disjunctive syllogism
形式論理学において,選言的三段論法という論法 - EDR日英対訳辞書 - disjunctive conjunctions like `but', `or', or `though' serve a contrastive function
but、or、またはthoughのような離接接続詞は、対照的な機能に役立つ - 日本語WordNet - A conversion means 13 converts a predicate logic describing the condition into a DNF (Disjunctive Normal Form) standard form.
変換手段１３は、条件を記述した述語論理を、ＤＮＦ標準形に変換する。 - 特許庁 - BINARY TREE GENERATION METHOD, FILTER EXPRESSION DISJUNCTIVE NORMAL FORM GENERATION METHOD AND COMPUTER-READABLE RECORDING MEDIUM FOR THE SAME
バイナリ・ツリー生成方法、フィルタ式の積和標準形生成方法及びそのためのコンピュータで読み出し可能な記録媒体 - 特許庁 - A program is decomposed for bounded model checking (BMC) into subproblems by creating a tunnel based on disjunctive control paths through the program.
プログラムは、このプログラムを介して分離的な制御経路にもとづいてトンネルを創出することによる、有界モデル検査（ＢＭＣ）のために、下位問題に分解されている。 - 特許庁
