数学科研修院 / 第3回案内

第3回研修院の開催について

オンライン会議システム "Zoom" による配信のみのオンライン開催です。 (参加方法については [参加方法(2025年度)] をご覧ください。)
発表内容は以下の通りです。

開催日時・内容

日時：9月17日（木）19:00開始
※ 開催日が月末ではないのでご注意ください。
※ 今回はオンライン配信のみで、対面の会場はございません。
※ Zoomミーティングには18:30頃から参加可能です。

発表者:
横山 重俊（国立情報学研究所）
タイトル:
実験数学をAIとやってみる
概要:
近年，数学の研究・教育の双方において実験数学の重要性が増している．とりわけ，SageMath，Julia/Nemo や LMFDB，Jupyter Notebook といったオープンな数学ソフトウェア群，データベース群，対話メディアに機械学習，大規模言語モデル（LLM）を組み合わせることで，数式処理，数値計算と自然言語理解を統合した新しい研究・教育での 実験数学スタイルが実現しつつある．
本発表では数論を題材に，数体に関する実験数学を AI との協調的な対話を通じて構築・検証する手法を紹介する．特に，研究者で構成される共同研究体制の中に AI をメンバーとして加える方法について紹介したい．また，教育応用への展望などを含めて「AI と共に数学を探究する」実践の可能性を論じる．

なお，本発表は先日8/26-28に京都大学数理解析研究所で開催された 「数学ソフトウェアとその効果的教育利用に関する研究」 での発表をもとにしている．

発表者による発表に加えて，この研究会の中で横山が面白いと感じた発表について， 該当者の許可を得た上でいくつか紹介することで，AI を含むソフトウェアと数学教育との関係例を共有したい．


  • オンラインによる開催ですので、PC・タブレット・スマホ等でどこからでも参加可能です。 (当日は群馬大学にお越し頂く必要はございません。)
  • 参加・不参加に関してご連絡頂く必要はございません。
  • ご不明な点がありましたら大下までお気軽にご連絡ください。

皆様のご参加をお待ちしております。