平成31年4月17日, 4月 臨時 IMI Colloquiumを開催しました．

4月 臨時 IMI Colloquium
講演タイトル：ゲーム開発へのモデル検査の適用
講師：長谷川 勇 氏 (株式会社スクウェア・エニックス)
場所：九州大学 マス・フォア・インダストリ研究所 ウエスト1号館 D棟 4階
         IMIオーディトリアム(W1-D-413)(円形階段教室)

ゲームソフトウェア開発の中でゲームロジックを記述するスクリプト言語のソフトウェア検証を状態遷移系の形式検証としてのモデル検査による解決方法についての紹介がなされた．ソフトウェア工学，数理論理学，および，離散数学などの情報科学と数理科学の境界領域における課題解決への取り組みの紹介であり，さまざまな分野から多くの参加者が集まった．

参加者数：教員20名，院生30名，学部生：15名，社会人：5名

下に写真を掲載しました．