写程式就是写算法，写算法就是写逻辑，
逻辑要好，最简单粗爆就是写证明题。
不开玩笑，
小学生，就好好学建构式数学，这也是证明的一种，
台湾大人做法，就是喜欢叫小朋友背九九乘法表，
扼杀了小孩子怎么证明。
共勉之。