LAB LOG评价网站 LabLog 的页面
結縁・中澤研究室（SQLAB）
机器翻译 · 查看原文
用数学方法保证程序正确性的研究室。
About关于研究室
以数学方法支撑软件的正确性。
結縁・中澤研究室致力于研究如何用数学方法证明程序满足
由于输入通常有无穷多种，
此外，
该研究室隶属于名古屋大学信息学研究生院信息系统学专业。
术语说明
- 可逆计算
- 为了能够可逆地执行程序，
而定义执行所必需且充分的信息的 思想 - 自动机
- 用于描述计算机所处理的符号串和计算规则的数学模型
- 实时并发系统
- 同时并发运行的多个系统的组合。
其中 多数要求在规定的时间之前完成处理
Research研究课题
该研究室研究如何用数学方法保证软件正确运行。
※示意图用数学方法证明程序的性质
这是用数学方法证明程序满足
※示意图通过可逆执行分析并发程序
基于保存执行所用信息的可逆计算思想，
※示意图用代数学刻画形式语言
研究代数语言理论，
※示意图实时并发系统的开发方法
研究以较
Members教师
結縁・中澤研究室的成员由教师、
- 教授結縁
祥治 - 副教授中澤 巧爾
- 助理教授井上 裕介
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与結縁・中澤研究室（SQLAB）相似的研究室
森崎研究室信息学部 计算机科学科本讲座从理论和实践两个方面，
软件论讲座 楫 勇一研究室信息学部 计算机科学科本讲座从理论和实践两个方面，
软件论讲座 濱口 毅研究室信息学部 计算机科学科本讲座从理论和实践两个方面，
番原・宋研究室本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Coder screen shot》 Wikideas1／CC0（裁剪）
- 用数学方法证明程序的性质：《Mathematical proof with a fatal error》 Dino／CC BY-SA 4.0（裁剪）
- 通过可逆执行分析并发程序：《Code on computer monitor (Unsplash)》 Markus Spiske markusspiske／CC0（裁剪）
- 用代数学刻画形式语言：《Highlighted LaTeX example》 Wikideas1／CC0（裁剪）
- 实时并发系统的开发方法：《LC-P computer keyboard - IC encapsulated on printed circuit board-3464》 Raimond Spekking／CC BY-SA 4.0（裁剪）
- 相关研究室
（森崎研究室） ：《Atari 800 XL home computer with monitor and tape program recorder XC12》 winkelnkemper／CC BY-SA 2.0（裁剪） - 相关研究室
（软件论讲座 楫 勇一研究室） ：《Centaur server room ( )》 VIA Gallery from Hsintien, Taiwan／CC BY 2.0（裁剪） - 相关研究室
（软件论讲座 濱口 毅研究室） ：《Software development methodologies》 Marcel Douwe Dekker／CC BY-SA 3.0（裁剪） - 相关研究室
（番原・宋研究室 （Banbara/Soh Lab.）） ：《Samurai-sudoku》 „Markus Weigel“／CC BY-SA 4.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。