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

RELATIONAL DATABASE SEARCH PROCESSING METHOD USING SET, PHASE AND SYMBOLIC LOGIC例文帳に追加

集合と位相と記号論理によるリレーショナル・データベース検索処理方法 - 特許庁

a philosophy that is based on logical analysis of the language of science that developed symbolic logic 例文帳に追加

科学の言語の論理的分析を基盤とし,記号論理学を発展させた哲学 - EDR日英対訳辞書

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

入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言い換え表現の自動的学習の実現。 - 特許庁

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

入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言語表現の自動的学習の実現。 - 特許庁

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

また、入力文から記号論理式レベルの単純さの文への言い換えを逆用して、記号論理式レベルの単純さの文に基づく出力文生成を実現する。 - 特許庁

a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them 例文帳に追加

主題を単位として処理し、それらに関係した組み合わせと接続語と関連させる連結語の語派 - 日本語WordNet

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

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

Also, the output sentence is generated by reversely using the paraphrase from the input sentence to a sentence at a symbolic logic expression level.例文帳に追加

また、入力文から記号論理式レベルの文への言い換えを逆用して、出力文生成を実現する。 - 特許庁

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

従来記号論理によって行われている推論処理を、記号論理式と同レベルの単純さの自然言語文を用いて行い、それにより入力文から出力文への変換処理を統一する。 - 特許庁

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

従来記号論理式によって行われている推論処理を、記号論理式と同レベルの単純さの自然言語文を用いて行い、それにより入力文から出力文への変換処理を統一する。 - 特許庁

To provide a debugging device and a debugger control method for extending a breakpoint designation method and command language specifications as to a symbolic debugger to improve convenience and for changing a logic of a program without requiring compiling as to an aspect-oriented programming language.例文帳に追加

シンボリックデバッガに対してはブレークポイントの指定方式とコマンド言語仕様を拡張して利便性を向上する一方、アスペクト指向プログラミング言語に対してはコンパイル不要で、プログラムのロジック変更等が可能なデバッグ装置及びデバッガ制御方法を実現すること。 - 特許庁