検索結果- 英語 - 英語

検索内容:

logic)

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 ）

詳細

many-valued logic

名詞

(logic) A kind of non-classical propositional calculus whose semantics makes use of more than two truth values.

日本語の意味

伝統的な真理値（真と偽）のみならず、2つ以上の真理値（例えば、真、偽、そしてその他の値）を用いる非古典的命題論理体系を指す。 / 複数の真理値を採用することにより、従来の二値論理では扱いきれない問題や状況をモデル化できる論理システム。

このボタンはなに？

Researchers in computer science often study many-valued logic to model uncertainty in reasoning systems.

Google翻訳 / DeepL翻訳

コンピュータ科学の研究者は、推論システムの不確実性をモデル化するために多値論理を研究することがよくあります。

詳細

関連語

many-valued logics

（ plural ）

詳細

second-order logic

名詞

不可算名詞通常

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

日本語の意味

第一階層論理（ファーストオーダーロジック）を拡張し、対象間の関係に対する量化を許す形式体系。

このボタンはなに？

second-order logic permits quantification over relations, enabling the expression of properties that first-order logic cannot capture.

Google翻訳 / DeepL翻訳

二階述語論理は、一階述語論理を拡張して宇宙の要素間の関係に対する量化を可能にする形式体系であり、これにより一階述語論理では捉えられない性質を表現できる。

詳細

関連語

second-order logics

（ plural ）

詳細

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 ）

詳細

Webで検索する