Functional Differential Geometry (MIT Press)
by Gerald Jay Sussman et al.
Link: http://a.co/djgfZKy

この本ってどうですか?

Schemeを使って計算していたりして、変わった本みたいですが。