Formality（「formal language）とは - 英語 - 英語 | ディクト

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

検索結果- 英語 - 英語

検索内容:

Formality

formal languages

活用形複数形

plural of formal language

原形: 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 grammars

活用形複数形

plural of formal grammar

原形: formal grammar

日本語の意味

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

このボタンはなに？

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

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

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.

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

関連語

formal grammars

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

活用形複数形

plural of formal ontology

原形: formal ontology

日本語の意味

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

このボタンはなに？

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

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

formal systems

活用形複数形

plural of formal system

原形: formal system

日本語の意味

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

このボタンはなに？

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

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

formal parameters

活用形複数形

plural of formal parameter

原形: formal parameter

日本語の意味

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

このボタンはなに？

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

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

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★