LAB LOG评价网站 LabLog 的页面
叢悠悠研究室
机器翻译 · 查看原文
致力于让程序更正确、更易编写的编程语言研究室。
About关于研究室
让程序正确且易于编写
叢研究室从理论与教育两个方面研究编程语言。
该研究室开发用于保证程序正确性的技术，
其中尤其关注编程语言理论中的续延
在博士论文中，
术语说明
- 依赖类型
- 随值的内容而变化的类型。
可以把 程序应满足的条件写成类型 - 续延
- 程序从某一时刻起之后要进行的计算的整体
（continuation）。 一种把处理流程 当作零件来操作的思想 - 函数式编程
- 把计算写成函数的组合的编程方式
Research研究课题
从理论与教育两个方面研究编程语言。
※示意图让所有人都能用上“续延”
续延是把程序“接下来的计算”
※示意图支持编程学习
正在开发可以通
※示意图用类型守护程序的正确性
为了在运行前发现程序中的错误，
Members教师
- 助理教授叢 悠悠研究成果 ↗
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与叢悠悠研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Lambda calculus-Church numerals》 Isaac David／公有领域
（裁剪） - 让所有人都能用上“续延”：《Player Piano played an algorithmic installation, Computing Music Festival, Cologne》 Charles Hutchins／CC BY 2.0（裁剪）
- 支持编程学习：《COMPUTER LAB IMUV》 RitwickSingh／CC BY-SA 4.0（裁剪）
- 用类型守护程序的正确性：《John Canny lecturing on whiteboard》 Derrick Coetzee (User:Dcoetzee)／CC0（裁剪）
- 相关研究室
（南出靖彦研究室） ：《CSS code on a screen (Unsplash)》 Sai Kiran Anagani _imkiran／CC0（裁剪） - 相关研究室
（増原英彦研究室） ：《FortranCodingForm.agr》 Arnold Reinhold／CC BY 2.5（裁剪） - 相关研究室
（中野張研究室） ：《Brownian surface》 Prokofiev／CC BY-SA 3.0（裁剪） - 相关研究室
（安永憲司研究室） ：《ENIGMA Wired Rotor - National Cryptologic Museum - DSC07768》 Daderot／CC0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。