vallog: プログラマが好きそうな読み物100
► 2018 (81) ► 10月 (9) ► 9月 (8) ► 8月 (9) ► 7月 (4) ► 6月 (9) ► 5月 (4) ► 4月 (9) ► 3月 (12) ► 2月 (11) ► 1月 (6) ► 2017 (122) ► 12月 (7) ► 11月 (8) ► 10月 (9) ► 9月 (10) ► 8月 (14) ► 7月 (12) ► 6月 (11) ► 5月 (12) ► 4月 (11) ► 3月 (11) ► 2月 (7) ► 1月 (10) ► 2016 (30) ► 12月 (16) ► 10月 (3) ► 8...
2009/12/23 17:55
ラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな
先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。 プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。 アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉...
2011/09/26 14:59