³µÍ×

Pattern Based SMT¤Ï¡¤¸¶¸À¸ì¤ÈÌÜŪ¸À¸ì¤ÎÂÐÌõ¥Õ¥ì¡¼¥º¤«¤éÀ®¤ë¡ÈÂÐÌõ¥Õ¥ì¡¼¥º¼­ ½ñ¡É¤È¡¤ÂÐÌõʸ¤ËÂФ·¤Æ¡¤Ç¤°Õ¤Î¶ç¤òÊÑ¿ô²½¤·¤¿¡È¶ç¤Ë´ð¤Å¤¯ÂÐÌõʸ¥Ñ¥¿¡¼¥ó¼­ ½ñ¡É¤òÅý·×Ū¼êË¡¤òÍѤ¤¤Æ¼«Æ°ºîÀ®¤·¡¤ËÝÌõ¤ò¹Ô¤¦¡¥¼­½ñ¤Î¼«Æ°ºîÀ®¤Ë¤è¤ê¡¤³« ȯ¥³¥¹¥È¤¬ºï¸º¤Ç¤­¤ë¡¥°Ê²¼¤ËPattern Based SMT¤Î¼ê½ç¤ò¼¨¤¹¡¥