ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
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.
関連語
second cousin once removed
名詞
A child of a second cousin. / A second cousin of a parent.
日本語の意味
二従兄弟または二従姉妹の子供（＝自分の二従兄弟の子供） / 親の二従兄弟または二従姉妹（＝親の側の世代の二従兄弟）
英語の意味
A child of a second cousin. / A second cousin of a parent.
関連語
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.
関連語
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.
関連語
