高橋宏夢さん（情報学専攻博士前期1年）が情報処理学会第80回全国大会にて学生奨励賞を受賞
2018年04月02日
高橋宏夢さん（情報学専攻博士前期1年）が、3月13日から15日にかけて開催された情報処理学会第80回全国大会にて、学生奨励賞を受賞しました。
- 表彰状
【発表タイトル】
形式手法 B Method における高信頼細粒度部品の粒度の提案
【受賞者】
高橋 宏夢
- （新しいウィンドウが開きます）情報処理学会
2018年04月02日
高橋宏夢さん（情報学専攻博士前期1年）が、3月13日から15日にかけて開催された情報処理学会第80回全国大会にて、学生奨励賞を受賞しました。
【発表タイトル】
形式手法 B Method における高信頼細粒度部品の粒度の提案
【受賞者】
高橋 宏夢