computability

Some mathematical problems lie beyond computability.

一部の数学的問題は計算可能性の範囲外にあります。

Computability theory is fundamental to computer science.

計算可能性理論はコンピュータサイエンスの基礎です。

He uses a computer.

彼はコンピューターを使います。

There is a computer in the office.

オフィスにはコンピューターがあります。

This computer is faster than my previous one.

このコンピューターは私の以前のものより速いです。

He will repair your computer immediately tomorrow.

彼は明日すぐにあなたのコンピューターを修理するでしょう。

She teaches basic computer skills.

彼女は基本的なコンピュータースキルを教えます。

I was typing on my computer when it crashed unexpectedly.

私がパソコンで入力していたとき、コンピューターが予期せずクラッシュしました。

They inquired who had been using the computer in the office yesterday afternoon.

彼らは昨日の午後オフィスでコンピューターを使っていたのは誰か尋ねました。

She switched the computer off after saving all her work on the hard drive.

彼女はハードドライブにすべての作業を保存した後、コンピューターを消しました。

When she arrived at the office, she found that her computer was not working, so she had to use another machine temporarily.

彼女がオフィスに到着したとき、彼女のコンピューターが動いていないことがわかったので、一時的に別の機械を使わなければなりませんでした。

My neighbor, who works at the university, teaches computer science to students.

大学で働いている私の隣人は、学生にコンピューターサイエンスを教えています。

The computer which broke down yesterday has been repaired by technical staff.

昨日故障したコンピューターは技術スタッフによって修理されました。

The information was being collected by researchers when the computer suddenly stopped working.

コンピューターが突然動かなくなったとき、情報は研究者によって収集されているところでした。

The application can be filled by hand or typed on a computer depending on your preference.

申請書は好みに応じて、手書きまたはコンピューターでタイプして記入できます。

Virtualization technology enables efficient resource allocation across multiple computing environments simultaneously.

仮想化技術は、複数のコンピューティング環境間で同時に効率的なリソース割り当てを可能にする。

The capability of modern computers astounds those who remember earlier technology generations.

現代のコンピューターの能力は、以前の技術世代を覚えている人々を驚かせる。

The mathematician's proof was derivative, borrowing heavily from previous work whilst also involving calculus operations that computed rates of change systematically.

数学者の証明は派生的であり、以前の研究から大きく借用しながら、変化率を体系的に計算する微積分演算も含んでいた。

The strategy, which analysts (examining data through computational models that, benefiting from algorithmic refinements enhancing predictive accuracy, outperform earlier approaches) endorse enthusiastically, promises competitive advantage.

戦略は、アナリストたち（予測精度を高めるアルゴリズム的洗練の恩恵を受けて以前のアプローチを上回る計算モデルを通じてデータを検討している）が熱心に支持し、競争優位を約束している。

The algorithm that programmers whom corporations that develop innovative software aggressively recruit designed optimizes computational efficiency substantially.

革新的ソフトウェアを開発する企業が積極的に採用したプログラマーが設計したアルゴリズムは計算効率を実質的に最適化している。