¥µ¥Ý¡¼¥¿¡¼¤ËACL2Í¥¾¡¤òÊó¹ð¡¡GÂçºå¡¢ËܵòÃÏ¥¹¥¿¥¸¥¢¥à¤Ç

¡¡¥µ¥Ã¥«¡¼¤Î¥¢¥¸¥¢¡¦¥Á¥ã¥ó¥Ô¥ª¥ó¥º¥ê¡¼¥°¡¦¥¨¥ê¡¼¥È¡ÊACLE¡Ë¤Î²¼°ÌÂç²ñ¡¢ACL2¤òÀ©¤·¤¿GÂçºå¤¬18Æü¡¢·è¾¡¤¬¹Ô¤ï¤ì¤¿¥ê¥ä¥É¤«¤éµ¢¹ñ¤·¡¢ËܵòÃϥѥʥ½¥Ë¥Ã¥¯¥¹¥¿¥¸¥¢¥à¿áÅĤǥµ¥Ý¡¼¥¿¡¼Ìó8Àé¿Í¤ò¾·¤¤¤ÆÍ¥¾¡Êó¹ð²ñ¤ò¹Ô¤Ã¤¿¡£
¡¡16Æü¤Î·è¾¡¤Ç¤Ï¥Ý¥ë¥È¥¬¥ëÂåɽ¤Î¥¯¥ê¥¹¥Æ¥£¥¢¥Î¡¦¥í¥Ê¥ë¥É¤é¤òÍʤ¹¤ë¥¢¥ë¥Ê¥¹¥ë¡Ê¥µ¥¦¥¸¥¢¥é¥Ó¥¢¡Ë¤ò1¡½0¤ÇÇˤä¿¡£Ìµ¼ºÅÀ¾¡Íø¤Ë¹×¸¥¤·¤¿18ºÐ¤ÎGK¹ÓÌÚ¤ä¼ç¾¤ÎÃæÃ«¤é¤¬´ØÀ¾¹ñºÝ¶õ¹Á¤«¤éľ¹Ô¡£¥Õ¥¡¥ó¤Î¡ÖÍ¥¾¡¤ª¤á¤Ç¤È¤¦¤´¤¶¤¤¤Þ¤¹¡×¤Î¤«¤±À¼¤Ë·Þ¤¨¤é¤ì¡¢ÃæÃ«¤Ï¡Ö¤³¤ÎÍ¥¾¡¤òµ¡¤Ë¶¯¤¤¥¬¥ó¥Ð¤ò¼è¤êÌ᤻¤ë¤è¤¦¤Ë¤ä¤Ã¤Æ¤¤¤¯¡×¤È¸ì¤Ã¤¿¡£
