検索結果- 英語 - 英語

検索内容:

logic)

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 ）

詳細

epistemic logic

名詞

不可算名詞

Epistemic modal logic, a subfield of modal logic that is concerned with reasoning about knowledge. / Dynamic epistemic logic, a logical framework dealing with knowledge and information change.

日本語の意味

知識に関する推論を扱うモーダル論理の一分野 / 知識および情報の変化を扱う論理的枠組みとしての動的認識論的論理

このボタンはなに？

During the workshop, the students debated whether epistemic logic adequately models common knowledge in multi-agent protocols.

Google翻訳 / DeepL翻訳

ワークショップで、学生たちは複数エージェントのプロトコルにおける共通知が知識の論理によって適切にモデル化されるかどうかを議論した。

詳細

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.

日本語の意味

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

このボタンはなに？

詳細

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 ）

詳細

Webで検索する