検索結果- 英語 - 英語

検索内容:

subformulas

名詞

活用形複数形

plural of subformula

日本語の意味

「subformula」の複数形。つまり、単数形「subformula」に対して複数を表す活用形です。

このボタンはなに？

When simplifying the expression, we identified several redundant subformulas that could be eliminated.

Google翻訳 / DeepL翻訳

式を簡略化するとき、削除できるいくつかの冗長な部分式が見つかりました。

詳細

subformula

名詞

(logic) A formula that is part of another formula.

日本語の意味

他の論理式を構成する一部分となる論理式

このボタンはなに？

When simplifying the proof, identify every subformula that can be replaced by an equivalent expression.

Google翻訳 / DeepL翻訳

証明を簡略化するときは、同値な式に置き換えられる、他の式の一部である各部分式を特定してください。

詳細

subformulae

名詞

活用形複数形

plural of subformula

日本語の意味

「subformula」の複数形（subformulaeは、subformulaの複数形として用いられる）

このボタンはなに？

When simplifying the expression, the computer algebra system identifies identical subformulae to reduce computation.

Google翻訳 / DeepL翻訳

式を簡約するとき、コンピュータ代数システムは計算量を削減するために同一の部分式を検出します。

詳細

Webで検索する