教育部《重編國語辭典修訂本》

人名。（西元1018～1079）字與可，自號笑笑先生，人稱石室先生，宋梓州永泰（今四川鹽亭東）人。善詩文、書、畫，畫竹及山水有名。皇祐進士，累遷太常博士，嘗知湖州。著有《丹淵集》四十卷。也稱為「文湖州」。