| 意味 | 例文 (11件) |
プログラム意味論の英語
追加できません
(登録数上限)
単語を追加
英訳・英語 Semantics (computer science)
「プログラム意味論」の部分一致の例文検索結果
該当件数 : 11件
プログラムの公理的意味論は,演算に対する事前条件および事後条件を含むことがある．例文帳に追加
The axiomatic semantics of a program could include pre- and post-conditions for operations.発音を聞く - コンピューター用語辞典
しかし,プログラムを更新する目的指向の手続き意味論を詳述することは,この論文の範囲を超えます．例文帳に追加
However, details of a goal-oriented procedural semantics for update programs are beyond the scope of this paper.発音を聞く - コンピューター用語辞典
本システムおよび本方法は、プログラムコードをフェッチすること、プログラムコードを変換すること、変換されたプログラムコードを少なくとも１つのコードキャッシュに発行すること、および、関連するプログラムコードの意味論的機能が要求される場合、関連するプログラムコードの代わりに少なくとも１つのコードキャッシュ内の変換されたコードを実行することに関する。例文帳に追加
This system and device comprises fetching a program code; translating the program code; emitting the translated program code into at least one code cache; and executing the translated code within the at least one code cache in lieu of associated program code when a semantic function of the associated program code is requested. - 特許庁
我々は,更新プログラムの交互不動点意味論を記述し,それがすべての非決定的データベース変換を表現することができることを示す．例文帳に追加
We describe an alternating fixpoint semantics of update programs and show that it can express all nondeterministic database transformations.発音を聞く - コンピューター用語辞典
意味論的に同等な数学的表現をより少ない計算スタック空間を使用して実行することができるように、プログラム表現を変える。例文帳に追加
To provide representation for programming, which can be changed such that the representation with a mathematically equal expression context can be executed by using less calculation stack spaces. - 特許庁
ある文書の意味論的マークアップ表現を該文書の物理的マークアップ表現へ変換させる方法及びコンピュータプログラムを提供する。例文帳に追加
To provide a method for converting a semantic markup representation of a document into a physical markup representation of the document and a computer program. - 特許庁
特に次の事項は，(1)の意味における発明とはみなされない。 (a) 発見並びに科学上の理論及び数学の方法 (b) 審美的創作物 (c) 精神的行為，遊戯又は業務遂行のための計画，規則及び方法並びにコンピュータ・プログラム，及び (d) 情報の提示例文帳に追加
The following in particular shall not be regarded as inventions within the meaning of the first paragraph: a. discoveries, as well as scientific theories and mathematical methods; b. aesthetic creations; c. schemes, rules and methods for performing mental acts, playing games or doing business, as well as computer programs; and d. presentations of information. - 特許庁
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
Weblio例文辞書での「プログラム意味論」に類似した例文 |
|
プログラム意味論
a program with a sunset provision
in computing, a programming language called {GHC}
a computer program written in a program language and then translated into a machine language, called an object program
a program written in a language from which statements are translated into machine language
「プログラム意味論」の部分一致の例文検索結果
該当件数 : 11件
特に，次に掲げるものは，(1)の意味における考案とはみなさない。 1. 発見並びに科学の理論及び数学的方法 2. 審美的創作物 3. 精神的な行為の遂行，遊戯又は事業活動のための計画，規則及び方法，並びにデータ処理システムのためのプログラム4. 情報の提示例文帳に追加
The following in particular shall not be regarded as inventions as defined by subsection (1): discoveries, scientific theories, and mathematical methods; aesthetic creations; schemes, rules and methods for performing mental acts, for playing games or for doing business, and programs for data processing systems; presentations of information.発音を聞く - 特許庁
(3) 特に，次のものは，(1)の意味での発明とはみなされない。 1. 発見，科学の理論及び数学的方法2. 審美的な創作物3. 精神的な行為をし，遊戯をし又は事業活動をするための計画，規則及び方法，並びにコンピュータ・プログラム 4. 情報の提示例文帳に追加
(3) In particular, the following shall not be regarded as inventions within the terms of subsection (1): 1. discoveries, scientific theories and mathematical methods; 2. aesthetic creations; 3. schemes, rules and methods for performing mental acts, playing games or doing business as well as programs for computers; 4. presentations of information.発音を聞く - 特許庁
このような状況を打開する方向性については、様々な議論が行われており必ずしも収束を見ていないが、その中で、地域政策プログラムの効率性を高めることに加えて、画一的ではなく各地域の個性と強みを活かした地域再生のためのプログラムを実施し、かつその個性を狭い意味での経済的指標だけではなく、「生活の質」を含めた幅広い視点からとらえる方向が示唆されており、これまでにもこうした方向での新たな取り組みの萌芽を見ることができる。例文帳に追加
Though a solution has not necessarily been found, a great deal of discussion is held to deal with this situation. It is suggested that, in addition to increasing the efficiency of regional policy programs, local regions should be revitalized not in a uniform manner, but by bringing out the uniqueness and strength of each region. Moreover, such uniqueness should be considered not simply from the narrow viewpoint of economic status, but from a wider perspective that includes “quality of life.” In fact, we are able to find these new approaches in operation. - 経済産業省
ハードウェアならではの同時動作によって発生し得る競合状態を想定した回路構成、具体的には、同時にリクエストが到着することを想定した優先付けが成されている回路構成を、ハードウェアプログラムから意味解釈によってカバレッジポイント群として抽出して、それらが論理シミュレーションによって活性化されたか否か、の百分率として測る検証装置により、達成できる。例文帳に追加
A verification apparatus extracts circuit configurations assuming a conflict state resulting from concurrent operation unique to hardware, specifically, circuit configurations having a priority setting assuming concurrent arrival of requests, from a hardware program as a group of coverage points by semantic interpretation, and measures whether they are activated by logical simulation in percentage. - 特許庁
|
| 意味 | 例文 (11件) |
|
|
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
閲覧履歴
 | 「プログラム意味論」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
