Í赨ACLE¤ËÄ©¤àJ¥ê¡¼¥°Àª¤¬·èÄê¡ÄÄ®ÅĤ¬ACLE½é½Ð¾ì¡õGÂçºå¤ÏACL2»²Àï¤Ø

¼Ì¿¿³ÈÂç

¡¡AFC¥Á¥ã¥ó¥Ô¥ª¥ó¥º¥ê¡¼¥°¥¨¥ê¡¼¥È¡ÊACLE¡Ë¤Î·è¾¡À郎3Æü¤Ë¹Ô¤ï¤ì¡¢Àîºê¥Õ¥í¥ó¥¿¡¼¥ì¤¬¥¢¥ë¡¦¥¢¥Ï¥ê¡¦¥µ¥¦¥¸¡Ê¥µ¥¦¥¸¥¢¥é¥Ó¥¢¡Ë¤Ë0¡Ý2¤ÇÇÔÀï¡£¤½¤Î·ë²Ì¡¢J¥ê¡¼¥°¤«¤éÍ赨¤ÎACLE¤Ë¤¹¤ë½Ð¾ì¤¹¤ë3¥Á¡¼¥à¤¬·èÄꤷ¤¿¡£

¡¡¤¹¤Ç¤Ëºòµ¨¤ÎJ1¥ê¡¼¥°²¦¼Ô¤Ç¤¢¤ë¥ô¥£¥Ã¥»¥ë¿À¸Í¡¢Æ±2°Ì¤Î¥µ¥ó¥Õ¥ì¥Ã¥Á¥§¹­Å礬Í赨ACLE¤Ë½Ð¾ì¤¹¤ë¤³¤È¤¬·è¤Þ¤Ã¤Æ¤¤¤¿¤¬¡¢º£µ¨ACLE¤Î·è¾¡¤ÇÇԤ줿ÀîºêF¤¬Í¥¾¡¹ñÏȤǽоì»ñ³Ê¤òÆÀ¤ë²ÄǽÀ­¤¬¾ÃÌÇ¡£ºòµ¨3°Ì¤À¤Ã¤¿FCÄ®ÅÄ¥¼¥ë¥Ó¥¢¤ÎACLE½é½Ð¾ì¤¬·è¤Þ¤Ã¤¿¡£

¡¡¤Þ¤¿¡¢Ä®ÅĤÎACLE½Ð¾ì¤¬·è¤Þ¤Ã¤¿¤³¤È¤Ë¤è¤ê¡¢ºòµ¨4°Ì¤À¤Ã¤¿¥¬¥ó¥ÐÂçºå¤ÎAFC¥Á¥ã¥ó¥Ô¥ª¥ó¥º¥ê¡¼¥°2¡ÊACL2¡Ë½Ð¾ì¤â·èÄê¡£ACL2¤Î½Ð¾ì¸¢¤ÏÅ·¹ÄÇÕ²¦¼Ô¤ËÍ¿¤¨¤é¤ì¤ë¤¬¡¢J1²¦¼Ô¤È¤Ê¤Ã¤¿¿À¸Í¤¬Å·¹ÄÇÕ¤âÀ©¤·¤Æ¤¤¤ë¤¿¤á¡¢GÂçºå¤¬·«¤ê¾å¤¬¤ë·Á¤ÇÍ赨ACL2¤Ë»²À魯¤ë¤³¤È¤¬³ÎÄꤷ¤¿¡£