「論理記号」を含む例文一覧(38)
- 記号論理学
symbolic logic - 日本語WordNet - 記号論理学に熟練した人
a person skilled at symbolic logic - 日本語WordNet - 存在記号という,論理学での記号
a quantifier in logic, called existential quantifier - EDR日英対訳辞書 - ジョージ・ブールが考案した記号論理学の体系
a system of symbolic logic devised by George Boole - 日本語WordNet - 記号論理学の規則に従うオペレーション
an operation that follows the rules of symbolic logic - 日本語WordNet - 論理ゲートはAND,OR,NOTという記号の形で表わされる
Logic gates are symbolized and expressed in AND, OR or NOT - コンピューター用語辞典 - 論理学で,全称を表す記号
a logical quantifier that asserts all values of a given variable in a formula - EDR日英対訳辞書 - 記号論理学の立場から推論すること
the action of deducing something from the standpoint of symbolic logic - EDR日英対訳辞書 - 科学の言語の論理的分析を基盤とし,記号論理学を発展させた哲学
a philosophy that is based on logical analysis of the language of science that developed symbolic logic - EDR日英対訳辞書 - 入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言語表現の自動的学習の実現。
To achieve: simplification of an input sentence to a sentence at a symbolic logic expression level, inference using a simple sentence at a symbolic logic expression level and generation of an output sentence on the basis of a sentence at a symbolic logic expression level by a unified and simple method, and to achieve automatic learning of a logic or language representation by a similar method. - 特許庁 - 入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言語表現の自動的学習の実現。
To provide an integrated and simple method of simplifying an input sentence to a symbol logic expression level of sentence, of deriving the symbol logic expression level using a simple sentence, and of generating an output sentence based on the symbol logic expression level of sentence, and to provide automatic learning of a logic or language expression by the same method. - 特許庁 - 数学あるいは論理学表現で用いられる（xやyのような）記号で、変動量を示す
a symbol (like x or y) that is used in mathematical or logical expressions to represent a variable quantity - 日本語WordNet - データ流れ図は4種の記号を使って論理システムの構成要素を表わす
A data flow diagram uses four symbols to represent the components of a logical system - コンピューター用語辞典 - 論理(ブール)式は,SETB記号に,2進数値,1または0を割り当てるために使用することができる
You can use a logical(Boolean) expression to assign the binary value 1 or 0 to a SETB symbol - コンピューター用語辞典 - ...は回帰モデルの三つの型、すなわち、線形、多項式、および記号論理回帰を定義する。
... defines three types of regression models: linear, polynomial, and logistic regression. - コンピューター用語辞典 - 集合と位相と記号論理によるリレーショナル・データベース検索処理方法
RELATIONAL DATABASE SEARCH PROCESSING METHOD USING SET, PHASE AND SYMBOLIC LOGIC - 特許庁 - 種々の地図記号の概念の階層的論理関係を定義した階層分類辞書１１８が用意される。
A hierarchy classification dictionary 118 is prepared to define the hierarchical logical relations of various map symbol concepts. - 特許庁 - 入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言い換え表現の自動的学習の実現。
To simplify an input statement to a statement at a symbolic logic expression level; to realize a unified simple method for generating an output statement on the basis of an inference using a simple statement at a symbolic logic expression level and a statement at a symbolic logic expression level; and to realize automatic learning of a logic or a paraphrasing representation by a similar method. - 特許庁 - 従来記号論理式によって行われている推論処理を、記号論理式と同レベルの単純さの自然言語文を用いて行い、それにより入力文から出力文への変換処理を統一する。
Inference processing which has been conventionally made by a symbol logical expression is carried out by using a natural language sentence having a simplicity at a level similar to that of the symbolic logic expression, thereby conversion processing from the input sentence to an output sentence is unified. - 特許庁 - また、入力文から記号論理式レベルの単純さの文への言い換えを逆用して、記号論理式レベルの単純さの文に基づく出力文生成を実現する。
Generation of the output statement based on a statement simplified at a symbolic logic expression level can be realized by taking advantage of the paraphrasing representation from the input statement to a statement simplified at a symbolic logic expression level. - 特許庁 - 従来記号論理式によって行われている推論処理を、記号論理式と同レベルの単純さの自然言語文を用いて行い、それにより入力文から出力文への変換処理を統一する。
Inference processing executed conventionally by a symbol logical expression is carried out using a natural language sentence as simple as the symbol logical expression, to convert the input sentence into an output sentence in a unified manner. - 特許庁 - 従来記号論理によって行われている推論処理を、記号論理式と同レベルの単純さの自然言語文を用いて行い、それにより入力文から出力文への変換処理を統一する。
Inference by a conventional symbolic logic is carried out by using a natural language statement simplified at the same level as for the symbolically logic expression, and thus, conversion from an input statement to an output statement is unified. - 特許庁 - 限量記号消去部１０４は、置換により得られる論理式から、限量記号が付された設計変数を消去することにより、置換変数及び限量記号が付されていない設計変数を含む関係式を生成する。
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. - 特許庁 - 半導体論理回路装置の回路情報において、Ｘ故障ゲートＧｉのファンアウト信号線に出現可能な故障論理値を表すＸ記号を挿入する。
An X signal showing a failure logical value capable of appearing in a fan-out signal line of an X failure gate Gi is inserted into circuit information on a semiconductor logic circuit device. - 特許庁 - これは一例として判別結果Ｄｇ１とＤｇ３の論理和を取りその反転記号と画像データＤｃの各ビットとの論理積を取ることにより実現できる。
For example, this is realized by the operation wherein a logical sum of the judgment results Dg1, Dg3 is obtained and the logical product of the reverse symbol thereof and each bit of image data Dc is obtained. - 特許庁 - 個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に）
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) - 日本語WordNet - 指定された集合のいかなる要素の名前にも取り替えることができる論理式あるいは数式の記号
a symbol in a logical or mathematical expression that can be replaced by the name of any member of specified set - 日本語WordNet - また、入力文から記号論理式レベルの単純さの文への言い換えを逆用して、出力文生成を実現する。
The output sentence is generated also using conversion from the input sentence to the sentence as simple as the symbol logical expression. - 特許庁 - また、入力文から記号論理式レベルの文への言い換えを逆用して、出力文生成を実現する。
Also, the output sentence is generated by reversely using the paraphrase from the input sentence to a sentence at a symbolic logic expression level. - 特許庁 - 抽出部１６０は、ユーザからの検索要求によって指定される検索語から論理記号によって結合される複数の文字列を抽出する。
An extraction part 160 extracts a plurality of character strings connected by a logic symbol from a retrieval word designated by the retrieval request from the user. - 特許庁 - 到達可能なプロパティ・ノードに対して、１次論理の決定可能なサブセット内の限定記号のない数式（ＱＦＰ）を決定する。
For the reachable property node, a quantifier-free formula (QFP) in a decidable subset of first order logic is determined. - 特許庁 - 次に、Ｘ記号に２値論理シミュレーションを行ってＸ分解によるシミュレーション出力ベクトルを得る。
Next, two-valued logic simulation is performed in the X signal, and a simulation output vector by X resolution is acquired. - 特許庁 - 前記表示手段は、複数の用語もしくは文章の組み合わせが論理記号を用いて表示されたり、所定の記号で改行されたり連続表示される。
The combination of the plurality of terms or texts is displayed by using logical symbols, and line-feeded or continuously displayed with predetermined symbols at the display means. - 特許庁 - モデルパラメータ決定プログラムは、変数およびモデルパラメータの初期値を用いて計算された変数、変数の微分値をモデルに対応する一階述語論理式に代入する手順と、代入後の論理式内の未知パラメータに仮定値を代入する手順と、その後の論理式に限定記号消去法を適用して誤差上限値を求める手順とを計算機に実行させる。
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. - 特許庁 - 選択的経路量化記号と時相演算子の任意のネスティングを認めるかどうかに従って, 二つの時間交代性時相論理, ATLとATL*とが得られる.
Depending on whether we admit arbitrary nesting of selective path quantifiers and temporal operators, we obtain the two alternating-time temporal logics ATL and ATL*. - コンピューター用語辞典 - その手段として、数字、ローマ字、カタカナ、ひらかな、漢字、記号、絵等を印字したラベルをサブキューブに貼って成る立体論理玩具の構造としたことを特徴とする。
As a means therefor, a label, on which numerals, Romon letters, Katakana syllabary, Hiragana syllabary, Chinese characters, symbols, pictures, or the like, are printed, is affixed to a sub-cube. - 特許庁 - 構成要素評価機構１８は、全文検索エンジン１７によって検索された要素文書を含む複合文書を構成要素関連情報に基づいて特定し、特定された複合文書のうち、上記論理記号の示す論理条件を満たす複合文書を検索要求に対する検索結果として取得する。
A component evaluation mechanism 18 specifies composite documents containing the element documents retrieved by the full text retrieval engine 17, based on component relevant information, and acquires a composite document satisfying a logic condition shown by the logic symbol of the specified composite documents as a retrieval result to the retrieval request. - 特許庁 - チェック条件作成部１６において、交換機などのソフトデータの誤りをチェックするためのチェック条件に対応し、且つソフトデータのデータチェックプログラム３０を生成する際に用いられるチェック条件論理式を、ソフトデータのデータ名に、記号である演算子および関数を組み合わせることにより作成する。
In a checking condition creating part 16, a checking condition logical formula, which corresponds to a checking condition to check the error of soft data of a switching equipment or the like and which is used when a data checking program 30 of the soft data is generated, is created by combining an operator and a function of a symbol with a data name of the soft data. - 特許庁
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
- Copyright © National Institute of Information and Communications Technology. All Rights Reserved.
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
