の組み合わせで起きる型エラーは、ほとんど理解不能だった。 Type error [Parser2.icl,32,gDeepSeq_Tree]: derived type GenericInfo (a -> .(u:b -> v:(a,u:b))) (Tree a) u:b -> w:((Tree a),u:b) | bimap_s b, [w v <= u] conflicts with specified type …

Modern Information Retrieval (Acm Press Series)作者: Ricardo Baeza-Yates,Berthier Ribeiro-Neto出版社/メーカー: Addison Wesley発売日: 1999/05/15メディア: ペーパーバック購入: 2人 クリック: 11回この商品を含むブログ (13件) を見るまだ論文読みの…

何の問題を解決しようとしているのかを考えないで、見た目や名前だけを変えたって意味はないです。はい。 そういうことをしなければいけなくなったときには、見た目や名前を派手に変えて、中身はこっそり同じものを使っておくというのもありかもしれません。…

http://gikoforth.s13.xrea.com/td/?date=20061003 で最近熱いForthですが、concurrent programmingの方面はどうなんでしょう？とか思いました。

こんなことを考えている暇があったら、書きかけのABCマシン命令のドキュメントを少しでも書き進めるべきだと思います。先日、HaskellのSTMに関する論文を読んでいて、モナドの何かが少し理解が進んだような気がするので、そこら辺を書こうかなと。といって、…