20230717

如果链接失效，请提一个 issue。

一门课

MIT 6.042 Math for Computer Science

https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-fall-2010/pages/syllabus/

一项作业

CMU 17-313 Fundamentals of Software Engineering, Projects

https://cmu-313.github.io/projects/P1/

一篇论文

Jorge A. Gonçalves and André L. Santos. 2023. Jinter: A Hint Generation System for Java Exercises. In Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1 (ITiCSE 2023).

阅读摘要

编程新手在解决练习时常常挣扎，导致进度缓慢，并对教师、更有经验的人或在线资源等外部帮助产生依赖。我们提出 Jinter，一个为涉及 Java 方法的小练习生成提示的工具。提示的生成考虑了练习的当前状态和一个参照的模型解答。该帮助可以指识别错误或缺失的部分以实现期望的结果，同时考虑编程结构的行为等价性（例如循环结构、赋值形式、布尔表达式等）。我们通过调查 8 位编程教师来评估该方法，发现大约三分之二的自动提示与教师给出的提示一致或相关。