ハイパーコンピュータ
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/22 14:38 UTC 版)
ハイパーコンピュータ(英: Hypercomputer)は、非計算可能関数を計算できる仮想的なコンピュータである。ハイパーコンピュータを使った計算を Hypercomputation という。Jack Copeland が生み出した造語である。類似の用語として「超チューリング計算(super-Turing computation)」があるが、ハイパーコンピュータと言った場合には、そのようなコンピュータが物理的に構築可能かもしれないという意味も若干含まれていることがある。実数で重み付けするニューラルネットワーク、無限に多数の計算を同時並行して実施可能なモデル、チューリング機械で計算できないものを計算可能なモデル、などのいくつかのモデルが提案されており、一般に実数値の連続関数の極限や積分を(近似ではなく)全く誤差なく計算できるとされる。
- ^ "Let us suppose that we are supplied with some unspecified means of solving number-theoretic problems; a kind of oracle as it were. We shall not go any further into the nature of this oracle apart from saying that it cannot be a machine" (Undecidable p. 167, a reprint of Turing's paper Systems of Logic Based On Ordinals)
- ^ Joel David Hamkins and Andy Lewis, Infinite time Turing machines, Journal of Symbolic Logic, 65(2):567-604, 2000.“アーカイブされたコピー”. 2011年10月5日時点のオリジナル[リンク切れ]よりアーカイブ。2008年1月15日閲覧。
- ^ Arnold Schönhage, "On the power of random access machines", in Proc. Intl. Colloquium on Automata, Languages, and Programming (ICALP), pages 520-529, 1979. Source of citation: Scott Aaronson, "NP-complete Problems and Physical Reality"[1] p. 12
- ^ このような主張がいくつかある。例えば Tien Kieu (2003年). “Quantum Algorithm for the Hilbert's Tenth Problem”. Int. J. Theor. Phys. 42: 1461-1478 . など。Warren D. Smith は Three counterexamples refuting Kieu’s plan for “quantum adiabatic hypercomputation”; and some uncomputable quantum mechanical tasks の中で Kieu の間違いを指摘している。
- ^ Michael Nielsen and Isaac Chuang (2000年). Quantum Computation and Quantum Information. Cambridge: Cambridge University Press. ISBN 0-521-63503-9
- 1 ハイパーコンピュータとは
- 2 ハイパーコンピュータの概要
- 3 関連項目
ハイパーコンピュータと同じ種類の言葉
Weblioに収録されているすべての辞書からハイパーコンピュータを検索する場合は、下記のリンクをクリックしてください。
全ての辞書からハイパーコンピュータを検索
- ハイパーコンピュータのページへのリンク