”N“x •¬”ԍ† ƒtƒH[ƒ‰ƒ€EƒVƒ“ƒ|ƒWƒEƒ€“™ƒgƒE‚Ì–¼ÌƒƒCƒVƒ‡ƒE ŠJÃÓ”CŽÒ–¼ Š‘® –ðE
2001 K13FS‡Y‘æ16† IEEE Computer Society, Test Technology Technical Council —с@Æ•õ ŽOd‘åŠw ‹³Žö
2001 K13FS‡Y‘æ17† ‘æ‚U‰ñuDevelopments@in@Language@Theoryv‘Û‰ï‹c ˆÉ“¡@³”ü ‹ž“sŽY‹Æ‘åŠw ‹³Žö
2001 K13FS‡Y‘æ18† ‘æ‚U‰ñ@Ž©‘RŒ¾Œêˆ—‘¾•½—mƒVƒ“ƒ|ƒWƒEƒ€ ’Òˆä@ˆê “Œ‹ž‘åŠw ‹³Žö
2001 K13FS‡Y‘æ19† ‚«”\ŒvŽZ‚ÉŠÖ‚·‚鍑ÛƒVƒ“ƒ|ƒWƒEƒ€ é@˜a‹M “ޗǏ—Žq‘åŠw ‹³Žö
2001 K13FS‡Y‘æ20† ‘æ‚T‰ñˆã—p‰æ‘œHŠw‹y‚уRƒ“ƒsƒ…[ƒ^ŠO‰È‘Û‰ï‹c “y”ì@Œ’ƒ “Œ‹ž‘åŠw @