理論形式の英語

ピン留め

追加できません

(登録数上限)

単語を追加

英訳・英語 theoretical form

JST科学技術用語日英対訳辞書での「理論形式」の英訳

理論形式

theoretical form

出典元索引用語索引ランキング

「理論形式」の部分一致の例文検索結果

該当件数 : 9件

例文

ペトリ・ネット言語理論は形式言語理論の上に築かれている。例文帳に追加

Petri net language theory is built on the theory of formal languages.発音を聞く - コンピューター用語辞典

数学のすべては形式論理学から導かれるという哲学理論例文帳に追加

the philosophical theory that all of mathematics can be derived from formal logic発音を聞く - 日本語WordNet

経験的実在論という,外的事物が人間に現れる現象は,空間の形式に関係しているから経験的実在性があるとする理論例文帳に追加

a theory called empirical realism発音を聞く - EDR日英対訳辞書

形式的（論理的数学的）な所説は意味を持たないが、その象徴（物理的な存在と考えられる）は、有益な教訓を示しているという哲学的理論例文帳に追加

the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications発音を聞く - 日本語WordNet

正規表現に関する理論と実装の詳細については上記の Friedl 本か、コンパイラの構築に関する教科書を調べて下さい。以下で正規表現の形式に関する簡単な説明をしておきます。例文帳に追加

For details of the theory and implementation of regular expressions, consult the Friedl bookreferenced above, or almost any textbook about compiler construction.A brief explanation of the format of regular expressions follows. - Python

更に、別個のデバイスの複数の理論的機能モデルは、組み合わせられ、１組の配列された外部モデルによって形式的に合体され、モデル化される。例文帳に追加

Further, a plurality of abstract function models of distinct devices are combined and are formally merged into a model through a set of arranged external models. - 特許庁

例文

検査コスト及び不良品の処理コストの和であるトータルコストが最小になる理論検査間隔と現状の検査間隔との差分を認識しやすい形式で表示する検査間隔表示装置を提供する。例文帳に追加

To provide an inspection interval display unit for displaying the difference between the theoretical inspection interval for minimizing a total cost of the inspection cost and a processing cost of the defective unit and the actual inspection interval in the easily recognizable form. - 特許庁

>>例文の一覧を見る

調べた例文を記録して、効率よく覚えましょう

Weblio会員登録無料で登録できます！

履歴機能

過去に調べた
単語を確認!
語彙力診断

診断回数が
増える!
マイ単語帳

便利な
学習機能付き!
マイ例文帳

文章で
単語を理解!

Weblio会員登録(無料)はこちらから

「理論形式」の部分一致の例文検索結果

該当件数 : 9件

例文

エネルギ回生機能を有するシステムのエネルギ回生効果は、評価関数が２次形式でなくなるため、従来の最適制御理論を用いて最適制御則を求めることができなかった．またエネルギ回生評価項と性能評価項からなる評価関数を最小化するという認識がなかったため、制御則の導出は試行錯誤的に行われており、改善が望まれていた．例文帳に追加

To provide a method for applying an optimization method, which uses an approximate solution method of an ordinary differential equation, to a problem minimizing an evaluation function having an energy evaluation term with consideration given to energy regeneration for finding a suboptimal control rule. - 特許庁

例文

22.1発見，科学の理論及び数学の方法並びに薬剤製品に関して，既知物質の新たな形式若しくは性質であって，当該物質の既知の効力の向上をもたらさないものの発見にすぎないもの，既知物質の何らかの新たな性質若しくは新たな用途の発見にすぎないもの，又は既知方法の使用にすぎないもの。ただし，当該既知方法が少なくとも一種の新たな反応物を含む新たな製品を製造できる場合はこの限りではない。本条において，既知物質の塩，エステル，エテール，多形体，代謝物，純物質，粒度，異性体，異性体混合物，複体，結合体及び他の誘導体は，同じ物質であるものとする。ただし，効力の点で顕著な相違を有する物質はこの限りではない。例文帳に追加

22.1. Discoveries, scientific theories and mathematical methods, and in the case of drugs and medicines, the mere discovery of a new form or new property of a known substance which does not result in the enhancement of the known efficacy of that substance, or the mere discovery of any new property or new use for a known substance, or the mere use of a known process unless such known process results in a new product that employs at least one new reactant. For the purpose of this clause, salts, esters, ethers, polymorphs, metabolites, pure form, particle size, isomers, mixtures of isomers, complexes, combinations, and other derivatives of a known substance shall be considered to be the same substance, unless they differ significantly in properties with regard to efficacy; - 特許庁