以前チェックした研究室

画面を閉じる
画面を閉じる
工学部
情報システム創成学科
戻る
  • 情報学系
  • 数学系
  • システム工学系

情報システム検証研究室

数学的な手法を用いてシステムの開発を行う

研究キーワード
  • システム検証
  • 離散数学
  • プログラム意味論
  • 代数学
情報システム検証研究室
学生自作のスケジュール管理アプリの設計図

情報システムは、原子力発電所などの大規模施設から自動車や家電まで、さまざまなものの中で動いています。これらが、もし誤った動作をしてしまったら、私たちの生命や財産が脅かされることになります。情報システムが誤動作を起こさないよう、数学的な手法を用いてシステムを検査することをシステム検証といいます。実際には、世の中にあるシステムやプログラムをそのまま検証するとは限らず、必要な部分をモデルとして抜き出し、そのモデルを自動的に検査することが多くなります。
この研究室では、自分がつくりたいシステムの仕様を決め、それに基づきシステム開発を行います。最初はシステムの詳細は曖昧だと思いますが、それを徐々に固めて形にしていく手法を学びます。

西澤 弘毅准教授Nishizawa Koki[工学部/情報システム創成学科]

PROFESSOR's VOICEPROFESSOR's VOICE

システム検証は「コンピュータのお医者さん」

西澤 弘毅准教授

私の研究領域は、システム検証を行うための基礎となる数学(論理学・代数学)です。プログラムのバグを見つけるシステム検証は、誤動作を未然に防ぐ、いわば「コンピュータのお医者さん」です。

この研究室もチェック!