検索結果- 英語 - 英語

A paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self-referring sentence and some apparently innocuous logical deduction rules.

日本語の意味

素朴集合論や素朴論理体系におけるパラドックスであり、自己言及的な文と一見無害な論理的演繹規則を用いることで、任意の命題が導出されうる問題を示すパラドックス。

このボタンはなに？

Curry's paradox shows how a seemingly harmless self-referential statement can trivialize an entire logical system.

翻訳する

カリーの逆説は、一見無害な自己言及的な文が論理体系全体を退化させてしまう仕組みを示している。

詳細

Curry County

固有名詞

One of 33 counties in New Mexico, United States. County seat: Clovis. Named after George Curry. / One of 36 counties in Oregon, United States. County seat: Gold Beach. Named after George Law Curry.

日本語の意味

ニューメキシコ州の33の郡の一つ。郡庁所在地はクロービスで、ジョージ・カリーにちなんで名付けられた。 / オレゴン州の36の郡の一つ。郡庁所在地はゴールドビーチで、ジョージ・ロー・カリーにちなんで名付けられた。

このボタンはなに？

Curry County officials announced a new drought relief program to support ranchers across the eastern plains.

翻訳する

郡庁所在地がクロービスでジョージ・カリーにちなんで名付けられたニューメキシコ州の郡当局は、東部平原の牧場主を支援する新しい干ばつ救済プログラムを発表した。

詳細

curry leaves

名詞

活用形複数形

plural of curry leaf

日本語の意味

「curry leaf」の複数形。つまり、カレーに用いられる葉（カレー料理の材料）を指します。

このボタンはなに？

I added fresh curry leaves to the dal for an authentic flavor.

翻訳する

本格的な風味を出すために、ダールに新鮮なカレーリーフを加えました。

詳細

curry combs

名詞

活用形複数形

plural of curry comb

日本語の意味

馬などの動物の体を手入れする際に使用されるグルーミング用具、つまり、動物の毛や皮膚の汚れや余分な毛を除去するための櫛のこと。

このボタンはなに？

Before the show, she packed her curry combs and brushes into the tack trunk.

翻訳する

競技会の前に、彼女は馬具箱にグルーミング用の櫛とブラシを詰めた。

詳細

curry bread

名詞

日本語の意味

カレーパン：日本の人気のある食品で、日本風カレーがパン生地に包まれ、パン粉をまぶして揚げられているもの

このボタンはなに？

I picked up a curry bread from the corner bakery and ate it on the train.

翻訳する

角のパン屋でカレーパンを買って、電車の中で食べた。

詳細

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で検索する