検索結果- 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

computers),

computation tree logic

名詞

不可算名詞

日本語の意味

計算木論理：分岐時間を扱う特殊な様相論理であり、『次』、『全体』、『最終（または最終的に）』、『until』、『weak until』などのオペレーターを用いて、システムの状態遷移などを形式的に表現する論理体系

このボタンはなに？

翻訳する

研究者たちは、計算木論理（分岐時間の特定のモーダル論理で「次」「常に」「最終的に／やがて」「until」「弱いuntil」といった演算子を持つ）を用いて、分散プロトコルがあらゆる可能な実行経路で最終的に合意に達することを検証した。

詳細

computational number theory

固有名詞

日本語の意味

計算機を用いた数論および算術幾何学の問題の解明や研究を行う数学の一分野。

このボタンはなに？

A recent workshop showcased breakthroughs in computational number theory and their applications to cryptography.

翻訳する

最近のワークショップでは、計算数論における画期的な進展とそれらの暗号学への応用が紹介されました。

詳細

computational fluid dynamics

名詞

不可算名詞

(computing, mechanics) The study of computational algorithms to solve mathematical problems in the field of fluid dynamics.

日本語の意味

計算流体力学

このボタンはなに？

The research team used computational fluid dynamics to optimize the aerodynamics of the new drone.

翻訳する

研究チームは新型ドローンの空力を最適化するために計算流体力学を用いた。

詳細

electro-mechanical computer

形容詞

別表記異形

Alternative spelling of electromechanical computer

日本語の意味

電気機械式コンピュータの別表記

このボタンはなに？

The electro-mechanical computer era witnessed rapid innovation in calculating machines.

翻訳する

電気機械式コンピュータの時代には、計算機の急速な革新が見られました。

詳細

Small Computer Systems Interface

固有名詞

(computing) A standard interface and command set for transferring data between devices on a bus.

日本語の意味

バス上の複数のデバイス間でデータを転送するための標準インターフェースおよびコマンドセットの規格

このボタンはなに？

翻訳する

旧式のRAIDコントローラに実装されている、バス上の機器間でデータを転送するための標準的なインターフェースとコマンドセットが原因でバックアップが失敗したため、週末にメンテナンスを予定しました。

詳細

computerspeak

名詞

くだけた表現不可算名詞

(informal) The jargon associated with computer technology.

日本語の意味

コンピュータ技術に関連する専門用語

このボタンはなに？

The manual was full of impenetrable computerspeak that left new users confused.

翻訳する

そのマニュアルは初心者を混乱させるほど難解なコンピュータ用語だらけだった。

詳細

Webで検索する