雑誌詳細:数学セミナー  2015年11月号

2015年11月号 通巻 649号

  • 紙の書籍
毎月12日発売
[特集1]
コンピュータにできる数学・できない数学
定価:税込 1,123円(本体価格 1,040円)
在庫僅少
発刊年月
2015.10
雑誌コード
05423
判型
B5判
ページ数
106ページ
定期購読申込ページへ

内容紹介

人工知能研究の進展や証明支援系ソフトの開発により、「コンピュータにどこまで数学ができるのか?」という疑問が、数学者はもとより、数学に興味のある人々にも関心の高いテーマとなってきている。今回は3つの証明支援系を紹介しつつ、現状でどのようなことがどこまでできるのか、またこれからの課題を紹介する。

特集=コンピュータにできる数学・できない数学



-------------------------------------------------------------------------------------------------------



 コンピュータに証明できること・できないこと─────照井一成         8

 カリー-ハワード同型対応───────竹内 泉        14

 Coq:型理論から来た証明支援系───Jacques Garrigue        18

 Mizarと形式化数学ライブラリ──────中正和久         24

 数学での証明支援系の利用について──────久我健一         30



-------------------------------------------------------------------------------------------------------



 線形代数とネットワーク──────────────────高崎金久         58

    回路方程式の解の構造



 基礎講座・統計教育大学間連携ネットワーク監修 現代統計学─────小林 景        64

    統計における最適化(1)





 うつる病を読み解くモノサシ───────────────西浦 博    70

    MERS死亡リスクを早期探知せよ



 2016年結び目の旅───────────────伊藤 昇    77

    1927年から1937年への旅



 森毅の主題による変奏曲──────────────────梅田 亨          81

    微積分篇(2)



 + + + + + + + + + + + + + + + + + + + + + + + + + + + + +





 coffee break/“私学”数学──────竹内慎吾          1



 ことばの数理千一夜/同じ音の並び,そして形態素解析──小谷善行          2



 数セミパズル部通信 ニコリ号外/波及効果───────────ニコリ          91



 折って楽しむ折り紙セミナー/「凹十二面体」──────────前川 淳         92



 エレガントな解答をもとむ───────●出題= 野崎 寛・加古 孝          6

                    ●解答=和地輝仁・山田修司        94





 + + + + + + + + + + + + + + + + + + + + + + + + + + + + +



 箱入り無数目───────────────時枝 正 36

 第56回国際数学オリンピック・タイ大会/問題と解説───────────────────藤田岳彦         38

 フィンランドで考えた異分野協働の歩き方───────────────────西浦廉政         45

 鉛同位体法の数理(4)───────────────────吉田知行         48

 NOTE 講評と解説───────────────────ZZZ         54



-------------------------------------------------------------------------------------------------------



<数セミ メディアガイド>



 『初等整数論』──雪江明彦       102

 『できる研究者の論文生産法』──宮内有希       103

 今月のベスト10                           103

 情報コーナー                104



+ + + + + + + + + + + + + + + + + + + + + + + + + + + + +



よこがお                                35

次号予告                                106

12月号(2015年11月12日発売)予価本体1040円+税

特集◎佐武一郎の数学

2014年10月に急逝された佐武一郎氏の研究を振り返る。『線形代数学』(裳華房)や『リー群の話』『リー環の話』(日本評論社)の印象が強いが、数論や幾何学、表現論など幅広く研究されてきた氏の研究の一端を紹介しつつ、数学への姿勢や想いも垣間見る。