発表者：並川　淳
日　時：1/10 17:00(時間は問題があれば後で調整しましょう)
場　所：知識2棟2階セミナールーム

内容：次の論文を紹介します.

・B. J. Copeland, ``Super Turing-Machines'', Complexity, 4, 30-32, 1998.

アブストラクト：

チューリングマシンの計算能力を上回る数理モデルとして
・O-Machines
・Infinite Time Turing Machines
・Analog Shifts
についてレビューし, それぞれの性質について比較検討する.


参考文献
・J. D. Hamkins and A. Lewis, ``Infinite time Turing machines'', Journal of Symbolic Logic, 65, 567-604, 2000.
・H. T. Siegelmann, ``Computation Beyond the Turing Limit'', Science, 268, 545-548, 1995.