数式の成立

質問

こんにちは。いつもお世話になっています。
現在、コンピューターのバグ処理方法について英訳しています。
その中で、「この式（不等式）が成立したら」というくだりがあります。具体的に言うと、「A < B」という不等式があり、出てきた数値A、Bを比較してこの式が成立する（＝Bのほうが大きい）場合、という意味です。

数式が成立する、とはどのような単語を使えばいいでしょうか？
work outだと「解ける」という意味でしょうか。realiseはどうでしょうか？または、数式が正となるのでbe true?
どうぞよろしくお願いいたします。

回答No.1

Tacosan · ベストアンサー

ありがちな表現だと hold とか satisfy (受動態で使うから be satisfied) かなぁ.
be true や realise はちょっと変な感じがします.
状況によっては in such case も使えるかもしれない.

お礼

ご回答ありがとうございます。
質問の書き方が少し雑で申し訳なかったのですが、実際は
　Expiration Time < System Current Time
という式があり、「割込み発生時にExpiration TimeとSystem Current Timeの比較が行われ、この式が成り立つ場合はハンドラを実行する」というような文章でした。
この文章では、出てきた数値がこの不等式を満たす場合は…という感じなので、be satisfiedが一番しっくりくるような気がします。

回答No.3

Parismadam

はじめまして。

ご質問１：
＜数式が成立する、とはどのような単語を使えばいいでしょうか？＞

１．「式が成立する」＝「～という式で、式が成り立つ」と考えます。

２．ここでは動詞carryを持ってくるといいでしょう。
例：
The formula is carried by ～
「その数式は、～という式で成立する」

この～の部分に使われた式をそのままあてはめます。

３．また、式を組み立てるの意味で使われるset upやformulateの受動態を持ってくることも可能です。
例：
The formula is set up by ～
It is formulated by
「その数式は、～という式で成立する」

ご質問２：
＜work outだと「解ける」という意味でしょうか。realiseはどうでしょうか？または、数式が正となるのでbe true?＞

１．work outは「算出」「算定」「計算」する意味になりますから、公式が解ける、公式が成り立つ、という文脈では不適切です。
例：
The cost was worked out at 5 dollars.
「費用は５ドルと算出された」

２．realizeは基本的には「実現する」「現実になる」という意味からきていますから、契約などが成立する、といった場面で使えます。
例：
The plan wasn’t realized.
「計画は成立しなかった」

３．be trueは証明法などで「～という公式が成り立つなら」といった場面では使えます。ご質問文の選択肢では、これが一番適っていると思われます。

以上ご参考までに。

お礼

はじめまして。ご回答ありがとうございます。いつもこちらでの回答を拝見して勉強させていただいています。

私がもっと原文に沿った形で質問するべきだったのですが、今回必要としていた表現はNo.1の方の回答に書かせていただいた内容でした。しかし、私が質問した全ての表現を丁寧に解説していただき、とても勉強になりました。ありがとうございました。

回答No.2

Ganbatteruyo

アメリカに住んで４０年目の終わりに近づきました。　私なりに書いてみますね。

数学的に表現する事になると思いますよ。　If B>A, thenとなります。

これを文章にすると、If B is larger than A, then xxxxxと言う表現になります。　もちろん、If A is smaller than B, thenと言う風に持っていくことは問題ないですね。

簡単すぎたかな。

If A<B is true, thenも問題なく使われます。

もし回答が的をいていなければ、また書いてください。　

参考になりましたでしょうか。　分かりにくいところがありましたらどんどん突っ込んでまた書いてくださいね。

お礼

ご回答ありがとうございます。いつもこちらでの回答を拝見して勉強させていただいています。

No.1の方へのお礼にも書きました通り、今回の文章は式そのものを英語で言うよりも、「この式が成立する場合」という表現が必要でした（技術者さんが書いた文章なので、極力原文に忠実に訳しています）。とはいえ、ご回答くださった内容も今後の参考にさせていただきます。ありがとうございました。