Search results- English - English

Keyword:

corresponding.

news correspondents

Noun

form-of plural

plural of news correspondent

Japanese Meaning

この単語は「ニュース特派員」の複数形であり、複数のニュース特派員を指します。

What is this buttons?

The news correspondents gathered at the station to prepare live reports for the evening broadcast.

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