鸣谢

本示例是普渡大学计算机科学系一门独立研究课程的项目成果。感谢 Gene Spafford 教授的帮助。