検索結果- 英語 - 英語

An abstract mathematical representation of a process, device or concept; it uses a number of variables to represent inputs, outputs and internal states, and sets of equations and inequalities to describe their interaction.

日本語の意味

数学的モデル：プロセス、装置、または概念を数学的な抽象表現により表し、複数の変数で入力、出力、内部状態を示し、方程式や不等式を用いてその相互作用を記述するもの。

このボタンはなに？

The research team developed a mathematical model to predict coastal erosion after storms.

翻訳する

研究チームは、嵐の後の沿岸侵食を予測するための数理モデルを開発した。

詳細

関連語

mathematical models

（ plural ）

詳細

mathematical economics

名詞

不可算名詞

(economics, mathematics) A sub-field of economics which aims at expressing economic theories with mathematic formulae.

日本語の意味

経済理論を数式を用いて表現し、経済現象を分析する経済学の一分野

このボタンはなに？

My professor's research in mathematical economics employs game theory and differential equations to model market behavior.

翻訳する

私の教授の研究は数理経済学で、ゲーム理論や微分方程式を用いて市場の振る舞いをモデル化しています。

詳細

mathematical logic

名詞

不可算名詞通常

(logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.

日本語の意味

数学的論理学：論理学と数学の一分野で、論理の数学的研究とその知見を他の数学領域へ応用することで、形式論理の表現力や形式的証明体系の推論力に関する問題に取り組む分野

このボタンはなに？

翻訳する

セミナーで、教授は数理論理学が形式言語の表現力や証明体系の推論力を分析するための手法をどのように提供するかを示した。

詳細

関連語

mathematical logics

（ plural ）

詳細

mathematical semantics

名詞

不可算名詞

(computer science) A study of formal semantics of computer languages, such as denotational semantics.

日本語の意味

計算機科学において、コンピュータ言語の形式的意味論、例えば指示意味論などを扱う研究分野。

このボタンはなに？

In the graduate seminar, we studied mathematical semantics to understand the precise behavior of programming languages.

翻訳する

大学院のゼミで、私たちはプログラミング言語の正確な振る舞いを理解するために数学的意味論を学びました。

詳細

mathematical logics

名詞

活用形複数形

plural of mathematical logic

日本語の意味

「mathematical logics」は、『mathematical logic』（数学的論理学）の複数形であり、活用形として名詞の複数形の形を示しています。

このボタンはなに？

Researchers compared several mathematical logics to determine which offered the most expressive power for modeling computation.

翻訳する

研究者たちは、計算をモデル化する上で最も表現力があるものを見極めるために、いくつかの数理論理学の体系を比較した。

詳細

Webで検索する