日々の流転

λ. 規模が小さくてソースの読みやすいオープンソースのコンパイラってどっかに転がってないかな。

λ. 私の景気対策

What My Home Page is. の 2002/05/06(mon)02:38:01 の「私の景気対策」が素晴らしい。

Internet Archive

λ. 夢

今のうちに密かに卒論を書いておくという夢を見た。よくわからないテーマだった。

λ. monomorphismかつepimorphismはisomorphismの十分条件じゃない

monomorphismかつepimorphismはisomorphismの十分条件じゃないって事は、monomorphismであってもretractionが存在するとは限らないし、epimorphismであってもsectionが存在するとは限らないって事か。そうか、そうだよな……

λ. Java

少し勉強をはじめた。誤算があって、思ったよりも早くtomcatのソース読みの順番が回ってきそうなので。

λ. Parametric-types for Java

そういえば、以前に石原君に「Javaはstatic-typedなのにparametric-typeが無いのが嫌なんだよねぇ」と言ったら、genericityってのが入るらしいと教えてもらったのだった。なので、少し探してみたら、GJ - A Generic Java Language Extension というのを見つけた。これこれ、こーゆーのが欲しかったのよ。

それと、Parameterized Types for Java という論文を見つけた。

λ. σ-calculus

それから、Javaとは関係ないが、オブジェクト指向言語を形式化した object calculus(σ-calculusとも呼ぶらしい)という計算モデルがあるらしい。これまで、オブジェクト指向って、どうも理論的な根拠が薄弱で、宗教的というか、経験論的というか、要する胡散臭いと思ってたんだけど、ちゃんとした理屈もあるんじゃないの。

Sigma Calculus Interpreter

σ-calculusのインタプリタ。わりと面白そう。

λ. おしゃれ泥棒 (How to Steal a Million)

を見た。

λ. お勉強ノート

Atsushi Yamaguchi 氏のカテゴリー論のまとめ等がある。

λ. Rubyのこんな所は今更変えられないよねぇのこーなー

去年の11/17に書いたけど、僕も文字列の結合は「+」よりは「*」が自然だと思う。というか、むしろ繰り返しを「**」で表現したいというのが本音だけど。

λ. 借りた本

『ていうか 経済って難しいじゃないですか』

中尊寺ゆつこ[著]

『最後の特派員』

ダニエル・スティール (Daniel Steel) [著]

λ. rubyでmontague文法?

「現在取り組んでいる課題はmontague文法をRubyで表現すること」と書いてあるのをみつけて、その後どうなったのかが気になった。モンタギュー文法についてのページも興味深い。