ideas

记点子的地方

• 策梅洛定理/某种棋类的最优解（国际象棋？感觉能写的角色多一点）

• 以精密计算写作的超级程序（反乌托邦科幻？）