ticket punch; ticket puncher
Refers to the handheld device used to punch holes in tickets, or the person operating it. Common in railway and event contexts.
The station attendant punched a hole in the ticket with a ticket punch.
At old ticket gates, there used to be a ticket puncher.
Compound of 切符 (ticket) and 切り (cutting, from 切る). The exact historical derivation is straightforward; the word has been used since the era of physical ticket punching.