不変式の英語

広く使われているコンパイラ最適化には、ループ本体からループのプリヘッダへ移動するループ不変式が含まれている。例文帳に追加

A widely-used compiler optimization involves moving loop-invariant expressions from the body of a loop to the loop’s preheader.発音を聞く  - コンピューター用語辞典

この有限体ＧＦ（ｐ）上、類多項式Ｈ_d （ｘ）＝０の根をｊ不変数にもつ楕円曲線及び元を用いる。例文帳に追加

In the finite field GF(p), the elliptic curve or an element with a radical of class polynomial H_d(x)=0 in j invariable is used. - 特許庁

既存のゼロ知識証明携帯プログラム配信方式においては公開していた不変条件を秘匿し、不変条件及び証明本体に基づくリバースエンジニアリングを防止し、配信プログラムの耐タンパ性を向上させるプログラム配信方式を提供する。例文帳に追加

To provide a program distribution system for keeping constant conditions which are disclosed in the existing distribution system of a zero knowledge verification portable program secret, preventing reverse engineering based on the constant conditions and a verification body and enhancing tamper resistance of a distribution program. - 特許庁

フリーデルの法則は、運動学的回折が入射ビームに関わる結晶の反転のもとで不変であると述べることによって定式化された。例文帳に追加

The Friedel's law has been formulated by stating that kinematical diffraction is invariant under an inversion of the crystal with respect to the incident beam.発音を聞く  - 科学技術論文動詞集

第２の検査手段は、検査対象のポリシ記述の事後条件と、ポリシ記憶部１６２に登録済みのポリシ記述の事後条件と、不変条件とを∧結合した論理式を生成し、充足判定手段１３により、生成した論理式の充足性を判断することで、不変条件が成立する条件の下、ポリシ記述間で衝突が生じるか否かを検査する。例文帳に追加

A second inspection means generates a logical expression wherein the invariant condition, the postcondition of the policy description already registered in a policy storage part 162, and the postcondition of the policy description of an inspection target are connected, and decides sufficiency of the generated logical expression by a sufficiency decision means 13 to inspect whether collision occurs between the policy descriptions under the condition wherein the invariant condition is satisfied. - 特許庁

つまり、文字形式英数字、ゾーン形式１０進数そしてロジックによるデータ変換やパック形式１０進数等を、必要に応じて交互に駆使することにより、夫々のデータ格納領域を拡張しない（レコード長、ブロック化因数は不変）で、各種番号コードの増桁問題を解決する手段を提供するものである。例文帳に追加

Thus, it is possible to solve the problem of the increasing digits of the various number codes without extending each data storage region (while the record length and blocking factors are made invariable) by alternately using the alphanumeric characters, the zone type decimal numbers, the logic data conversion, or the pack type decimal numbers as necessary. - 特許庁

時間微分法は、輝度関数が不変であるとして時系列画像間で対応をとったものであり、Ｘ方向、Ｙ方向の速度データを簡素な計算式で求めることができるため、計算負荷が大きく軽減される。例文帳に追加

In the space time differential method, time series images are associated with each other with the assumption that a brightness function is invariant, and the velocity data in an X direction and a Y direction can be obtained by a simple calculation expression, thereby extremely reducing the computational load. - 特許庁

本発明は、ＭＲＥ測定の結果が（縦波の場合、或いは、反射のある環境の場合でも）粘弾性物質中の機械的波動の挙動を厳密に記述する偏分方程式の時不変的解であるという洞察に基づく。例文帳に追加

The invention is based on the insight that the results of the MRE measurement are the time-independent solution of the partial differential equations describing exactly the behavior of mechanical waves in viscoelastic material (even for longitudinal waves and in a reflecting environment). - 特許庁