検索結果- 英語 - 英語
検索内容:
correspondence course
関連語
Robinson-Schensted correspondence
関連語
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).
日本語の意味
カリー・ハワード対応は、構成的数学的証明とプログラム(特に型付き関数型プログラミング言語の関数)との間、さらに証明された論理式とそのプログラムにおける型との間に対応関係が存在するという類推または主張を表す概念・定理です。
news correspondents
corresponding authors
名詞
活用形
複数形
日本語の意味
「corresponding authors」は「corresponding author」の複数形です。つまり、論文などで連絡先として指定された著者(連絡著者、責任著者)を複数指します。
loading!
Loading...