| ¾Æ°í¸®½º °ÔÀÓ °³¹ßÀ»À§ÇÑ ¹«·á, ¿ÀÇ ¼Ò½º ¹× °£´ÜÇÑ Ã¼½º ¶óÀ̺귯¸® |
Áö±Ý ´Ù¿î·Îµå |
¾Æ°í¸®½º ¼øÀ§ ¹× ¿ä¾à
- °Ô½ÃÀÚ À̸§:
- Andreas Bauer
- °Ô½ÃÀÚ À¥»çÀÌÆ®:
- http://home.in.tum.de/~baueran/
¾Æ°í¸®½º ű×
¾Æ°í¸®½º ¼³¸í
°ÔÀÓ °³¹ßÀ»À§ÇÑ ¹«·á, ¿ÀÇ ¼Ò½º ¹× °£´ÜÇÑ Ã¼½º ¶óÀ̺귯¸® Agoris´Â C ++·Î ÀÛ¼ºµÇ¸ç ÀÚ½ÅÀÇ Ã¼½º °ÔÀÓ°ú ÇÁ·ÐÆ®°¡ ³¡³¯ ¼ö ÀÖ½À´Ï´Ù. ¶óÀ̺귯¸®´Â À̵¿ »ý¼º, ±ÔÄ¢ °Ë»ç ¹× ´Ù¾çÇÑ °Ë»ö ¾Ë°í¸®ÁòÀ» Á¦°øÇÕ´Ï´Ù. UNIX ½Ã½ºÅÛ¿¡¼ ½ÇÇàµÇµµ·Ï ¼³°èµÇ¾úÁö¸¸ ¸ðµç Ç÷§Æû¿¡¼ ¸ðµç Çö´ëÀûÀÎ C ++ ÄÄÆÄÀÏ·¯·Î Àß ÄÄÆÄÀÏÇؾßÇÕ´Ï´Ù : Mac OS X, Linux, Windows µî
¾Æ°í¸®½º °ü·Ã ¼ÒÇÁÆ®¿þ¾î