検索結果- 英語 - 英語

検索内容:

logicalizes

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 ）

詳細

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

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

詳細

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 ）

詳細

computation tree logic

名詞

不可算名詞

日本語の意味

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

このボタンはなに？

Google翻訳 / DeepL翻訳

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

詳細

programmable logic array

名詞

(electronics) Is a kind of programmable logic device used to implement combinational logic circuits.

日本語の意味

組み合わせ論理回路を実装するために使用される、プログラム可能な論理デバイスの一種。

このボタンはなに？

The engineer used a programmable logic array to optimize the device's combinational logic.

Google翻訳 / DeepL翻訳

技術者は装置を最適化するために、組み合わせ論理回路を実装するための一種のプログラマブル論理アレイを使用した。

詳細

関連語

programmable logic arrays

（ plural ）

詳細

programmable logic arrays

名詞

活用形複数形

plural of programmable logic array

日本語の意味

プログラム可能論理アレイ（Programmable Logic Array、PLA）の複数形。PLAは、半導体技術を用いたデジタル回路の一形態で、ユーザーが後から論理機能を設定・変更できる装置です。

このボタンはなに？

Google翻訳 / DeepL翻訳

研究者たちは、新しいデジタル信号処理装置の試作にプログラマブル論理配列を使用し、完全なカスタムASIC設計に踏み切る前に検証しました。

詳細

emitter-coupled logic

名詞

不可算名詞通常

(electronics) A logic family that achieves high speed by using an overdriven BJT differential amplifier with single-ended input.

日本語の意味

エミッタ結合論理 – 過駆動状態のBJT差動増幅器を単一入力で利用することで高速動作を実現する、電子回路における論理ファミリ（回路設計上の手法）。

このボタンはなに？

Google翻訳 / DeepL翻訳

設計チームはタイミング要件を満たすためにフロントエンド回路に、過ドライブされたBJT差動増幅器を単一終端入力で用いることで高速動作を実現する論理ファミリを採用し、その高速特性を活用した。

詳細

関連語

emitter-coupled logics

（ plural ）

詳細

logical mechanical elements

名詞

活用形複数形

plural of logical mechanical element

日本語の意味

「logical mechanical elements」は、『logical mechanical element（論理的な機械要素）』の複数形を表し、複数の論理的な機械要素を指す。

このボタンはなに？

The engineer analyzed the logical mechanical elements to diagnose the malfunction.

Google翻訳 / DeepL翻訳

その技術者は故障を診断するために論理に基づく機械部品を分析した。

詳細

first-order logics

名詞

活用形複数形

plural of first-order logic

日本語の意味

「一階述語論理」の複数形

このボタンはなに？

Researchers compared several first-order logics to determine which best captured the properties of the new database schema.

Google翻訳 / DeepL翻訳

研究者たちはいくつかの一階述語論理を比較し、どれが新しいデータベーススキーマの性質を最もよく表すかを調べた。

詳細

Webで検索する