Search results- English - English
Keyword:
howcatchems
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
カリー・ハワード対応は、構成的数学的証明とプログラム（特に型付き関数型プログラミング言語の関数）との間、さらに証明された論理式とそのプログラムにおける型との間に対応関係が存在するという類推または主張を表す概念・定理です。
howdahless
Adjective
not-comparable
Japanese Meaning
象に荷台（象乗り用の座席）が装備されていないこと、すなわち荷台を持たない象を指す。
howder
Noun
archaic
form-of
Japanese Meaning
象などの大型動物の背中に据えられる、装飾的な乗用座席（howdahの古語的表現）
Related Words
howders
howdedos
Noun
form-of
plural
Japanese Meaning
「howdedos」は「howdedo」の複数形を表す名詞です。そのため、意味としては「howdedo」という単語の複数の形を示しています。
howbout
Adverb
alt-of
not-comparable
pronunciation-spelling
Japanese Meaning
「how about」の発音を模した口語的なスペリング。つまり、提案や軽い問いかけとして「〜はどう？」という意味で使われる。
Norfolk Howards
Noun
form-of
plural
Japanese Meaning
「Norfolk Howard」の複数形。つまり、Norfolk Howardという個人または単数形の名称に対して、複数形の表現を示す。
Norfolk Howard
Related Words
loading!
Loading...
All Loaded
Error
English - English
Words
Words（1182733）
Add Word
Sentence
Sentences
（1671162）
Add sentence
Others
Editor
（31）
Editing Guideline
Credit
