2006-08-31 dependent type misc わけわかめ。そもそも一階述語論理との対応からしてピンと来ないなぁ。今度 30 分でできる某氏に聞いてみるか... ついでに SVM についても詳説願いたいところ。