数字锐化 这是我2021年Spring学期工作的主场，重点是凸分析，度量和概率以及优化。 主要用F＃编写，并使用一些Python进行验证。 好吧，也许不仅仅是“一些” 说实话，我几乎不知道我在用F＃做些什么。 去年夏天，我通过在线课程获得了SMLNJ的经验，这很幸运，这意味着我不必完全过渡到FP，并且因为F＃是ML Family的成员而开始涉足F＃。 就是说，我将在该项目中从F＃开始：我没有任何经验。 这就是为什么标语上写着“一些Python进行验证”的原因。 多年来，我一直从事数值/科学编