predicatesとは 意味・読み方・使い方

`Socrates is a man' predicates manhood of Socrates発音を聞く 例文帳に追加

『ソクラテスは人である』ソクラテスが人間であることを断定する - 日本語WordNet

IMPROVED QUERY OPTIMIZER USING IMPLIED PREDICATES例文帳に追加

暗黙の述部を使用する改良されたクエリ・オプティマイザ - 特許庁

A set of results satisfying the minimal number of predicates is rendered.例文帳に追加

最低数の述語を満たす結果のセットがレンダリングされる。 - 特許庁

A delivery means 14 divides the predicates in an AND term included in the predicate logic converted into the DNF standard form into predicates determined by information whose modification frequency is low and predicates determined by information whose modification frequency is high, and evaluates the predicates determined by the information whose modification frequency is low.例文帳に追加

配信手段１４は、ＤＮＦ標準形に変換された述語論理に含まれる論理積項中の述語を、変更頻度が低い情報によって決定される述語と、変更頻度が高い情報によって決定される述語とに分け、変更頻度が低い情報によって決定される述語の評価を行う。 - 特許庁

The operator module also defines a few predicates to test the type of objects.例文帳に追加

operator モジュールでは、オブジェクトの型を調べるための述語演算子も定義しています。 - Python

An attribute analyzing means 9 analyzes the grammatical attribute of the parts of speech based on the suffixes of predicates.例文帳に追加

属性解析手段９は、述語の接尾語に基づいて、その文法的属性を解析する。 - 特許庁

Then, one is selected from the predicates determined by the information whose modification frequency is high, the selected predicate is delivered to a management object computer 20, and intermediate evaluation data including the remaining predicates is stored in an evaluation storage device.例文帳に追加

その後、変更頻度が高い情報によって決定される述語の中から１つを選択し、選択した述語を管理対象計算機２０に配信すると共に、残りの述語を含む中間評価データを評価記憶装置に記憶する。 - 特許庁

a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)発音を聞く 例文帳に追加

個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に） - 日本語WordNet