王垠:数学和编程