検索結果- 英語 - 多言語
検索内容:
total station
An instrument used in land surveying that combines electronic and optical equipment to evaluate an area's location, features, and topography. https://www.nationalgeographic.org/glossary/?page=1232
土地測量に用いられる計測機器。電子式と光学式の装置を組み合わせ、地形、位置、及び地物の詳細を測定するために使用される。
total stations
plural of total station
「total stations」は「total station」の複数形(活用形)を示しています。
totally geodesic
sum-totals
in its totality
totality of the circumstances
paths of totality
plural of path of totality
「path of totality」の複数形、すなわち「複数の path of totality」を指す表現です。
path of totality
(astronomy) The path traced on the Earth's surface by the moon's shadow (more precisely, the umbra) during a total eclipse of the sun.
皆既日食時に、月の影(本影)が地球上に描く軌跡
right total
left total
(set theory) Of a binary relation, to have every element of the left set occur at least once: ∀a∈A∃b∈B:(a,b)∈R⊆A⨯B
集合論において、二項関係 R ⊆ A×B が左側の集合 A の全ての元 a に対して、少なくとも一度は現れる(すなわち、各 a に対して、対応する b ∈ B が存在し (a, b) ∈ R となる)という性質を示す。 / つまり、全ての a ∈ A が何らかの形で R に含まれている状態を表す。