へんすうちかんの英語

パルス転送変数生成部１５３は入力変数及び出力変数等のパルス転送変数を生成し、パルス転送変数値管理プログラム生成部１５４は入力完了変数、出力完了変数を用いて上記パルス転送変数値を管理するによるパルス転送変数値管理プログラムを生成する。例文帳に追加

A pulse transfer variable producing unit 153 produces a pulse transfer variable such as an input variable, an output variable, and a pulse transfer variable value management program producing unit 154 produces a pulse transfer variable value management program for managing a pulse transfer variable value using an input completion variable, and an output completion variable. - 特許庁

パラレル置換を利用したＢＤＤ変数をリオーダする方法及びシステム例文帳に追加

METHOD AND SYSTEM FOR REORDERING BDD VARIABLES USING PARALLEL PERMUTATION - 特許庁

我々は,「引き数関数」のどのプロパティが「価値関数」に変換されたかを調べる．例文帳に追加

We investigate which properties of the ``argument functions'' are translated into the ``value functions''.発音を聞く  - コンピューター用語辞典

前記ファイルに加えて、前記一覧ファイルに基づいて作成され、該一覧ファイル中の前記置換対象変数とこの置換対象変数に対応づけられた置換対象文字列とが記述された置換文字列定義ファイルを入力パラメータとして、前記ソースファイル中の置換対象変数を対応する前記置換対象文字列に変換する置換プログラムを更に供給するのが望ましい。例文帳に追加

With the file and a replaced character string definition file prepared based on the list file and having the replaced variables in the list file and replaced character strings in correspondence with the replaced variables used as input parameters, a replacement program for converting the replaced variables in the source file into the corresponding replaced character strings is desirably be further supplied. - 特許庁

サンプル点生成部１０５は、その関係式に含まれる設計変数及び置換変数に対応する複数のサンプル点を生成する。例文帳に追加

A sampling point generation unit 105 generates a plurality of sampling points corresponding to the design variables and the substitution variable included in the relational expression. - 特許庁

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

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 known function L (θ, ϕ) having the two angles θ, ϕ as variables is a focal distance. - 特許庁

応答生成部９３は、その選択した出力例の変数を、その変数に対応する入力文の単語に置換し、応答文を作成する。例文帳に追加

The response generation part 93 replaces the variable of the selected output example with the word of the input sentence corresponding to the variable and prepares the response sentence. - 特許庁