検索結果- 英語 - 英語

検索内容:

logicizing

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 of temporal logic

日本語の意味

「temporal logic」（時相論理）の複数形です。

このボタンはなに？

In the seminar, we explored different temporal logics to understand their expressiveness and limitations.

Google翻訳 / DeepL翻訳

セミナーでは、表現力と限界を理解するために、さまざまな時相論理を検討しました。

詳細

deontic logic

名詞

可算名詞不可算名詞

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細

modal logic

名詞

可算名詞不可算名詞

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細

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

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

詳細

symbolic logics

名詞

活用形複数形

plural of symbolic logic

日本語の意味

これは単語 'symbolic logic' の複数形という活用形を示しています。つまり、『記号論理学』の複数形です。

このボタンはなに？

In the seminar, students compared historical developments across different symbolic logics to better understand formal reasoning.

Google翻訳 / DeepL翻訳

ゼミでは、学生たちは形式的推論をより深く理解するために、異なる種類の記号論理学の歴史的展開を比較した。

詳細

mathematical logics

名詞

活用形複数形

plural of mathematical logic

日本語の意味

「mathematical logics」は、『mathematical logic』（数学的論理学）の複数形であり、活用形として名詞の複数形の形を示しています。

このボタンはなに？

Researchers compared several mathematical logics to determine which offered the most expressive power for modeling computation.

Google翻訳 / DeepL翻訳

研究者たちは、計算をモデル化する上で最も表現力があるものを見極めるために、いくつかの数理論理学の体系を比較した。

詳細

informal logics

名詞

活用形複数形

plural of informal logic

日本語の意味

非形式論理（informal logicの複数形、形式にとらわれずに議論を評価・分析する学問領域）

このボタンはなに？

In my philosophy seminar, we compared several informal logics to see how they handle everyday arguments.

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

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

詳細

quantum logics

名詞

活用形複数形

plural of quantum logic

日本語の意味

「quantum logics」は「quantum logic」の複数形、すなわち複数の量子論理（量子論理体系）を指す。

このボタンはなに？

Researchers compared different quantum logics to determine which frameworks best model entanglement.

Google翻訳 / DeepL翻訳

研究者たちは異なる量子論理を比較して、どの枠組みが絡み合いを最もよくモデル化するかを判断した。

詳細

Webで検索する