再帰的プログラムの英語

末端再帰は反復と等価であるので、末端再帰型プログラムは反復型プログラムと同じく効率的にコンパイルできる。例文帳に追加

Because tail recursion is equivalent to iteration, tail-recursive programs can be compiled as efficiently as iterative programs.発音を聞く  - コンピューター用語辞典

表明に基づいて再帰データを扱うプログラムを静的に検証することができるプログラム検証装置を提供する。例文帳に追加

To provide a program verification device capable of statically verifying a program for handling recursive data on the basis of representation. - 特許庁

再帰データを扱うプログラムをモデル検査法により効率的に検証すること。例文帳に追加

To efficiently verify a program handling recursive data by a model checking method. - 特許庁

この分離によって、再帰的プログラム構成の導入は、一般的なアルゴリズムで扱い得るパターン照合問題に還元し得る。例文帳に追加

By this separation, the induction of recursive program schemes can be reduced to a pattern-matching problem which can be handled by a generic algorithm.発音を聞く  - コンピューター用語辞典

加熱表面裏面の面積熱拡散時間を計算するプログラムを作成し、それを再帰的に呼び出すことで任意の層の数の多層材料の加熱表面裏面の面積熱拡散時間の計算が可能となり、多層材料熱物性解析プログラムの開発効率を向上させる。例文帳に追加

A program for calculating an area thermal diffusion time of the heating surface and the back is composed, and by calling it recursively, calculation of the area thermal diffusion time of the heating surface and the back of the multilayered material having an optional number of layers becomes possible, to thereby improve a development efficiency of a multilayered material thermophysical analysis program. - 特許庁

画像処理プログラム４は、相関値に基づいて改ざん候補ブロックを特定し、特定された領域に対して再帰的に改ざん検知処理を行って改ざん位置を特定する。例文帳に追加

The image processing program 4 specifies a falsification candidate block, based on the correlation value, and recursively applies falsification detection processing to the specified area so as to specify a falsification position. - 特許庁

電子辞書装置あるいは電子辞書プログラムにおいて、辞書ファイルの内容を再帰的に検索することで、単語をノードとするグラフのデータ形式を構築し、関連する単語群を有向グラフあるいは無向グラフとして表示装置上に一括表示する。例文帳に追加

In the electronic dictionary device or in the electronic dictionary program, contents of a dictionary file are recursively searched, whereby a data format of a graph in which a word is set as a node is structured, and the related word groups are collectively displayed as a directed graph of a non-directed graph. - 特許庁