2018数学模拟O奖论文