Design Concepts in Programming Languages (MIT Press)作者: Franklyn Turbak,David Gifford,Mark A. Sheldon出版社/メーカー: The MIT Press発売日: 2008/07/18メディア: ハードカバー クリック: 13回この商品を含むブログ (1件) を見るとても面白そう。そ…

が届く。よさげ。Topology via Logic (Cambridge Tracts in Theoretical Computer Science)作者: Steven Vickers出版社/メーカー: Cambridge University Press発売日: 2008/08/21メディア: ペーパーバック購入: 1人 この商品を含むブログ (1件) を見る

Introduction to Lattices and Order作者: B. A. Davey出版社/メーカー: Cambridge University Press発売日: 2002/04/18メディア: ペーパーバック購入: 1人 クリック: 2回この商品を含むブログ (6件) を見るこれをのんびり読んでいきたいと思う。 あとは、た…

昨日、新宿紀伊国屋で「メタマス！」を買った。めちゃくちゃ面白い。 以下うろおぼえの後日ちゃんと書くためのメモ。 まだちょっとしか読んでないけど面白いとこはたくさんあって、 理解＝圧縮すること っていうのが、こう「だよねー！」（ハトよめ風）とい…

認知意味論: 言語から見た人間の心作者: ジョージレイコフ,George Lakoff,池上嘉彦,河上誓作出版社/メーカー: 紀伊國屋書店発売日: 1993/01/15メディア: 単行本 クリック: 19回この商品を含むブログ (22件) を見るp.96 ３歳児に、２つの別の牛の絵と１つの飛…

本が到着。建設中のサグラダ・ファミリアの写真が表紙で、かなり大きい。900ページくらいあってハードカバー、かなりの存在感。 これなら九千円でも安いかも。Concepts, Techniques, and Models of Computer Programming (The MIT Press)作者: Peter Van Roy…

Conceptual Mathematics: A First Introduction to Categories作者: F. William Lawvere,Stephen Hoel Schanuel出版社/メーカー: Cambridge University Press発売日: 1997/10/09メディア: ペーパーバック クリック: 7回この商品を含むブログ (15件) を見ると…