検索結果- 英語 - 英語 | ディクト

検索結果- 英語 - 英語

検索内容:

logic

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 ）

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 ）

Gunning transceiver logic

名詞

不可算名詞

(electronics) A kind of logic signaling used to drive electronic backplane buses, having a voltage swing between 0.4 and 1.2 volts—much lower than that used in TTL and CMOS logic—and symmetrical parallel resistive termination.

日本語の意味

Gunning transceiver logic（ガニング・トランシーバ・ロジック）とは、電子バックプレーンバスの駆動用に用いられる論理信号方式の一種です。TTLやCMOSの論理回路で用いられる通常の電圧スイングよりも低い、0.4～1.2ボルトの電圧変動を特徴とし、左右対称の並列抵抗終端回路を有する技術です。

このボタンはなに？

The Gunning transceiver logic is used in high-speed data communication.

Google翻訳 / DeepL翻訳

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 ）

Webで検索する

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★