情報科学研究科の学生が、第22回情報学ワークショップ(WiNF2024)において 奨励賞を受賞しました 2024.12.10AWARD 受賞した賞 奨励賞 受賞日 2024年12月7日 受賞者 中川 海都(情報科学研究科博士前期課程) 発表題目 大規模言語モデルにおけるCoq定理証明の学習手法に関する研究 https://sites.google.com/view/winf2024/award AWARD 情報科学研究科の学生が、The Twelfth Intern... 第25回計測自動制御学会システムインテグレーション部門講演会... 関連記事一覧 カメリアドラゴンズのメンバーがロボカップ研究賞を受賞しま... 大学院情報科学研究科の学生が, 第41回ファジィ・システ... 情報科学研究科の学生が、第32回インテリジェント・システ... 情報科学部学生が、第59回東海ファジィ研究会にて 「優秀... 情報科学部学生が第62回日本生体医工学会大会で、表彰され... カメリアドラゴンズのメンバーがYANS2025で奨励賞を... 第25回計測自動制御学会システムインテグレーション部門講... 神奈川大学と本学教員との共著論文が電気学会の電子・情報・... 大学院情報科学研究科の学生と共に執筆した論文が、 日本知...