2026年10月9日（金）
尾形健斗さんが情報処理学会 第75回IOT研究会において学生奨励賞を受賞
2026年9月24日～25日に開催された情報処理学会第75回インターネットと運用技術研究会（IOT研究会）において、総合理工学研究科工学専攻情報数理・融合システム分野の尾形健斗さん（修士課程1年、小形研究室所属）が学生奨励賞を受賞しました。
学生奨励賞は、学生としてIOT研究会に参加し、インターネットと運用技術に関する将来性豊かな発表を行ったことに対して授与される賞です1。
受賞対象となった発表題目は「ネットワーク構成モデルに対する検証環境のクラウド化」です。
本研究では、ネットワーク設計の検証を効率化することを目的として、静的・動的検証技術をクラウド上に統合し、検証処理の並列実行を容易にする環境を提案しました。さらに、適用事例を対象とした評価実験では、逐次実行方式と比較して動的検証を約14～19倍高速化できることを確認しました。
