トップ «前の日記(2003-06-17) 最新 次の日記(2003-06-19)» 月表示 編集

日々の流転


2003-06-18 [長年日記]

λ. 昼食

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

λ. cpl.rb

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

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

Tags: ruby CPL

λ. 借りた本

『CORBA完全解説 - POAを使いこなす』
小野沢 博文 [著]
Tags:

λ. 夕食

豊田さんと水龍。

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

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

Tags: 論文 圏論