スケッチ　パンチ

パンチってなんていうの？
と思って調べてもパンチ、穴あけパンチでしか商品出てこないのできっと正式名称なんでしょう。英語では「ホールパンチャー」というらしいです。まんまですね。
特に気にせず使っていても知らないことはたくさんありますね。
いやこの場合知ってたけど通称とかかなと思っていたけどそのまんまだったから最初から知っていたので知らないことではなかったのですが。

パンチ

ほらホッチキスは正式名称違うとかいうアレですね。