[masonry]∶采石或加工石料
[stonecutter]∶切割、雕刻或修整石头的工人
古时雕琢玉和磬的匠人。
《礼记·曲礼下》:“天子之六工,曰:土工、金工、石工、木工、兽工、草工。” 孔颖达 疏:“玉及磬同出于石,故谓石工也。”
指石匠。
唐 李贺 《杨生青花紫石砚歌》:“ 端州 石工巧如神,踏天磨刀割紫云。”《宋史·种世衡传》:“凿地百五十尺,始至於石,石工辞不可穿。”