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

検索結果- 英語 - 多言語

検索内容:

dive computers

名詞
活用形 複数形

plural of dive computer

原形: dive computer
日本語の意味
「dive computer」の複数形、すなわちダイブコンピューター(複数形を示す表現)
英語の意味
plural of dive computer
このボタンはなに?

経験豊富なインストラクターは、窒素濃度を監視し、長いリーフダイブ中に減圧症を避けるためにダイビングコンピューターを頼りにしている。

hybrid computers

名詞
活用形 複数形

plural of hybrid computer

原形: hybrid computer
日本語の意味
ハイブリッドコンピュータの複数形
英語の意味
plural of hybrid computer
このボタンはなに?

多くの研究機関が複雑なシミュレーションを高速化するためにハイブリッドコンピュータに投資しています。

ubiquitous computing

名詞
不可算名詞

A concept of computing as pervasive and ambient, not limited to particular devices or locations.

日本語の意味
コンピュータ技術が特定のデバイスや場所に限定されず、あらゆる場所で利用可能であるという概念 / 普及・環境に溶け込む形で存在する計算技術
英語の意味
A concept of computing as pervasive and ambient, not limited to particular devices or locations.
このボタンはなに?

遍在するコンピューティングを研究する研究者たちは、日常の物体が環境をより応答的にするために情報をシームレスに収集・共有すべきだと主張している。

computable functions

名詞
活用形 複数形

plural of computable function

原形: computable function
日本語の意味
「計算可能関数」の複数形
英語の意味
plural of computable function
このボタンはなに?

理論計算機科学では、計算可能な関数がコンピュータで解ける問題を理解するための基盤を形成します。

computability theory

名詞
不可算名詞

(logic) Recursion theory. / (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.

日本語の意味
再帰理論 / 計算可能性理論
英語の意味
(logic) Recursion theory. / (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.
このボタンはなに?

ゼミでは、どの決定問題がアルゴリズム的に解けるかを明らかにするために再帰理論を探求しました。

quantum computers

名詞
活用形 複数形

plural of quantum computer

原形: quantum computer
日本語の意味
「量子コンピュータ」の複数形で、複数の量子コンピュータを指します。
英語の意味
plural of quantum computer
このボタンはなに?

研究者たちは、量子コンピュータが安全な通信と材料探索を革新すると楽観視している。

classical computers

名詞
活用形 複数形

plural of classical computer

原形: classical computer
日本語の意味
これは「classical computer」の複数形です。
英語の意味
plural of classical computer
このボタンはなに?

研究者は量子装置で実験を行う前に結果を検証するために従来のコンピュータをよく使用します。

Small Computer Systems Interface

固有名詞

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

日本語の意味
バス上の複数のデバイス間でデータを転送するための標準インターフェースおよびコマンドセットの規格
英語の意味
(computing) A standard interface and command set for transferring data between devices on a bus.
このボタンはなに?

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

関連語

abbreviation

computational number theory

固有名詞

(mathematics, number theory) The field of study dealing with computational methods for investigating and solving problems in number theory and arithmetic geometry.

日本語の意味
計算機を用いた数論および算術幾何学の問題の解明や研究を行う数学の一分野。
英語の意味
(mathematics, number theory) The field of study dealing with computational methods for investigating and solving problems in number theory and arithmetic geometry.
このボタンはなに?

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

computation tree logic

名詞
不可算名詞

(computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".

日本語の意味
計算木論理:分岐時間を扱う特殊な様相論理であり、『次』、『全体』、『最終(または最終的に)』、『until』、『weak until』などのオペレーターを用いて、システムの状態遷移などを形式的に表現する論理体系
英語の意味
(computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".
このボタンはなに?

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

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★