@tomoki amazonとかでは「クリップペンシル」とかの名前で売ってますね。

個人的には「ゴルフの鉛筆」という印象ですけれど。