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

日々の流転

2006-04-18 [長年日記]

λ. Building SVG-based Interactive Web-Estimated System

<URL:http://www.pfu.fujitsu.com/techreview/no29/pdf/29-8.pdf>

Tags: tom

λ. 「Objective Caml NG集 − 型推論とオブジェクト指向の複雑な関係」. Jacques Garrigue

<URL:http://www.math.nagoya-u.ac.jp/~garrigue/papers/ocaml-ng.pdf>

を読んだ。バグの実例が面白い。

Tags: ocaml

λ. ジャンプが読めるのは萩野・服部研だけ!

「ジャンプが読めるのは萩野・服部研だけ!」らしい。みんな研究室にジャンプを読みにやってきています(ぉぃ

Tags: tom

[ツッコミを入れる]