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

検索結果- 英語 - 英語

検索内容:

logicalize

zero-order logic

名詞

propositional logic

日本語の意味

命題論理

このボタンはなに？

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

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 ）

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

non-classical logic

名詞

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

日本語の意味

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

このボタンはなに？

arithmetic logic unit

名詞

(computer hardware) the section of a CPU that performs calculations and logical operations

日本語の意味

算術論理演算ユニット：計算および論理演算を実行するCPUの一部

このボタンはなに？

The processor's arithmetic logic unit executes integer calculations and logical comparisons at high speed.

Google翻訳 / DeepL翻訳

プロセッサの算術論理演算装置は整数の計算と論理比較を高速で実行します。

関連語

arithmetic logic units

（ plural ）

logical mechanical element

名詞

日本語の意味

機械装置の中で、論理的な制御を行う部品。たとえば、ラチェット（棘車）、トリップ（作動機構）、デテン（位置保持装置）、インターロック（相互保護機構）などの機能を備えた要素を指す。

このボタンはなに？

Google翻訳 / DeepL翻訳

安全機構は、すべてのセンサーが正常を示さない限りハッチの開放を防ぐ機械的論理要素に依存していた。

関連語

logical mechanical elements

（ plural ）

programmable logic controller

名詞

A programmable electronic device used in industrial automation to provide logic and sequencing controls for machinery.

日本語の意味

産業オートメーションにおいて、機械やプロセスの論理およびシーケンス制御を行うためのプログラム可能な電子装置

このボタンはなに？

The technician reprogrammed the programmable logic controller to optimize the conveyor's timing and reduce product jams.

Google翻訳 / DeepL翻訳

技術者はコンベアのタイミングを最適化し、製品の詰まりを減らすためにプログラマブルロジックコントローラを再プログラムした。

関連語

programmable logic controllers

（ plural ）

programmable logic controllers

名詞

活用形複数形

plural of programmable logic controller

日本語の意味

プログラマブルロジックコントローラの複数形

このボタンはなに？

To reduce downtime, the engineering team reprogrammed several programmable logic controllers during the weekend maintenance.

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 ）

monadic predicate logic

名詞

日本語の意味

単項述語論理：全ての述語記号が単項（1つの引数のみを取る）で構成され、関数記号が存在しない述語論理の一部分

このボタンはなに？

Research on monadic predicate logic shows that many decidability problems are simpler than in the full predicate calculus.

Google翻訳 / DeepL翻訳

すべての述語記号が単項（すなわち1つの引数しか取らず）、関数記号が存在しない述語論理の断片に関する研究は、多くの判定可能性の問題が完全な述語計算よりも簡単であることを示している。

関連語

monadic predicate logics

（ plural ）

Webで検索する

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★