只今記号操作中

 | 

2006-11-30

[][] 高階が苦手な大人のSKコンビネータ かんすう漬け 08:44

ここのところやる気が無いので、何かを作ったりは進まず、ひたすら寝てばかりだった。

眠くない時は、積んでいた本を読んだ。


「ものまね鳥をまねる」を読了。

この後、ラムダ計算入門を再読。ものまね鳥のおかげで、以前読んだ時にはあまり理解できなかった部分がよく理解できた。

更に、「計算論」も再読してみたが、これはあまりにも教科書っぽいせいか、以前からほとんど理解は進まなかった。


combinatory logicが結構分かってきたので、unlambda関連にも再チャレンジ。

とりあえず、公式サイトに何が書いてあるのか一通り読んでみた方がいい気がしてきたので、翻訳してみる事にした(が、やる気が無いのであまり進んでいない)。


この後は、以下を行う予定。気力があれば。


また、更なるやる気があれば、以下も行いたいところ。

トラックバック - http://d.hatena.ne.jp/ranekov/20061130/1164843859
 |