| 意味 | 例文 (73件) |
記号実行の英語
追加できません
(登録数上限)
単語を追加
英訳・英語 symbolic execution
「記号実行」の部分一致の例文検索結果
該当件数 : 73件
ソース記号書類に関する動作を実行するための技術例文帳に追加
TECHNOLOGY FOR PERFORMING OPERATION ABOUT SOURCE SIGN DOCUMENT - 特許庁
処理実行部８０は基準記号列とユーザが入力した記号列との比較結果に基づいて処理を実行する。例文帳に追加
A processing execution part 80 executes processing on the basis of the comparison result between a reference sign string and the sign string input by the user. - 特許庁
手書きされた文字や記号などに応じて所定の処理を実行する。例文帳に追加
To perform predetermined processing according to handwritten characters and symbols. - 特許庁
曲を構成する各音について臨時記号が必要か否かを判断し、臨時記号を必要とする場合には、臨時記号判定処理を実行する。例文帳に追加
It is determined whether each of sounds constituting music requires an accidental and when an accidental is needed, accidental decision processing is performed. - 特許庁
さらに、特定の記号の内、所定の記号に対しては、該所定の記号が確定された場合のみ、第１の処理を実行する。例文帳に追加
Further, the first processing is executed to a prescribed symbol among specific symbols only when the prescribed symbol is fixed. - 特許庁
この記号的実行は、Ｃ＋＋プログラムの各入力変数に記号入力を割当て、Ｃ＋＋プログラム内の１つ以上の実行経路を決定し、各実行経路に関して、満たされる場合にＣ＋＋プログラムを該実行経路へと進ませる記号表現を構築することを有する。例文帳に追加
The symbolic execution includes allocating symbol input to each input parameter of the C++ program, determining one or more execution paths in the C++ program, and constructing a symbol representation for advancing the C++ program to the execution path when each of the execution paths is fulfilled. - 特許庁
ある場合では、非パイロット記号に対してソフト判定を発生して、次にこれをパイロット記号と共に用いて周波数追跡を実行する。例文帳に追加
In some cases, soft decisions are generated for the non-pilot symbols and then used with the pilot symbols for frequency tracking. - 特許庁
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
「記号実行」の部分一致の例文検索結果
該当件数 : 73件
ある場合では、非パイロット記号に対してソフト判定を発生して、次にこれをパイロット記号と共に用いて周波数追跡を実行する。例文帳に追加
In a case, software determination is made for the non-pilot symbols and then used together with the pilot symbols to perform a frequency tracking. - 特許庁
また、第３キーが押下された場合には、第２種記号表示領域１０２に入力されている第２種記号に対する第２の処理を実行する。例文帳に追加
When a third key is depressed, second processing is performed on second-type symbols being input to the second-type symbol display area 102. - 特許庁
コンピュータで,プログラムを実行できるように記号化あるいは数字化されている資料例文帳に追加
symbolized and numerical data for a computer program発音を聞く - EDR日英対訳辞書
シーケンス制御等の周期的に実行するプログラム（４０）の各指令には特定記号「／／」を付加する。例文帳に追加
Each command of a program (40) to be periodically executed such as sequence control is added with a specific symbol "//". - 特許庁
記号的実行を用いてＣ＋＋プログラムを検証するソフトウェアアーキテクチャ例文帳に追加
SOFTWARE ARCHITECTURE FOR VERIFYING C++ PROGRAM USING SYMBOLIC EXECUTION - 特許庁
記号的実行を用いてＣ＋＋プログラムを検証するための方法及びシステム例文帳に追加
METHOD AND SYSTEM FOR VALIDATING C++ PROGRAMS USING SYMBOLIC EXECUTION - 特許庁
適応汎用記号を用いて画像処理ジョブを実行するためのシステムおよび方法を提示する。例文帳に追加
A system and method for performing an imaging job using adaptive universal symbols are provided. - 特許庁
記号的実行を用いてＣ＋＋プログラムを検証するソフトウェアアーキテクチャを提供する。例文帳に追加
To provide a software architecture for verifying a C++ program using symbolic execution. - 特許庁
|
| 意味 | 例文 (73件) |
|
|
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
閲覧履歴
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
