検索結果- 英語 - 英語

検索内容:

logicisms

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

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

詳細

logical language

名詞

稀用

日本語の意味

比喩的または慣用的な意味ではなく、文字通りの論理的な意味（‘logical’, ‘language’の直接の意味）を示す用法として用いられる。 / （稀に）曖昧さがなく誤解の余地のない陳述が可能（または強制）となるよう設計された言語、つまり形式言語としての意味。

このボタンはなに？

In the seminar, we examined how a logical language can clarify ambiguous philosophical statements.

Google翻訳 / DeepL翻訳

ゼミでは、曖昧な哲学的記述を明確にするために、形式的な論理体系がどのように役立つかを検討した。

詳細

epistemic logic

名詞

不可算名詞

Epistemic modal logic, a subfield of modal logic that is concerned with reasoning about knowledge. / Dynamic epistemic logic, a logical framework dealing with knowledge and information change.

日本語の意味

知識に関する推論を扱うモーダル論理の一分野 / 知識および情報の変化を扱う論理的枠組みとしての動的認識論的論理

このボタンはなに？

During the workshop, the students debated whether epistemic logic adequately models common knowledge in multi-agent protocols.

Google翻訳 / DeepL翻訳

ワークショップで、学生たちは複数エージェントのプロトコルにおける共通知が知識の論理によって適切にモデル化されるかどうかを議論した。

詳細

quantum logic gate

名詞

(quantum computing) Synonym of quantum gate

日本語の意味

量子コンピュータにおける論理演算を実現するためのゲート、すなわち「量子ゲート」と同義と考えられる。

このボタンはなに？

A quantum logic gate is a fundamental building block in quantum computing.

Google翻訳 / DeepL翻訳

詳細