Jeongyugaksi-jip, Park Jega’s anthology