検索結果- 英語 - 多言語
検索内容:
universal arithmetic
Herbrand universe
(logic) The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)
論理学において、『Herbrand universe』は、与えられた論理式集合に現れる定数や関数記号を用いて（再帰的にも構成可能な）全ての地の項（ground term）の集合を指します。なお、もしその論理式集合に定数が存在しない場合には、目的のためにひとつの既定の定数を採用することが規定されています。
technological university
(education) A university specialising in the study of engineering, science and technology.
工科大学：工学、理学、技術の分野に特化して教育・研究を行う大学 / 技術大学：主に工学や技術関連の教育・研究を中心とする大学
known universes
plural of known universe
「既知の宇宙」の複数形、つまり既知の宇宙が複数存在する場合を指します。
observable universes
Universal Credit
(taxation) A welfare benefit in the United Kingdom, replacing previous benefits and tax credits, gradually rolled out from 2013 and expected to cover the whole country by the end of 2024.
イギリスにおける福祉給付制度の一つ。従来の給付金や税額控除制度を統合・置換し、2013年から段階的に導入され、2024年末までに全国に適用される予定の制度。
Universal Unitarian
Universal Unitarian
(rare) Unitarian Universalist.
ユニタリアン・ユニバーサリスト（宗教団体、またはその信仰を持つ人を指す）
universal grammars
universal grammar
(linguistics) A hypothetical innate abstract system in the human brain that underlies the grammar of all human languages.
言語学における普遍文法とは、人間の脳内に生得的に備わっていると仮定される抽象的なシステムで、すべての人間言語の文法構造の共通基盤をなす概念です。 / また、この概念は人間が言語を習得する際の基本的能力や、言語習得の普遍的なメカニズムを示すものとしても理解されます。
