| |
|
ハードウェアの構造からデジタルコンピュータとアナログコンピュータに大別される。 デジタルコンピュータは、桁数を増やしていけば原理的にいくらでも計算精度を上げられるが、ほとんどの演算では、桁数が多くなれば必要な計算が増えて遅くなる。 対して、アナログコンピュータは、計算速度の点で優位に立つことが多いが、機械的な精度によって計算精度が制限される。
現在使われているほとんどのコンピュータはデジタルコンピュータである。 おもに半導体を用いて作られた回路で構成されている。 古くはチャールズ・バベッジによって開発された差分機関などがデジタルコンピュータの元祖であった。
現在のデジタルコンピュータは、ストアードプログラム方式で逐次処理をして駆動するノイマン型コンピュータがほとんどであるが、近年、量子コンピュータやDNAコンピュータなどのノイマン型でないコンピュータも研究されている。
| Table of contents |
|
2 コンピュータの歴史 3 コンピュータシステムの種類 4 関連項目 5 外部へのリンク |
コンピュータとアルゴリズムの概念の理論的な定式化は1936年アラン・チューリングによって初めてなされた。チューリングはチューリングマシンというコンピュータのモデルを提案し、チューリングマシンは停止性問題を解く事が出来ない事を証明した。コンピュータの実実装が出来る前にコンピュータの理論的定義がなされ、さらにはその限界までもが示されていた事は興味深い事である。
チューリングマシンが停止性問題を解く事が出来ない事を証明する為に、チューリングは万能チューリングマシンの概念を考え出した。この概念はジョン・フォン・ノイマンによるノイマン型コンピュータの概念の先駆けである。
チューリング以後、様々な人がコンピュータとアルゴリズムの概念の理論的なモデルを提案した。代表的なモデルとして帰納的関数、ラムダ計算等がある。
しかし後にチャーチはこれらの概念は実は全て同値である事を証明し、これら同値な概念をコンピュータの定義として採用する事を提唱した(チャーチの提唱)。
コンピュータの理論的定義
コンピュータの歴史
（未完）コンピュータシステムの種類
関連項目
外部へのリンク