検索結果- 英語 - 英語

検索内容:

logicized

quantum logic gate

名詞

(quantum computing) Synonym of quantum gate

日本語の意味

量子コンピュータにおける論理演算を実現するためのゲート、すなわち「量子ゲート」と同義と考えられる。

このボタンはなに？

A quantum logic gate is a fundamental building block in quantum computing.

Google翻訳 / DeepL翻訳

詳細

関連語

quantum logic gates

（ plural ）

詳細

zero-order logic

名詞

propositional logic

日本語の意味

命題論理

このボタンはなに？

Zero-order logic is a fundamental concept in computer science.

Google翻訳 / DeepL翻訳

詳細

non-classical logic

名詞

A logic that is not classical: one that extends or deviates from classical logic.

日本語の意味

古典論理ではない論理体系、すなわち古典論理の枠組みを超えるか逸脱する論理体系

このボタンはなに？

詳細

quantum logic gates

名詞

活用形複数形

plural of quantum logic gate

日本語の意味

「量子論理ゲート」の複数形、すなわち1つ以上の量子論理ゲートを指します。

このボタンはなに？

There are many quantum logic gates used in quantum computing.

Google翻訳 / DeepL翻訳

詳細

computation tree logic

名詞

不可算名詞

日本語の意味

計算木論理：分岐時間を扱う特殊な様相論理であり、『次』、『全体』、『最終（または最終的に）』、『until』、『weak until』などのオペレーターを用いて、システムの状態遷移などを形式的に表現する論理体系

このボタンはなに？

Google翻訳 / DeepL翻訳

研究者たちは、計算木論理（分岐時間の特定のモーダル論理で「次」「常に」「最終的に／やがて」「until」「弱いuntil」といった演算子を持つ）を用いて、分散プロトコルがあらゆる可能な実行経路で最終的に合意に達することを検証した。

詳細

many-sorted logic

名詞

(logic) A logic that directly supports classification of entities into disjunct sorts.

日本語の意味

複数の不連続な種類（ソート）に対象を直接分類することをサポートする論理体系（多ソート論理）

このボタンはなに？

Researchers often use many-sorted logic to simplify formal specifications by assigning each variable to a specific sort.

Google翻訳 / DeepL翻訳

研究者はしばしば、対象を互いに排反する複数のソートに直接分類できる論理を用いて、各変数を特定のソートに割り当てることで形式仕様を簡素化する。

詳細

関連語

many-sorted logics

（ plural ）

詳細

uncommitted logic arrays

名詞

活用形複数形

plural of uncommitted logic array

日本語の意味

「uncommitted logic array」の複数形です。日本語では、例えば「未コミットの論理アレイ」や「事前に確定されていない論理回路アレイ」として表現され、複数の未確定な（または未割り当ての）論理アレイを指します。

このボタンはなに？

The engineering team discovered several uncommitted logic arrays in the prototype that could be repurposed.

Google翻訳 / DeepL翻訳

エンジニアチームは、プロトタイプで再利用可能な未割り当てのロジックアレイをいくつか発見した。

詳細

uncommitted logic array

名詞

(electronics) A gate array.

日本語の意味

（エレクトロニクス）ゲートアレイ。すなわち、固定配列ではなく、後から構成を決定できるロジック回路基板。

このボタンはなに？

The engineer configured the uncommitted logic array to implement the custom arithmetic unit.

Google翻訳 / DeepL翻訳

エンジニアはカスタム算術ユニットを実装するために未配線ゲートアレイを構成した。

詳細

関連語

uncommitted logic arrays

（ plural ）

詳細

arithmetic logic units

名詞

活用形複数形

plural of arithmetic logic unit

日本語の意味

「arithmetic logic unit（算術論理演算ユニット）」の複数形

このボタンはなに？

Modern processors rely on multiple arithmetic logic units to perform integer and boolean operations in parallel.

Google翻訳 / DeepL翻訳

最新のプロセッサは複数の算術論理演算ユニットを搭載しており、整数演算や論理演算を並列に実行します。

詳細

first-order logic

名詞

可算名詞不可算名詞

日本語の意味

形式的な推論体系で、命題論理を基礎に拡張し、対象となる個体に対して「すべての」や「存在する」といった量化（∀, ∃）を可能にする論理体系。 / 対象の領域の個体に関する性質や関係を記述するための、明確かつ厳密な論理体系。

このボタンはなに？

In my philosophy of science seminar, we used first-order logic to formalize hypotheses about observable entities.

Google翻訳 / DeepL翻訳

私の科学哲学のゼミでは、観察可能な対象についての仮説を形式化するために、個体に量化を許す述語論理を用いました。

詳細

関連語

first-order logics

（ plural ）

詳細

Webで検索する