Horn（『Horn clauses』は『）とは - 英語 - 多言語

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

検索結果- 英語 - 多言語

検索内容:

Horn

Horn clauses

名詞

活用形複数形

plural of Horn clause

原形: Horn clause

日本語の意味

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

英語の意味

plural of Horn clause

このボタンはなに？

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

翻訳する

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

詳細

Horn clause

名詞

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

日本語の意味

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

英語の意味

(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 ）

詳細

powder horn

名詞

A tool, usually made from an animal's horn, used to load gunpowder into a gun or cannon.

日本語の意味

動物の角から作られた、銃や大砲に火薬を装填するための器具

英語の意味

A tool, usually made from an animal's horn, used to load gunpowder into a gun or cannon.

このボタンはなに？

He reached for the powder horn hanging from his belt before loading the musket.

翻訳する

彼はマスケット銃に火薬を込める前に、腰からぶら下がっている角製の火薬入れに手を伸ばした。

詳細

関連語

powder horns

（ plural ）

詳細

bass horn

名詞

A large brass instrument in the bass range, usually referring to the modern tuba or the archaic serpent

日本語の意味

低音域の大型金管楽器。通常、現代ではチューバを指し、歴史的にはサーペントを意味する場合もある。

英語の意味

A large brass instrument in the bass range, usually referring to the modern tuba or the archaic serpent

このボタンはなに？

The bass horn produced a deep, mellow tone that anchored the brass quintet during the concert.

翻訳する

チューバはコンサートで深く柔らかい音色を響かせ、金管五重奏の土台を支えた。

詳細

関連語

bass horns

（ plural ）

詳細

baritone horn

名詞

(music) A brass instrument in the baritone range that is similar to a euphonium.

日本語の意味

ユーフォニアムに似た、バリトンレンジのブラス楽器

英語の意味

(music) A brass instrument in the baritone range that is similar to a euphonium.

このボタンはなに？

During the concert, the baritone horn provided a warm, resonant counter-melody beneath the trombones.

翻訳する

コンサート中、バリトンホルンがトロンボーンの下で温かく共鳴する対旋律を奏でた。

詳細

関連語

baritone horns

（ plural ）

詳細

horn antenna

名詞

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

日本語の意味

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

英語の意味

(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 ）

詳細

horn shark

名詞

Any shark of the family Heterodontidae. / Heterodontus francisci, a bullhead shark endemic to the coastal waters off the western coast of North America.

日本語の意味

角鮫科に属するサメ全般を指す。 / Heterodontus francisci、北アメリカ西岸沿いの沿岸域に固有のブルヘッドシャーク（角鮫）を指す。

英語の意味

Any shark of the family Heterodontidae. / Heterodontus francisci, a bullhead shark endemic to the coastal waters off the western coast of North America.