Search results- English - English

Keyword:

Howards

Proper noun

form-of plural

plural of Howard

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Howard

IPA(Pronunciation)

/ˈhaʊɚd/

Proper noun

countable uncountable US abbreviation alt-of ellipsis

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Related Words

Howards

（ plural ）

Details

Norfolk Howards

Noun

form-of plural

plural of Norfolk Howard

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Norfolk Howard

Noun

UK obsolete slang

(UK, obsolete, slang) A bedbug.

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Related Words

Norfolk Howards

（ plural ）

Details

Howard County

Proper noun

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.

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Curry-Howard correspondence

Proper noun

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).

Japanese Meaning

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

What is this buttons?

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 Translation / DeepL Translation

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

Details

Curry-Howard isomorphism

Proper noun

Synonym of Curry-Howard correspondence

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Search by Web