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

どこでも作業ができるように，ノートPCにもcygwinとocamlとMeadow2をインストールしてみたい（みたい？）．とりあえず，VirtualPCに用意してあったcygwin環境にmeadow2を入れてみたんだけど，例によってフォントの設定が死ぬほど面倒くさい．まあ，一度設定…

型付けを定義してしまおうと思った．なかなかすっきりと定義できない．進まない．

先生と話した．いろいろと絶望． こういう日はテレビでも見ながらぐだぐだしたいところだが，木金土日は見てる番組がないので詰まらん．

Rubyで型推論してみる話． x.foo(y.bar())みたいなrubyの式があったときに， {x:sig1, y:sig2}, {sig1⊇{foo:sig3→sig4}, sig2⊇{bar:()→sig3}}, sig4 といった出力をするプログラムはできた．この出力は，xがsig1というクラスに属していること，yがsig2という…