情報処理学会で全国大会優秀賞を受賞しました。(情報システム学専攻 小嶋美咲 M2) 2021.06.02 受賞情報 受賞日:2021年6月2日 受賞名(主催団体):全国大会優秀賞(情報処理学会第83回全国大会) 受賞者の所属・職名(学年)・氏名:小嶋美咲(情報システム学専攻 M2 :受賞時M1) 受賞概要:情報処理学会第83回全国大会の学生セッションにおいて発表した「計数セマフォを含むプログラムから論理制約付き項書換え系への変換」に対して,全国大会優秀賞が授与されました。