以前チェックした研究室

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

情報システム検証研究室

システムの正しさを数学で検証する

研究キーワード
  • システム検証
  • 論理学
  • 代数
  • 圏論
情報システム検証研究室
学生の作成したシステムのモデル例

情報システムは、原子力発電所などの大規模施設から自動車や家電まで、さまざまなものの中で動いています。これらが、もし誤った動作をしてしまったら、私たちの生命や財産が脅かされることになります。情報システムが誤動作を起こさないよう、数学的な手法を用いてシステムを検査することをシステム検証といいます。実際には、世の中にあるシステムやプログラムをそのまま検証するとは限らず、必要な部分をモデルとして抜き出し、そのモデルを自動的に検査することが多くなります。
この研究室では、システムの検証に役立つ数学・論理学などの手法を学びます。

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

PROFESSOR's VOICEPROFESSOR's VOICE

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

西澤 弘毅准教授

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

この研究室もチェック!

    • 経営工学系
    • 数学系

    非線形科学や統計学を通して社会の動きや人の結びつきを見る

    工学部
    経営工学科

    非線形システム研究室

    • 経営工学系
    • 数学系

    会計情報を利用して企業は効率的な経営を行う

    工学部
    経営工学科

    管理会計研究室

    • 情報学系
    • 数学系
    • 物理学系

    人工知能アプローチによる複雑現象の数理モデリングに関する研究

    理学部
    情報科学科

    斉藤和巳研究室

    • 情報学系
    • システム工学系

    プログラムの構造を図的表現で理解・編集する

    理学部
    情報科学科

    永松 礼夫 研究室