検索結果- 英語 - 多言語
検索内容:
single star system
(astronomy) A star system consisting of a solitary star not gravitationally bound to other stars
天文学において、他の恒星と重力的に結びついていない単一の恒星からなる星系を指す。
Westminster system
(politics) A democratic parliamentary system of government, used by and modelled after the British parliament in Westminster.
ウェストミンスター式議会制政府、すなわちイギリスのウェストミンスター宮殿をモデルにした、民主的議会制度による統治体制
proof system
(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
論理学において、公理の集合と推論規則の集合を用いて自明な命題を導出し、その証明を構築するための体系。
closed system
(physics, chemistry, engineering) A physical system whose interaction with its environment is limited to particular types of transfer, so that certain quantities are conserved within the system.
(物理学、化学、工学において)外部との相互作用が特定の種類の移動に限定され、その結果、システム内で一定の量が保存されるシステム。
isolated system
(physics) A system that does not interact with its surroundings. Depending on context this may mean that its total energy and/or momentum stay constant. In thermodynamics, isolated is usually used to indicate that the system's energy does not change. In mechanics it is used to indicate that the system's momentum does not change.
物理学における「isolated system」とは、外界(周囲)との相互作用が全くない系を指す。つまり、系内部のエネルギーや運動量が外部とのやりとりを行わず、一定に保たれる(熱力学ではエネルギー、力学では運動量が保存される)状態の系である。
formal system
(logic) The grouping of a formal language and a set of inference rules and/or axioms.
形式体系:形式言語と一組の推論規則または公理から構成される、論理における体系
ethical system
(ethics) A particular set of consistent ethical principles.
特定の一貫性をもった倫理原則、すなわち体系的な倫理の枠組み(倫理体系)を指す。
dynamical system
(mathematics, physics) A system which is time-dependent.
(数学・物理学)時間に依存して変化するシステム、またはその振る舞いを解析する対象。一般的に「力学系」とも呼ばれる。
expert system
(artificial intelligence) A type of artificially intelligent software system, which stores expertise concerning some subject matter in a knowledge base and attempts to answer questions or solve problems in a manner which simulates the thought processes of a human expert.
特定の分野に関する専門家の知識を知識ベースに蓄積し、人間の専門家の思考過程を模倣して質問に答えたり問題を解決したりする人工知能システム。 / 専門家システムとも訳され、人工知能の一形態で、特定領域において専門知識を利用し、論理的な推論を行うソフトウェアシステム。