検索結果- 英語 - 英語

検索内容:

formality.

formal system

名詞

(logic) The grouping of a formal language and a set of inference rules and/or axioms.

日本語の意味

形式体系：形式言語と一組の推論規則または公理から構成される、論理における体系

このボタンはなに？

To verify the proof's validity, the team encoded the arguments within a formal system and checked each inference step.

Google翻訳 / DeepL翻訳

証明の妥当性を検証するため、チームは議論を形式体系（形式言語と推論規則の集合）に符号化し、各推論の手順を確認した。

詳細

関連語

formal systems

（ plural ）

詳細

formal fallacy

名詞

(logic) A pattern of reasoning which is always wrong, due to a flaw in the structure of the argument.

日本語の意味

（論理学）議論の形式上の構造に欠陥があり、そのために常に誤った結論を導く推論パターン / 形式的誤謬（形式誤謬）

このボタンはなに？

Google翻訳 / DeepL翻訳

哲学者は、その政治家の演説が形式的誤謬に基づいていると指摘し、結論は信用できないと述べた。

詳細

関連語

formal fallacies

（ plural ）

詳細

formal logic

名詞

可算名詞不可算名詞

(logic) Mathematical logic. / (logic) A particular logical calculus.

日本語の意味

数学的論理学 / 特定の論理計算体系

このボタンはなに？

Graduate students studying computer science often take courses in formal logic to improve their reasoning skills.

Google翻訳 / DeepL翻訳

コンピュータサイエンスを学ぶ大学院生は、推論力を高めるために数理論理学の講義を履修することが多い。

詳細

関連語

formal logics

（ plural ）

詳細

formal semantics

名詞

不可算名詞

日本語の意味

形式言語やプログラミング言語など、形式システムの意味や解釈に関する厳密な数学的研究領域。

このボタンはなに？

The conference invited a keynote speaker who specializes in formal semantics.

Google翻訳 / DeepL翻訳

会議は、形式意味論を専門とする基調講演者を招待した。

詳細

formal logics

名詞

活用形複数形

plural of formal logic

日本語の意味

形式論理（formal logicの複数形）」

このボタンはなに？

In the graduate seminar, we compared several formal logics to determine which best modeled reasoning under uncertainty.

Google翻訳 / DeepL翻訳

大学院のゼミで、いくつかの形式論理体系を比較し、不確実性の下での推論を最もよくモデル化するものを特定しました。

詳細

formal ontology

名詞

An ontology with a structure that is guided and defined through axioms.

日本語の意味

公理に基づいて導かれ、定義された構造を持つオントロジー。 / 形式的オントロジー

このボタンはなに？

Google翻訳 / DeepL翻訳

研究チームは、構造が公理によって定義・制約されるオントロジーを開発して、ドメイン概念が一貫して定義され論理的に関連づけられるようにした。

詳細

関連語

formal ontologies

（ plural ）

詳細

formal sciences

名詞

活用形複数形

plural of formal science

日本語の意味

『formal sciences』は「formal science」の複数形であり、単数形は「formal science」です。

このボタンはなに？

Graduate students often collaborate across formal sciences to develop new computational models.

Google翻訳 / DeepL翻訳

大学院生は新しい計算モデルを開発するために、形式科学の諸分野にまたがって協力することが多い。

詳細

formal grammars

名詞

活用形複数形

plural of formal grammar

日本語の意味

「formal grammars」は「formal grammar」の複数形です。すなわち、形式文法（formal grammar）の複数形として、複数の形式文法を指します。

このボタンはなに？

Graduate students studied several formal grammars to understand the hierarchy of languages.

Google翻訳 / DeepL翻訳

大学院生たちは言語の階層を理解するためにいくつかの形式文法を研究した。

詳細

formal grammar

名詞

(computer science) A precise mathematical description of a formal language, consisting of terminal symbols, nonterminal symbols, a nonterminal symbol serving as start symbol, and a set of production rules that control the expansion of nonterminal symbols into strings consisting of both terminal and nonterminal symbols.

日本語の意味

形式文法 - コンピュータサイエンス分野で、形式言語を厳密に数学的に定義する方法。これは、終端記号、非終端記号、開始記号としての非終端記号、そして非終端記号を終端記号および非終端記号の文字列に置き換える生産規則の集合から構成される。

このボタンはなに？

The compiler's parser was constructed from a formal grammar that defined the language's syntax.

Google翻訳 / DeepL翻訳

コンパイラのパーサは、その言語の構文を定義する形式文法に基づいて構築された。

詳細

関連語

formal grammars

（ plural ）

詳細

canonical formalism

名詞

(mathematics) A formalism for a physical theory which is based upon the canonical equations of Hamiltonian dynamics.

日本語の意味

ハミルトン力学の正準方程式に基づいて物理理論を記述するための定式化手法

このボタンはなに？

In advanced mechanics courses, students learn how to derive conserved quantities using the canonical formalism.

Google翻訳 / DeepL翻訳

上級力学の授業では、学生はハミルトン力学の正準方程式に基づく形式を用いて保存量を導く方法を学ぶ。

詳細

関連語

canonical formalisms

（ plural ）

詳細

Webで検索する