2023“做数学玩数学”工作坊上海场第一天