検索結果- 英語 - 多言語
検索内容:
correspondence course
A study programme that is carried on by post, with tutors mailing learning materials and assignments to students, and students mailing back their work.
通信講座、郵送で行う学習プログラム。教材や課題が郵送され、受講生が自宅で学習し、課題を郵送で提出する方式の講座。
lexical correspondences
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).
カリー・ハワード対応は、構成的数学的証明とプログラム(特に型付き関数型プログラミング言語の関数)との間、さらに証明された論理式とそのプログラムにおける型との間に対応関係が存在するという類推または主張を表す概念・定理です。
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)対応。組み合わせ論など、数学の各分野でその応用が見られる。
corresponding angle
Angles which occupy the same relative position at each intersection where a straight line crosses two others. If the two lines are parallel, the corresponding angles are equal.
平行な直線が交わる他の直線と交差する際、それぞれの交点で同じ相対位置に現れる角度。
corresponding author
That author of a joint paper who is considered by the publisher to have submitted it for publication.
共著論文において、出版社が出版のために提出を担当したとみなす著者。