純代数的な微積分がある