$Jager プロジェクトの数学について。