情報科学研究科の学生が、第22回情報学ワークショップ(WiNF2024)において 奨励賞を受賞しました 2024.12.10AWARD 受賞した賞 奨励賞 受賞日 2024年12月7日 受賞者 中川 海都(情報科学研究科博士前期課程) 発表題目 大規模言語モデルにおけるCoq定理証明の学習手法に関する研究 https://sites.google.com/view/winf2024/award AWARD 情報科学研究科の学生が、The Twelfth Intern... 第25回計測自動制御学会システムインテグレーション部門講演会... 関連記事一覧 清水くん(博士前期課程1年)がSCI学生発表賞を受賞! 大学院情報科学研究科の学生が、研究発表した学会から表彰を... カメリアドラゴンズのメンバーがロボカップ研究賞を受賞しま... 映像情報メディア学会 東海・北陸支部において、大学院情報... 大学院情報科学研究科の学生が電気学会主催の電子・情報・シ... 日本ファジイ学会・東海支部 第57回東海ファジイ研究会(... 情報科学部学生が電子情報通信学会 東海支部 令和4(20... 情報科学研究科の学生が日本経営診断学会 第56回全国大会... 情報科学研究科の修了生が電子情報通信学会東海支部令和7年...