Mathematical Progress in Expressive Image Synthesis I - Anjyo, Ken (Springer Japan, 2014)