GPLとはなんだったのか