Algebra, Geometry and Software Systems by Nobuki Takayama