|
|
|
|
|
Àι° °Ë»ö |
|
|
|
|
|
|
|
±è¿µ |
|
À̸§: |
±è¿µ |
|
Ãâ»ýÁö: |
±æ¸²¼º
|
|
Á÷¾÷: |
±³À°ÀÎ
|
|
|
|
|
|
|
|
|
|
¾Ù¹ü |
|
|
|
|
Çз |
|
ÀÔÇг⵵ |
Á¹¾÷³âµµ |
Ãâ½ÅÇб³ ¹× Àü°ø |
1982- |
1988 |
ÀåÃá½Ã½ÇÇèÁßÇÐ |
1988- |
1992 |
±æ¸²´ëÇÐÇлç |
1992- |
1995 |
¼®»ç |
1998- |
2002 |
¹Ú»ç |
|
|
|
°æ·Â |
|
°æ·Â±â°£ |
°æ·Â³»¿ª |
1995-ÇöÀç |
±æ¸²´ëÇб³»ç |
|
|
|
¼º°ú |
|
¼º°ú³»¿ª |
1)Constraint-based partial Evaluation for Inperati-ve programs.Journal of computer Science and Te Chnology.2002.1. |
2)GammaæÑß©ÓðActionæÑß©îÜ转换.¼ÒÇÁÆ®¿þ¾îÇк¸. 2003.1. |
3)Ù¤ÖµãÒ语åëîÜÍÔË¿ActionæÑß©øúãÆ.ÄÄÇ»ÅÍ¿¬±¸¿Í¹ßÀü 2002.10. |
4)ÐñÜâ图项øúãÆ与ÐñÜâ图ßÓû»转换ß©Ûö.á³úþÚ°úþ计ß©Ïõ ͧ统.2001.12. |
|
|
|
|
|
|
|
º» Àι° Á¤º¸´Â web»ó¿¡ °ø°³µÈ ³»¿ëÀ» ¼öÁý, Á¤¸®ÇÑ °ÍÀ¸·Î
À߸øµÈ Á¤º¸¸¦ Æ÷ÇÔÇÒ ¼ö ÀÖ½À´Ï´Ù. À߸øµÈ Á¤º¸ÀÇ ¼öÁ¤À» ¿øÇϽô °æ¿ì,
[¸ÞÀÏ ¹®ÀÇÇϱâ]¸¦ ÅëÇØ ¹®ÀÇ Áֽøé, Àι°°Ë»ö ¼öÁ¤¿øÄ¢¿¡ µû¶ó
½Å¼ÓÈ÷ ÆÇ´ÜÇÏ¿© ó¸®Çϵµ·Ï ÇÏ°Ú½À´Ï´Ù.
|
|
|
|
|
|
|
|
|