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

the word class that serves as the predicate of a sentence 例文帳に追加

文の述語として機能する品詞 - 日本語WordNet

From the functional expressions of the predicate immediately after the intermediate predicate, only those that are missing in the intermediate predicate are complemented.例文帳に追加

直後の述部の機能表現から、その中間述部が欠如しているもののみを補完する。 - 特許庁

the term in a syllogism that is the predicate of the conclusion 例文帳に追加

結論の述語である三段論法の名辞 - 日本語WordNet

Make an iterator that drops elements from the iterable as long as the predicate is true; afterwards, returns every element.例文帳に追加

predicateが真である限りは要素を無視し、その後は全ての要素を返すイテレータを作成します。 - Python

predicate Specifies the procedure that is to be called to determine if the next event in the queue matches what you want.例文帳に追加

predicate 1iキューの中の次のイベントが必要なものか決定するために呼ばれる手続きを指定。 - XFree86

In certain kinds of loops (WHILE..DO and REPEAT), there is no loop index, but a loop predicate that is a logical predicate. 例文帳に追加

ある種のループ（WHILE..DOやREPEAT）においては、ループ・インデックスはないが、論理述語の一つであるループ述語がある。 - コンピューター用語辞典

relationship between the expressive power of description languages and that of query languages based on predicate calculus 例文帳に追加

記述言語の表現力と,述語計算法(predicate calculus)に基づく問い合わせ言語の表現力との関係 - コンピューター用語辞典

The "predicate" is that part that shows the action in the sentence. In Japanese it would be the part that ends in "da", "suru", etc. 例文帳に追加

「述部」とは、動作を表す部分で、最後が「〜だ」「〜する」などになる部分です。 - Tanaka Corpus

The "predicate" is that part that shows the action in the sentence. In Japanese it would be the part that ends in "da", "suru", etc.例文帳に追加

「述部」とは、動作を表す部分で、最後が「～だ」「～する」などになる部分です。 - Tatoeba例文

The BPEL Mapper enables you to create a predicate that consists of XPath functions.例文帳に追加

BPEL マッパーを使用すると、XPath 関数からなる述語を作成できます。 - NetBeans

Removes all the files that follow a given predicate from file $URL. 例文帳に追加

指定した条件を満たすすべてのファイルを$URL から削除します。 - PEAR

the premise of a syllogism that contains the major term (which is the predicate of the conclusion) 例文帳に追加

（結論の述語である）大名辞を含む三段論法の前提 - 日本語WordNet

A predicate applies a condition to a node that can have multiple values.例文帳に追加

述語は、複数の値を持つことができるノードに条件を適用します。 - NetBeans

of Kantian thought, the idea that the concept of a predicate is contained in the subject 例文帳に追加

カント哲学において,主語に述語の概念が含まれている判断 - EDR日英対訳辞書

The predicating values that were selected by the predicate circuit, are transmitted to the second stages.例文帳に追加

述語回路によって選択された述語値は、第２のステージに送信される。 - 特許庁

a rule that shows whether a predicate calculus is formed or not, called resolution principle 例文帳に追加

融合原理という,述語論理式が成立するかしないかを表す規則 - EDR日英対訳辞書

in Kantianism, a judgment that attributes to a subject a predicate not contained in the essence of that subject 例文帳に追加

カント哲学において,主語に含まれない新しい述語が主語と結合している判断 - EDR日英対訳辞書

a word in ethics that shows the relationship between the subject and predicate, called copula 例文帳に追加

繋辞という,論理学における命題の主語と述語との関係をあらわす語 - EDR日英対訳辞書

Afterwards, at the time of evaluating the statement, the aggregate predicate is processed so that rank data can be prepared.例文帳に追加

その後、ステートメントを評価する時に、集合述部を処理してランク・データにする。 - 特許庁

in logic, a conclusion that represents the inevitable complementary relation between a subject and its predicate adjective or objective 例文帳に追加

論理学において,判断の主語と述語の関係が必然性をもつことを表す判断 - EDR日英対訳辞書

The unit (131) holds control information items that respectively correspond to the predicate registers and the respective operating units also separately correspond to one predicate register.例文帳に追加

制御情報保持ユニット（１３１）は、述語レジスタに個々に対応する制御情報の項目を保持し、各オペレーティングユニットもまた述語レジスタの１つに個々に対応する。 - 特許庁

To provide a system that supplies efficiently some predicate data that define whether commands are to be carried out with the pipe lines or not.例文帳に追加

命令をパイプラインによって実行するべきか否かを定義する述語データを効率的に提供するシステムを提供する。 - 特許庁

If the predicate parameteris NULL, an internal procedure that checks if the file exists, is readable,and is not a directory will be used. 例文帳に追加

.LP\\fIpredicate\\fP パラメータが NULL の場合、ファイルが存在し、読むことができ、ディレクトリでないことをチェックする内部手続きが使われる。 - XFree86

In this retrieving device 100, an event tree creating part 160d sets "truth" showing that constraints of the query are satisfied or "falsehood" showing that the constraints are not satisfied in a predicate (correspondence to a predicate node) of a node structure constituting event tree data 150f.例文帳に追加

検索装置１００は、イベント木作成部１６０ｄが、イベント木データ１５０ｆを構成するノード構造体の述部（述部ノードに対応）に、クエリの制約条件を満たしている旨を示す「真」または、クエリの制約条件を満たしていない旨を示す「偽」を設定する。 - 特許庁

of a term that cannot stand as the subject or (especially) the predicate of a proposition but must be used in conjunction with other terms 例文帳に追加

主語あるいは主張の述部（特に）として存在することが不可能であり、他の条件とともに使われなければならない語の - 日本語WordNet

When it does not correspond as a result of the diagnosis by the predicate abbreviation diagnosis means, first indication information generation means of the embodiment generates indication information indicating that the objective is away from the predicate and outputs the indication information.例文帳に追加

実施形態の第１の指摘情報生成手段は、前記述語省略診断手段による診断の結果、該当しない場合、前記目的語と前記述語とが離れている旨の指摘情報を生成し、この指摘情報を出力する。 - 特許庁

Each operating unit has a 1st control input connected to the unit (131) in order to receive a control information item that corresponds to a corresponding predicate register proper to the unit and a 2nd control input connected in order to receive a control information item that corresponds to another predicate register.例文帳に追加

各オペレーティングユニットは、そのユニット独自の対応述語レジスタに対応する制御情報項目を受信するために制御情報保持ユニット（１３１）に接続された第１の制御入力を有し、また述語レジスタのさらなる１つに対応する制御情報項目を受信するために接続された第２の制御入力を有する。 - 特許庁

The abstract link description file is also prepared so that the abstract link can describe the quality of document elements of the document files of the link source and destination on the basis of Horn clause predicate representation.例文帳に追加

また、抽象リンク記述ファイルは、抽象リンクがホーン節述語表現に基づきリンク元の文書ファイルとリンク先の文書ファイルとの文書要素の性質を記述するように作成する。 - 特許庁

When an event that the delivered predicate is true occurs in the management object computer 20, an evaluation means 16 extracts the corresponding intermediate evaluation data from the evaluation storage device 15, and performs evaluation of the remaining predicates.例文帳に追加

評価手段１６は、管理対象計算機２０にて、配信された述語が真である旨のイベントが発生すると、評価記憶装置１５から対応する中間評価データを取り出し、残りの述語の評価を行う。 - 特許庁

Finally, while you seem to predicate progress of reform in the U.K. in the ‘70s (cf. website), you may be reminded that the U.K. was still mired in a nearly 30-year economic slump in 1978 when you rated the U.K. foreign currency bond AAA, that Mrs. Thatcher did not become Prime Minister until 1979, and that her reforms got off the ground only well into the ‘80s.例文帳に追加

貴社は70年代に英国の改革が進展したことを前提としているようであるが、貴社が英国の外債をAAAとした７８年当時は、30年近くに亘る英国経済の低迷が続いていた時であり、サッチャー政権の誕生は79年、改革が軌道に乗るのは80年代半ばである。 - 財務省

To search for a string of records that matches a string of predicates p[0] to p[3], the optimal amount of window shifts is determined by analyzing compatibility between predicates in advance and each predicate is checked in the direction opposite to shift direction within each window.例文帳に追加

述語列ｐ［０］，．．．，ｐ［３］にマッチするレコード列を検索するとき、あらかじめ述語同士の両立性を解析することで最適なウィンドウシフト量が決められ、ウィンドウ内においてシフト方向とは逆向きに各述語がチェックされる。 - 特許庁

A system and method for conducting symbolic partial order reduction for concurrent systems includes determining a guarded independence relation which includes transitions from different threads that are independent for a set of states, when a condition or predicate holds.例文帳に追加

コンカレントシステムのための、記号的部分的命令低減を行うシステムおよび方法は、条件または述語が当てはまるとき、一群の条件について独立である異なったスレッドからの遷移を含む、保護された独立関係を求めることを含む。 - 特許庁