検索結果- 英語 - 英語

検索内容:

logicizing

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

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

詳細

mytho-logic

名詞

不可算名詞

The quasi-logical system that underpins mythology, involving oppositions, metaphors, etc.

日本語の意味

神話を支える準論理的な体系、すなわち神話の構造をなす反対関係や隠喩などを含む論理的（とは言い難いが）枠組み / 神話に内在する疑似論理体系、反対や比喩といった要素を通して表現される論理性

このボタンはなに？

Scholars often analyze mytho-logic to uncover how oppositions and metaphors structure traditional narratives.

Google翻訳 / DeepL翻訳

学者たちはしばしば、神話を支える準論理体系を分析して、対立や比喩が伝統的な物語をどのように構築するかを明らかにする。

詳細

fuzzy logics

名詞

活用形複数形

plural of fuzzy logic

日本語の意味

「ファジー論理」（あいまい論理）の複数形。すなわち、複数のあいまい論理体系を指す。

このボタンはなに？

Researchers compared several fuzzy logics to determine which best models human reasoning under uncertainty.

Google翻訳 / DeepL翻訳

研究者たちは、不確実性の下で人間の推論を最もよくモデル化するのはどのファジィ論理かを判断するために、複数のファジィ論理を比較した。

詳細

classical logics

名詞

活用形複数形

plural of classical logic

日本語の意味

古典論理の複数形、すなわち複数の古典論理体系を指す。

このボタンはなに？

In the history of philosophy, debates between different classical logics shaped the development of formal reasoning.

Google翻訳 / DeepL翻訳

哲学の歴史において、異なる古典論理体系の間の議論が形式的推論の発展を形作った。

詳細

constructive logics

名詞

活用形複数形

plural of constructive logic

日本語の意味

この単語は「constructive logic」の複数形であり、活用形としては複数形を示しています。

このボタンはなに？

In the seminar, we compared several constructive logics to understand how proof techniques differ across systems.

Google翻訳 / DeepL翻訳

ゼミでは、体系間で証明手法がどのように異なるかを理解するために、いくつかの異なる構成的論理体系を比較しました。

詳細

quantum logics

名詞

活用形複数形

plural of quantum logic

日本語の意味

「quantum logics」は「quantum logic」の複数形、すなわち複数の量子論理（量子論理体系）を指す。

このボタンはなに？

Researchers compared different quantum logics to determine which frameworks best model entanglement.

Google翻訳 / DeepL翻訳

研究者たちは異なる量子論理を比較して、どの枠組みが絡み合いを最もよくモデル化するかを判断した。

詳細

linear logics

名詞

活用形複数形

plural of linear logic

日本語の意味

「線形論理」の複数形

このボタンはなに？

Researchers compared several linear logics to determine which best models resource consumption.

Google翻訳 / DeepL翻訳

研究者たちは、資源の消費を最もよくモデル化するものを判断するために、いくつかの異なる線形論理の変種を比較した。

詳細

chop logics

名詞

活用形複数形

plural of chop logic

日本語の意味

「chop logic」の複数形です。

このボタンはなに？

The software's chop logics failed to account for the rare edge case, causing unexpected results.

Google翻訳 / DeepL翻訳

そのソフトウェアのカットのルールが稀なエッジケースを考慮しておらず、予期しない結果を引き起こした。

詳細

Boolean logics

名詞

活用形複数形

plural of Boolean logic

日本語の意味

「Boolean logic」の複数形、すなわち単数形「ブール論理」の複数形です。

このボタンはなに？

Boolean logics are essential for designing digital circuits that rely on true/false decision-making.

Google翻訳 / DeepL翻訳

複数のブール論理は、真か偽かの判断に基づくデジタル回路の設計に不可欠です。

詳細

logical positivisms

名詞

活用形複数形

plural of logical positivism

日本語の意味

論理実証主義の複数形

このボタンはなに？

Debates among philosophers often center on the historical impact of logical positivisms on analytic philosophy.

Google翻訳 / DeepL翻訳

哲学者たちの議論はしばしば、分析哲学に対する論理実証主義の諸派の歴史的影響を巡って行われる。

詳細

Webで検索する