PEPLとREPL(p703)って別物?誤植なのかな?