「再帰的プログラム」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

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

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. - 特許庁