2006-04-13 Concepts, Techniques, and Models of Computer Programming (The MIT Press) なんと。pdfで読めるのね。 http://www.ulb.ac.be/di/rwuyts/INFO020_2003/vanRoyHaridi2003-book.pdf