本文へスキップ
法人様向け ログイン
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 英語

検索内容:

formulaicity,

closed formula

名詞
(logic) A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.
日本語の意味
全ての変数が量化子などによって束縛され、自由変数が一切存在しない論理式。 / 自由変数を含まない式 / すべての変数が束縛されており、外部の文脈に依存しない論理式
このボタンはなに？
翻訳する

一階述語論理では、自由変数を含まない式が妥当であることを証明するには、それがすべての解釈の下で真であることを示す必要がある。

詳細
関連語

closed formulas
（ plural ）

closed formulae
（ plural ）

詳細

molecular formulas

名詞
 活用形 複数形
plural of molecular formula
原形: molecular formula
日本語の意味
分子式：分子を構成する原子の種類と数を表す化学式（この場合は「molecular formula」の複数形を意味します）
このボタンはなに？
翻訳する

実験中、彼女は正確な同定を確実にするために各試料の分子式を注意深く記録した。

詳細
詳細

Viète's formula

固有名詞
(mathematics) An infinite product of nested radicals representing the constant pi: specifically, 2/𝜋=(√2)/2·√/2·√/2⋯
日本語の意味
数学における公式で、無限に入れ子になった平方根の積で定数πを表す式です。具体的には、2/π = (√2)/2 × (√(2+√2))/2 × (√(2+√(2+√2)))/2 × … といった形を取ります。
このボタンはなに？
翻訳する

フランソワ・ヴィエトが16世紀に発見した、円周率πを表す無限の入れ子根号の積は、入れ子になった平方根を用いてπを表現します。

詳細
詳細

Vieta's formula

固有名詞
(mathematics) Any of various formulas that relate the coefficients of a polynomial to a sum or product of its roots.
日本語の意味
多項式の係数とその解（根）の和や積との関係を示す数学的公式。 / 代数方程式の係数と解との相互関係を表す定理。
このボタンはなに？
翻訳する

代数の授業で、先生は二次方程式の根の和と積を素早く求めるためにヴィエトの公式を使った。

詳細
詳細

atomic formula

名詞
(logic) A formula which does not have smaller subformulas.
日本語の意味
（論理学）下位に分解できない、より小さな部分論理式を持たない論理式。
このボタンはなに？
翻訳する

一階述語論理では、原子式はより小さな部分式に分解できないため、基本的な単位として扱われます。

詳細
関連語

atomic formulae
（ plural ）

atomic formulas
（ plural ）

詳細

infant formulas

名詞
 活用形 複数形
plural of infant formula
原形: infant formula
日本語の意味
乳児用調製粉ミルク（母乳の代替として使われる、乳児向けの人工栄養食品）
このボタンはなに？
翻訳する

病院は新しい母親に配布する前に、乳児用ミルクの賞味期限を注意深く確認しなければならない。

詳細
詳細

baby formulas

名詞
 活用形 複数形
plural of baby formula
原形: baby formula
日本語の意味
「baby formulas」は「baby formula」の複数形であり、日本語では一般に、赤ちゃんに与える栄養補助食品、すなわち乳児用ミルクや人工乳を指します。
このボタンはなに？
翻訳する

危機の間に乳児用粉ミルクの需要が急増したため、地元のフードバンクの備蓄が不足しています。

詳細
詳細

atomic formulae

名詞
 活用形 複数形
plural of atomic formula
原形: atomic formula
日本語の意味
‘atomic formulae’は‘atomic formula’の複数形です。
このボタンはなに？
翻訳する

研究者たちは論理体系の整合性を検証するためにいくつかの原子論理式を調べた。

詳細
詳細

infant formula

名詞
 可算名詞 不可算名詞
A manufactured food simulating human breast milk, designed to be fed to babies and infants under 12 months of age.
日本語の意味
赤ちゃんや乳児のために作られた、母乳の代用品である人工栄養食品
このボタンはなに？
翻訳する

旅行の前に、彼女は赤ちゃんが十分な栄養を確保できるように、数缶の乳児用ミルクを詰めました。

詳細
関連語

infant formulas
（ plural ）

infant formulae
（ plural ）

infant formulæ
（ plural ）

詳細

dental formula

名詞
A brief notation used by zoologists to denote the number and kind of teeth of a mammal.
日本語の意味
哺乳類の歯の数や種類を示すために動物学者が用いる略記法。
このボタンはなに？
翻訳する

古生物学者は、化石の歯を現生哺乳類のものと比較するために、哺乳類の歯の数と種類を示す簡潔な表記である歯式を用いた。

詳細
詳細

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

ログイン

パスワードを忘れましたか？
──── or ────

アカウントを持っていませんか？ 新規登録

新規登録

──── or ────

アカウントを持っていますか？ ログイン

　

アプリをダウンロード！
DiQt

DiQt（ディクト）

無料

★★★★★★★★★★