英語 での Formal definition の使用例とその 日本語 への翻訳
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Programming
The formal definition is.
形式的な定義はこうです。I am deliberately avoiding a formal definition.
A formal definition can be found in Section 2.
形式定義はSection2で見ることができる。(There is no formal definition).
正式な定義は知りません。The formal definition of these header fields is as follows:.
これらのヘッダーフィールドの形式定義は次の通りです：。It doesn't appear to have a formal definition.
正式な定義があるわけではないようです。There is no short formal definition of inverse functions.
反対機能の短い形式定義がない。AI- There are many varieties of artificial intelligence, and no formal definition for any of them.
人工知能：人工知能にはいろいろな種類があって、そのいずれについても公式な定義はない。For a formal definition, please review the Service Description.
正式な定義に関しては、サービスの説明を参照してください。This force is used in the formal definition of the ampere.
この力がアンペアの正式な定義に用いられている。The normative formal definition of OWL can be found in the OWL Abstract Syntax and Semantics.
OWLの規範的な公式定義は、OWLセマンティクスおよび抽象構文にあります。This paper became the first formal definition of Simula 67.
この論文はSimula67の最初の正式な定義となった。These properties are extensively used to provelimits without the need to directly use the cumbersome formal definition.
これらの性質は面倒な正式の定義を直接用いる必要なしに極限を証明するのに広く用いられる。This article is about the formal definition established in 2006.
この項目では、2006年に定められた公式の定義について説明しています。Before the discoveries of the early 21st century,astronomers hadn't really needed a formal definition for planets.
世紀初頭の発見まで、天文学者は惑星の公式な定義の必要性を感じていなかった。There is no complete formal definition of tragicomedy from the classical age.
古典時代の「悲喜劇」の完全かつ公式な定義は存在しない。Exploring Inverse Functions wemade first approach to the topic avoiding formal definition of inverse function.
反対機能を探索する記事で私達は反対機能の形式定義を避けるトピックに最初アプローチをした。As stated in Section 1.2, a formal definition of"trust boundary" is deliberately not made here.
節で説明したように、ここでは「信頼の境界」の正式な定義を意図的に行っていない。The Python Reference Manual gives a more formal definition of the language.
Python言語リファレンスを読めば、Python言語についてより形式的な定義を得られます。Here we try to avoid formal definition and describe inverse functions in order to introduce reader to the concept.
ここに私達は形式定義を避け、概念に読取装置を導入するために反対機能を記述することを試みる。The Python Language Reference gives a more formal definition of the language.
Python言語リファレンスを読めば、Python言語についてより形式的な定義を得られます。The formal definition of the EVM is specified in the Ethereum Yellow Paper, original version by Gavin Wood.
EVMの正式な定義は、EthereumYellowPaper、[GavinWood]オリジナル版で規定されています。While Martin does not offer a formal definition for the term, he does have a rather lengthy article on language workbenches.
Martin氏は、用語の正式な定義をしていないが、言語ワークベンチ(リンク)に関するやや長めの記事を書いた。The formal definition of International System of Units(SI) along with the associated resolutions passed by the CGPM and the CIPM are published by the BIPM on the Internet and in brochure form at regular intervals.
CGPMとCIPMを通過した合同決議による国際単位系(SI)の正式な定義は、BIPMにより定期的にインターネットとパンフレット(SIbrochure)によって刊行されている。Although the FDA hasnot engaged in rule making to establish a formal definition for the term"natural," we do have a longstanding policy concerning the use of“natural” in human food labeling.
備考：FDAは、「自然」という用語の正式な定義を確立するための規則制定に関与していないが、人間の食品表示に「天然」を使用することに関する長年の方針を持っている。The formal definition of spread spectrum is more precise: an RF communications system in which the baseband signal bandwidth is intentionally spread over a larger bandwidth by injecting a higher frequency signal Figure 1.
スペクトラム拡散の正式な定義はさらに厳密です。つまり、スペクトラム拡散とは、高周波信号を挿入することによってベースバンド信号帯域幅をより広い帯域幅に意図的に拡散したRF通信システムです(図1)。I couldn't find a formal definition for this phrase, and googling it seemed to only turn up board-game related results.
私はこのフレーズの正式な定義を見つけることができず、グーグルではボードゲーム関連の結果しか出現しなかったようだ。Setting a formal definition of a common Meta-Object Facility(MOF)-based meta-model that specifies the abstract syntax of the UML.
UMLの抽象構文を指定する共通のMeta-ObjectFacility(MOF)ベースのメタモデル公式定義を設定すること。Though there's no formal definition, computer scientists describe algorithms as a set of rules that define a sequence of operations.
アルゴリズムとは？公式な定義はありませんが、コンピューター科学者たちは一連の処理手順を定めたルールセットをアルゴリズムと呼んでいます。
