ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
second cousins once removed
monadic second-order logic
名詞
可算名詞
不可算名詞
(logic) A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse.
日本語の意味
個体集合の各要素に対して、1引数の述語(単項述語)に対する量化を可能にすることで、第一階述語論理を拡張した形式的な推論体系
英語の意味
(logic) A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse.
関連語
chief petty officers second class
chief petty officer second class
名詞
カナダ英語
未分類
(Canada, Navy) A warrant officer in the Canadian Forces Maritime Command, ranking above petty officer first class and below chief petty officer first class.
日本語の意味
カナダ海軍における下士官ランクの一つ。ペティオフィサー・ファーストクラスの上位であり、チーフペティオフィサー・ファーストクラスの下位に位置する階級、すなわち准士官の一種を指す。
英語の意味
(Canada, Navy) A warrant officer in the Canadian Forces Maritime Command, ranking above petty officer first class and below chief petty officer first class.
関連語
perpetual motion machines of the second kind
perpetual motion machine of the second kind
名詞
(physics, pseudoscience) A perpetual motion machine that spontaneously converts thermal energy into mechanical work.
日本語の意味
熱エネルギーを自発的に機械的な仕事に変換することで、永続的な運動を実現しようとする装置(物理学、疑似科学領域の概念)
英語の意味
(physics, pseudoscience) A perpetual motion machine that spontaneously converts thermal energy into mechanical work.
関連語