日々の流転

λ. NEXT

観てきた。ちょっと前に某所で「可能世界だ」とか「様相論理だ」とか面白がってた映画。結構アホっぽい感じの娯楽映画で、伏線も謎もあったもんじゃないけど、ニコラス・ケイジが能力を駆使して活躍する様はそれなりに楽しめた。

【追記】 2008-05-01の毎日新聞夕刊の「シネマの週末」では「よほどおおらかな気分で見ないと、主人公の分身シーンなど、キテレツな場面の連続にあぜんとさせられるだろう」と書いてあったけど、個人的には分身等の表現は「有界モデル検査(bounded model checking)をこう視覚化したか」という感じで、結構面白かったんだが。

λ. CPLのHaskell版パッケージをCabal化

CPLのHaskell版パッケージをCabal化した。 もうコードを書いたのが昔過ぎて、コードを見返すのが面倒くさかった。