なぜハイパーコンピューティングの研究は衰退したのですか？

1990年代にハイパーコンピューティングに関する多くの研究を見てきましたが、最近ではこのトピックに関する研究はほとんど行われていないようです。この分野の研究が衰退したというのは本当ですか？もしそうなら、その理由は何でしょうか？このエリアは有望ではないと確信して示されましたか？

ハイパーコンピューティングによって正確に意味を指定し、それが「死んだ」と思う理由の証拠を提供した方が良いでしょう。

いずれにせよ、自然数（および有限文字列）上の関数の計算について話していると仮定すると（より高い型の計算のモデルはCCAなどの非常にアクティブな領域であることは明らかだと思うので）チューリングマシンによって定義された計算可能性、私は主張が正しいとは思わない。たとえば、CiE'05とCiE'11を参照。また、ハイパーコンピューティングは新しいものであるという主張に対する批判も参照してください。

• Martin Davis、「なぜハイパーコンピューティングのような規律がないのか」、2006年。
• マーティン・デイビス、「超計算の神話」、「アラン・チューリング：偉大な思想家の生涯と遺産」、2004年。

興味があれば、FOMメーリングリストで、Martin Davisの記事に関するTimothy Chowのメールから始まる議論もあります。

無限計算可能性のトピックに関する最近の会議がいくつかあり、ハイパーコンピュテーションの多くのトピックを扱っています。

• ボン計算可能性に関する国際ワークショップ（BIWOC）2007、プログラムレポートを参照
• 無数の効果的な数学に関する会議（EMU）2008
• 無数の効果的な数学に関する会議（EMU）2009

さらに、CiE会議の多くで、無限の計算可能性に関する特別なセッションがありました。

私はこれが真実だとは思わない。ハイパーコンピューティングに関する論文をArxivで検索すると、多くのヒットがあります。