検索結果- 英語 - 英語

検索内容:

logically;

logical constant

名詞

(logic) A word or phrase which has an invariant logical meaning and which is useful for forming argument forms.

日本語の意味

論理定数：論理的な意味が変わらない単語または句で、論証の形式を構築するのに役立つもの。

このボタンはなに？

In symbolic logic, the biconditional '↔' functions as a logical constant connecting two propositions.

Google翻訳 / DeepL翻訳

記号論理学において、同値記号（↔）は二つの命題を結ぶ論理定数として働く。

詳細

関連語

logical constants

（ plural ）

詳細

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翻訳

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

詳細

logical fallacies

名詞

活用形複数形

plural of logical fallacy

日本語の意味

「logical fallacies」は「logical fallacy（論理的誤謬）」の複数形です。

このボタンはなに？

Debating effectively requires identifying logical fallacies when they appear in an opponent's argument.

Google翻訳 / DeepL翻訳

効果的に討論するには、相手の議論に現れる論理的誤謬を見つけ出すことが必要だ。

詳細

logic error

名詞

(programming) a case in which a programmer writes viable code that however produces undesired results

日本語の意味

プログラミングにおいて、実行可能な正しいコードが意図しない結果を出力する、プログラム内部の論理的な誤りを指す。

このボタンはなに？

During testing, we discovered a subtle logic error that made the sorting routine return incorrect results.

Google翻訳 / DeepL翻訳

テスト中に、ソート処理が誤った結果を返す原因となった微妙な論理エラーを見つけた。

詳細

関連語

logic errors

（ plural ）

詳細

epistemic logic

名詞

不可算名詞

Epistemic modal logic, a subfield of modal logic that is concerned with reasoning about knowledge. / Dynamic epistemic logic, a logical framework dealing with knowledge and information change.

日本語の意味

知識に関する推論を扱うモーダル論理の一分野 / 知識および情報の変化を扱う論理的枠組みとしての動的認識論的論理

このボタンはなに？

During the workshop, the students debated whether epistemic logic adequately models common knowledge in multi-agent protocols.

Google翻訳 / DeepL翻訳

ワークショップで、学生たちは複数エージェントのプロトコルにおける共通知が知識の論理によって適切にモデル化されるかどうかを議論した。

詳細

logic circuits

名詞

活用形複数形

plural of logic circuit

日本語の意味

「logic circuits」は「logic circuit」の複数形であり、複数の論理回路を指す活用形です。

このボタンはなに？

Undergraduates in the electronics lab spent the afternoon testing logic circuits for timing errors.

Google翻訳 / DeepL翻訳

学部生たちは電子工学の実験室で午後を費やして、タイミングの誤差を調べるために論理回路をテストしました。

詳細

logic circuit

名詞

a chain of multiple logic gates

日本語の意味

複数の論理ゲートが連結され、論理的な演算を行う回路、すなわち論理回路

このボタンはなに？

The engineer designed a logic circuit that reduced power consumption while maintaining speed.

Google翻訳 / DeepL翻訳

技術者は、速度を維持しながら消費電力を削減する論理回路を設計した。

詳細

関連語

logic circuits

（ plural ）

詳細

logical languages

名詞

活用形複数形

plural of logical language

日本語の意味

「logical language」（論理言語）の複数形

このボタンはなに？

Linguists often compare the structures of different logical languages to understand how meaning is represented.

Google翻訳 / DeepL翻訳

言語学者たちは、意味がどのように表現されるかを理解するために、さまざまな論理言語の構造を比較することがよくあります。

詳細

logical language

名詞

稀用

日本語の意味

比喩的または慣用的な意味ではなく、文字通りの論理的な意味（‘logical’, ‘language’の直接の意味）を示す用法として用いられる。 / （稀に）曖昧さがなく誤解の余地のない陳述が可能（または強制）となるよう設計された言語、つまり形式言語としての意味。

このボタンはなに？

In the seminar, we examined how a logical language can clarify ambiguous philosophical statements.

Google翻訳 / DeepL翻訳

ゼミでは、曖昧な哲学的記述を明確にするために、形式的な論理体系がどのように役立つかを検討した。

詳細

関連語

logical languages

（ plural ）

詳細

Hoare logic

名詞

可算名詞不可算名詞

(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.

日本語の意味

ホア論理：コンピュータプログラムの正当性（正しさ）を論理的に検証するための形式的規則体系。ホア・トリプル（各操作前後のシステム状態の記述）に基づいて、プログラムの挙動を証明するための方法論。

このボタンはなに？

Google翻訳 / DeepL翻訳

信頼性を確保するため、研究チームはホーア論理（ホーア三つ組に基づくプログラムの正当性を推論する形式体系）を適用し、並行スケジューラがすべてのスレッドのインタリーブに対して不変条件を維持することを証明した。

詳細

関連語

Hoare logics

（ plural ）

詳細

Webで検索する