BOOK OFFに行ってDANDOH!!を読破してた。とどのつまり、何も進んでいない。「とどのつまり」のとどっていうのは、あのアシカみたいな生き物じゃなくて出世魚の名前らしい。

ファイル鯖を立てなきゃなあと思って友人(数学科の4年)と話しをしていたら、突如思いついた案として、SubversionじゃないけどOracleFilesがeccで提供されている件。 http://www.ecc.u-tokyo.ac.jp/system/network_storage.html 教育用として使用する上に、違…

Javaのgenericsといえば、そのままソースコードを記述しても例外なくHTMLでは読めないことで有名ですが、確かに多相型ですね。問題は、型推論してくれないので、genericsのネストは気持ち悪いし長いし・・・ということでしょうか。 確かにアレを書いていると…

気が付いたら夕方4時とかって、久々の快挙。明日は学校行きます。今日は掃除します。 寝ている間に、3世代にわたるISerの書き込みが出来上がった昨日の日記。 さらに粘着してみることにして、id:sumii:20051018:1129600055の話で、「型単相の型推論」ってい…