《汉语大词典》：
【石工】1.古时雕琢玉和磬的匠人。《礼记·曲礼下》：“天子之六工，曰：土工、金工、石工、木工、獸工、草工。”孔颖达疏：“玉及磬同出于石，故謂石工也。”2.指石匠。唐李贺《杨生青花紫石砚歌》：“端州石工巧如神，踏天磨刀割紫雲。”《宋史·种世衡传》：“鑿地百五十尺，始至於石，石工辭不可穿。”
【石匠】开凿石料和用石料制作器物的工人。《三国志平话》卷下：“又令石匠造石柱五百條。”《醒世姻缘传》第三五回：“看莊人叫石匠鑿了兩根石柱。”朱自清《欧游杂记·巴黎》：“彭彭从小是石匠，石头到他手里就像豆腐。”
