Z:gnu-www-ja-gpl-faq--ef6f70-If someone installs GPLed soft/en

If someone installs GPLed software on a laptop, and then lends that laptop to a friend without providing source code for the software, have they violated the GPL? (#LaptopLoan)