Frank's avatar
Frank

Oct. 7, 2021

0
コンピューターの力

一般的な生活では、コンピューターまた携帯などは、どんなためのプログラムやアプリもあるだろう。そして、存在していない場合は、誰かがそのプログラムが作れるのだろう。だから、僕はずっとコンピューターの力は無限であることを信じていたが、実はそうではない。例えば、あるプログラムは停止するかどうかを判定できるプログラムは存在しない。この決定問題は計算機科学者アラン・チューリングによって85年前証明された。(これはコンピューターサイエンスで一番有名な証明だろう。)つまり、コンピューターはどんなに高くても、どんなに力があっても、できないことはまだある。

Corrections

コンピューターの力

一般的な生活では、コンピューターまた携帯などは、どんなためのプログラムやアプリもあるだろう。

そして、存在していない場合は、誰かがそのプログラム作れるだろう。

だから、僕はずっとコンピューターの力は無限であることを信じていたが、実はそうではない。

例えば、あるプログラム停止するかどうかを判定できるプログラムは存在しない。

この決定問題は計算機科学者アラン・チューリングによって85年前証明された。

(これはコンピューターサイエンスで一番有名な証明だろう。)つまり、コンピューターどんなに高くても、どんなに力があっても、できないことはまだある。

Frank's avatar
Frank

Oct. 8, 2021

0

直してくれてありがとうございました!

コンピューターの力


This sentence has been marked as perfect!

一般的な生活では、コンピューターまた携帯などは、どんなためのプログラムやアプリがあるだろう。


そして、存在していない場合は、誰かがそのプログラムを作れるだろう。


だから、僕はずっとコンピューターの力は無限であることを信じていたが、実はそうではない。


This sentence has been marked as perfect!

例えば、あるプログラムは停止するかどうかを判定できるプログラムは存在しない。


例えば、あるプログラム停止するかどうかを判定できるプログラムは存在しない。

この決定問題は計算機科学者アラン・チューリングによって85年前証明された。


この決定問題は計算機科学者アラン・チューリングによって85年前証明された。

(これはコンピューターサイエンスで一番有名な証明だろう。)つまり、コンピューターはどんなに高くても、どんなに力があっても、できないことはまだある。


(これはコンピューターサイエンスで一番有名な証明だろう。)つまり、コンピューターどんなに高くても、どんなに力があっても、できないことはまだある。

一般的な生活では、コンピューターまた携帯などは、どんなためのプログラムやアプリもあるだろう。


一般的な生活では、コンピューターまた携帯などは、どんなためのプログラムやアプリもあるだろう。

そして、存在していない場合は、誰かがそのプログラムが作れるのだろう。


そして、存在していない場合は、誰かがそのプログラム作れるだろう。

You need LangCorrect Premium to access this feature.

Go Premium