理论计算机科学需要更多关注建模和问题构建，而不仅仅是求解明确定义的问题。