ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
news correspondent
名詞
A person who supplies news to a newspaper or a magazine; journalist. / A person who sends audio or visual reports to radio or television stations.
日本語の意味
新聞や雑誌にニュースを提供する記者 / ラジオやテレビに音声や映像による報道を送る記者
英語の意味
A person who supplies news to a newspaper or a magazine; journalist. / A person who sends audio or visual reports to radio or television stations.
関連語
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).
日本語の意味
カリー・ハワード対応は、構成的数学的証明とプログラム（特に型付き関数型プログラミング言語の関数）との間、さらに証明された論理式とそのプログラムにおける型との間に対応関係が存在するという類推または主張を表す概念・定理です。
英語の意味
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).
Robinson-Schensted correspondences
Robinson-Schensted correspondence
名詞
(mathematics) A bijective correspondence between permutations and pairs of standard Young tableaux of the same shape. It has applications in combinatorics and other areas.
日本語の意味
（数学）順列と同じ形状の標準ヤング表のペアとの間で定義される全単射な（bijective）対応。組み合わせ論など、数学の各分野でその応用が見られる。
英語の意味
(mathematics) A bijective correspondence between permutations and pairs of standard Young tableaux of the same shape. It has applications in combinatorics and other areas.
関連語
