実数上の代数マシンに対する統一的な下限

本稿では、動的システムの位相的エントロピーと可測エントロピーの概念に基づいた新しい抽象的手法を用いることで、代数計算モデルにおける計算量の下限証明を統一的に示せることを主張しています。