公立千歳科学技術大学 地域連携センター

2024年1月20日（土）、今年度第三回目の公開講座を開催しました。

今回は情報システム工学科の萩原准教授による「数学を使って情報システムを安全に」。
実例をもとに社会のインフラを守るプログラムの重要さと、その安全性を確保するための様々な方法をご紹介し、
中でも「形式手法」と呼ばれる数学を使った方法については、実演を交えながらの解説で非常に興味深い内容でした。

※今回の講座については諸般の事情により動画公開はいたしませんので、ご了承ください。