口コミサイト LabLog の
石川 冬樹 研究室
ソフトウェアの信頼性をAIや形式手法で支える研究室。

About研究室について
スマートなシステムをスマートに保証する。
石川冬樹研究室は、
「スマートな
石川冬樹教授は
電気通信大学で
用語の説明
- 形式手法
- 数学的な
記述を 使って ソフトウェアの 仕様や 設計を 厳密に 書き、 検証する 方法 - 安全性論証
- システムが
安全だと 言える 理由を、 根拠とともに 筋道立てて示す方 法 - 欠陥局所化
- 不具合の
原因が、 プログラムの どの あたりに あるかを 絞り 込む作業
Research研究テーマ
この
※イメージ画像信頼できるソフトウェアのための技術
ソフトウェア工学の
ソフトウェア工学へのAIの活用
ソフトウェア工学に
※イメージ画像AIのためのソフトウェア工学
AI工学や
Members教員
石川冬樹研究室の
- 教授石川 冬樹
- 特任准教授Paolo Arcaini
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Related石川 冬樹 研究室に近い研究室
この
画像について
トップと
- トップの
画像:「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
この



