"動作条件で"の翻訳 英語に:
例 (レビューされていない外部ソース)
| 不変条件 事前条件 事後条件を自動的に得られます 実際にツールを紹介し その作成方法を検証していきます | Other tools that help us doing that this is the idea of inferring invariants, having a tool that automatically provides data invariants, preconditions, and postconditions. |
| 2番目の条件は シーシュポスの条件 です | People build one after the other, after the other, after the other. |
| 条件 | Conditions |
| 条件 | Condition |
| 条件 | Criteria |
| 条件 | I have a condition. |
| この条件で | I'll call this I1. |
| 無条件です | Every month without delay Rs 200 will reach your account. |
| そのための場の条件を作るわけです | So Kleiber is about process. |
| チェック条件 | Check Condition |
| 条件QDialogButtonBox | Condition |
| 無条件 | Interviewer No. No conditions. |
| 条件が | On one condition. |
| ある条件では | Could i please be put away? |
| 初期条件でなくても 他の条件や 関数上の点で | So the initial conditions tell us that 4 and they don't have to be initial conditions. |
| フィルタの条件 | Filter Criteria |
| 前提条件 | Preconditions |
| マッチングの条件 | Matching Condition |
| 条件のタイプ | Parameter type |
| 初期条件 | Initial Conditions |
| 検索条件 | Search Criteria |
| マッチングの条件 | The condition for the match |
| 事前条件 | Precondition |
| 事前条件 | Precondition |
| 事後条件 | Postcondition |
| 抽出条件 | Criteria |
| 第 1 条件 | First Condition |
| 第 2 条件 | Second Condition |
| 第 3 条件 | Third Condition |
| ブレークポイントの条件 | Breakpoint Condition |
| 次に条件を書く ここでは 最初が緑 が条件だ | Given, this means given |
| 事前条件と事後条件で関数fと仮定します | Assertion also easily allowed you to put the blame on specific places. |
| 条件付きで承諾 | Accept cond. |
| いいえ 無条件で | Project manager But only if they work? |
| 良い条件でしょ | So assuming I don't have to spend the money today |
| これら以外にも不変条件はたくさんあります 不変条件を定義さえすれば 不変条件は自動的にチェックされます | Here we have the invariant rootlsBlack and it simply checks the color attribute of the root note to be black and of course, there's more to it. |
| ここでは条件4が破られています 実は条件4は | Just to give one example, suppose that we colored the node two, red, and one and three are black. |
| 追加の条件 | Appending Condition |
| 条件を反転 | Invert Condition |
| 条件を期待 | condition expected |
| 条件付きスタイル | Conditional Styles |
| 条件付きスタイル... | Conditional Styles... |
| 君の条件は | What's yours? |
| どんな条件 | What kind of preferences? |
| そしてその計算結果が事後条件でチェックされます 事前条件と事後条件に関しては | These test inputs have been checked by preconditions, and the results of the computation will be checked by postconditions. |