ENCODER DEVICE, DECODER DEVICE, AND PROGRAM