「logical expression」を含む例文一覧(98)

1 2 次へ＞
  • LOGICAL EXPRESSION INPUT DEVICE AND LOGICAL EXPRESSION VISUALIZATION DEVICE
    論理式入力装置及び論理式可視化装置 - 特許庁
  • the logical expression is true if ～
    その論理式は～の場合に「真」になる - コンピューター用語辞典
  • A logical expression is shown in a BDD (S1).
    論理式をＢＤＤで表現する（ステップＳ１）。 - 特許庁
  • The logical relation is represented as a logical expression using logical operators (Λ(and), V(or), ¬(not), →(if), etc.)
    論理関係は、論理演算子（∧（かつ）、∨（または）、¬（でない）、→（ならば）等）を用いた論理式として表される。 - 特許庁
  • SCHEMATIZING METHOD OF LOGICAL EXPRESSION AND INFORMATION PROCESSOR
    論理式の図式化方法、及び情報処理装置 - 特許庁
  • The logical expression visualization device allows a logical expression to be input without inputting any parenthesis document in a logical expression by constructing the logical expression by using logical operator buttons 33a to 33e, and allows the meaning of the logical expression to be accurately recognized by visually displaying the created logical expression according to the type of the logical operator.
    本発明は、論理演算子ボタン３３ａ〜３３ｅを使用して、論理式を構築することにより、論理式における括弧書の入力を行わずに正確に論理式を入力することができ、かつ作成された論理式を、論理演算子の種別に応じて、その論理式を視覚的に表示することにより、論理式の有する意味を正確に把握することができる論理式可視化装置である。 - 特許庁
  • A character component specifying means 11 specifies the component of the character included in a character logical expression inputted from a character logical expression input means 10 and substitutes this to the character logical expression to create a component logical expression.
    文字論理式入力手段１０から入力された文字論理式に含まれる文字の部品を文字部品特定手段１１において特定し、これを文字論理式に代入して部品論理式を作成する。 - 特許庁
  • METHOD AND DEVICE FOR JUDGING LOGICAL EXPRESSION SATISFIABILITY
    論理式充足可能性判定方法および装置 - 特許庁
  • To provide a logical expression visualization device allowing a logical expression to be accurately input, and allowing meaning of the logical expression to be visually and accurately recognized.
    論理式の入力を正確に行なうことができ、かつ論理式の有する意味を視覚的に正確に把握することができる論理式可視化装置を提供する。 - 特許庁
  • The temporary logical expression is described by only OR conditions.
    仮論理式は、ＯＲ条件のみで記述されている。 - 特許庁
  • SYNCHRONIZATION OF LOGICAL VIEW INDEPENDENT OF PHYSICAL STORAGE EXPRESSION
    物理ストレージ表現とは独立した論理ビューの同期化 - 特許庁
  • The adjustment device 1 generates a temporary logical expression by simplifying the retrieval logical expression of the retrieval request.
    仲介装置１は、検索要求の検索論理式を簡略化することにより、仮論理式を生成する。 - 特許庁
  • If the logical valuable related to a setting mode among the logical valuables is Xp, the logical is expressed as ((first logical expression)ΛXp)V((second logical)ΛXp^-.)
    論理変数のうち設定モードに係る論理変数をＸｐとすると、論理式は（（第１論理式）∧Ｘｐ）∨（（第２論理式）∧Ｘｐ￣）として表される。 - 特許庁
  • A predicative expression conversion part 105 obtains an external variable logical expression that is a partial logical expression depending only on a prescribed restriction variable in an event pattern predicative expression, and generates a Boolean value replacement predicative expression wherein the external variable logical expression is replaced to a Boolean value about a combination of values obtainable as an evaluation result of the external variable logical expression.
    述語式変換部１０５は、イベントパターン述語式において、所定の束縛変数にのみ依存する部分論理式である外変数論理式を求め、当該外変数論理式の評価結果として取りうる値の組み合わせについて、当該外変数論理式をブール値に置き換えたブール値置換述語式を生成する。 - 特許庁
  • a language expression with a logical consistency called discourse
    ディスクールという,論理的な全体性を備えた言語表現 - EDR日英対訳辞書
  • The logical expression of applying operator logc to term.
    演算子 logc をterm に適用したときの論理式を表すクラスです。 - Python
  • In this value logical time series optimal matching processing system, a value logical expression being a logical expression capable of expressing 'ambiguity' is used for eliminating a limit in the control and the processing of the formal logical expression.
    価値論理的時系列最適マッチング処理システムにおいて“あいまいさ”を表現出来る論理式である価値論理式を形式論理式の制御及び処理等における限界を解消するために利用した。 - 特許庁
  • METHOD AND DEVICE FOR EXTRACTING COMMON PART LOGICAL EXPRESSION, AND RECORD MEDIUM RECORDED WITH EXTRACTION PROGRAM OF COMMON PART LOGICAL EXPRESSION
    共通部分論理式の抽出方法および装置、並びに共通部分論理式の抽出プログラムを記録した記録媒体 - 特許庁
  • A logical expression creating section 22 creates a logical expression corresponding to a route to the components from configuration information 33, that a CMDB 32 holds, and sets values of the logical expression on the basis of the alive monitoring information.
    論理式作成部２２は、ＣＭＤＢ３２が保持する構成情報３３から各構成要素にいたる経路に対応する論理式を作成し、論理式の値を死活情報に基づいて設定する。 - 特許庁
  • A logical expression substitution unit 103 substitutes a part of a logical expression input by a logical expression input unit 102 or an objective function approximation polynomial from an objective function modeling unit 101 with a substitution variable.
    論理式置換部１０３は、論理式入力部１０２で入力された論理式又は目的関数モデル化部１０１からの目的関数近似多項式の一部を置換変数にて置換する。 - 特許庁
  • Thus, respective elements of the logical expression are expressed in the tree structure.
    このようにして、論理式の各要素を木構造で表現できる。 - 特許庁
  • An evaluation device 4 refers to the temporary hit table 22 and evaluates the logic only for the retrieval logical expression corresponding to the hit temporary logical expression.
    評価装置４は、仮ヒットテーブル２２を参照し、ヒットした仮論理式に対応する検索論理式についてのみ論理を評価する。 - 特許庁
  • The system specification is described in a logical expression, a cell is selected from a cell library recording unit, and a net list is generated by the cell from the logical expression.
    システム仕様を論理式で記述し、セルライブラリ記録部からセルを選択し、論理式から前記セルによるネットリストを生成する。 - 特許庁
  • System specifications are described by logical expression, a cell is selected from a cell library recording part and a netlist by the cell is generated from the logical expression.
    システム仕様を論理式で記述し、セルライブラリ記録部からセルを選択し、論理式から前記セルによるネットリストを生成する。 - 特許庁
  • The file sorting condition may implicitly include the logical expression.
    ファイル振分条件には、この論理式が黙示的に含まれていてもよい。 - 特許庁
  • a variable in a logical or mathematical expression whose value determines the dependent variable
    論理あるいは数学式の変数で、従属変数を決定する値 - 日本語WordNet
  • a variable in a logical or mathematical expression whose value depends on the independent variable
    論理あるいは数学式の変数で独立変数によって変わる値 - 日本語WordNet
  • The assembler evaluates the logical expression in the operand field at pre-assembly time
    アセンブラーは,事前アセンブリー時に,オペランドフィールドの論理式を評価する - コンピューター用語辞典
  • The $filter parameter is an SQL logical expression string that limits the result set.
    $filter パラメータは SQL の論理式を表す文字列で、結果セットを絞り込みます。 - PEAR
  • If there is discrepancy in the logical expression obtained, a logical expression verifying section 23 determines that there is inequality between the configuration information 33 and a configuration of the network 31.
    論理式検証部２３は、得られた論理式に矛盾がある場合に構成情報３３とネットワーク３１の構成との間に不一致があると判定する。 - 特許庁
  • A file sorting condition includes a logical expression of one or more file related elements, and when the related information of a file satisfies the logical expression, a file sorting destination address corresponding to the logical expression is decided as a file sorting destination address.
    ファイル振分条件は、１つ以上のファイル関連要素の論理式を含み、ファイルの関連情報がこの論理式を満たす場合に、この論理式に対応したファイル振分先アドレスをファイル振分先アドレスと決定する。 - 特許庁
  • The first decision logical expression and second decision logical expression show combinations of thresholds that a plurality of radio parameters should satisfy with respect the first network and set radio link.
    第１判定用論理式及び第２判定用論理式は、第１ネットワークと設定された無線リンクにおいて複数の無線パラメータが満たすべき閾値の組み合わせを示す。 - 特許庁
  • A CPU calculates the logical expression E of a prohibition requirement and extracts the preset data.
    ＣＰＵは禁則条件の論理式Ｅを計算し、プリセットデータを抽出する。 - 特許庁
  • The logical expression wherein the dependency relation is expressed is expressed by list-formed algorithm.
    更に、依存関係を表現した論理式をリスト形式のアルゴリズムで表現する。 - 特許庁
  • To reduce processing time for extracting a common part logical expression from plural product-sum type logical expressions in logic design.
    論理設計において、複数の積和形論理式から共通部分論理式を抽出するための処理時間の削減を図る。 - 特許庁
  • To shorten the time required for information retrieval using a retrieval logical expression including keywords.
    キーワードを含む検索論理式を利用した情報検索に要する時間を短縮する。 - 特許庁
  • An existing true/false discrimination system for logical expression is employed so as to discriminate whether the security of the protocol holds by using the logical expression for the security described in this way as an input.
    このようにして記述された安全性の論理式を入力とし、既存の論理式の真偽判定システムを用いて、プロトコルの安全性が成り立つか否かを判定する。 - 特許庁
  • A unit 103 calculates a logical expression indicating a logical relationship between arbitrary two or three objective functions, of the plurality of mathematically approximated objective functions as an inter-objective function logical expression by a QE method.
    １０３は、ＱＥ法等に基づいて、数式近似された複数の目的関数のうちの任意の２つ又は３つの目的関数について、それらの間の論理関係を示す論理式を目的関数間論理式として計算する。 - 特許庁
  • The intermediary device 1 evaluates the logic of each temporary logical expression according to the result of keyword retrieval.
    仲介装置１は、キーワード検索の結果に応じて、各仮論理式の論理を評価する。 - 特許庁
  • You can use a logical(Boolean) expression to assign the binary value 1 or 0 to a SETB symbol
    論理(ブール)式は,SETB記号に,2進数値,1または0を割り当てるために使用することができる - コンピューター用語辞典
  • The firmware has: an initialization routine of reading the logical expression from the second nonvolatile memory, analyzing it, and storing an analysis result thereof into the volatile memory; and a logical operation execution routine of reading the analysis result of the logical expression from the volatile memory and executing it.
    ファームウェアは、第２の不揮発性メモリから論理式を読み出して解析し、その解析結果を揮発性メモリに記憶する初期化ルーチンと、揮発性メモリから論理式の解析結果を読み出して実行する論理演算実行ルーチンとを有する。 - 特許庁
  • An alarm judgment part 11 is provided with a logic judgment parts 1a constituted of logical structure in which a plurality of alarm signals S1 to Sn and a logical expression are combined.
    アラーム判断部１１は、複数のアラーム信号Ｓ_1 ，…，Ｓ_n と論理式とを組み合わせた論理構造で構成された論理判断部１１ａを備えている。 - 特許庁
  • The evaluation results of the temporary logical expression are written into a temporary hit table 22 as one-bit information, respectively.
    仮論理式の評価結果は、それぞれ１ビットの情報として仮ヒットテーブル２２に書き込まれる。 - 特許庁
  • This waveform-measuring device constituted so that measured waveform data are fetched and then displayed on a display screen based on an optionally-set trigger condition logical expression, includes a trigger condition logical expression display part for displaying the optionally-set trigger condition logical expression on a part of the display screen.
    任意に設定されるトリガ条件論理式に基づき測定波形データを取り込み表示画面に表示するように構成された波形測定装置において、前記表示画面の一部に、前記任意に設定されるトリガ条件論理式を表示するトリガ条件論理式表示部を設けたことを特徴とするもの。 - 特許庁
  • The selection line provides a signal expression of logical combinations of at least two different inputs.
    選択ラインは、少なくとも二つの異なる入力の論理的組み合わせの信号表現を提供する。 - 特許庁
  • The JCL file is read, the dependency relation is analyzed, and the dependency relation is interpreted as the logical expression.
    また、ＪＣＬファイルを読み込み、依存関係を解析し、その依存関係を論理式として解釈する。 - 特許庁
  • A retrieval condition acquiring means 2 receives a logical operation expression for a keyword from a user as a retrieval condition.
    検索条件取得手段２は、ユーザから検索条件としてキーワードの論理演算式を受け取る。 - 特許庁
  • The second parameter, $filter, is a string that contains an SQL logical expression that will be ANDed with the WHERE clause of the query before the SELECT command is submitted.
    2 番目のパラメータ $filter は、SQL の論理式を含む文字列で、SELECT コマンドの WHERE 句に AND で連結されます。 - PEAR
  • When a user inputs a key word through an input/output part 12, an input analysis part 13 generates a retrieval expression represented as the logical expression of the key word.
    ユーザが入出力部１２からキーワードを入力すると、入力解析部１３はキーワードの論理式として表現される検索式を生成する。 - 特許庁
  • 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.
    従来記号論理式によって行われている推論処理を、記号論理式と同レベルの単純さの自然言語文を用いて行い、それにより入力文から出力文への変換処理を統一する。 - 特許庁
1 2 次へ＞

例文データの著作権について

  • 特許庁
    Copyright © Japan Patent office. All Rights Reserved.
  • コンピューター用語辞典
    Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
  • EDR日英対訳辞書
    Copyright © National Institute of Information and Communications Technology. All Rights Reserved.
  • 日本語WordNet
    日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2026 License. All rights reserved.
    WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.License
  • 大規模オープンソース日英対訳コーパス
    この対訳コーパスは独立行政法人情報通信研究機構の研究成果であり、Creative Commons Attribution-Share Alike 3.0 Unportedでライセンスされています。
  • Python
    Copyright 2001-2004 Python Software Foundation.All rights reserved.
    Copyright 2000 BeOpen.com.All rights reserved.
    Copyright 1995-2000 Corporation for National Research Initiatives.All rights reserved.
    Copyright 1991-1995 Stichting Mathematisch Centrum.All rights reserved.
  • PEAR
    Copyright © 2001 - 2008 by the PEAR Documentation Group.
    This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at http://www.opencontent.org/openpub/ ).