大人のための最先端理科　第１４４回　［数学］数学
週刊ダイヤモンド　2017.12.2号　2017.12.2

この記事の情報
掲載誌	週刊ダイヤモンド　2017.12.2号（2017.12.2）
ページ数	2ページ　（全2542字）
形式	PDFファイル形式　（949kb）
雑誌掲載位置	84〜85頁目

大人のための最先端理科　第１４４回　［数学］数学小谷元子（こたに・もとこ）●東北大学教授　材料科学高等研究所（ＡＩＭＲ）所長コンピュータを使えば正しい？　数学の「真理」の高いハードル　箱の中にボールをなるべくたくさん詰め込むにはどうすればいいか。この一見素朴な問題は、２１世紀になってようやく解決された。しかも、伝統的な数学の手法に、コンピュータによる解析を合わせた解法であったために、数学コミュニテ…