この商品についてブログを書く■[Scheme][計算論] 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) をSchemeで 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)を遅々としたペースで読み進めていて、これSchemeでやったらどうなるんだろうね、と思って始める。このエントリをインデックスにしていくよ。 原始帰納関数〜3つの関数と1つの手続きから広がる世界 - [・ _ゝ・]日記を 続きを読む
日記を書くはやみずさん[・ _ゝ・] - 計算論 計算可能性とラムダ計算 をSch...
harg2006/12/313 users 
この商品についてブログを書く
kenta116269182012/01/01
hchbaw2010/09/27
yoshitake-h2010/07/17
batg2009/12/21
dorayakitaro2009/05/18
antipop2008/08/16
satzz2008/07/29
gorinovitch2008/04/03
Sio_Ikzk2008/02/14
oskimura2007/10/04
uskz2007/08/25uskz2007/08/22
takkan_m2007/08/17
shichiseki2007/08/02
western_lariat2007/08/01
traih2007/06/23
inamori2007/05/09
sakana42007/02/04
m_pixy2007/01/31sakana42007/01/25
moi4
愛読書その12007/12/16
masugata_k
「ラムダ計算を全くの基礎から解説し、計算可能性との関係、ベームの木、ラムダモデルなど、かなり高度な内容まで」。「前知識なしで読み通せるくらい親切」。「高度な内容までほとんど省略なく」。2007/10/31
Amazonマーケットプレイス
