[º¸¾È´º½º= Â÷»ó±æ KAIST »çÀ̹öº¸¾È¿¬±¸¼¾ÅÍ ¼¾ÅÍÀå] ÄÄÇ»ÅÍÀÇ È°¿ë¿¡´Â ÇÁ·Î±×·¡¹ÖÀÌ ÇʼöÀûÀÔ´Ï´Ù. ÄÄÇ»ÅÍ°¡ Àηù¿Í ¿ª»ç¸¦ ÇÔ²²ÇÑ ÀÌÈĺÎÅÍ ÇÁ·Î±×·¡¹ÖÀÇ Á߿伺Àº ³¯·Î Ä¿Á®¸¸ °¡´Âµ¥¿ä, ÀÌ·¯ÇÑ ÇÁ·Î±×·¡¹ÖÀ» »ç¶÷ÀÌ ¾Æ´Ñ ÄÄÇ»ÅÍ°¡ ÇÒ ¼ö ÀÖÀ»±î¿ä?
[À̹ÌÁö=utoimage]
»ç½Ç, ÀÌ¿¡ °üÇÑ Áú¹®Àº ÀÌ¹Ì 60¿© ³â ÀüºÎÅÍ ½ÃÀÛµÆÀ¸¸ç, ÃÖ±Ù¿¡´Â ÇÁ·Î±×·¥ ÇÕ¼º(Program Synthesis)À̶ó´Â ºÐ¾ß¸¦ ÅëÇØ ±Þ¼ºÀåÇß½À´Ï´Ù. Çظ¶´Ù ¿¸®´Â ¼¼°è ÃÖ´ëÀÇ ¼ÒÇÁÆ®¿þ¾î°øÇÐ ÇÐȸÀÎ ICSE¿¡¼´Â ÃÖ±Ù 10³â°£ ¼ÒÇÁÆ®¿þ¾î°øÇÐ ºÐ¾ß¿¡¼ °¡Àå ¿µÇâ·Â ÀÖ¾ú´ø ³í¹®À» »Ì¾Æ ¡®Most Influential Paper Award¡¯¶ó´Â »óÀ» Áִµ¥, ¿ÃÇØ¿¡´Â ÇÁ·Î±×·¥ ÇÕ¼º¿¡ °üÇÑ ³í¹®ÀÌ ±× ¿µ¿¹¸¦ Â÷ÁöÇϱ⵵ ÇßÁÒ.
ÇÁ·Î±×·¥ ÇÕ¼ºÀ̶õ ¸» ±×´ë·Î »ç¶÷ÀÌ ¿øÇÏ´Â ÇÁ·Î±×·¥À» ÀÚµ¿À¸·Î ¸¸µé¾î³»´Â ±â¼úÀ» ÀÏĽÀ´Ï´Ù. ¿¹¸¦ µé¾î ÀÔ·ÂÀ¸·Î ÁÖ¾îÁø ¼ýÀÚ ¹è¿À» Á¤·ÄÇÏ´Â ÇÁ·Î±×·¥À» ¸¸µé°í ½Í´Ù°í °¡Á¤Çغ¾½Ã´Ù. ÀϹÝÀûÀ¸·Î´Â »ç¶÷ÀÌ Á÷Á¢ ŸÀÚ¸¦ ÀÔ·ÂÇØ ¼Ò½º ÄÚµå(¿©±â¼´Â Á¤·Ä ¾Ë°í¸®Áò)¸¦ ÀÛ¼ºÇÏ°Ô µÇÁö¸¸, ÇÁ·Î±×·¥ ÇÕ¼ºÀ» È°¿ëÇÏ¸é ¿øÇÏ´Â ÇÁ·Î±×·¥ÀÇ ¸í¼¼³ª »ç¿ë·Ê¸¦ ±â¹ÝÀ¸·Î ÄÄÇ»ÅÍ°¡ ÀÚµ¿À¸·Î ÇØ´ç ¼Ò½º Äڵ带 ¡®±¸Çö¡¯ÇÏ°Ô µË´Ï´Ù.
ÇÁ·Î±×·¥ ÇÕ¼º ¹æ¹ý Áß ÃÖ±Ù µé¾î ¸¹Àº ÁÖ¸ñÀ» ¹Þ´Â °ÍÀÌ ÇÁ·Î±×·¥ÀÇ »ç¿ë·Ê¸¦ ¹ÙÅÁÀ¸·Î ÇÑ ±â¼úÀÔ´Ï´Ù. ¾Õ¼ ¸»ÇÑ ¿¹Á¦¸¦ ±âÁØÀ¸·Î º»´Ù¸é, ÇÁ·Î±×·¥ÀÇ ÀÔ·ÂÀÎ ¼ýÀÚ ¹è¿°ú ±×¿¡ ÇØ´çÇÏ´Â Ãâ·Â °ªÀÎ ¼ýÀÚ ¹è¿ÀÇ ÀÔÃâ·Â ½ÖÀÌ ÇϳªÀÇ »ç¿ë·Ê°¡ µÇ´Â °ÍÀÌÁÒ. ÀÌ·¯ÇÑ ÀÔÃâ·ÂÀÇ ¿¹½Ã¸¦ ¿©·¯ °³ ¸¸µé°í, ±×·¯ÇÑ ¿¹½Ã¸¦ ¸ðµÎ ¸¸Á·½ÃÅ°´Â ÇÁ·Î±×·¥À» ÇÕ¼ºÇس»´Â ±â¼úÀÌ ¹Ù·Î ÃÖ±Ù 10³â°£ ¼ÒÇÁÆ®¿þ¾î°øÇÐ Ä¿¹Â´ÏƼ¿¡¼ °¡Àå ¿µÇâ·Â ÀÖ´ø ±â¼úÀ̾ú½À´Ï´Ù.
±×·±µ¥ Àç¹ÌÀÖ´Â Á¡Àº »ç¿ë·Ê ±â¹ÝÀÇ ÇÁ·Î±×·¥ ÇÕ¼ºÀº ¿ì¸®°¡ ÈçÈ÷ ¾Ë°í ÀÖ´Â ±â°èÇнÀ°ú ±× µ¿ÀÛ ¹æ½ÄÀÌ ¸Å¿ì À¯»çÇÏ´Ù´Â °ÍÀÔ´Ï´Ù. ±â°èÇнÀ¿¡¼´Â ´Ù¾çÇÑ ÇнÀµ¥ÀÌÅͷκÎÅÍ ÇϳªÀÇ ¸ðµ¨À» »ý¼ºÇØ ³»´Âµ¥, ¸ðµ¨Àº ±×¾ß¸»·Î ÇϳªÀÇ ÇÁ·Î±×·¥¿¡ ºÒ°úÇÕ´Ï´Ù. ÇнÀµ¥ÀÌÅÍ¿Í À¯»çÇÑ ÀÔ·ÂÀ» ¹ÞÀ¸¸é ±×¿¡ ´ëÇÑ Ãâ·Â°ªÀ» ¹ÝȯÇÏÁÒ. Áï, ±â°èÇнÀÀº ¸ðµ¨À̶ó´Â ÇÁ·Î±×·¥À» ¸¸µé¾î³»´Â ±â¼úÀÔ´Ï´Ù. ¾Õ¼ ¼Ò°³ÇÑ ÇÁ·Î±×·¥ ÇÕ¼º ¿ª½Ã, »ç¿ë·Ê¶ó ºÒ¸®´Â ÇнÀµ¥ÀÌÅͷκÎÅÍ ÇϳªÀÇ ¸ðµ¨À» »ý¼ºÇس»´Â °úÁ¤ÀÔ´Ï´Ù. ´Ù¸¸, ±× ¸ðµ¨ÀÇ ±¸Á¶Àû ÇüÅ°¡ ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÏ »ÓÀÌÁÒ. Å©°Ô º¸¸é, ÇÁ·Î±×·¥ ÇÕ¼ºÀº ±â°èÇнÀÀÇ ¶Ç ´Ù¸¥ Àû¿ë »ç·ÊÀÏ ¼ö ÀÖ½À´Ï´Ù.
±×·¸´Ù¸é ¿Ö ÀÚµ¿À¸·Î ÇÁ·Î±×·¥À» ÀÛ¼ºÇÏ·Á´Â °ÍÀϱî¿ä? »ç¶÷ÀÌ ¸¸µé¾î³½ ¼Ò½º ÄÚµå´Â ¿À·ù(¹ö±×)¿¡¼ ¹þ¾î³ªÁö ¸øÇÕ´Ï´Ù. ¾Õ¼± ¿¹Á¦¿¡¼, ¹è¿ÀÇ ½ÃÀÛÁ¡À» 0ÀÌ ¾Æ´Ñ 1·Î °£ÁÖÇؼ ¹è¿ÀÇ ¹üÀ§¸¦ ¹þ¾î³ °è»êÀ» ÇÏ°Ô µÈ´Ù°Å³ª, Á¤·ÄÀÇ ¹æÇâÀ» ¿À¸§Â÷¼øÀÌ ¾Æ´Ñ ³»¸²Â÷¼øÀ¸·Î ÇÏ´Â µîÀÇ ½Ç¼ö°¡ Ç×»ó ¹ß»ýÇÒ ¼ö ÀÖ´Ù´Â °Ì´Ï´Ù. ÇÏÁö¸¸, ÄÄÇ»ÅÍ°¡ ÇÁ·Î±×·¥À» ÀÛ¼ºÇÑ´Ù¸é, ÀÌ·¯ÇÑ ½Ç¼ö°¡ ³ªÅ¸³ªÁö ¾ÊÀ» °ÍÀ̶ó ±â´ëÇÒ ¼ö ÀÖ½À´Ï´Ù. Áï, ÇÁ·Î±×·¥ ÇÕ¼ºÀ» È°¿ëÇÏ¸é ´õ¿í ¾ÈÀüÇÑ ÇÁ·Î±×·¥À» ¸¸µé ¼ö ÀÖ½À´Ï´Ù.
ÇÁ·Î±×·¥ ÇÕ¼ºÀº ¾ÈÀüÇÑ ÄÚµù ¿Ü¿¡µµ ´Ù¾çÇÑ º¸¾È ¿¬±¸¿¡ Àû¿ëµÇ°í ÀÖ½À´Ï´Ù. ±× ´ëÇ¥ÀûÀÎ »ç·Ê°¡ ¹Ù·Î ³µ¶ÈµÈ ÄÚµåÀÇ ÇØÁ¦ÀÔ´Ï´Ù. ¾Ç¼ºÄڵ忡´Â ¿ª°øÇÐÀ» ¾î·Æ°Ô ÇÏ·Á°í ´Ù¾çÇÑ ³µ¶È ±â¼úÀ» »ç¿ëÇÕ´Ï´Ù. ¿©±â¼ ÁÖ¸ñÇÒ Á¡Àº ³µ¶È°¡ Àû¿ëµÇ±â ÀÌÀüÀÇ ¿øº» ÄÚµå¿Í ³µ¶È ÀÌÈÄÀÇ ÄÚµå´Â ¸ðµÎ ¶È°°ÀÌ µ¿ÀÛÇØ¾ß ÇÑ´Ù´Â °ÍÀÔ´Ï´Ù. Áï, ÇϳªÀÇ °ªÀ» ¿øº» ÄÚµå¿Í ³µ¶ÈµÈ Äڵ忡 °¢°¢ ÀÔ·ÂÇصµ Ç×»ó °°Àº Ãâ·Â°ªÀ» ¾ò¾î¾ß¸¸ ÇÏ´Â °ÍÀÌÁÒ. ÀÌ·¯ÇÑ °üÁ¡¿¡¼ º»´Ù¸é, ³µ¶ÈµÈ Äڵ忡¼ ±¸ÇÒ ¼ö ÀÖ´Â ÀÔÃâ·ÂÀÇ ½ÖÀ» ÅëÇØ ÇÁ·Î±×·¥À» ÇÕ¼ºÇس¾ ¼ö ÀÖÀ» °ÍÀÌ°í, ÀÌ·¸°Ô ÇÕ¼ºµÈ ÇÁ·Î±×·¥Àº ³µ¶ÈµÈ ÄÚµå¿Í °°Àº µ¿ÀÛÀ» Çϸ鼵µ º¸´Ù °£°áÇÑ ÄÚµå·Î ³ªÅ¸³¯ °ÍÀÔ´Ï´Ù. Áï, ÇÁ·Î±×·¥ ÇÕ¼ºÀ» ÅëÇÏ¸é ³µ¶È¸¦ ÀϹÝÀûÀ¸·Î ÇؼÒÇÒ ¼ö ÀÖ´Â °ÍÀÔ´Ï´Ù.
¡ãÂ÷»ó±æ Ä«À̽ºÆ® »çÀ̹öº¸¾È¿¬±¸¼¾ÅÍÀå[»çÁø=KAIST CSRC]
Áö³ Ä®·³¿¡¼ »ìÆ캻 ÆÛ¡À̳ª ÇÁ·Î±×·¥ ÇÕ¼º ¸ðµÎ ±×°ÍÀ» º¸´Â °üÁ¡¿¡ µû¶ó ÀΰøÁö´É°ú °°Àº ÇüÅÂ, °°Àº µ¿ÀÛ ¹æ½ÄÀ» °®½À´Ï´Ù. ÇÏÁö¸¸ ¾ÈŸ±õ°Ôµµ ¿ì¸® »çȸ´Â ÀΰøÁö´É¿¡ ¾ó¸¶³ª Æ÷°ýÀûÀÎ Àǹ̰¡ ÀÖ´ÂÁö °ü½ÉÀ» µÎÁö ¾ÊÀº ä, ¿À·ÎÁö ÀΰøÁö´ÉÀ̶ó´Â ±× Å°¿öµå¿¡¸¸ ÁýÁßÇÏ°í ÀÖ½À´Ï´Ù. ¿ÀÁ×ÇÏ¸é ¡®ÀΰøÁö´É¡¯À̶ó´Â Å°¿öµå°¡ ¾øÀ¸¸é °úÁ¦¸¦ ¸¸µé±â ¾î·Æ´Ù´Â ¿ì½º°¹¼Ò¸®¸¶Àú ³ª¿À°í ÀÖ½À´Ï´Ù. ÇÏÁö¸¸, ½Ã¾ß¸¦ Á¶±Ý¸¸ ³ÐÈ÷¸é ¿ì¸®°¡ ÇÏ´Â ¼ö¸¹Àº ÄÄÇ»ÅÍ °úÇÐ, ÄÄÇ»ÅÍ º¸¾ÈÀÇ ±â¼úµéÀÌ ÀÌ¹Ì ÀΰøÁö´ÉÀÇ ¹üÁÖ¿¡ Æ÷ÇԵǴ °ÍÀÌ ¾Æ´Ò±î »ý°¢ÇØ º¾´Ï´Ù.
[±Û_ Â÷»ó±æ KAIST »çÀ̹öº¸¾È¿¬±¸¼¾ÅÍ ¼¾ÅÍÀå]
<ÀúÀÛ±ÇÀÚ: º¸¾È´º½º(www.boannews.com) ¹«´ÜÀüÀç-Àç¹èÆ÷±ÝÁö>