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