中国足彩网
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を送付するときは、&を@に置き換えて利用してください。)