1016万例文収録!

「disjunctive」に関連した英語例文の一覧と使い方 - Weblio英語例文検索


小窓モード

プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > disjunctiveの意味・解説 > disjunctiveに関連した英語例文

セーフサーチ:オン

不適切な検索結果を除外する

不適切な検索結果を除外しない

セーフサーチについて

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例文帳に追加

選言的遷移関係分解に基づく検証 - 特許庁

disjunctive conjunctions like `but', `or', or `though' serve a contrastive function 例文帳に追加

but、or、またはthoughのような離接接続詞は、対照的な機能に役立つ - 日本語WordNet

例文

in formal logic, a method of reasoning, called disjunctive syllogism 例文帳に追加

形式論理学において,選言的三段論法という論法 - EDR日英対訳辞書


例文

A conversion means 13 converts a predicate logic describing the condition into a DNF (Disjunctive Normal Form) standard form.例文帳に追加

変換手段13は、条件を記述した述語論理を、DNF標準形に変換する。 - 特許庁

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.例文帳に追加

プログラムは、このプログラムを介して分離的な制御経路にもとづいてトンネルを創出することによる、有界モデル検査(BMC)のために、下位問題に分解されている。 - 特許庁

索引トップ用語の索引



  
Copyright © Japan Patent office. All Rights Reserved.
  
日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2024 License. All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.License
  
EDR日英対訳辞書
Copyright © National Institute of Information and Communications Technology. All Rights Reserved.
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS