面向程序求解的高级程序设计, 这是2026年春季学期新开设的创新实验课，2学分。