検索結果- 英語 - 英語

検索内容:

logicalizing

relevance logics

名詞

活用形複数形

plural of relevance logic

日本語の意味

Hoare logics

名詞

活用形複数形

plural of Hoare logic

日本語の意味

この語は『Hoare logic』（ホーア論理）の複数形です。つまり、ホーア論理を複数で表現する場合に用いられます。

このボタンはなに？

Researchers compared different Hoare logics to determine which were most suitable for verifying concurrent programs.

Google翻訳 / DeepL翻訳

研究者たちは、並行プログラムの検証に最も適したホーア論理の異なるバージョンを比較した。

詳細

doxastic logics

名詞

活用形複数形

plural of doxastic logic

日本語の意味

これは「doxastic logic」の複数形です。つまり、単数形である「doxastic logic」（信念論理）に対して、複数の概念を表すために「s」が付いた形です。

このボタンはなに？

Several doxastic logics have been proposed to model how agents update their beliefs when faced with new evidence.

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

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

詳細

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

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

詳細

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

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

詳細

Gunning transceiver logic

名詞

不可算名詞

(electronics) A kind of logic signaling used to drive electronic backplane buses, having a voltage swing between 0.4 and 1.2 volts—much lower than that used in TTL and CMOS logic—and symmetrical parallel resistive termination.

日本語の意味

Gunning transceiver logic（ガニング・トランシーバ・ロジック）とは、電子バックプレーンバスの駆動用に用いられる論理信号方式の一種です。TTLやCMOSの論理回路で用いられる通常の電圧スイングよりも低い、0.4～1.2ボルトの電圧変動を特徴とし、左右対称の並列抵抗終端回路を有する技術です。

このボタンはなに？

The Gunning transceiver logic is used in high-speed data communication.

Google翻訳 / DeepL翻訳

詳細

Webで検索する