(no subject)

[hgkang]

[-- Attachment #1: Type: text/plain, Size: 539 bytes --]

****************************** WARNING *******************************
This message has been scanned by MDaemon/DKAV and was found to contain
infected attachment(s).  Please review the list below.

Attachment                    Virus name               Action taken
----------------------------------------------------------------------
cf3069427972.att              Exploit.IFrame.FileDownloadRemoved
Çϵµ·Ï.pif                    I-Worm.Klez.h            Removed


**********************************************************************


[-- Attachment #2: kwangesop-caap-cc96[1].txt --]
[-- Type: application/octet-stream, Size: 8286 bytes --]

Trip report on
  European Symposium on Programming (ESOP96)			4/22-24/96
  International Conference on Compiler Construction (CC96)	4/24-26/96
  Workshop on Real World Applications of Functional Programming 4/25/96
  Linkoping, Sweden

  ÀÌ ±¤±Ù

À̹øÃâÀå¿¡¼­´Â À¯·´ÀÇ POPL(ESOP)°ú PLDI(CC)¸¦ »ìÆ캸°í,
ÇÔ¼ö¾ð¾îÀÇ ½ÇÁ¦ÀÀ¿ë¿¡ °üÇÑ ¿÷¼¥¿¡ Âü°¡Çߴµ¥.

Àå¼Ò´Â ½º¿þµ§ÀÇ ¸°ÄÚÇÎ.
½º¿þµ§ÀÇ ÀλóÀº À¯·´³ª¶óÁß¿¡¼­ °¡Àå ¹Ì±¹°ú ºñ½ÁÇÑ°Í °°¾Ò´Ù. 
¿µ¾î°¡ ½±°Ô ÅëÇÏ°í ½ºÅåȦ¸§¿¡¼­ ¸°ÄÚÇαîÁö ±âÂ÷¾È¿¡¼­
±¸°æÇÑ ½Ã°ñdz°æÀÌ ²À ¹Ì±¹ Áß¼­ºÎ¿Í ºñ½ÁÇÏ°í. Áýµéµµ ¶È°°ÀÌ »ý°å°í.
(¹Ì±¹Áß¼­ºÎ·Î À̹ΰ¬´ø ´ë´Ù¼ö°¡ Ȥ½Ã ½º¿þµ§ »ç¶÷µéÀ̾ú³ª?)
±¤È°ÇÑ ¸Àµµ ÀÖ°í, »ç¶÷µµ º°·Î º¸ÀÌÁú¾Ê°í.
¹Ý¸é¿¡ °ø°øÇ¥ÁöÆÇÀÌ ÀüÇô ¿µ¾î·Ð µÇÀÖÁö ¾Ê¾Æ¼­ ´çȲ½º·² ¶§µµ ÀÖ¾ú´Ù.
±âÂ÷¿ª¿¡¼­ ±âÂ÷¸¦ ³õÄ¥»· Çß¾ú´Âµ¥...±âÂ÷¿ª¿¡¼­ Ç¥ÆĴ â±¸¸¦ ãÀ» ¼ö°¡
ÀÖ¾î¾ßÁö. 

ÇÐȸÀå¼Ò´Â Linkoping University Ä·ÆÛ½º³»ÀÇ ÇÐȸȰµ¿À» À§ÇÑ °Ç¹°. 
(²À ¿©±â¾îµð¿¡ ¢´Â´Ù´Â HTC °Ç¹°ÀÇ ¾ÆÀ̵ð¾î´õ¶ó.)
¸°ÄÚÇÎÀº 70³â´ëÃÊ¿¡ Linkoping University°¡ ¼³¸³µÇ°í ²ÙÁØÈ÷ ½º¿þµ§ÀÇ ÇÏÀÌÅØ
´ÜÁö·Î ÀÚ¸®¸¦ Àâ¾Æ°¡°í ÀÖ´Ù°í ÇÑ´Ù. ºñÇà±â¿Í ÀÚµ¿Â÷·Î À¯¸íÇÑ SAAB, 
ÀüÈ­ ȸ»ç Ericsson (ÀÌ È¸»ç¸¦ Bell Lab¿¡ ÀÖÀ»¶§
¾Ë°ÔµÇ¾ú´Âµ¥, ³ª¸§´ë·Î ¾ËÂù ½Ç·ÂÀ¸·Î AT&T¿Í °æÀïÇÏ°í ÀÖ´Ù´Â ´À³¦À» ¹Þ¾Ò¾úÀ½.
ÀÌ¹Ì µ¶ÀÚ °³¹ßÇÑ ErlangÀ̶ó´Â concurrent functional language·Î »ó¿ë ÀüÈ­
½Ã½ºÅÛÀÇ ¼ÒÇÁÆ®¿þ¾î¸¦ °³¹ßÇÏ°í ÀÖ¾ú°í, AT&T¿¡¼­´Â ÀÌ·¯ÇÑ EricssonÀÇ °æÇèÀ»
µé¾îº¸´Â ÀÚ¸®¿´À½), DEC, Cray µîµîÀÇ ¾÷ü°Ç¹°µéÀÌ ´«¿¡ ¶ç¾ú´Ù. 
ÇÐȸµ¿¾È Linkoping Univ.¿¡¼­ °ÞÀº Àç¹Õ´Â °Í Çϳª: ÀÌ»óÇÏ°Ô È­Àå½ÇÀÇ ³²³à±¸ºÐÀÌ
¾ø¾ú´Ù. ´ë½Å¿¡ È­Àå½Ç ÇϳªÇϳª°¡ 1ÆòÁ¤µµÀÇ ¿ÏÀüÈ÷ ºÐ¸®µÈ ¹æÀ¸·Î µÇ¾ú´õ¶ó.

ÃÊû°­¿¬À» ¿ì¼± »ìÆ캸¸é:

4/22 9am. Samson Abramsky: Semantics of interaction
   ¿ä»çÀÌ game semantics¶ó´Â °Ô ¶ß´Â ¸ð¾çÀε¥ ±× ³»¿ë¿¡ ´ëÇؼ­
   °³°ýÇØ º¸´Â ½Ã°£À̾ú´Ù. Denotational semantics¿¡ ½Ã°£ÀÇ °³³äÀÌ ÀÚ¿¬½º·´°Ô
   µé¾î°¥ ¼ö ÀÖ´Â ÀåÁ¡ÀÌ ÀÖ´Ù°í Çϴµ¥... semantics¸¦ ÀÏÁ¾ÀÇ gameÀÇ
   move tree ·Î Ç¥Çö: µÎ ¸íÀÌ ¼ø¼­´ë·Î ÇàÇÏ´Â À屺/¸Û±ºÀÇ ÁÙÁÙÀ̵é. 
   Àå±âµÎ´Â ÇÑ»ç¶÷Àº operator, ´Ù¸¥ÇÑ»ç¶÷Àº environment.
   ¿Ö/¾î¶»°Ô/¾ðÁ¦/¹«¾ú¶§¹®¿¡ À̳ðÀÇ ½ºÅ¸ÀÏÀÌ ´Ù¸¥ ½ºÅ¸ÀÏÀÇ Àṉ̀â¼ú¹æ¹ýº¸´Ù
   Æí¸®ÇÒ ¼ö ÀÖ´ÂÁö´Â °ü·Ã ³í¹®À» ÂùÂùÈ÷ »ìÆìºÁ¾ß ÇÒ°Í °°´õ¶ó.
   ftp://theory.doc.ic.ac.uk/papers/[Abramsky|Malacaria|McCusker|Ong]
   ¾ÆÁ÷Àº ½ÇÁ¦¾ð¾îÀÇ Àǹ̸¦ Ç¥ÇöÇÒ ¼ö ÀÖÀ» ¸¸Å­ ¿©·¯°¡Áö ¼­¼ú¹æ¹ýÀÌ °í¾ÈµÈ°Í
   °°Áö´Â ¾Ê¾Ò´Ù.

   Á¦¸ñ¿¡ "interaction"À̶ó´Â ´Ü¾î¸¦ ½è´Âµ¥, ÀÌÁ¨ ¼­¼­È÷ "interaction"À̶ó´Â
   °ÍÀÌ "computation"À̶ó´Â ´Ü¾îº¸´Ù Áß¿äÇÑ keyword·Î ¾²ÀÏ·Á³ª?
   FCRC96 ¿¡¼­ Robin MilnerÀÇ ÃÊû°­¿¬µµ Á¦¸ñÀÌ "computing is interaction"
   À̾ú°í. (~kwang/trip/pldi-icfp96. Âü°í) 

4/22 2pm C.B. Jones: Some practical problems and their influence on semantics
   Á¤ÇüÀûÀÎ ¼­¼ú¹æ¹ý(formal specification)ÀÇ °æÇè°ú ÇöÀç ¸º´Ú¶ß¸° ÇÒÀÏ¿¡
   ´ëÇؼ­. VRML, JAVA, script language µîµîÀ» ¾ð±ÞÇϸ鼭, ³Ê¹«´Ê±âÀü¿¡
   ÀÌ·± °Íµé¿¡ Á¤ÇüÀûÀÎ ¼­¼ú¹æ¹ýÀÇ Æ²À» Á¦°øÇØÁÖ¾î¾ß ÇÑ´Ù´Â ¸Þ¼¼Áö.
   ³Ê¹«´Ê±â Àü¿¡. Formal specÀ¸·Î ´Ü·ÃµÇ°í debugµÇ±âµµ Àü¿¡ ³Ê¹« »¡¸® ½ÇÁ¦
   ÀÀ¿ë¿¡ ÆÛÁö´Â ¹Ù¶÷¿¡ °Þ¾ú´ø ¿©·¯ ¹®Á¦ÀÇ ÀüöÀ» ÇÇÇϱâ À§Çؼ­. 

   ³î¶ø°Ôµµ ¿ì¸®·¦¿¡¼­ ÇÏ´Â ÇÁ·ÎÁ§Æ®µéÀÌ ¸ðµÎ ¾ð±ÞµÇ¾îÀÖ¾ú´Ù. ¿ì¸®°¡ Çϴ°É
   *Á¦´ë·Î*¸¸ ÇÑ´Ù¸é ÁÁÀº pioneering ¿¬±¸°¡ µÉ  ¼ö ÀÖÀ» ÅÙµ¥. ÇÏ´Â »ý°¢ÀÌ 
   ¸¹À̵é´õ¶ó. ³»°¡ ´Ù·ç´Â SMLÀ̶ó´Â ¾ð¾îµµ Çϱä Á¶±×¸Ä°í ¼Ò¹ÚÇÑ ¹®Á¦¸¦
   Á¦´ë·Î ÇØ°áÇϱâ À§ÇÑ ¼ºÀÇ¿¡¼­ ±× ½ÏÀÌ ÅÕ¾úÁö. 

4/23 9am F. Pfenning: The practice of logical framework
   Theorem Áõ¸íÀ» À§ÇÑ ¿©·¯ tool¿¡ ´ëÇؼ­. Carnegie-Mellon Univ ¿¡¼­
   ÇÁ·Î±×·¡¹Ö¾ð¾î¿Í ÇÁ·Î±×·¡¹Ö ³í¸®¸¦ °¡¸£Å³¶§ PfenningÀÌ »ç¿ëÇß´Ù´Â
   Ãß·Ð ½Ã½ºÅÛÀ» Çѹø »ìÆìºÁ¾ß°Ú´Ù´Â »ý°¢ÀÌ µé´õ¶ó. 
   http://www.cs.cmu.edu/~fp/

4/24 9am S.L. Peyton Jones: compiling Haskell by transformation
   ¸Þ¼¼Áö: À̷аú ½ÇÁ¦°¡ ¦¦²áÀÌ ±â°¡¸·È÷°Ô ¸Â´õ¶ó´Â °Í.
   Glasgow Haskell Compiler(GHC)¸¦ °³¹ßÇϸ鼭 ¸Ã´Ú¶ß¸° ¹®Á¦°¡ ÀÌ·ÐÇÏ´Â
   »ç¶÷µéÀÌ ÀÌ·ç¾î³õÀº °á°ú°¡ ¾ø¾úÀ¸¸é ¹«Ã´ ÇØ°áÇϱâ Èûµé¾úÀ»»· Çß´Ù´Â À̾߱â.
   ¶Ç, ÀÌ·ÐÀÇ ¹®Á¦²¨¸®°¡ ½ÇÁ¦¿¡¼­ µµÃâµÇ´Â °æ¿ìµµ ¸¹¾Ò°í.

   °¢ transformation phase¸¶´Ù Ç¥Çö½ÄÀÇ Å¸ÀÙÀ» º¸°üÇÏ°í À־ ŸÀÙ°ËÁõÀ»
   ÅëÇؼ­ °¢ transformationÀÇ security °ËÁõÀÌ ¸Å¿ì ¿ëÀÌÇß´Ù´Â °æÇè.
   Second-order lambda calculus¿Í À§ÀÇ °Í°úÀÇ °ü°è. ¶Ç, Linear type°ú
   performance-safe inlining (performance¸¦ °¨¼Ò½ÃÅ°Áö ¾Ê´Â ¹üÀ§¿¡¼­ inline
   Çϱâ)¿ÍÀÇ °ü°è. ÇÐȸ·Ï¿¡ ºñ±³Àû »ó¼¼È÷ ³ª¿ÍÀÖÀ¸´Ï Âü°íÇϵµ·Ï.

   ±×¸®°í ÇÑ°¡Áö. ½ÇÁ¦¿¡´ëÇÑ ¿¬±¸¼º°ú, Æø³ÐÀº ½ÇÇèµé... ¼ÒÀ§¸»ÇÏ´Â
   "empirical papers"µé¿¡ Á»´õ ºñÁßÀ» ÁÖ°í °ü½É°¡Á®¾ßÇÑ´Ù´Â ÁÖÀå. ÇÐȸ¿¡¼­
   ¹ßÇ¥µÇ´Â ³í¹®ÀÇ 99%°¡ ½ÇÁ¦µ¥ÀÌŸ°¡ ¾ø°í, ³ª¸ÓÁö 1%Áß¿¡¼­ 99%°¡ ±× ½ÇÇè
   µ¥ÀÌŸ°¡ ¹Ì¹ÌÇÏ´Ù´Â ÁÖÀå. 
   »ç½Ç À̹Ì, PLDI¿Í ICFP¿¡¼­´Â Æ°Æ°ÇÏ°í Æø³ÐÀº ½ÇÇèµ¥ÀÌŸ°¡ ¾øÀÌ´Â ³í¹®ÀÌ
   ¹ßÇ¥µÇ±â°¡ Á¡Á¡ ÈûµéÁö. ÀÌÁ¡ ¸í½ÃÇÏ°í, ¿ì¸®·¦ °øºÎÀÇ Æ²À» Àâ¾Æ¾ß ÇÒµí.
   ƯÈ÷, ¼ø¼ö ÀÌ·ÐÀÌ¿ÜÀÇ ³í¹®²¨¸®¸¦ ÂÏ´Â practitionerµéÀº.

ESOP¿¡¼­ ¹ßÇ¥µÈ ³í¹®Áß¿¡ ³»°¡ °ü½É°¡Áö°í µéÀº ³»¿ëÁß¿¡´Â deforest(ÇöÀÏÀÌ°¡
º¸°í ½ÍÀº ³í¹®Àϵí), compositional abstract interpretation,
integer programmingÀ» ÀÌ¿ëÇÑ ÇÁ·Î±×·¥ ºÐ¼®, SML-style polymorphic type
system for a subset of C (°ÅÀÇ ³ó´ã), boxing/unboxing (±âÇö?), modular
denotational semantics µî(monad¸¦ ´Ù½Ã Á¤¸®Çϴµ¥ µµ¿òÀÌ µÇ´Â ³í¹®).

CC¿¡¼­ ÈìÀ̷οԴø ³í¹®Àº
- Jens KnoopµîÀÇ non-monotonic fixpoint iteration¿¡ °üÇÑ
 ³í¹®. ¾î¶² ºÐ¼®(ȤÀº ÇÁ·Î±×·¥ º¯È¯)¿¡¼­´Â »ç¿ëµÇ´Â operationµéÀÌ monotonicÇÏÁö
 ¾ÊÀ» ¼ö Àִµ¥, À̶§ ¾î¶²¼ºÁúÀ» È®ÀÎÇØ¾ß fixpoint iterationÀÌ Àû¿ë°¡´ÉÇÑÁö¸¦
 ±Ô¸íÇÑ ³»¿ë.
 »ç½Ç ºÐ¼®ÇÒ ³»¿ë¿¡ µû¶ó¼­ flow equation¿¡ ¾²ÀÌ´Â operationÀÌ
 monotonic ÇÏÁö ¾Ê°ÔµÇ´Â °æ¿ì°¡ ½É½ÉÂú°Ô ¹ß»ýÇÑ´Ù´Â ¾ê±æ µé¾î¿Ô´ø ³ª·Î½ã
 Èï¹Ì·Ó°Ô µéÀº ³í¹®. 
- NymeyerµîÀÇ BURS + A* algorithmÀÇ ¾ê±â. A* ¾Ë°í¸®ÁõÀ» ÀÌ¿ëÇؼ­ minimal-cost
 reduction path¸¦ ã¾Æ°¡´Â°Å´õ¶ó. (°æ¿ì°¡ ²À º¸°í½ÍÀº ³í¹®Àϵí)
- VerbruggeÀÇ generalized constant propagation. ¿ä¾àÇؼ®À» ÀÌ¿ëÇؼ­
 value-range propagation (constnat ´ë½Å¿¡ range)À» ÇØÁÖ´Â system. ÀÌ ºÐ¼®idea´Â
 ¿À·¡µÈ °ÍÀε¥, ±×·²µíÇÑ software systemÀ» ±¸ÃàÇؼ­ ½ÇÁ¦ C ÇÁ·Î±×·¥À» ºÐ¼®
 Çϴµ¥ »ç¿ëÇÑ Æ°Æ°ÇÑ ½ÇÇè°á°ú°¡ ÀλóÀû. (Àç¿øÀÌ°¡ Èï¹ÌÀÖ¾î ÇÒ·Á³ª)
- abstract interpretation´ë½Å¿¡ abstract compilation¾ÆÀ̵ð¾î¸¦ ³½ ³í¹®.
 ÀÌ ³í¹®µµ ½ÇÇè°á°ú°¡ ²Ï źźÇÏ¿´À½.
- natural semantics¿¡¼­ compiler¸¦ ÀÚµ¿À¸·Î ¸¸µé¾î³»´Â system¿¡ ´ëÇÑ ³í¹®.
 ±âÇöÀÌ°¡ ¼Õ´íÀûÀÌ ÀÖ´Â type-inference-generator°¡ »ý°¢³ª´õ¶ó.
- ÀÌ ¿Ü¿¡µµ software pipelining°ú parsing¿¡ ´ëÇÑ ³í¹®µî.

´ÙÀ½À¸·Î ¹Ý³ªÀý µ¿¾È Workshop on the Use of Functional Languages in Industry
¿¡ Âü°¡Çߴµ¥, ¸î¸î volunteerµé(industry members)ÀÌ È¸»ç¿¡¼­ ÇÔ¼ö¾ð¾î¸¦
ÀÌ¿ëÇؼ­ commercial product¸¦ ¸¸µå´Â ³»¿ë¿¡ ´ëÇؼ­ ¹ßÇ¥ÇÏ°í ÅäÀÇÇÏ´Â ¹æ½Ä.
- Ericsson¿¡¼­´Â  ErlangÀ̶õ ¾ð¾î¸¦ »ç¿ëÇؼ­ ½ºÀ§Äª ¼ÒÇÁÆ®¿þ¾î¸¦ ¸¸µç°Ô
 5³âÀÌ ³Ñ´Â °Í °°¾Ò´Ù. ÀüÇÏ°í ½ÍÀº ºÐÀ§±â Çϳª.
 Erlang ÄÄÆÄÀÏ·¯¸¦ °³¹ßÇÏ°íÀִ åÀÓÀÚ¿Í mobility serverÇÁ·Î±×·¥À» ErlangÀ»
 °¡Áö°í Á¦ÀÛÇÏ°í ÀÖ´Â »ç¶÷°úÀÇ ³íÀÇÀÇ ¸ð½ÀÀ» ÁöÄÑ º¸¸é¼­, Âü ÀÚ¼¼µéÀÌ
 °Ç°­ÇÏ´Ù´Â °É ´À²¼´Ù. (ÇÑÆíÀ¸·Î ³Ê¹« 
 ³ÃÁ¤ÇÏ´Ù´Â ´À³¦À» ¹ÞÁö¸¸ - ÀÌ°Ô ³»°¡ óÀ½ Illinois¿¡¼­ ´ëÇпø»ýÈ°À» Çϸ鼭
 °ÞÀº Ãæ°ÝÁßÀÇ ÇϳªÀ̱⵵ Çߴµ¥) µÑÀÌ Ericsson-family¶ó°í Çؼ­ ErlangÀ» ¹«Á¶°Ç
 µÎµÐÇÏ´Â °Íµµ ¾Æ´Ï°í ¼­·Î°¡ ¼­·Î¿¡°Ô ºñÆÇÀûÀÎ ÀÚ±ØÀ» ±âź¾øÀÌ ÁÖ°í ¹Þ´õ¶ó.
 ´©°¡ ´õ ÄôÈı޼ö°¡ ³ô´Ù°í ÆûÀâ´Â °Íµµ ¾Æ´Ï°í. ÁøÁöÇÑ ÀÚ¼¼·Î. ¼­·Î°¡
 ¼­·Î¿¡°Ô ¹«¾ð°¡ ¹è¿ï°Ô ÀÖÀ»°Å¶ó´Â ¼û¼Ò¸®. Çϱä "workshop"À̶õ°Ô ±×·±°ÍÀÌÁö.
- CR&T¶ó´Â ´Ù±¹Àû ¼ÒÇÁÆ®¿þ¾î ȸ»ç¿¡¼­ °³¹ßÇÏ°í ÀÖ´Â ¼ÒÇÁÆ®¿þ¾î ½Ã½ºÅÛ.
 HaskellÀ» ÀÌ¿ëÇؼ­ ¸¸µé°í ÀÖ´õ¶ó. ¸¸µå´Â ¼ÒÇÁÆ®¿þ¾î´Â ºñÇà±â ȸ»çÀÇ Á¶Á¾»ç¿Í
 ½ºÆ©¾îµð½ºÀÇ ½Ã°£Ç¥(´©°¡ ¾î´ÀÆíÀÇ ¸î½Ã)¸¦ near-optimal ÇØÁÖ´Â ½Ã½ºÅÛ.
 ºñÇàȸ»ç¿Í ºñÇà ·çÆ®, »ó´ë±¹ ¹ý·ü, Á¶Á¾»çµîÀÇ ±Ù¹« Á¶°Çµîµî »ó´çÈ÷ ´Ù¾çÇÏ°í
 º¹ÀâÇÑ Á¦ÇÑÁ¶°ÇµéÀ» ¸¸Á·½ÃÅ°¸é¼­ ÃÖÀûÀ¸·Î ½Ã°£Ç¥¸¦ Â¥ÁÖ´Â ½Ã½ºÅÛ.
 ÀÌ·¯ÇÑ Á¦¾àÁ¶°ÇÀ» Ç¥ÇöÇØ ÁÖ´Â ¾ð¾î(Haskell/SML°ú Èí»ç)¸¦ µðÀÚÀÎÇÏ°í ±×
 ¾ð¾î¸¦ Haskell·Î ±¸Çö. 
 Partial evaluation ¾ÆÀ̵ð¾î(constant propagationÁ¤µµÀÇ °ÍÀ»
 "partial eval"ÇÑ´Ù°í »½Ä¡°íÀÖ±ä ÇßÁö¸¸)¸¦ ÀÌ¿ëÇؼ­ ¼º´ÉÀ» Çâ»ó½ÃŲ ÀλóÀûÀÎ
 À̾߱â.

ÇÔ¼ö¾ð¾îµéÀ» "academia language"·Î¸¸ ¿©±â´Â ºÐÀ§±â°¡ ¼­¼­È÷ ¹Ù²î°í ÀÖ´Ù´Â ´À³¦.
ÀÌ·¯ÇÑ ¾ð¾îµéÀÌ ½ÇÁ¦ µ·¹úÀÌ¿¡ ÀÌ¹Ì »ç¿ëµÇ°í ÀÖ´Ù´Â »ç½ÇÀ» ´Ù½ÃÇѹø È®ÀÎÇÑ ÀÚ¸®.
ÅäÀÇ¿¡¼­´Â ÇÁ·Î±×·¡¹Ö¿¡¼­ ¸ðµâ°ú ŸÀÙÀÇ Àý´ë Çʿ伺À» ¼­·Î µ¿ÀÇÇÏ´Â ³»¿ë.

±×¸®°í ÇÏ·çÀú³áÀº Linkophing Univ. CS dept¿¡¼­ ȸ½Ä & software demo°¡ ÀÖ¾ú´Ù.
ÇÐȸ Âü°¡ÇÑ »ç¶÷µéÁß volunteer-base·Î ÀÚ±âµéÀÌ °³¹ßÇÑ software¸¦
demo. ÀλóÀûÀΰÍÀº CS deptÀÇ ¾î¿©»Ó ½Ç³» ±¸Á¶; ³»°¡ Áþ°í½ÍÀº °Ç¹° ±¸Á¶Áß Çϳª·Î
±â¾ïµÇ¾úÁö. Fancy ÆĽ̰ú °ü°èµÇ´Â ¼ÒÇÁÆ®¿þ¾î°¡ À¯³­È÷ ´«¿¡ ¶ç´ø¶ó.

¸ðµç proceedings°ú ÀÚ·áµéÀÌ ¹æ2420¿¡ ESOP-CAAP-CC96 box¿¡ ºñÄ¡µÉÅ×´Ï Âü°í
Çϵµ·Ï.

³¡.