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



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



　コンピュータに証明できること・できないこと─────照井一成　　　　　　　　 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