検索結果- 英語 - 英語

検索内容:

logical)

intuitionistic logic

名詞

(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.

日本語の意味

直観主義論理：排中律（または同値で二重否定法則やピアースの法則）を拒否する論理体系であり、直観主義の基礎となる論理。

このボタンはなに？

The seminar explored how intuitionistic logic reshapes the notion of truth in constructive mathematics.

Google翻訳 / DeepL翻訳

セミナーでは、直観主義論理が構成的数学における真理の概念をどのように変えるかが議論された。

詳細

関連語

intuitionistic logics

（ plural ）

詳細

doxastic logics

名詞

活用形複数形

plural of doxastic logic

日本語の意味

これは「doxastic logic」の複数形です。つまり、単数形である「doxastic logic」（信念論理）に対して、複数の概念を表すために「s」が付いた形です。

このボタンはなに？

Several doxastic logics have been proposed to model how agents update their beliefs when faced with new evidence.

Google翻訳 / DeepL翻訳

新しい証拠に直面したときにエージェントがどのように信念を更新するかをモデル化するために、いくつかの信念の論理が提案されてきました。

詳細

quantum logic

名詞

(logic, quantum mechanics) A form of non-classical logic which has been abstracted out of quantum mechanics.

日本語の意味

量子力学から抽象化された非古典論理。量子力学の現象を扱うために、従来の古典論理とは異なる論理体系。

このボタンはなに？

The philosopher argued that quantum logic challenges our classical intuitions about truth and measurement.

Google翻訳 / DeepL翻訳

その哲学者は、量子論理が真理と測定に関する古典的直観に挑戦すると主張した。

詳細

関連語

quantum logics

（ plural ）

詳細

constructive logic

名詞

可算名詞不可算名詞

日本語の意味

数学的な対象が存在することを証明する際、その証明により具体的なアルゴリズムや手法が得られ、その数学的対象を実際に構成できるようになる論理体系。

このボタンはなに？

Google翻訳 / DeepL翻訳

構成的論理では、ある対象が存在するという証明は、主張されている対象を構成する方法、すなわちそれを生成するアルゴリズムを示さなければなりません。

詳細

関連語

constructive logics

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

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

詳細

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 ）

詳細

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で検索する