Types and Programming Languages (The MIT Press)
著者：Benjamin C. Pierce
発売日：2002/01/04
出版社：The MIT Press
ISBN：9780262162098
関数型プログラミングとQiita界隈の騒動について ~ 岡部 健の技術記事 Ken Okabe's tech writing
（追記）2015/4 関数型プログラミングに目覚めた！ IQ145の女子高生の先輩から受けた特訓５日間 を無事出版しました。 （関連記事） 関数型プログラミングとオブジェクト指向のパラダイムとしての対立 国内の【自称】関数型コミュニティと海外の論調の違い 自分の考えを公表するときには、それなりの責任が伴います。 ...
2015/03/15 17:34
Leo's Chronicle: ぜひ押さえておきたいコンピューターサイエンスの教科書
僕はバイオインフォマティクスという生物と情報の融合分野で研究を行っています。東大の理学部情報科学科にいた頃は同僚のマニアックな知識に驚かされたものですが、そのような計算機専門の世界から一歩外に出ると、それが非常に希有な環境だったことに気が付きました。外の世界では、メモリとディスクの違いから、オー...
2009/09/22 2:05
ラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな
先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。 プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。 アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉...
2011/09/26 14:59