计算机科学进阶班招生
王垠宣布开设计算机科学进阶班，面向已毕业基础班学生。课程内容包括CPS变换、Scheme语言、call/cc操作符、自动CPS变换、微型编译器实现、逻辑编程基础和程序形式化证明等高级主题，共8节课，收费8192元。作者强调教育的真谛在于掌握本质原理，学生需具备一定基础。
博客雷达不转载正文。这里只有标题、作者、时间和一小段 AI 生成的摘要；全文在作者自己的站点上，阅读请点上面的按钮过去——文章的版权一直在原作者手里。
你也在写博客？做一张「已被博客雷达收录」的徽章挂回自己的站，想挂就挂，也不占首页。