Í赨ACLE¤ËÄ©¤àJ¥ê¡¼¥°Àª¤¬·èÄê¡ÄÄ®ÅĤ¬ACLE½é½Ð¾ì¡õGÂçºå¤ÏACL2»²Àï¤Ø
¡¡¤¹¤Ç¤Ëºòµ¨¤ÎJ1¥ê¡¼¥°²¦¼Ô¤Ç¤¢¤ë¥ô¥£¥Ã¥»¥ë¿À¸Í¡¢Æ±2°Ì¤Î¥µ¥ó¥Õ¥ì¥Ã¥Á¥§¹Å礬Í赨ACLE¤Ë½Ð¾ì¤¹¤ë¤³¤È¤¬·è¤Þ¤Ã¤Æ¤¤¤¿¤¬¡¢º£µ¨ACLE¤Î·è¾¡¤ÇÇԤ줿ÀîºêF¤¬Í¥¾¡¹ñÏȤǽоì»ñ³Ê¤òÆÀ¤ë²ÄǽÀ¤¬¾ÃÌÇ¡£ºòµ¨3°Ì¤À¤Ã¤¿FCÄ®ÅÄ¥¼¥ë¥Ó¥¢¤ÎACLE½é½Ð¾ì¤¬·è¤Þ¤Ã¤¿¡£
¡¡¤Þ¤¿¡¢Ä®ÅĤÎACLE½Ð¾ì¤¬·è¤Þ¤Ã¤¿¤³¤È¤Ë¤è¤ê¡¢ºòµ¨4°Ì¤À¤Ã¤¿¥¬¥ó¥ÐÂçºå¤ÎAFC¥Á¥ã¥ó¥Ô¥ª¥ó¥º¥ê¡¼¥°2¡ÊACL2¡Ë½Ð¾ì¤â·èÄê¡£ACL2¤Î½Ð¾ì¸¢¤ÏÅ·¹ÄÇÕ²¦¼Ô¤ËÍ¿¤¨¤é¤ì¤ë¤¬¡¢J1²¦¼Ô¤È¤Ê¤Ã¤¿¿À¸Í¤¬Å·¹ÄÇÕ¤âÀ©¤·¤Æ¤¤¤ë¤¿¤á¡¢GÂçºå¤¬·«¤ê¾å¤¬¤ë·Á¤ÇÍ赨ACL2¤Ë»²À魯¤ë¤³¤È¤¬³ÎÄꤷ¤¿¡£

