Abstract: The authenticity inspection of ticket images by visual observation in a ticket use scene. In a portable terminal, a ticket purchase program performs first display processing to display a ticket still image including ticket attribute information and information showing completion of purchase, on the basis of the ticket attribute data and still image formation description of a purchased digital ticket. In the portable terminal, the ticket purchase program performs second display processing to display a ticket moving image including animation representation in which a predetermined image element varies in a predetermined mode, on the basis of the ticket attribute data and moving image formation description of the digital ticket, on condition that the current date and time has passed the use start date and time of the purchased digital ticket.