kw's blog - A Formal Approach to Component Adaptation http://mizunashi.net:80/blog/2006/11/07/1162904505000.html これも形式手法を用いた component adaptation ... ja kw Tue, 07 Nov 2006 13:01:45 GMT kw 2006-11-07T13:01:45Z ja kw kw's blog http://mizunashi.net:80/blog/