単一化アルゴリズムをメモ． (E∪{(ρ,ρ)},S) ⇒ (E,S) (E∪{(α,ρ)},S) ⇒ ([ρ/α]E, {(α,ρ)}∪[ρ/α]S)α→βみたいのは省略．うろ覚えで実装しようとしていたらはまった．テキストを取りにいって帰って来て，解決．Eの方を書き換えるなんて思いつかんよー

ふと思ったんですが，これって「WebDAV」のことじゃないでしょうか？

Duck Typeってどういう意味なのか，なんとなくしかわからなかったので調べてみた．ちなみに，なんとなくというのは，VBのVariant型みたいのかな？という程度の理解である．http://brandish.xrea.jp/nucleus/index.php?itemid=184&catid=16によると，Ruby発祥…

例えば， foo.txtを編集して保存したんだけど，編集する前の版の方が良かった 編集する前の版を取得する方法はないか？ 「ごみ箱」を探せば過去に削除したファイルが出てくるんだから，過去に保存したファイルだってなんとかなるでしょう？ などというのは，…