検索結果- 英語 - 英語

検索内容:

logic—and

logical calculi

名詞

活用形複数形

plural of logical calculus

日本語の意味

「logical calculi」は「logical calculus」の複数形であり、活用形としては複数形を示します。

このボタンはなに？

Researchers compared several logical calculi to determine which framework best captured modal reasoning.

Google翻訳 / DeepL翻訳

研究者たちはいくつかの形式論理体系を比較して、どの枠組みが様相推論を最もよく表現するかを調べた。

詳細

logical systems

名詞

活用形複数形

plural of logical system

日本語の意味

「logical system」（論理体系）の複数形、つまり複数の論理体系を指す表現です。

このボタンはなに？

The researcher evaluated several logical systems to determine which one best modeled human reasoning.

Google翻訳 / DeepL翻訳

研究者はどれが人間の推論を最もよくモデル化するかを判断するために、いくつかの論理体系を評価した。

詳細

sentential logics

名詞

活用形複数形

plural of sentential logic

日本語の意味

「sentential logic」（命題論理）の複数形です。つまり、単数形の「sentential logic」の複数形として扱われます。

このボタンはなに？

Researchers compared several prominent sentential logics to determine which best captured natural language inference.

Google翻訳 / DeepL翻訳

研究者たちは、自然言語の推論を最もよく表すものを判断するために、いくつかの著名な命題論理体系を比較した。

詳細

description logics

名詞

活用形複数形

plural of description logic

日本語の意味

これは「description logic」（記述論理）の複数形、すなわち複数の記述論理を指す表現です。

このボタンはなに？

In our seminar, we compared different description logics to determine which one best models temporal reasoning.

Google翻訳 / DeepL翻訳

私たちのゼミでは、時間的推論を最もよくモデル化する複数の記述論理を比較しました。

詳細

logical constants

名詞

活用形複数形

plural of logical constant

日本語の意味

「logical constant」（論理定数）の複数形。つまり、論理定数が複数存在する場合を示す活用形です。

このボタンはなに？

The textbook explains how logical constants function in formal proofs.

Google翻訳 / DeepL翻訳

教科書は形式的な証明において、'かつ'、'または'、'非'、'真'、'偽'のような記号（論理定数）がどのように機能するかを説明している。

詳細

intensional logics

名詞

活用形複数形

plural of intensional logic

日本語の意味

「intensional logic」の複数形。

このボタンはなに？

Researchers compared several intensional logics to determine which best captured the semantics of propositional attitudes.

Google翻訳 / DeepL翻訳

研究者たちは、命題的態度の意味を最もよくとらえるものを特定するために、いくつかのインテンショナル論理体系を比較した。

詳細

modal logics

名詞

活用形複数形

plural of modal logic

日本語の意味

「modal logic」（様相論理）の複数形、すなわち複数の modal logic を指します。

このボタンはなに？

In the seminar, students compared different modal logics to see which could best model temporal notions.

Google翻訳 / DeepL翻訳

セミナーで、学生たちは時間的概念を最もよくモデル化できる様相論理の諸体系を比較した。

詳細

application logic

名詞

不可算名詞

(computing) The logic governing what a computer program is trying to accomplish; domain logic.

日本語の意味

アプリケーションロジック：コンピュータプログラムが実現しようとする目的に沿ったロジック、特にドメイン固有の業務処理やルールを実装する部分を指す。 / また、ドメインロジックとも呼ばれ、システムのビジネス的な処理の流れや条件を実現するための論理部分として理解される。

このボタンはなに？

Before deploying the update, the team reviewed the application logic to ensure it handled edge cases correctly.

Google翻訳 / DeepL翻訳

更新を展開する前に、チームはエッジケースに正しく対応するかを確認するためにアプリケーションの業務ロジックを確認した。

詳細

term logics

名詞

活用形複数形

plural of term logic

日本語の意味

「term logic」（項論理）の複数形。すなわち、項論理に基づいた伝統的な論理体系や方法論（例: アリストテレスの論理学など）を複数示す表現。

このボタンはなに？

Researchers compared several term logics to determine which best handled categorical syllogisms.

Google翻訳 / DeepL翻訳

研究者たちは、どの項論理体系が範疇的三段論法を最も適切に扱えるかを判断するため、いくつかの項論理体系を比較した。

詳細

relevance logics

名詞

活用形複数形

plural of relevance logic

日本語の意味