検索結果- 英語 - 英語

検索内容:

logically

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

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

詳細

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

言語学者たちは、意味がどのように表現されるかを理解するために、さまざまな論理言語の構造を比較することがよくあります。

詳細

computation tree logic

名詞

不可算名詞

日本語の意味

計算木論理：分岐時間を扱う特殊な様相論理であり、『次』、『全体』、『最終（または最終的に）』、『until』、『weak until』などのオペレーターを用いて、システムの状態遷移などを形式的に表現する論理体系

このボタンはなに？

Google翻訳 / DeepL翻訳

研究者たちは、計算木論理（分岐時間の特定のモーダル論理で「次」「常に」「最終的に／やがて」「until」「弱いuntil」といった演算子を持つ）を用いて、分散プロトコルがあらゆる可能な実行経路で最終的に合意に達することを検証した。

詳細

Webで検索する