リザバー計算は時系列を自然に扱える点に特徴がある機械学習手法であるが，他の手法と同様に，その数理的機構は十分に解明されていない. 一方で，リザバー計算による時系列予測は「リザバー予測」と呼ばれる段階では自励力学系として，それよりも前の「予測以前」と言うべき段階では半直積力学系として定式化することができる. 本講演では，「リザバー予測」の段階については時系列を生成する力学系がリザバーの相空間に再現されたと考えられる数値計算結果を示し，「予測以前」の段階については理論化の端緒となり得る結果としてある自然な仮定の下でリザバー計算に関する不変断面定理が成り立つことを証明する.