岡野純平さん（情報学専攻博士前期2年）が第16回情報科学技術フォーラムでFIT奨励賞を受賞
2017年10月12日
岡野純平さん（情報学専攻博士前期2年）が、9月12日から14日に開催された第16回情報科学技術フォーラムで、FIT奨励賞を受賞しました。
【発表タイトル】
形式的仕様記述における制約条件の欠落推定
- （新しいウィンドウが開きます）情報処理学会
- 表彰状
2017年10月12日
岡野純平さん（情報学専攻博士前期2年）が、9月12日から14日に開催された第16回情報科学技術フォーラムで、FIT奨励賞を受賞しました。
【発表タイトル】
形式的仕様記述における制約条件の欠落推定