日々の流転

λ. 昼食

久しぶりに看護の方の食堂へ。

λ. cpl.rb

cpl.rbをJRubyで動くようにし、それからSwingで簡単なUIをつけてみた。後はアプレット化するだけなのだけど、jarに同梱したスクリプトをrequireする方法がよくわからない。

rear.rbで一つのファイルにまとめておいてevalするとか考えたのだけど、JRubyにbindingが実装されてなくて動かなかったので諦める。うーむ、やっぱJRubyに手を入れなくちゃダメかなぁ。。

λ. 借りた本

『CORBA完全解説 - POAを使いこなす』

小野沢 博文 [著]

λ. 夕食

豊田さんと水龍。

λ. A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

を読んだ。Lawvere's diagonal theorem を使っていろんなパラドクスや不動点定理を整理している。面白い。