| 意味 | 例文 (12件) |
formal definitionとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 形式的定義
「formal definition」の部分一致の例文検索結果
該当件数 : 12件
PL/I was one of the first languages to have a formal semantic definition, using the Vienna Definition Language.発音を聞く 例文帳に追加
PL/Iは,形式意味論定義を持った最初の言語の一つであり,ウィーン定義言語(VDL)を使用している． - コンピューター用語辞典
The FDA does not have a formal definition of a functional food.例文帳に追加
食品医薬品局には機能性食品の正式な定義がない。 - 旅行・ビジネス英会話翻訳例文
The relational model allows the formal definition of an user oriented language, based on applied predicate calculus.発音を聞く 例文帳に追加
この関係モデルは、応用述語計算に基づくユーザオリエンテッド言語の形式的定義を可能にする。 - コンピューター用語辞典
This data collection system has a rule holding means 102 distinguishing between a formal rule 106 and a temporary rule 107 and holding them, as the rule definition.例文帳に追加
データ収集システムは、ルール定義として、正式ルール１０６と仮ルール１０７とを区別して保持するルール保持手段１０２を備える。 - 特許庁
When it is decided that those item names are combinations of terms ('symbol name', 'formal name'...) registered for 'alternate symbols' (step B3), 'alternate symbol definition data' for making the 'alternate symbol' and 'formal name' correspond to each other are generated.例文帳に追加
これらの項目名が「代用記号」用に登録された用語（“記号名”、“正式名”・・・）の組み合わせであることが判明した場合は（ステップＢ３）、「代用記号」と「正式名」とを対応付ける「代用記号定義データ」を作成する。 - 特許庁
As they exist today, BPEL and WSCI are not suitable as the formal choreography definition language because they define the rules for individual roles separately.発音を聞く 例文帳に追加
現状のままでは、BPELとWSCIは正式のコレオグラフィ定義言語としては適切ではない。それらは個々の役割についての規則を別々に定義するからである。 - コンピューター用語辞典
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
「formal definition」の部分一致の例文検索結果
該当件数 : 12件
Information Assurance (IA) represents a relatively new research area that still lacks formal definition and is dependent on many underlying Information Technology areas in order to succeed.発音を聞く 例文帳に追加
情報保証（IA）は比較的新しい研究分野であり、未だ正式の定義はなされていず、好ましい結果を得るためには基礎をなす多くの情報技術分野に依存する。 - コンピューター用語辞典
In this system, a sentence input part 320 recognizes a prescription sentence described by a formal natural language and inputted by an input device 310 as a definition sentence, a classification sentence and a procedure sentence according to a pattern and is transferred to respective processing parts 330, 350, 360.例文帳に追加
入力装置３１０から入力された、形式的な自然言語記述である規定文は、文入力部３２０でパターンにより、定義文、分類文、手順文として認識され、それぞれの処理部（３３０，３５０，３６０）に渡される。 - 特許庁
An analysis/assembly module, a formal definition, and a template for documentation are prepared for each business protocol, a message from a client is sorted, and it is sent to a corresponding business protocol analysis module.例文帳に追加
ビジネスプロトコル毎に解析／組立モジュール、形式定義、文書作成用テンプレートを用意し、取引先からのメッセージを振り分けて該当するビジネスプロトコル解析モジュールに渡す。 - 特許庁
Special markup is available for displaying the productions of a formal grammar. The markup is simple and does not attempt to model all aspects of BNF (or any derived forms), but providesenough to allow context-free grammars to be displayed in a way that causes uses of a symbol to be rendered as hyperlinks to the definition of the symbol.例文帳に追加
マークアップは単純なもので、 BNF (やその派生形) の全ての側面をモデル化しようとはしていませんが、シンボルを記述するとそのシンボルの定義へのハイパーリンクになるような表示を文脈自由文法に対して実現しています。 - Python
The Patent Office shall take a decision regarding the refusal to register a design if in the course of verification of the formal requirements of an application it becomes clear that the submitted design does not conform to the definition of a design (Section 1, Clause 1) or, in accordance with Section 9, Paragraph one of this Law, is not to be protected.例文帳に追加
特許庁は， 出願の方式要件の確認の過程において提出された意匠が意匠の定義( 第1 条1)) に適合しないこと又は当該意匠が第9 条(1) に基づいて保護されるべきでないことが明らかになった場合は， 意匠登録の拒絶に関する決定を下す。 - 特許庁
|
| 意味 | 例文 (12件) |
|
|
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
-
1vapid
-
2believe
-
3iris
-
4sphery
-
5rendezvous
-
6while
-
7test
-
8consider
-
9appreciate
-
10present
閲覧履歴
 | 「formal definition」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
