検索結果- 英語 - 英語

検索内容:

Formalizing

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 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 ）

詳細

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 ）

詳細

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 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 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 ）

詳細

canonical formalisms

名詞

活用形複数形

plural of canonical formalism

日本語の意味

「canonical formalism」（正準形式）の複数形、すなわち canonical formalism の複数形を示す語

このボタンはなに？

Researchers reviewed several canonical formalisms before selecting the one best suited for numerical simulation.

Google翻訳 / DeepL翻訳

研究者たちは数値シミュレーションに最も適したものを選ぶ前に、いくつかの異なる正準形式を検討した。

詳細

formal semantics

名詞

不可算名詞

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細

formal science

名詞

A study that is concerned with theoretical formal systems, such as logic, mathematics, systems theory and the theoretical branches of computer science, information theory, microeconomics, statistics, and linguistics.

日本語の意味

論理学、数学、システム理論、計算機科学の理論的分野、情報理論、ミクロ経済学、統計学、言語学の理論的側面など、形式的な体系や原理に基づく学問分野

このボタンはなに？

Her research in formal science has led to new insights in computational complexity.

Google翻訳 / DeepL翻訳

彼女の形式科学における研究は計算複雑性理論に新たな洞察をもたらした。

詳細

関連語

formal sciences

（ plural ）

詳細

Webで検索する