画像クリックで拡大できます
- ※ この商品は送料無料で出品されています。
この商品も注目されています
数学セミナー 2015年11月１日発行 第54巻11号 通巻649号 特集:コンピュータにできる数学・できない数学 日本評論社
送料無料
匿名配送
本人確認前
商品説明
数学セミナー2015年11月号
特集◎コンピュータにできる数学・できない数学
人工知能研究の進展や証明支援系ソフトの開発により，「コンピュータにどこまで数学ができるのか？」という疑問が，数学者はもとより，数学に興味のある人々にも関心の高いテーマとなってきている．今回は3つの証明支援系を紹介しつつ，現状でどのようなことがどこまでできるのか，またこれからの課題を紹介する．
コンピュータに証明できること・できないこと◎照井一成
カリー-ハワード同型対応◎竹内 泉
Coq：型理論から来た証明支援系◎Jacques Garrigue
Mizarと形式化数学ライブラリ◎中正和久
数学での証明支援系の利用について◎久我健一
箱入り無数目◎時枝 正
第56回国際数学オリンピック・タイ大会／問題と解説◎藤田岳彦
フィンランドで考えた異分野協働の歩き方◎西浦廉政
鉛同位体法の数理(4)◎吉田知行
NOTE 講評と解説◎ZZZ
支払い、配送
支払い方法
-
Yahoo!かんたん決済
- PayPay残高等
- PayPayクレジット
- クレジットカード
- PayPay銀行支払い
- 銀行振込（振込先：PayPay銀行）
- コンビニ支払い
