Search results- English - English
Keyword:
Howard
IPA(Pronunciation)
Proper noun
countable
uncountable
US
abbreviation
alt-of
ellipsis
Japanese Meaning
ハワード（姓）：父称に由来する姓。 / ハワード（男性名）：ドイツ系の語源を持つ男性名で、姓から転じたもの。短縮形はハウィー。
Related Words
Howards
Proper noun
form-of
plural
Japanese Meaning
「ハワード」の複数形、つまり複数のハワードという名前を指す（例えば、家族やグループなどで複数の個人が「ハワード」と呼ばれる場合）
Howard County
Proper noun
Japanese Meaning
アーカンソー州に存在する郡（郡庁所在地：ナッシュビル、ジェームズ・ハワードにちなんで命名） / インディアナ州に存在する郡（郡庁所在地：ココモ、ティルグマン・ハワードにちなんで命名）
Norfolk Howards
Noun
form-of
plural
Japanese Meaning
「Norfolk Howard」の複数形。つまり、Norfolk Howardという個人または単数形の名称に対して、複数形の表現を示す。
Norfolk Howard
Related Words
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
カリー・ハワード対応は、構成的数学的証明とプログラム（特に型付き関数型プログラミング言語の関数）との間、さらに証明された論理式とそのプログラムにおける型との間に対応関係が存在するという類推または主張を表す概念・定理です。
Curry-Howard isomorphism
howardites
Noun
form-of
plural
Japanese Meaning
「howardite」（隕石の一種）の複数形。すなわち、複数の「howardite」を表します。
howardevansite
loading!
Loading...
All Loaded
Error
English - English
Words
Words（1182733）
Add Word
Sentence
Sentences
（1463610）
Add sentence
Others
Editor
（31）
Editing Guideline
Credit
