id:sumii:20060113:1137132558 難しい。本当にかわいくない内容だった。型推論については知っているけれども、logical relationについては全くﾜｶﾗﾅｽ。P_ρ(τ_1 -> τ_2)の説明のところで、v v_1 -> *v_2となっているけれども、このアスタリスクの意味が分かり…