トップ «前の日記(2001-12-07) 最新次の日記(2001-12-09)» 月表示編集

日々の流転

2001-12-08 [長年日記]

λ. LLP: A Linear Logic Programming Language and its Compiler System

ふむふむ。WAMの勉強に丁度良いらしいので、後で見てみよう。

Tags: logic-programming

λ. Graphviz - open source graph drawing software (from 心身のバックアップ日記)

こんな便利なツールがあったとわ。情報数学Ⅰの授業で使わせてもらえば良かった。しかもRubyのバインディングまであるなんて最高。

λ. 読書

『最終兵器彼女』第1巻
『最終兵器彼女』第2巻
『最終兵器彼女』第3巻: 高橋しん[著]

Tags: 本

[ツッコミを入れる]