LAB LOG评价网站 LabLog 的页面
石川 冬樹 研究室
正在显示日语原文 · 查看译文
ソフトウェアの信頼性をAIや形式手法で支える研究室。
About关于研究室
スマートなシステムをスマートに保証する。
石川冬樹研究室は、
「スマートな
石川冬樹教授は
電気通信大学で
术语说明
- 形式手法
- 数学的な
記述を 使って ソフトウェアの 仕様や 設計を 厳密に 書き、 検証する 方法 - 安全性論証
- システムが
安全だと 言える 理由を、 根拠とともに 筋道立てて示す方 法 - 欠陥局所化
- 不具合の
原因が、 プログラムの どの あたりに あるかを 絞り 込む作業
Research研究课题
この
※示意图信頼できるソフトウェアのための技術
ソフトウェア工学の
ソフトウェア工学への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 引用。