如何改变“中学生学编程无用”的观念？

知乎链接

你应该学Coq，顺便把高中数学就cover了。