検索結果- 英語 - 英語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

Formal

formal grammars

活用形複数形

plural of formal grammar

日本語の意味

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

このボタンはなに？

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

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

formal languages

活用形複数形

plural of formal language

日本語の意味

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

このボタンはなに？

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

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

formal language

日本語の意味

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

このボタンはなに？

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

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

関連語

formal languages

（ 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.

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

関連語

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.

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

関連語

formal logics

（ plural ）

formal fallacy

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

日本語の意味

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

このボタンはなに？

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

関連語

formal fallacies

（ plural ）

formal semantics

不可算名詞

日本語の意味

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

このボタンはなに？

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

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

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.

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

関連語

formal sciences

（ plural ）

formal cause

自然性

日本語の意味

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

このボタンはなに？

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

関連語

formal causes

（ 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.

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

Webで検索する

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★