短くなった鉛筆用のホルダーって今も売ってるのかな。