【被表彰者】古川直樹君（情報科学研究科情報科学専攻修了）
【論文内容】モデル検査によるC言語プログラムの不具合修正ツールの開発