hornes;（論理学において）とは - 英語 - 英語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

hornes;

Horn clause

(logic) A clause (disjunction of literals) with at most one positive literal.

日本語の意味

論理学において、正のリテラルが高々一つ含まれる論理式（リテラルの論理和として表現される節）

このボタンはなに？

A Horn clause typically makes inference efficient in logic programming and automated theorem proving.

正のリテラルが高々1つしかない節（リテラルの論理和）は、論理プログラミングや自動定理証明において推論を効率化することが多い。

関連語

Horn clauses

（ plural ）

Horn clauses

活用形複数形

plural of Horn clause

原形: Horn clause

日本語の意味

『Horn clauses』は『Horn clause』の複数形です。つまり、『Horn clause』の複数形として使用される活用形を示しています。

このボタンはなに？

Horn clauses are used extensively in logic programming and automated theorem proving because of their computational efficiency.

ホーン節は計算効率の高さから論理プログラミングや自動定理証明で広く用いられている。

horned pout

A catfish native to the eastern United States, the brown bullhead, Ameiurus nebulosus.

日本語の意味

米国東部原産のナマズ、すなわちブラウン・ブルヘッド（Ameiurus nebulosus）のことです。

このボタンはなに？

While fishing in the muddy creek last weekend, I was surprised to reel in a horned pout.

先週末、濁った小川で釣りをしていたら、ブラウンブルヘッド（Ameiurus nebulosus）を釣り上げて驚きました。

関連語

horned pouts

（ plural ）

put horns on

他動詞

(transitive) To cuckold, to be unfaithful to.

日本語の意味

配偶者に不貞行為（浮気や裏切りなど）をさせる、つまりカックルドにすること

このボタンはなに？

He managed to put horns on his colleague by starting an affair with his wife.

彼は同僚の妻と不倫をして、同僚を寝取った。

関連語

puts horns on

（ present singular third-person ）

putting horns on

（ participle present ）

put horns on

（ participle past ）

put horns on

（ past ）

blow horn

別表記異形

Alternative form of blowhorn

日本語の意味

これは「blowhorn」の別表記、すなわち同じ対象（ホーン、例えば車両の警告音などを示す）を指す別の形です。

このボタンはなに？

The sailors kept a blow horn on the deck for emergencies.

船員たちは緊急時に備えて甲板にブローホーンを置いていた。

関連語

blow horns

（ plural ）

bull-horn

別表記異形

Alternative form of bullhorn

日本語の意味

拡声器（公共のアナウンスなどに用いられる大きな音を出す器具）

このボタンはなに？

She grabbed the bull-horn to address the crowd during the rally.

彼女は集会で群衆に話しかけるためにメガホンを手に取った。

関連語

bull-horns

（ plural ）

horn antenna

(radio) A microwave antenna consisting of an open waveguide of increasing size towards the aperture

日本語の意味

ホーンアンテナ：開口部に向かって大きくなる開放型の導波管から構成されるマイクロ波用のアンテナ

このボタンはなに？

The engineering team tested the horn antenna in an anechoic chamber to measure its radiation pattern.

技術チームは放射パターンを測定するために、無響室で開口に向かって広がる導波管で構成されたマイクロ波アンテナ（ホーンアンテナ）を試験した。

関連語

horn antennae

（ plural ）

horn antennas

（ plural ）

drinking-horns

活用形複数形

plural of drinking-horn

原形: drinking-horn

日本語の意味

「drinking-horns」は、飲酒用に使用する角（ドリンキングホーン）の複数形です。

このボタンはなに？

At the historical reenactment, they toasted with elaborately carved drinking-horns and sang old sea shanties.

歴史再現イベントでは、彼らは精巧に彫られた飲酒用の角杯で乾杯し、古い海の歌を歌った。

post horn

歴史的

(historical) A type of brass horn used to signal the arrival or departure of a postrider or mailcoach. / (music) A valveless musical instrument based on such a horn, used in orchestral music.

日本語の意味

歴史的な意味では、郵便配達人や馬車の到着・出発を知らせるために用いられた、真鍮製のホーンのことです。 / 音楽の文脈では、上述のホーンを基にした、弁がない楽器で、オーケストラなどの演奏で使用されるものです。

このボタンはなに？

When the post horn sounded, everyone in the village knew the mail coach had arrived.

郵便角笛が鳴ると、村の人々は郵便馬車が到着したことを知った。

関連語

post horns

（ plural ）

on the horns of a dilemma

慣用表現

(idiomatic) Facing a choice between two equally undesirable alternatives.

日本語の意味

二者択一の苦境、どちらを選んでも望ましくない結果になり得る状態を指す。

このボタンはなに？

工場の売上が急落した後、経営陣は長年の従業員を解雇するか、すでに乏しい福利を削るかというどちらも望ましくない二者択一を迫られた。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★