検索結果- 英語 - 英語

検索内容:

Howard

IPA（発音記号）

/ˈhaʊɚd/

固有名詞

可算名詞不可算名詞アメリカ英語略語別表記省略

日本語の意味

ハワード（姓）：父称に由来する姓。 / ハワード（男性名）：ドイツ系の語源を持つ男性名で、姓から転じたもの。短縮形はハウィー。

このボタンはなに？

Howard discovered an old ledger that traced his family's lineage and confirmed the surname's patronymic origins.

Google翻訳 / DeepL翻訳

父の名に由来する姓を持つ男性は、家系をたどる古い台帳を見つけ、その姓が父称に由来することを確認した。

詳細

Howards

固有名詞

活用形複数形

plural of Howard

日本語の意味

「ハワード」の複数形、つまり複数のハワードという名前を指す（例えば、家族やグループなどで複数の個人が「ハワード」と呼ばれる場合）

このボタンはなに？

The Howards gathered at the old farmhouse to celebrate their grandmother's 90th birthday.

Google翻訳 / DeepL翻訳

ハワード家の人々は古い農家に集まり、祖母の90回目の誕生日を祝いました。

詳細

Howard County

固有名詞

A county of Arkansas, United States. County seat: Nashville, named after James Howard. / A county of Indiana, United States. County seat: Kokomo, named after Tilghman Howard.

日本語の意味

アーカンソー州に存在する郡（郡庁所在地：ナッシュビル、ジェームズ・ハワードにちなんで命名） / インディアナ州に存在する郡（郡庁所在地：ココモ、ティルグマン・ハワードにちなんで命名）

このボタンはなに？

Howard County, with Nashville as its county seat, hosts an annual festival honoring James Howard's legacy.

Google翻訳 / DeepL翻訳

アーカンソー州のハワード郡は、郡庁所在地がナッシュビルで、ジェームズ・ハワードの遺産を称える年次祭を開催しています。

詳細

Norfolk Howards

名詞

活用形複数形

plural of Norfolk Howard

日本語の意味

「Norfolk Howard」の複数形。つまり、Norfolk Howardという個人または単数形の名称に対して、複数形の表現を示す。

このボタンはなに？

The Norfolk Howards attended the annual reunion at the ancestral estate.

Google翻訳 / DeepL翻訳

ノーフォーク・ハワード家の人々は、先祖伝来の邸宅で開かれた毎年恒例の親族の集まりに出席した。

詳細

Norfolk Howard

名詞

イギリス英語廃用俗語

(UK, obsolete, slang) A bedbug.

日本語の意味

トコジラミ（旧英国スラングで「ベッドバグ」を意味する）

このボタンはなに？

I found a Norfolk Howard in the seam of the mattress and immediately brushed it away.

Google翻訳 / DeepL翻訳

マットレスの縫い目にトコジラミを見つけ、すぐに払いのけた。

詳細

Curry-Howard correspondence

固有名詞

A thesis which claims the existence of an analogy or correspondence between — on the one hand — constructive mathematical proofs and programs (especially functions of a typed functional programming language), and — on the other hand — between formulae (proven by the aforementioned proofs) and types (of the aforementioned functions).

日本語の意味

カリー・ハワード対応は、構成的数学的証明とプログラム（特に型付き関数型プログラミング言語の関数）との間、さらに証明された論理式とそのプログラムにおける型との間に対応関係が存在するという類推または主張を表す概念・定理です。

このボタンはなに？

The Curry-Howard correspondence reveals a deep connection between constructive mathematical proofs and typed functional programs, asserting that proofs correspond to programs and propositions correspond to types.

Google翻訳 / DeepL翻訳

証明とプログラムの対応は、構成的数学の証明と型付き関数型プログラムとの間に深い関係があることを示し、証明がプログラムに、命題が型に対応することを主張する。

詳細

Curry-Howard isomorphism

固有名詞

Synonym of Curry-Howard correspondence

日本語の意味

カリー・ハワード対応（Curry-Howard correspondenceの別称）

このボタンはなに？

Researchers often invoke the Curry-Howard isomorphism when explaining the deep connection between proofs and programs.

Google翻訳 / DeepL翻訳

研究者は、証明とプログラムの深い関係を説明する際によくカリー＝ハワード対応を引用します。

詳細

howardites

名詞

活用形複数形

plural of howardite

日本語の意味

「howardite」（隕石の一種）の複数形。すなわち、複数の「howardite」を表します。

このボタンはなに？

During the survey, scientists found that howardites often preserve records of early solar system processes.

Google翻訳 / DeepL翻訳

調査の途中で、科学者たちはハワーダイト隕石が初期太陽系の過程の記録をしばしば保存していることを発見した。

詳細

howardite

名詞

(geology) An achondritic stony meteorite.

日本語の意味

（地質学）コンドライト（小胞）の存在しない、石質の隕石。

このボタンはなに？

The museum displayed a rare howardite that provided clues about asteroid geology.

Google翻訳 / DeepL翻訳

博物館は、小惑星の地質についての手がかりを提供する珍しい非コンドライト性の石質隕石を展示していた。

詳細

howardevansite

名詞

(mineralogy) A triclinic-pinacoidal black mineral containing copper, iron, oxygen, sodium, and vanadium.

日本語の意味

(鉱物学) 銅、鉄、酸素、ナトリウム、バナジウムを含む三斜晶系ピナコイド構造の黒色鉱物

このボタンはなに？

Google翻訳 / DeepL翻訳

鉱物学者は、その特有の結晶形から、銅・鉄・ナトリウム・酸素・バナジウムを含む三斜晶系ピナコイド形の黒色鉱物だと同定した。

詳細

Webで検索する