検索結果- 英語 - 英語

検索内容:

logic

temporal logic

名詞

可算名詞不可算名詞

A form of symbolic logic used to reason about properties of statements related to order and duration.

日本語の意味

命題の順序や時間的な持続性に関連する性質を推論するために用いられる記号論理の一形式。特に「時相論理」とも呼ばれ、時間の概念を取り入れた論理体系を指す。

このボタンはなに？

Researchers used temporal logic to verify that the distributed system maintained message order and timing constraints.

Google翻訳 / DeepL翻訳

研究者たちは、分散システムがメッセージの順序と時間的制約を維持していることを検証するために時相論理を用いた。

詳細

関連語

temporal logics

（ plural ）

詳細

deontic logic

名詞

可算名詞不可算名詞

日本語の意味

義務、許可、その他関連する概念の研究 / 義務と許可の概念を捉える形式的な論理体系

このボタンはなに？

The philosopher used deontic logic to formalize the idea that agents are obliged to keep their promises.

Google翻訳 / DeepL翻訳

哲学者は、義務と許可の論理を用いて、行為者が約束を守る義務があるという考えを形式化した。

詳細

関連語

deontic logics

（ plural ）

詳細

modal logic

名詞

可算名詞不可算名詞

日本語の意味

可能性や必然性、義務や許可などの様相的概念を扱う形式的な論理体系。 / モーダリティ（例：可能性、必然性）に基づいた論理システムとして、様相論理とも呼ばれる。

このボタンはなに？

In my thesis, I apply modal logic to analyze obligations and permissions in legal reasoning.

Google翻訳 / DeepL翻訳

私の論文では、法的推論における義務や許可を分析するために様相論理を適用しています。

詳細

関連語

modal logics

（ plural ）

詳細

chopped logic

動詞

活用形分詞過去

simple past tense and past participle of chop logic

日本語の意味

'chopped logic' は 'chop logic' の単純過去形および過去分詞形です。

このボタンはなに？

During the code review, she chopped logic into smaller functions to improve readability.

Google翻訳 / DeepL翻訳

コードレビューの際、彼女は可読性を高めるためにロジックを小さな関数に分割した。

詳細

mytho-logic

名詞

不可算名詞

The quasi-logical system that underpins mythology, involving oppositions, metaphors, etc.

日本語の意味

神話を支える準論理的な体系、すなわち神話の構造をなす反対関係や隠喩などを含む論理的（とは言い難いが）枠組み / 神話に内在する疑似論理体系、反対や比喩といった要素を通して表現される論理性

このボタンはなに？

Scholars often analyze mytho-logic to uncover how oppositions and metaphors structure traditional narratives.

Google翻訳 / DeepL翻訳

学者たちはしばしば、神話を支える準論理体系を分析して、対立や比喩が伝統的な物語をどのように構築するかを明らかにする。

詳細

sentential logic

名詞

(logic) propositional logic

日本語の意味

命題論理

このボタンはなに？

In our philosophy seminar, we spent the afternoon studying sentential logic and its applications to computer science.

Google翻訳 / DeepL翻訳

哲学のゼミでは午後をかけて命題論理とそのコンピュータ科学への応用を研究しました。

詳細

関連語

sentential logics

（ plural ）

詳細

domain logic

名詞

不可算名詞

日本語の意味

(コンピューティング) ビジネスロジックのより一般的な呼び名。すなわち、特定のビジネスに限定されず、組織内で動作する論理や業務ルールを指す。

このボタンはなに？

To streamline testing, the team separated the domain logic from the presentation layer.

Google翻訳 / DeepL翻訳

テストを効率化するため、チームはプレゼンテーション層からドメインロジックを分離した。

詳細

presentation logic

名詞

不可算名詞

(computing) The logic that is concerned with how domain/business objects are displayed to users of the software.

日本語の意味

ユーザーに対してドメインやビジネスオブジェクトの表示方法を管理するロジック / 画面表示やプレゼンテーション層における処理の論理 / ソフトウェアにおいて、データをどのようにユーザーに見せるかを決定するロジック

このボタンはなに？

The presentation logic in the application should be isolated from business rules to facilitate testing and reuse.

Google翻訳 / DeepL翻訳

アプリケーションの表示を担当するロジックは、テストや再利用を容易にするためにビジネスロジックから分離されるべきです。

詳細

logic gates

名詞

活用形複数形

plural of logic gate

日本語の意味

『論理ゲート』という単数形の名詞の複数形（複数の論理ゲートを指す）

このボタンはなに？

To design the circuit, she used several logic gates to implement the required Boolean functions.

Google翻訳 / DeepL翻訳

回路を設計するために、彼女は必要なブール関数を実現するためにいくつかの論理ゲートを使った。

詳細

logic diagram

名詞

日本語の意味

論理学の分野における図解 / 非空間的・抽象的な図表 / プロジェクト活動間の論理的な関係を示す模式図

このボタンはなに？

To debug the program, she sketched a logic diagram to map each conditional branch.

Google翻訳 / DeepL翻訳

プログラムをデバッグするために、彼女は各条件分岐を把握するための論理図を描いた。

詳細

関連語

logic diagrams

（ plural ）

詳細

Webで検索する