Livepocket 書泉と、10冊

数学とAIのこれまで(とこれから)

特典
ISBN/JAN
4910054240658
著者
数学セミナー編集部
出版社
日本評論社
レーベル
数学セミナー増刊
出版日
2025/06/20
商品説明
第1部 証明とコンピュータ
コンピュータに証明できること・できないこと…照井一成
カリー - ハワード同型対応…竹内 泉
Coq:型理論から来た証明支援系…Jacques Garrigue
Mizarと形式化数学ライブラリ…中正和久
数学での証明支援系の利用について…久我健一
[コラム] 定理証明支援系Lean 3を使って…萩原 学
[コラム] AIにおける自動証明について…園田 翔

第2部 人工知能は数学者になれるのか 人工知能は数学者になれるのか…円城 塔
AIは受験問題を解けるのか…穴井宏和
人工知能は意識を持てるのか…甘利俊一
数学とAI雑感…竹内郁雄
論理と計算について考えた人たち…溝口佳寛
コンピュータに証明できること・できること…照井一成
[コラム]ケプラー予想の計算機による証明と検証について…溝口佳寛・田上 真

第3部 生成AIとこれからの数学
生成AIは数学の夢を見るか?…宮崎弘安
初等幾何とAI,その先にある数学の未来…吉田雄紀
脳と生成AIを巡って…合原一幸
数学教育と生成AI…竹内英人
生成AIの数理…鈴木大慈
[対談] 数学者・物理学者の見た生成 AI…坂上貴之・橋本幸士
備考
型番 4910054240658-011
販売価格 2,200円(税200円)
購入数

  

ピックアップ

Calendar

2025年8月
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31
2025年9月
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30
Top