IT練習ノート

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

読書

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

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

関数プログラミング実践入門

書評が出来る程のスキルがあるわけではないので、つらつらと感想を: 関数プログラミング実践入門 ──簡潔で、正しいコードを書くために (WEB+DB PRESS plus)作者: 大川徳之出版社/メーカー: 技術評論社発売日: 2014/11/14メディア: 単行本(ソフトカバー)こ…