検索結果- 英語 - 英語

検索内容:

corresponding

lexical correspondences

名詞

活用形複数形

plural of lexical correspondence

日本語の意味

これは「lexical correspondence」（語彙対応）の複数形、すなわち複数の語彙対応を指す形です。

このボタンはなに？

Researchers mapped the lexical correspondences between the two dialects to improve automated translation.

Google翻訳 / DeepL翻訳

研究者たちは自動翻訳を改善するために、2つの方言間の語彙の対応関係をマッピングした。

詳細

Robinson-Schensted correspondence

名詞

日本語の意味

（数学）順列と同じ形状の標準ヤング表のペアとの間で定義される全単射な（bijective）対応。組み合わせ論など、数学の各分野でその応用が見られる。

このボタンはなに？

The Robinson-Schensted correspondence provides a powerful tool for translating permutation problems into questions about Young tableaux.

Google翻訳 / DeepL翻訳

置換と同じ形の標準ヤング表の組との間の全単射対応は、置換に関する問題をヤング表の問題に変換するための強力な手段を提供する。

詳細

Robinson-Schensted correspondences

名詞

活用形複数形

plural of Robinson-Schensted correspondence

日本語の意味

ロビンソン・シェンステッド対応の複数形、すなわち『ロビンソン・シェンステッド対応』という概念の複数のものを指す。

このボタンはなに？

Researchers compared different proofs of the Robinson-Schensted correspondences to better understand their combinatorial properties.

Google翻訳 / DeepL翻訳

研究者たちは、それらの組合せ論的性質をよりよく理解するために、異なるロビンソン・シェンステッド対応の証明を比較した。

詳細

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.

Google翻訳 / DeepL翻訳

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

詳細

correspondingly

副詞

比較不可

In a corresponding manner; conformably.

日本語の意味

それに対応して / それに応じて / 相応に / 比例して

このボタンはなに？

When the company reduced its workforce, the remaining departments' responsibilities increased correspondingly.

Google翻訳 / DeepL翻訳

会社が人員を削減したとき、残った部署の責任はそれに応じて増えた。

詳細

Webで検索する