ÇÁ·»Ä¡ °¨¼º ijÁÖ¾ó ¡¸»þÆ®·»¡¹ÀÌ 5¿ù º½ ½ÃÁð¿¡ ¸ÂÃç ½Å±Ô ¾ß½ÉÀÛÀ¸·Î ÇÇÄÉ Æ¼¼ÅÃ÷ ¡®ÄÛƼºê(Coqtive)¡¯ ¶óÀÎ(»çÁø)À» ¼±º¸ÀδÙ.
¿©¼ºº¹ ´ëÇ¥ ºê·£µåÀÎ »þÆ®·»Àº ¡®ÄÛƼºê ¶óÀΡ¯À» Ãâ½ÃÇÏ¸é¼ ¿©¼º¶óÀÎ ¿Ü¿¡ ³²¼º¶óÀΰú Å°Áî¶óÀÎ µîÀ¸·Î ºê·£µå È®ÀåÀ» ¿°µÎ ÇØ µÎ°í ±âȹÇß´Ù°í ¹àÇû´Ù.
»þÆ®·»Àº ¼¼ÄÁµå ¶óÀÎÀ¸·Î ÁýÁß À°¼ºÇÒ ¡®ÄÛƼºê¡¯ Á¦Ç°¿¡µµ ÇÁ¶û½º °¨¼ºÀ» ¹Ý¿µÇß´Ù. ÇÁ¶û½º¿¡¼ Çõ¸í°ú ¹ø¿µÀ» ¶æÇÏ´Â ¼öżÀÇ ÇÁ¶û½º¾î¡®Coq¡¯¿Í ¿µ¾î¡®Active¡¯¸¦ Á¶ÇÕÇÏ¿© À̸§À» ºÙ¿´´Ù. ºê·£µå ·Î°í¿Í Ä÷¯ ¿ª½Ã ÇÁ¶û½º ±¹±â¸¦ Çü»óÈ Çß´Ù.
5¿ù °¡Á¤ÀÇ ´Þ¿¡ ¸ÂÃç Ãâ½ÃµÇ´Â ÄÛƼºê ¶óÀÎÀº °¡Á·°ú ¿¬ÀÎÀÌ ÇÔ²² ÀÔÀ» ¼ö ÀÖµµ·Ï µðÀÚÀÎÇÑ °ÍÀÌ Â÷º°È Æ÷ÀÎÆ®´Ù. ¼±¸íÇÑ ¿ø»ö°ú °æÄèÇÑ ½ºÅ¸ÀÏÀÇ ÃÖ°í±Þ ¼ÒÀ縦 »ç¿ëÇßÀ¸¸ç, ¸ðƼºê¸¦ »ì¸° µðÀÚÀΰú Ä÷¯·Î °·ÄÇÑ À̹ÌÁö¸¦ Àü´ÞÇϴµ¥ ÃÊÁ¡À» ¸ÂÃè´Ù.
4¸¸9000¿øÀÇ °¡°Ý´ë·Î ù ¼±À» º¸ÀÏ ÇÇÄÉ Æ¼¼ÅÃ÷ ¿Ü¿¡ ÇâÈÄ Ä¡³ë ÆÒÃ÷¿Í ¼ÅÃ÷, Ä«µð°Ç µî °í±Þ ÇÁ¶û½º ijÁÖ¾óÀ» Ç¥¹æÇÑ ÇÁ·»Ä¡ ½ºÅ¸ÀÏÀÇ ¾ÆÀÌÅÛÀ¸·Î È®´ëÇØ ³ª°£´Ù´Â °èȹÀÌ´Ù. ÀÌ¿Í´Â º°µµ·Î ¡®ÄÛƼºê¡¯ ¶óÀÎ Àü¿ë ¸ÅÀå °³¼³ °èȹµµ ¼¼¿ö ³õ°í ÀÖ´Ù. »þÆ®·» »ç¾÷º»ºÎÀå ¹è°æÀÏ ÀÌ»ç´Â ¡°»õ·Ó°Ô ·±ÄªÇÑ ¡®ÄÛƼºê¡¯ ¶óÀÎÀÇ ÇÇÄÉ ¼ÅÃ÷´Â ¸Þ½Ã ¼ÒÀ縦 »ç¿ëÇØ Âø¿ë°¨ÀÌ ºÎµå·´°í ¼¼Å¹ÀÌ °£ÆíÇØ ¿©¸§Ã¶¿¡µµ ÀÚÁÖ ÀÔ°í ¼¼Å¹Çϱ⿡ Æí¸®ÇÑ °ÍÀÌ Æ¯Â¡¡±À̶ó°í ¸»Çß´Ù.
ÇÑ¿¹Áö ±âÀÚ
hyj@fi.co.kr
- Copyrights ¨Ï ¸ÞÀ̺ñ¿ø(ÁÖ) ÆмÇÀλçÀÌÆ®, ¹«´Ü ÀüÀç ¹× Àç¹èÆ÷ ±ÝÁö -