検索結果- 英語 - 英語

検索内容:

logically.

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

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

詳細

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

哲学のゼミで、日常的な議論をどのように扱うかを確かめるために、いくつかの非形式論理を比較しました。

詳細

logic error

名詞

(programming) a case in which a programmer writes viable code that however produces undesired results

日本語の意味

プログラミングにおいて、実行可能な正しいコードが意図しない結果を出力する、プログラム内部の論理的な誤りを指す。

このボタンはなに？

During testing, we discovered a subtle logic error that made the sorting routine return incorrect results.

Google翻訳 / DeepL翻訳

テスト中に、ソート処理が誤った結果を返す原因となった微妙な論理エラーを見つけた。

詳細