IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

2016-10-23から1日間の記事一覧

コンピュータは数学者になれるのか

感想が書けるほど知見がないし、理解しているわけでもないので、メモです。 コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-作者: 照井一成出版社/メーカー: 青土社発売日: 2015/02/24メディア: 単行本この商品を含むブログ (8…