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

Each tuple contains four values: the type, the quantifier, the name, and a tuple of children.例文帳に追加

各タプルには 4 つの値: 型、限定詞 (quantifier)、名前、そして子のタプル、が収められています。 - Python

These constants can be collected in two groups: the model type group and the quantifier group.The constants in the model type group are:例文帳に追加

これらの定数は二つのグループ: モデル型 (model type) グループと限定子 (quantifier)グループ、に取りまとめられます。 - Python

a quantifier meaning not as great in amount or degree 例文帳に追加

量や程度においてそれほど大きくない量の意味 - 日本語WordNet

quantifier meaning greater in number 例文帳に追加

総がより大きいということを意味する数量詞 - 日本語WordNet

quantifier meaning the greatest in number 例文帳に追加

総計で最も大きいということを意味している数量詞 - 日本語WordNet

quantifier meaning the smallest in number 例文帳に追加

数が最小であることを意味する数量詞 - 日本語WordNet

a logical quantifier that asserts all values of a given variable in a formula 例文帳に追加

論理学で,全称を表す記号 - EDR日英対訳辞書

The constants in the quantifier group are: 例文帳に追加

限定子グループにおける定数を以下に示します: - Python

[18f]-labeled substance p antagonist receptor quantifier is a type of pet radioligand and a type of radiolabeled neurokinin-1 receptor antagonist. 例文帳に追加

[18f]-labeled substance p antagonist receptor quantifierは、pet用放射性リガンドの一種であり、放射標識ニューロキニン-1受容体拮抗物質の一種でもある。 - PDQ®がん用語辞書 英語版

a quantifier meaning greater in size or amount or extent or degree 例文帳に追加

サイズ、量、範囲または程度において大きさを意味する数値化 - 日本語WordNet

The universal quantifier denotes that all objects satisfy the condition. 例文帳に追加

汎用修飾子はすべての対象がその条件を満足することを意味する。 - コンピューター用語辞典

Quantifier, crescent annual serial number, comprised of five numbers, beginning with 00001; 例文帳に追加

数量子。00001から始まる5桁の数字で，年ごとに連続番号が大きくなる。 - 特許庁

A quantifier elimination unit 104 eliminates a design variable to which a quantifier is attached from the logical expression obtained by the substitution to thereby generate a relational expression including the substitution variable and the design variables without any attached quantifier.例文帳に追加

限量記号消去部１０４は、置換により得られる論理式から、限量記号が付された設計変数を消去することにより、置換変数及び限量記号が付されていない設計変数を含む関係式を生成する。 - 特許庁

a quantifier that can be used with count nouns and is often preceded by `as' or `too' or `so' or `that' 例文帳に追加

可算名詞と共に使用できて、しばしば『as』『too』によって先行されている数量詞、『so』または『that』 - 日本語WordNet

a quantifier that can be used with count nouns and is often preceded by `a' 例文帳に追加

可算名詞と共に使用できて、しばしば'a'によって先行されている数量詞 - 日本語WordNet

a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true 例文帳に追加

少なくとも主張が真実である1つのものの存在を断言する主張の論理的な数量詞 - 日本語WordNet

a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things 例文帳に追加

もののクラスのすべてのメンバーにとって、提案が正しいと断言する提案の論理的な数量詞 - 日本語WordNet

What the blank referent really means is that we have an invisible "existential quantifier". 例文帳に追加

指示物がブランクであることが実際に何を意味するかというと、目に見えない「存在作用素」があるということなのである。 - コンピューター用語辞典

Quantifier will be amended and replaced by the number immediately next to the last number given to the industrial models of the year corresponding to its filing.例文帳に追加

数量子変更され，提出に対応する年のひな形に与えられた最後の数字の直後の数字に置き換える。 - 特許庁

For the reachable property node, a quantifier-free formula (QFP) in a decidable subset of first order logic is determined.例文帳に追加

到達可能なプロパティ・ノードに対して、１次論理の決定可能なサブセット内の限定記号のない数式（ＱＦＰ）を決定する。 - 特許庁

To determine the accuracy of model parameter calculation by deciding the range of the numerical value of a model parameter using a quantifier elimination method.例文帳に追加

限定記号消去法を用いてモデルパラメータの数値の範囲を決定し、モデルパラメータ計算の精度を判定可能とする。 - 特許庁

Such a technique recognizes both quantifier scope ambiguity and attachment ambiguity in a representation that uses an efficient skeleton/modifier representation where possible and a contexted representation otherwise.例文帳に追加

これらの技法は、可能な場合には、効率的な骨組／修飾句表現を使う表現法における、量化範囲曖昧さ及び連結曖昧さの両方を認識し、層でない場合には、文脈化表現を認識する。 - 特許庁

The information about the sentence structure of the adverbial particle 'bakari' included in an inputted sentence is extracted, and whether the word 'bakari' relates to a quantifier or not is determined.例文帳に追加

入力文に含まれる副助詞「ばかり」の構文情報を抽出して、副助詞「ばかり」が数量詞に係っているかどうかについて判断して、判断結果が真であれば副助詞「ばかり」の意味を「程度」に、それ以外は「限定」に決定して、意味解析の結果を出力する。 - 特許庁

A model parameter determination program causes a computer to execute; a procedure of substituting variables, variables calculated by initial values of model parameters, and differential values of variables into a first-order predicate logic formula; a procedures of substituting assumes values into unknown parameters in the logic formula after the substitution; and a procedure of applying a quantifier elimination method to the formula to obtain the error upper limit value.例文帳に追加

モデルパラメータ決定プログラムは、変数およびモデルパラメータの初期値を用いて計算された変数、変数の微分値をモデルに対応する一階述語論理式に代入する手順と、代入後の論理式内の未知パラメータに仮定値を代入する手順と、その後の論理式に限定記号消去法を適用して誤差上限値を求める手順とを計算機に実行させる。 - 特許庁