検索結果- 英語 - 英語

検索内容:

formalization

formal parameter

名詞

日本語の意味

（プログラミング）メソッドや関数において、実際に引数が渡される際の、名前や型などが含まれる形式的なパラメータの定義。

このボタンはなに？

Carefully validate a formal parameter before using its value to prevent runtime errors.

Google翻訳 / DeepL翻訳

ランタイムエラーを防ぐために、その値を使用する前に仮引数を注意深く検証してください。

詳細

関連語

formal parameters

（ plural ）

詳細

formal languages

名詞

活用形複数形

plural of formal language

日本語の意味

「formal language」の複数形、すなわち「形式言語（複数形）」を指す。

このボタンはなに？

During the seminar, she explained how formal languages are used to specify programming language syntax.

Google翻訳 / DeepL翻訳

セミナーの間、彼女はプログラミング言語の構文を定義するために形式言語がどのように使われるかを説明しました。

詳細

formal language

名詞

日本語の意味

計算機理論において、有限の記号（アルファベットとも呼ばれる）から構成される、有限な文字列（単語と呼ばれる）の集合

このボタンはなに？

In automata theory, a formal language is defined as a set of finite strings formed from a finite alphabet.

Google翻訳 / DeepL翻訳

オートマトン理論では、形式言語とは有限のアルファベットから作られる有限長の文字列の集合を指します。

詳細

関連語

formal languages

（ plural ）

詳細

formal validity

名詞

可算名詞不可算名詞

(logic) An argument's property of being valid due to being an instance of an argument form.

日本語の意味

論理学において、『formal validity』は、議論が特定の論証形式（argument form）の実例であることによって、その議論が正当なものと認められる性質を指します。

このボタンはなに？

The professor emphasized the importance of formal validity when evaluating the students' logical proofs.

Google翻訳 / DeepL翻訳

教授は学生の論証を評価する際に形式的妥当性の重要性を強調した。

詳細

関連語

formal validities

（ plural ）

詳細

formal cause

名詞

自然性

日本語の意味

物事の形、模様、または構造を与える純粋な概念（形相因、形式原因） / 物質に形や構造を与える設計や定形パターンのこと

このボタンはなに？

Google翻訳 / DeepL翻訳

講義でその哲学者は、形相因が設計図のように生物の構造を決定すると主張した。

詳細

関連語

formal causes

（ plural ）

詳細

formal validities

名詞

活用形複数形

plural of formal validity

日本語の意味

この単語は「formal validity」という単語の複数形です。すなわち、単語自体の意味は「形式的妥当性」を示しますが、ここでは複数の対象を指すために複数形となっています。

このボタンはなに？

The committee examined the formal validities of each document before approval.

Google翻訳 / DeepL翻訳

委員会は承認前に各文書の形式上の有効性を検討した。

詳細

formal systems

名詞

活用形複数形

plural of formal system

日本語の意味

「formal system」の複数形、すなわち複数の形式体系を指す（活用形としては複数形）

このボタンはなに？

Graduate students often study multiple formal systems to understand the foundations of logic.

Google翻訳 / DeepL翻訳

大学院生は論理学の基礎を理解するために複数の形式体系を学ぶことが多い。

詳細

formal ontologies

名詞

活用形複数形

plural of formal ontology

日本語の意味

「formal ontology」（形式的オントロジー）の複数形。すなわち、複数の形式的オントロジーを指す。

このボタンはなに？

Researchers compared several formal ontologies to determine which best supported automated reasoning for biomedical data.

Google翻訳 / DeepL翻訳

研究者たちは、どれが生物医療データの自動推論を最もよく支援するかを判断するために、いくつかの形式オントロジーを比較した。

詳細

formal parameters

名詞

活用形複数形

plural of formal parameter

日本語の意味

「formal parameter」の複数形。すなわち、関数や手続きの定義において、仮引数（形式引数）を複数示す表現です。

このボタンはなに？

When documenting the API, make sure you describe each function's formal parameters and their expected types.

Google翻訳 / DeepL翻訳

APIをドキュメント化する際には、各関数の仮引数とそれらの想定される型を必ず説明してください。

詳細

rationes formales

名詞

活用形複数形

plural of ratio formalis

日本語の意味

『ratio formalis』の複数形であるため、意味そのものではなく、活用形として『複数形』であることを示しています。

このボタンはなに？

In his lecture, the philosopher analyzed several rationes formales that underpinned the structure of legal arguments.

Google翻訳 / DeepL翻訳

講義で、その哲学者は法的議論の構造を支えるいくつかの形式的な理由を分析した。

詳細

Webで検索する