y¢ƒJƒ‰ƒb‚Æ‘u‰õB£(POPL)z
0.ƒWƒ‡ƒbƒL[¶](2006.2`)‚Ö–ß‚é
(C)
kuidoraku
