评价网站 LabLog 的页面
石川 冬樹研究室
机器翻译 · 查看原文
以AI和形式化方法支撑软件可靠性的研究室。

About关于研究室
用智能的方式保证智能系统。
石川冬樹研究室研究使软件值得信赖的技术,
该研究室以“
石川冬樹教授隶属于国立情报学研究所,
电气通信大学招收的学生大多是在职人员攻读的博士课程
术语说明
- 形式化方法
- 使用数学化的描述严格地写出软件的规格和设计,
并对其进行验证的方法 - 安全性论证
- 有根据、
有条理地论述系统为何可以被 认为是安全的方法 - 缺陷定位
- 缩小范围,
找出故障原因位于程序哪一部 分的工作
Research研究课题
该研究室以“
※示意图面向可信赖软件的技术
在软件工程中,
AI在软件工程中的应用
这是将AI应用于软件工程的研究。
※示意图面向AI的软件工程
这一领域被称为AI工程或机器学习工程。
Members教师
石川冬樹研究室的成员由特聘副教授、
- 教授石川 冬樹
- 特任副教授Paolo Arcaini
Voices学长学姐的评价
评价基于在读
对于接受采访的学生,
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与石川 冬樹研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图,
- 顶部图片:《Bridge Global developers' bay, Apr 2019》 Arunvrparavur/CC BY-SA 4.0(裁剪)
- 面向可信赖软件的技术:《SeL4 design》 Tiir IIR/CC BY-SA 4.0(裁剪)
- 面向AI的软件工程:《ISEAUTO, the Lab for Self-Driving Vehicles in TalTech》 Lauri Veerde/CC BY 4.0(裁剪)
- 相关研究室
(田原 康之研究室) :《Fujikura optic fiber at Science Museum》 Syced/CC0(裁剪) - 相关研究室
(織田 健研究室) :《TestingCup-Polish-Championship-in-Software-Testing-Katowice-2016》 Radosław Smilgin/CC BY-SA 3.0(裁剪) - 相关研究室
(加納 龍一研究室) :《Simplified neural network example》 Mikael Häggström, M.D. Author info - Reusing images- Conflicts of interest: None Mikael Häggström, M.D./CC0(裁剪) - 相关研究室
(藤田 秀之研究室) :《Data Visualization of Street Trees》 Intel Free Press/CC BY-SA 2.0(裁剪)
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。



