Толковый словарь Ефремовой
проходчик
I м.
Тот, кто производит проходку.
II м.
Машина, производящая проходку.