ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 英語
検索内容:
Herbrand universe
名詞
日本語の意味
論理学において、『Herbrand universe』は、与えられた論理式集合に現れる定数や関数記号を用いて(再帰的にも構成可能な)全ての地の項(ground term)の集合を指します。なお、もしその論理式集合に定数が存在しない場合には、目的のためにひとつの既定の定数を採用することが規定されています。
関連語
universal instrument
名詞
(astronomy)
A
kind
of
altitude
and
azimuth
instrument.
The
object
end
of
the
telescope
is
placed
at
right
angles
to
the
eye
end,
with
a
prism
of
total
reflection
at
the
angle,
and
the
eye
end
constitutes
a
portion
of
the
horizontal
axis
of
the
instrument,
having
the
eyepiece
at
the
pivot
and
in
the
center
of
the
altitude
circle,
so
that
the
eye
has
convenient
access
to
both
at
the
same
time.
日本語の意味
天文学における高度・方位の測定装置。望遠鏡の対象側が観測側と直角に配置され、全反射プリズムによって反射される構造を持ち、接眼側が水平軸の一部となることで、接眼レンズ(ピボット位置にあり高度円の中心)から両側を同時に観測できる設計となっている
関連語
universities of the streets
university of the streets
名詞
アメリカ英語
慣用表現
日本語の意味
(比喩的表現)学校でなく、過酷な人生経験(苦難)から学んだ実践的な知識や教訓を意味する。 / (同義表現)‘school of hard knocks’と同様に、困難な現実を通して身につけた生きた知恵・経験を指す。
関連語
Universal Friends
pocket universes
loading!
Loading...