手用或机用工具