検索結果- 英語 - 英語

A kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning, in contrast to axiomatic systems.

日本語の意味

自然演繹――自然な推論方法に基づく証明体系。論理的な推論規則が、日常の思考の流れに即している点が特徴です。

このボタンはなに？

The textbook explains natural deduction through a series of inference rules that mirror everyday logical reasoning.

翻訳する

教科書は、推論規則によって論理的推論が日常的な思考に近い形で表現される証明計算である自然演繹法を解説しています。

詳細

natural gender

名詞

可算名詞不可算名詞

日本語の意味

文法上、実際の性、特に生物の身体的性別に基づいて、名詞やその他の語が通常持つと予想される性別。 / 参照対象（例えば、人や動物）の自然な性に即して、期待される性の区分。

このボタンはなに？

In many languages, a noun's natural gender can determine which pronouns are used.

翻訳する

多くの言語では、名詞の生物学的性別に基づく性がどの代名詞が使われるかを決めることがあります。

詳細

semi-natural

形容詞

別表記異形比較不可

alternative form of seminatural

日本語の意味

「semi-natural」は、語形のバリエーションとして「seminatural」と同じ意味であり、一般的には『半自然的な』、すなわち一部は自然である状態を示す形容詞として用いられます。

このボタンはなに？

The garden's semi-natural layout blends native plants with carefully tended flowerbeds.

翻訳する

庭の半自然的な配置は在来植物と手入れの行き届いた花壇を融合させている。

詳細

natural convections

名詞

活用形複数形

plural of natural convection

日本語の意味

自然対流（『natural convection』の複数形、主に自然な熱や物の循環現象を指す）

このボタンはなに？

To improve building comfort, the engineers analyzed the natural convections in the atrium during summer afternoons.

翻訳する

建物の快適性を向上させるため、エンジニアたちは夏の午後にアトリウムで発生する自然対流現象を解析した。

詳細

natural isomorphisms

名詞

活用形複数形

plural of natural isomorphism

日本語の意味

数学（特に圏論）における『自然同型』の複数形。つまり、各対象において同型を与え、構造を自然に保つ対応（自然同型変換）の集合を指します。

このボタンはなに？

In category theory, natural isomorphisms often reveal deep connections between seemingly different constructions.

翻訳する

圏論では、引数に関して自然な同型写像が、一見異なる構成の間に深い関係を示すことが多い。

詳細

Webで検索する