1890年代の鉛筆削りの仕組みが面白い