お知らせ
Information
情報科学部卒業生の古谷夢都さんが「情報処理学会創立60周年記念第82全国大会」で受賞（4月21日更新）
メディア・受賞
2020年4月7日（火）
受賞論文発表：定理証明支援系Coqと連携した証明木図示ツールにおける大域的および局所的な情報把握支援機能の改善
講演者：古谷夢都 (発表論文著者: 古谷夢都、川端英之、弘中哲夫)
お問い合わせ先
広島市立大学事務局
企画室企画グループ
電話：（082）830-1666
FAX：（082）830-1656
E-mail：kikaku＆m.hiroshima-cu.ac.jp
（※E-mailを送付するときは、＆を@に置き換えて利用してください。）