LAB LOG评价网站 LabLog 的页面
计算机软件研究室
机器翻译 · 查看原文
用数学保证程序正确性的研究室。
About关于研究室
迈向正确且易于编写的程序。
计算机软件研究室以编
该研究室致力于类型论、
该研究室还借鉴函数式编程和面向对象编程的
术语说明
- 类型论
- 关于程序中数据种类
（类型） 的数学理论。 有助于在写出错误之前就将其发现 - 模型检验
- 检查系统可能处于的所有状态，
自动确认其是否满足规约的方法 - 抽象化
- 隐藏细节，
只提取事物本质的做法
Research研究课题
该研究室研究严格保证程序正确性的方法，
※示意图严格保证程序的正确性
人编写的程序难免出错，
※示意图让程序更易编写
许多编程语言都具备过程、
Members教师
计算机软件研究室的教师有五十嵐 淳 教授、
- 教授五十嵐 淳
- 副教授末永 幸平
- 助理教授和賀 正樹
- 助理教授池渕 未来
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与计算机软件研究室相似的研究室
统计智能研究室工学部 信息学科探索统计学与机器学习的方法论。
智能计算研究室工学部 信息学科研究作为人类高级推理机制之一的
计算机体系结构研究室工学部 信息学科计算机体系结构是设计处理器、
控制系统论研究室工学部 信息学科控制系统理论领域研究面向动态系统控制的建模理论、本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Source code in Javascript》 Romainhk／CC BY-SA 3.0（裁剪）
- 严格保证程序的正确性：《TestingCup-Polish-Championship-in-Software-Testing-Katowice-2016》 Radosław Smilgin／CC BY-SA 3.0（裁剪）
- 让程序更易编写：《Computer programming class》 Wikideas1／CC0（裁剪）
- 相关研究室
（统计智能研究室） ：《Normal distribution function》 Shishirdasika／CC BY-SA 3.0（裁剪） - 相关研究室
（智能计算研究室） ：《Water Dolphin》 JJ Harrison (https://www.jjharrison.com.au/)／CC BY-SA 3.0（裁剪） - 相关研究室
（计算机体系结构研究室） ：《A Wafer of the Latest D-Wave Quantum Computers ( )》 Steve Jurvetson from Menlo Park, USA／CC BY 2.0（裁剪） - 相关研究室
（控制系统论研究室） ：《VIEW OF CONTROL PANEL ON THE EASTERN SIDE OF THE EAST SERVICE BUILDING OF DOROTHY SIX BLAST FURNACE. (Jet Lowe) - U.S. Steel Duquesne Works, Blast Furnace Plant, Along Monongahela HAER PA,2-DUQU,3A-75》 Lowe, Jet, creator／公有领域 （裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。