検索結果- 英語 - 英語

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.

日本語の意味

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

このボタンはなに？

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

翻訳する

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

詳細

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

日本語の意味

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

このボタンはなに？

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.

翻訳する

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

詳細

Curry-Howard isomorphism

固有名詞

Synonym of Curry-Howard correspondence

日本語の意味

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

このボタンはなに？

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

翻訳する

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

詳細

Webで検索する