AI for Math勉強会第2回
2026年7月17日（金）18:00–20:00（予定）
歌舞伎座タワー 12F（東銀座駅直通）
Google Map
タイムテーブル（予定）
| 時間 | 内容 | 形式 |
|---|---|---|
| 18:00–18:05 | 連絡事項 | ハイブリッド |
| 18:05–18:20 | 発表：多寳雅樹 | ハイブリッド |
| 18:20–18:35 | 発表：miurror | ハイブリッド |
| 18:35–18:50 | 発表：marmot1123 | ハイブリッド |
| 18:50–19:15 | 発表：井上亜星 | ハイブリッド |
| 19:15–19:35 | 発表：洞龍弥 | ハイブリッド |
| 19:35–20:00 | 自由議論 | オフラインのみ |
記載の時刻は，質疑応答を含みます．
発表（予定）
-
「AIとの数学対話をツリー構造のノートへ育てる試み」
多寳雅樹東京大学
-
「AIによる数学論文・答案検証の技術と課題」
miurrorファクトファクトリー
-
「AIネイティブな文献管理ソフト，LumenCite」
marmot1123博士号取得予定者（21日公聴会予定）
-
「Leanは証明の正しさを確認するためだけのツールって思ってませんか？」
井上亜星エンジニア（Proxima Technology）
-
「AI for Mathについて数学者は(何を)考えるべきか」
洞龍弥ZEN大学 助教（主催）
参加申し込みはこちらのフォームからお願いします．
対面参加の方はPC持参を推奨します．会場は前回より広い部屋です．
発表を希望される方は，連絡ページからご相談ください．
参加者
対面参加
- Soma Saito工学院大学情報学部
- あかげふ(西森湧也)東京科学大学
- 畑佐悠太エンジニア
- Kenta KitamuraIntellectual Moonshine
- 井上亜星エンジニア（Proxima Technology）
- 川手 知拓ZEN大学
- nobuta05MLエンジニア
- 村上友哉理研 研究員
- 近藤 桂大プログラマー
- miurrorファクトファクトリー
- 吉澤駿ソニーコンピュータサイエンス研究所
- 川澄昂太郎東京大学
- 多寳雅樹東京大学
- 鈴木瞭東大数理M2
- 湯山孝雄ZEN大学
- 星野真生理化学研究所 ポスドク
- ヘカテーエンジニア
- 安藤遼哉株式会社スキルアップNeXt
- onewan(わんわん)数学好きの知財職
- 笠浦一海オムロンサイニックエックス株式会社
- marmot1123博士号取得予定者（21日公聴会予定）
- banri一般社団法人Nyx Foundation 共同創業者
- 和久田葵東京大学
- Kory株式会社JIJ
- 折池 雄太サイバーエージェント
- 河村彰星京都大学
- 前山和喜NII，成蹊大，東大，ZEN大，歴史学者
オンライン参加
- 三澤竜太郎東北大学
- SO
- Nobutaka Asano津山工業高等専門学校 総合理工学科 先進科学系 助教
- 山添隆志神戸大学
- 一倉海斗東北大学
- 安福智明岐阜大学
- Ryo都内の大学
- 水野勇磨University College Cork, ポスドク
- あおきたいち数学愛好家
- reodonエンジニア
- kmエンジニア
- 猿倉 ななき京都大学 大学院生
+若干名
主催：洞龍弥（ZEN大学 助教），ZEN大学関係者