| 意味 | 例文 (98件) |
SAT isとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 十分な；適切に
「SAT is」の部分一致の例文検索結果
該当件数 : 98件
An image computation method is provided for solving the Boolean satisfiability(SAT).例文帳に追加
この方法を使用してブーリアン満足化可能性(SAT)を解決するイメージ計算の方法が実現される。 - 特許庁
Holmes had sat up upon the couch, and I saw him motion like a man who is in need of air.発音を聞く 例文帳に追加
ソファの上でホームズは身を起こし、酸欠でもがく仕草を見せた。 - Arthur Conan Doyle『ボヘミアの醜聞』
which is that he sat there in two minds.発音を聞く 例文帳に追加
つまりピーターは、２つのことを考えてそこに座っていたのでした。 - James Matthew Barrie『ケンジントン公園のピーターパン』
Jesus, having found a young donkey, sat on it. As it is written,発音を聞く 例文帳に追加
イエスは，子ロバを見つけて，それに座った。こう書いてあるとおりである， - 電網聖書『ヨハネによる福音書 12:14』
Furthermore, the pattern of the SAT is set by the set value transferred from a corresponding address to a SAT generating circuit 36.例文帳に追加
対応するアドレスからＳＡＴ生成回路３６に転送された設定値で、ＳＡＴのパターンが設定される。 - 特許庁
A SAT function and an application are stored in an external storage device detachable from the portable terminal and when an SIM card connected to that terminal does not correspond to the SAT, the SAT function is downloaded from the external storage device.例文帳に追加
携帯端末より脱着可能な外部記憶装置にＳＡＴ機能、アプリケーションを格納しておき、その端末に接続されるＳＩＭカードがＳＡＴに対応していない場合、外部記憶装置からＳＡＴ機能をダウンロードする。 - 特許庁
By bringing the measured T_SAT into check with a T_SAT-V_FUEL map for defining the relationship between T_SAT and an estimated fuel volume V_FUEL, the estimated fuel volume V_FUEL is estimated (step 106).例文帳に追加
T_ＳＡＴと推定燃料量V_ＦＵＥＬとの関係を定めたT_ＳＡＴ−V_ＦＵＥＬマップに実測されたT_ＳＡＴを照らし合わせて推定燃料量V_ＦＵＥＬを推定する（ステップ１０６）。 - 特許庁
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
Weblio英和対訳辞書での「SAT is」の意味 |
|
Satis (goddess)
Wiktionary英語版での「SAT is」の意味 |
satis
語源 1
From Proto-Indo-European *sh₂tis (“satiation, satisfaction”), from *seh₂- (“to satiate, be satisfied”). Cognates include Sanskrit असिन्व (asinva, “insatiable”), Ancient Greek ἄω (áō, “to satiate”) and 古期英語 sæd (“full, sated”) (English sad).
副詞
satis (not comparable)
派生語
派生した語
- ⇒ Medieval Latin: ad satis (see there for further descendants)
- ⇒ Vulgar Latin: *satius (noun)
参照
- “satis”, in Charlton T. Lewis and Charles Short (1879) A Latin Dictionary, Oxford: Clarendon Press
- “satis”, in Charlton T. Lewis (1891) An Elementary Latin Dictionary, New York: Harper & Brothers
- satis in Charles du Fresne du Cange’s Glossarium Mediæ et Infimæ Latinitatis (augmented edition with additions by D. P. Carpenterius, Adelungius かつ others, edited by Léopold Favre, 1883–1887)
- satis in Gaffiot, Félix (1934) Dictionnaire illustré latin-français, Hachette
- Carl Meißner; Henry William Auden (1894) Latin Phrase-Book[1], London: Macmillan and Co.
- after a fairly long interval: satis longo intervallo
- I am losing my eyesight and getting deaf: neque auribus neque oculis satis consto
- I am content to..: satis habeo, satis mihi est c. Inf.
- to take only enough food to support life: tantum cibi et potionis adhibere quantum satis est
- so much for this subject...; enough has been said on..: ac (sed) de ... satis dixi, dictum est
- after a fairly long interval: satis longo intervallo
「SAT is」の部分一致の例文検索結果
該当件数 : 98件
After that, the SAT is executed in a state heater power of P1 is supplied to the heater 124.例文帳に追加
その後、Ｐ１のヒータ・パワーをヒータ１２４に供給した状態においてＳＡＴを実行する。 - 特許庁
It is mentioned in Kashiwagi "Genji Monogatari" (The Tale of Genji) as follows: 'As he sat on wooden slats, a shitone was offered.'発音を聞く 例文帳に追加
『源氏物語』柏木に「簀子すのこにゐたまへば茵さし出でたり」とある。 - Wikipedia日英京都関連文書対訳コーパス
He sat on an electrical chair in 1946 and he is known as the historically first condemned who failed the execution.発音を聞く 例文帳に追加
彼は電気椅子に1946年に座ったが、歴史上初めて処刑に失敗した死刑囚として有名である。 - Wikipedia日英京都関連文書対訳コーパス
The QBF is decomposed into a component section which can be analyzed by a satisfiability (SAT) solver.例文帳に追加
ＱＢＦは、充足可能性（ＳＡＴ）ソルバによって分析可能な構成要素部に分解される。 - 特許庁
To calculate a SAT reference value which is a determination reference for presuming a road surface friction state with high precision.例文帳に追加
路面摩擦状態を推定するための判定基準であるＳＡＴ基準値を高精度に演算する。 - 特許庁
While using the downloaded SAT function, the application is executed.例文帳に追加
そして、ダウンロードしたＳＡＴ機能を使用してアプリケーションを実行する。 - 特許庁
The man sat huddled up in his chair, with his head sunk upon his breast, like one who is utterly crushed.発音を聞く 例文帳に追加
男はすっかり打ちのめされたように、頭をがっくりと落とし、小さくなって椅子に座っていた。 - Arthur Conan Doyle『シャーロック・ホームズの冒険』
The decision heuristic is based on the partitioning of a conjunctive normal form(CNF) of a Boolean formula corresponding to the Boolean satisfiability(SAT), and the portioning is induced by a separator set.例文帳に追加
決定ヒューリスティックは、ブーリアン満足化可能性(SAT)に対応したブーリアン式の論理積正規形(CNF)のパーティション化をベースとし、当該パーティション化はセパレーター集合により誘導される。 - 特許庁
| 意味 | 例文 (98件) |
|
|
SAT isのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのsatis (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
閲覧履歴
 | 「SAT is」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
