外山芳人教授が日本ソフトウェア科学会「第24回高橋奨励賞」を受賞しました
外山芳人教授が日本ソフトウェア科学会 「第24回高橋奨励賞」を受賞
本賞は第24回日本ソフトウェア科学会大会において優れた発表論文を表彰するものです.
受賞内容は「帰納的経路関係に基づくS式書き換えシステムの停止性証明」です.
日本ソフトウェア科学会ホームページ:http://www.jssst.or.jp/
問い合わせ先
電気通信研究所
システム・ソフトウェア研究部門
コンピューティング情報理論研究分野
(教授)外山 芳人