PS3も欲しいなぁ。そして今うちにはTVがないのだった動画、動画。

ちょっと複雑な例になると手でやるのが急速にしんどくなるので、hylo-formに変換するのは簡単そうだし自分で書くかと思って、OnoueのD論読んでたら、『説明を簡略化するため，用いるデータ構造は単一再帰のみに，再帰関数は相互再帰を含まないように限定する…

ところで、PolyPCFが、Haskellを表現する適切なモデルなのかというと、Haskellには、seqという関数が存在して(seqってGHC固有の関数じゃないよね？たぶん)、seqが絡むと、リストに限ってもshortcut fusionが成立しなくなる(参考)ので、PolyPCFとHaskellは違…

LFixとGFixが、始代数と、終余代数を与えるなら、LFix fからGFix fへの射を作る、自然で簡単な方法が存在する。これにすぐ気付かないのは、アホだな私Fを適当な圏の自己関手で、F始代数とF終余代数が存在するものとして、(T,in)をF始代数とすると、inは同型…

エッシャー展に行ってきた。初期の作品とかは見たことなかったし、1935年以降の作品でも、見たことないのが結構あったので、楽しめた。間近で見ると、滅茶苦茶細かい。あれは私には到底真似できそうにないな。ダリ展も行きたいけど、というか研究室から歩い…