形式的問題解決の英語

プログラムを、命令型言語（imperative language）から宣言型言語（declarativelanguage）へ形式的に変換することに伴う問題を解決すること。例文帳に追加

To solve the problem caused by formal translation of a program from imperative language to declarative language. - 特許庁

入力された映像信号のフレーム周波数を検出し、フレーム周波数に応じて同期信号の位相を調整することにより、フレーム周波数に応じてシャッタ形式の液晶メガネに送信する左右映像の切替え信号（以降、ＬＲ信号と述べる）の遅延時間を自動的に調整する機能を有することにより、上述したクロストークの問題を解決するものである。例文帳に追加

A frame frequency of an input video signal is detected, and a phase of a synchronization signal is adjusted according to the frame frequency, thus automatically adjusting delay time of a switching signal (hereinafter referred to as an LR signal) of the right and left pictures to be transmitted to shutter type liquid crystal glasses according to the frame frequency. - 特許庁

密閉容器内に上軸受けを固定する形式のロータリーコンプレッサーで、シリンダと上軸受けの固定にボルトを用いた場合、芯ずれを防止するために高トルク対応ボルトの採用とシリンダの変形等の問題点を解決し，芯ずれを防止し安価なボルトを採用できることを目的とする。例文帳に追加

To solve the problem of employment of a high torque bolt for preventing center displacement, deformation of a cylinder or the like in the case of using a bolt for fixing the cylinder and an upper bearing, prevent the center displacement, and employ the inexpensive bolt in a rotary compressor of a type of fixing the upper bearing in a sealed vessel. - 特許庁