明升m88体育_明升体育-app|投注|官网 Information

news

情報科学部卒業生の古谷夢都さんが「情報処理学会創立60周年記念第82全国大会」で受賞(4月21日更新)

古谷さん表彰状古谷さん
2020年3月5日 木曜日?3月7日 土曜日に開催された「情報処理学会創立60周年記念第82全国大会」において、情報科学部情報工学科卒業生の古谷夢都さんが、在学中に行った研究発表に対して「学生奨励賞」を受賞しました。

受賞論文発表:定理証明支援系Coqと連携した証明木図示ツールにおける大域的および局所的な情報把握支援機能の改善
講演者:古谷夢都 (発表論文著者: 古谷夢都、川端英之、弘中哲夫)

 

お問い合わせ先

広島市立大学事務局
企画室企画グループ
電話:(082)830-1666
FAX:(082)830-1656
E-mail:kikaku&m.hiroshima-cu.ac.jp
(※E-mailを送付するときは、&を@に置き換えて利用してください。)

一覧ページへ