¸¦µæÆü»ï¤È¤Ü¤ä¤ ¤ÎÊѹ¹ÅÀ
Top / ¸¦µæÆü»ï¤È¤Ü¤ä¤
- Äɲ䵤줿¹Ô¤Ï¤³¤Î¿§¤Ç¤¹¡£
- ºï½ü¤µ¤ì¤¿¹Ô¤Ï¤³¤Î¿§¤Ç¤¹¡£
- ¸¦µæÆü»ï¤È¤Ü¤ä¤ ¤Ø¹Ô¤¯¡£
- ¸¦µæÆü»ï¤È¤Ü¤ä¤ ¤Îº¹Ê¬¤òºï½ü
comment5, http://sgi-usa-florida.org/zithromax.html zithromax no prescription, http://beckegallery.com/index.html substitute viagra, http://agileuva.org/index.html xanax without prescription, http://elilusionista.net/cialis.html cialis levitra viagra vs vs, http://2010boycott.com/index.html Adipex, http://elilusionista.net/acomplia.html acomplia, http://jjustkidding.com/baclofen.html baclofen baclofen gemfibrozil glipizide prescription prescription rxusa.net, http://poomdomain.com/levitra.html levitra fda, http://amazoniameuamor.com/index.html acomplia in usa, http://baylakedoodletwo.com/index.html online viagra, http://sgi-usa-florida.org/viagra.html cheap viagra, http://corktogaza.com/index.html viagra, http://elilusionista.net/accutane.html accutane, http://annoyedcanadian.com/index.html remonabent, http://sgi-usa-florida.org/valtrex.html valtrex, -[[M2¸¦µæ¥Ú¡¼¥¸>¸¦µæÆü»ï¤È¤¦¤á¤]] -[[B4¸¦µæ¥Ú¡¼¥¸>¸¦µæÆü»ï¤È¤Ä¤Ö¤ä¤]] -[[vista - ubuntu8.04(on VMware)´Ö¤Ç¤Î¶¦Í¥Õ¥©¥ë¥ÀÀßÄê]] &br(); -[[¸¦µæÆü»ï>#report]] -[[¤Ü¤ä¤>#word]] //*Ìܼ¡ [#oaf5fe22] //%#contents *TODO[#s8e0a853] -%%C¸À¸ì¤Ç¤ÎSTM¤Î¥µ¥Ý¡¼¥È¾õ¶·¤òÄ´¤Ù¤ë%% ¤¢¤ë¤«¤é¤Þ¤¿»È¤¦¤È¤¤Ë -uniqºÇŬ²½ --Ëì¤Î¥¨¥ó¥³¡¼¥É¤Ë³Æ¥ë¡¼¥ë¤¬»ý¤ÄÍúÎò¤â´Þ¤á¤ë¤è¤¦¤Ë¢ª¤¢¤È¤Ï¥³¥ß¥Ã¥È --¥ª¥×¥·¥ç¥óÉÕ¤±¤¿¤é¼Â¹Ô¤Ç¤¤ë¤è¤¦¤Ë¤·¤è¤¦¤«¤Ê¡© -½¤»ÎÏÀʸ³µÍ×½ñ -¼Â¸³¤Îñ°Ì -chr2lmntal &aname(report); *¸¦µæÆü»ï [#s8e0a853] // °Ê²¼¡¢¸¦µæÆü»ï **2010-04-02 [#rc509ece] -346 Most Admired companies(¥Õ¥©¡¼¥Á¥å¥ó»ï2010ǯÅÙÈÇ) --http://money.cnn.com/magazines/fortune/mostadmired/2010/full_list/ --õ¤·¤¿¤é¸ø³«¤µ¤ì¤Æ¤¿ **2010-03-21 [#vcc5ee0b] -˺¤ì¤ë¤Î¤Ç¥á¥â --¥Þ¥ë¥Á¥×¥í¥»¥¹ ---Ê£¿ô¤Î¥×¥í¥»¥¹¤¬Â¸ºß¤·¡¢³Æ¥×¥í¥»¥¹Æâ¤Ï¥·¥ó¥°¥ë¥¹¥ì¥Ã¥É --¥Þ¥ë¥Á¥¹¥ì¥Ã¥É ---°ì¤Ä¤Î¥×¥í¥»¥¹Æ⤬¥Þ¥ë¥Á¥¹¥ì¥Ã¥É¤Ë¤Ê¤Ã¤Æ¤¤¤Æ¡¢Î㤨¤Ð¥×¥í¥°¥é¥à¾å¤ÎÊÌ¡¹¤Î´Ø¿ôA¤ÈB¤òƱ»þ¤Ë½èÍý¤¹¤ë **2010-03-12 [#vcc5ee0b] -SLIM¥Ó¥ë¥É --Wikipedia:autotool¤Î¿Þ»²¾È --configure.ac: ---AC_*¤Ïautoconf¤Îµ¡Ç½ --Makefile.am: ---autoconf¤È¶¨ÎϤ·¤Æ´Ä¶¤ËŬ¤·¤¿make¥Õ¥¡¥¤¥ë¤òÀ¸À® --64bit¤ÇºÇ¶áÆ°¤¯¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë --make check¤Ï¸¡¾Úµ¡Ç½·Ï¤Ë¤Ï¤¢¤ó¤Þ¤êÂбþ¤·¤Æ¤¤¤Ê¤¤ -uniq¤Ë±Æ¶Á¤¬½Ð¤½¤¦¤Ê¤ä¤Ä¤ò³Îǧ -¤¤¤Ã¤·¡¼¤µ¤ó¤Îefg¡¢²¶¤ÎPC¤Ç¤ÏÆ°¤¤¤¿ --vista2Âæ¡¢vista¾åubuntu(VMware)¤ÇÆ°¤¤¤¿ **2010-03-11 [#vcc5ee0b] -NESL¡¢¤È¤¤¤¦¤«´Ø¿ô·¿¸À¸ì¤Îlet let x = ¼°1 in ¼°2 **2010-03-10 [#vcc5ee0b] -TODO¹¹¿· --Á᤯¤¢¤ì¤«¤é²òÊü¤µ¤ì¤¿¤¤¤â¤Î¤À **2010-01-28¤½¤Î2 [#v7f012db] -¼Â¸³¤Îñ°Ì --CHR¤ÈLMNtal¤Î¼Â¸³¥Ç¡¼¥¿¤òÈæ³Ó¤·¤¿¤â¤Î¤ò¸ø³«¤·¤è¤¦¤«¤È»×¤Ã¤¿¤±¤É¡¢CHR¤Î»È¤¤Êý¥Ú¡¼¥¸¤È¤«¤Ç¤âÌÌÇò¤¤¤Î¤«¤â **2010-01-28 [#v7f012db] -¿ÊÏ©ÌÌÃÌ --½¢¿¦³èÆ°¤Ë´Ø¤·¤ÆÀèÀ¸¤«¤é¿§¡¹½õ¸À¤ò夤¤¿ ---¤·¤Ã¤«¤ê¤·¤¿¼õ¤±Åú¤¨¡¢¥¹¥¿¥ß¥Ê¤Î¤¢¤ë¿Í -³¤¤¤Æ½¤ÏÀ·×²è --¥Æ¡¼¥Þ¤Ï¡Ö¶¦Í¥á¥â¥ê²¼¤Ç¤ÎºÙγÅÙ¤ÊÊÂÎ󲽡סʺ£Å¬Åö¤Ë¹Í¤¨¤¿¡Ë ---¥¹¥È¡¼¥ê¡¼¤¬Î©¤Æ¤ä¤¹¤¯¡¢ÌÌÇò¤¤¤È»×¤¦ ---ʬ»¶¤Ï¤¢¤Ã¤¿¤¬¶¦Í¤ÏLMNtal¤Ç¤ÏÎ㤬̵¤¤¤·¡¢¼«ÌÀ¤¸¤ã¤Ê¤¤¤â¤Î¿¤· --ÌäÂê¤ò¤¤¤¯¤Ä¤«ÀßÄꤷ¡¢¤½¤ì¤¾¤ì¤ËÂФ·¤Æ͸ú¤½¤¦¤Ê¼êË¡¤ò¼ÂÁõ¤·¤Æ¤ß¤ë ---ÌäÂêÌÜÀþ¤Ç¹Í¤¨¤ë¤Û¤¦¤¬¤è¤¤¡¢³Î¤«¤Ë ---º£¤Þ¤Ç¼êË¡ÌÜÀþ¤Ç¹Í¤¨¤Æ¤¤¤¿ --¼þ¤ê¤ÇÍê¤ê¤ËÀ®¤ë¿Í¤¬¤¤¤ë¤«¤é¤¤¤¤¤Í ---¤Û¤ê¤µ¤ó¡¢¤´¤Á¤ç¤¦¡¢¤Ø¤¤¤ì¤Ä¤Ï¤ó¡Ê¤È¤¯¤Ë¤à¤é¤ª¤«¡Ë¤Ê¤É¤Ê¤É **2010-01-25 [#v7f012db] -³µÍ× -¤ä¤Ã¤¿¤³¤È -·ë²Ì -º£¸å¤ä¤ë¤³¤È -¼«Ê¬¤Î¥¢¥Ô¡¼¥ë **2010-01-19 [#v7f012db] -½¢³è¥×¥ì¥¼¥óÎý½¬²ñ --¼ÂÍÑŪ¤Ê¤Î¤« --´ë¶È¤ËÌòΩ¤Ä¿Í´Ö¤Ê¤Î¤« --¤É¤³¤Þ¤Ç¤¬¥Á¡¼¥à¤Ç¡¢¤³¤³¤«¤é¤¬¼«Ê¬¤Ê¤Î¤« --ÏÀʸ½Ð¤·¤Æ¤ë¥¢¥Ô¡¼¥ë --»²¹Íʸ¸¥¥¢¥Ô¡¼¥ë --¸¦µæWiki¤ò¤Þ¤ë¤Þ¤ëÄ¥¤ë¤È¤« --¥½¥Õ¥È³«È¯¤Ë¶á¤¤¿Í¤Ï¥Æ¥¹¥È¡¦¥Ð¥°¼è¤ê¤Ïµ¤¤Ë¤¹¤ë --»þ¤Ë¤Ï½èÍý·Ï¤è¤ê¤âºî¤Ã¤Æ¤ë¥Á¡¼¥à¤Î´Ä¶¤Î¤Û¤¦¤¬Âç»ö¤«¤â --CHR ---Áê¼ê¤ò¼«Í³¤ËÀßÄꤹ¤ë¡¢À¨¤µ¤ò¸À¤¦¡ÊÀ©Ìó¥×¥í¥°¥é¥ß¥ó¥°¡¢µ½ÒÀ¤Ê¤É¡Ë --ÎãÂê ---¶ñÂÎŪ¤Ê¹Ô¿ô¢ª°ì¹Ô¤Ë¤Ê¤Ã¤¿ --¼ÁÌä¤òͶȯ --Ïä¹Âç¶Ú¤È¤·¤Æ ---¥·¥¹¥Æ¥à¤Ë¼ê¤ò²Ã¤¨¤ë¤³¤È¤¬½ÐÍè¤ë ---¾¤Î¸À¸ì¤òÃΤëÎϤ¬¤¢¤ë ---¤½¤·¤ÆLMNtalÁ´ÂΤòÏ乤³¤È¤Ç¡¢Â¾¤Î¿Í¤Î¸¦µæ¤Ë¤Ä¤¤¤Æ¤âÃΤäƤ륢¥Ô¡¼¥ë --º£¸å¤Î²ÝÂê ---¤¤¤¤Ê¤êÊÂÎ󲽤ȤʤäƤ롢¤â¤¦¾¯¤·ºÙ¤«¤¯ --¥°¥é¥ÕƱ·¿ÀȽÄê¤Ë¤Ä¤¤¤Æ¤â¤¦¾¯¤· ---¤½¤ì¤Çuniq¤Ï¤É¤¦Âбþ¤¹¤ë¤Î¤«¤ò¸À¤¦¤Û¤¦¤¬Ê¬¤«¤ê¤ä¤¹¤¤¤«¤â --¸À¸ì¤ËÄɲäȽèÍý·Ï¤ËÄɲä¬Èù̯ --LMNtal½èÍý·Ï¤Î¤É¤ÎÄøÅ٤Υ½¡¼¥¹¥³¡¼¥É¤ò¸«¤¿¤Î¤« ---Çȵڤ·¶ñ¹ç **2010-01-12 [#w9d404a5] -½¤»ÎÏÀʸ·×²è½ñ¤ò¥À¥¦¥ó¥í¡¼¥É¤·¤Æ¤ß¤¿ --3¥Ú¡¼¥¸Ê¬½ñ¤¯¤È¤³¤¢¤ë¤Î¤Ë¡Ö2¥Ú¡¼¥¸½ñ¤±¡×¤È¤¢¤ë¤Î¤Ç¤ª¤«¤·¤¤¤È»×¤Ã¤¿¤éOpenOffice¤À¤«¤é½ñ¼°¤¬Êø¤ì¤Æ¤¿orz --¥¼¥ß¤Ç¶¦ÍPC¤ò¤É¤¦¤¿¤é¤Ã¤ÆÏ䬽ФƤ¿¤±¤É¡¢¤³¤¦¤¤¤¦¤È¤¤Ï̵¤¤¤Èº¤¤ë -19Æü»ñÎÁºî¤ê --µ»½Ñ¼Ô¸þ¤±¤Ï¸¦µæ¼Ô¸þ¤±¤è¤êÆñ¤·¤¤¤Î¤«¤â --¸«±É¤¨Îɤ¯ **2009-12-23 [#w9d404a5] -iwataso¤Îappend¤òCHR¤Ç½ñ¤¤¤Æ¤ß¤¿¡¢¤À¤¤¤¿¤¤¤¢¤Ã¤Æ¤ë¡Ê¤È»×¤¦¡Ë¡£ -append.pl :- use_module(library(chr)). :- chr_constraint start/0, gen_list/2, n/1, a/0, list/1, loopend/0, my_append/3, end/1. appendcons @ my_append([A|X], Y, Z) <=> my_append(X, Y, [A|Z]). appendnil @ my_append([], [], Z) <=> list(Z), loopend. loopstart @ list(X), n(N), loopend <=> N > 0 | M is N-1, n(M), my_append(X,[],[]). gen_list(0, L) <=> list(L), loopend. gen_list(N, L) <=> N1 is N-1 ,gen_list(N1, [a|L]). start <=> gen_list(10000, []), n(5). -¤Ç¡¢niolo¾å¤ÇcygwinƱÉõ¤ÎSWI-prolog¤ÇÁö¤é¤»¤Æ¤ß¤¿¤é10000*5¤Ç80Éä⤫¤«¤Ã¤¿ --¼Â¹Ô¼ê½ç¤È·ë²Ì $ pl ?- [append]. ?- time(start). ¡¡¢¨2²óÌܰʹߤμ¹Էë²Ì % 2,741,172 inferences, 82.88 CPU in 81.15 seconds (102% CPU, 33076 Lips) --SWI-prolog¤Îtime¥³¥Þ¥ó¥É»È¤Ã¤¿¤«¤é¡¢Àµ³Î¤Ê¼Â¹Ô»þ´Ö¤¸¤ã¤Ê¤¤¤«¤â --¤¢¤È¤Þ¤¡½ñ¤Êý¤Ë¤â¤è¤Ã¤Æ¤À¤¤¤ÖÊѤï¤ë¤À¤í¤¦ **2009-12-15 [#w9d404a5] -memo --ruleset1¤Ê¤éok ---slim315/present_test2rule.il¤¬41628¤ÇƱ¤¸¾õÂÖ¿ô¤À¤Ã¤¿ **2009-12-7 [#w9d404a5] -todo --¥¨¥é¡¼¤¬½Ð¤¿¡Êruleset_copy¤Èruleset_id¤Î¶¥¹çÉôʬ¡©¡Ë¤òÄ´¤Ù¤ë ---²ò·è¤·¤¿¡¢pos+=¤Î°ÌÃÖ¤¬¤ª¤«¤·¤«¤Ã¤¿¤À¤± **2009-12-3 [#w9d404a5] -¤Û¤Û¤¦ --[[Google¤¬ÆüËܸìÆþÎÏ¥·¥¹¥Æ¥à»²Æþ:http://www.itmedia.co.jp/news/articles/0912/03/news024.html]] **2009-12-2 [#w9d404a5] -memo [TAG_RULESET(1)][RS_NUM][RS_ID][RS_ID]... ¢Í [RS_ID] [HISTORY_TAG][RULE_NUM] ([RULE0])[HIS_NUM][HIS_ID][HIS_ID]... ([RULE1])... ([RULE2])... **2009-12-1 [#w9d404a5] -Ëì¤Î¥¨¥ó¥³¡¼¥É¡ßuniq --9³äÊý¼ÂÁõ¤Ç¤¤¿¤È»×¤¦¡¢¤È¤ê¤¢¤¨¤ºÄ̾ï¼Â¹Ô¤ÏÌäÂê¤Ê¤µ¤½ --present¤Ç¾õÂÖ¿ô¤¬°ã¤Ã¤¿¤«¤é¤½¤ì¤òÄ´¤Ù¤ë --ÍúÎòɽ¤È¤ÏÊ̤ËÍúÎò¤ò¤É¤¦¤Ë¤«¥½¡¼¥È¤·¤Æ»ý¤¿¤»¤Æ¤ª¤¯¤È¤Á¤ç¤Ã¤È¤¤¤¤¤«¤â **2009-11-23 [#w9d404a5] -ÈÉ¥¼¥ß --uniq¤Ï¤â¤¦¸½¾õ¤Îlmntal¤Ê¤é¤Û¤¦¤Ã¤Æ¤ª¤¤¤Æ¤â¤¤¤¤´¶¤¸ --¤ä¤Ã¤È¤³¤µ¼¡¤Ë¤¤¤±¤ë¤« -memo --[[µÄ»öÏ¿1:http://www.ueda.info.waseda.ac.jp/lmntal/local/pukiwiki.php?cmd=read&page=2009%2F01%2F16%28Fri%29&word=uniq#content_1_7]] --[[µÄ»öÏ¿2:http://www.ueda.info.waseda.ac.jp/lmntal/local/pukiwiki.php?cmd=read&page=2008%2F12%2F22%28Mon%29&word=uniq]] **2009-11-18 [#a56fb33b] -slim ver1.0.0 --Ëì¤Î¥¨¥ó¥³¡¼¥É¤Ëuniq¤òÂбþ¤µ¤»¤Æ¤«¤é¤Ë¤·¤è¤¦¤«¤È»×¤Ã¤¿¤±¤É¡¢¥Ð¥°¤¬Éݤ«¤Ã¤¿¤Î¤Ç¤¢¤È¤Ç»È¤¦´Ø¿ô¤ÎÄɲäˤȤɤ᤿ -version up¤Î¤ä¤ê¤«¤¿¥á¥â --make dist ¤¹¤ë¤¿¤á¤Ë./configure¤Þ¤Ç¤ä¤Ã¤Æ¤ª¤¯É¬Íפ¬¤¢¤ë --local¤Î´Ä¶¤ÏÈ¿±Ç¤µ¤ì¤Ê¤¤¤é¤·¤¤ --comfigure.ac¤ò¥³¥ß¥Ã¥È¤·¤Æ¤«¤é¸Ç¤á¤ë **2009-11-16 [#a56fb33b] -uniq bug fix --¥í¡¼¥É»þ¤ËÁ´¤Æ¤Î¥ë¡¼¥ë¤¬uniq rule¤Ç¤¢¤ë¤È¤ß¤Ê¤µ¤ì¤Æ¤¤¤¿¤Î¤òľ¤·¤¿ --make_rule¤Îhistory_tbl=NULL¤ò¾Ã¤·¤Æ¤·¤Þ¤Ã¤Æ¤¤¤¿¡¢¤¤¤Ã¤·¡¼¤µ¤ó¿½¤·Ìõ¤Ê¤¤¤Ç¤¹ **2009-11-12 [#a56fb33b] -¤¢¤¤¤«¤ï¤é¤ºuniq --Ãæ´ÖÌ¿Îá¤òÆɤ߹þ¤à¤ÈƱ»þ¤ËÍúÎòɽ¤ò½é´ü²½¤¹¤ë¤è¤¦¤Ë¤·¤¿¤Î¤Ç¡¢½é´ü²½¤µ¤ì¤Æ¤¤¤ë¤«¤É¤¦¤«¤Çuniq¤È¤½¤ì°Ê³°¤Î¥ë¡¼¥ë¤Ëʬ¤±¤ë¤³¤È¤¬¤Ç¤¤¿¡£has_uniqÇÑ»ß --Á°¤Ï¤¤¤é¤Ê¤¤¤È»×¤Ã¤¿¤±¤É¡¢¥ë¡¼¥ë¥»¥Ã¥È¤¬has_uniqerule¾ðÊó¤ò»ý¤Ã¤Æ¤ë¤Î¤è¤«¤Ã¤¿ -rev284¤«¤é¥á¥â¥ê¥ê¡¼¥¯¤·¤Æ¤ë¤ß¤¿¤¤¤À **2009-11-10 [#a56fb33b] -¥ë¡¼¥ë̾¼êľ¤· --¤³¤Ã¤Á¤ÎÊý¤¬¤¤¤¤¤« a(X, Y, Z) :- int(X), unary(Y), ground(Z) | . ---> commit ["(a(X, Y, Z) :- int(X), unary(Y), ground(Z) | )", 0] -¥ê¥â¡¼¥È¤«¤é¤ÎºÆµ¯Æ° $ shutdown -r -t N **2009-11-9 [#a56fb33b] -Ãæ´ÖÌ¿ÎáÎócommit¤Ë´Ø¤¹¤ë¥Ð¥°Ä¾¤· --¤½¤ÎÁ°¤Ë.lmn¢ª¥³¥ó¥Ñ¥¤¥ë¤ÇÃæ´ÖÌ¿Îá½ÐÎÏ¢ª.tal¢ª¥é¥ó¥¿¥¤¥à¤Ç¼Â¹Ô¡¢¤Î¤ä¤êÊý¤ò¥á¥â $ lmntal --compileonly hoge.lmn > hoge.tal $ lmntal --stdin-tal hoge.tal --Ãæ´ÖÌ¿ÎáÎócommit¤ÎÂè°ì°ú¿ô¤Ë¤Ï¥ë¡¼¥ë̾¤¬Æþ¤ë¤¬¡¢¤³¤ì¤Þ¤Çrule̾¤ò¤Ä¤±¤Ê¤¤¾ì¹ç¤Ï¤³¤ó¤Ê´¶¤¸¤À¤Ã¤¿ commit [null, 0] --¤³¤Înull¤ÏJava¤Înull¥ª¥Ö¥¸¥§¥¯¥È¤¬¤½¤Î¤Þ¤Þ½ÐÎϤµ¤ì¤¿¤â¤Î¤Ç¡¢Java¥é¥ó¥¿¥¤¥à¤ÇÃæ´Ö¸À¸ìÆɤ߹þ¤à¤È¡¢null¤Ê¤ó¤Æʸ»ú¤ÏÃΤé¤Ê¤¤¤È¥¨¥é¡¼¤Ë¤Ê¤Ã¤Æ¤¿ --¤À¤«¤é¥ë¡¼¥ë̾¤Ê¤·¤Î¤â¤Î¤Ï¥ë¡¼¥ë¤ÎÆâÍƤ½¤Î¤â¤Î¤ò¥ë¡¼¥ë̾¤Ë¤·¤Æ¤ß¤¿ ---¥½¡¼¥¹ a. a:-b. //̾Á°¤Ê¤· rule @@ b:-c. --- --compileonly¤Ç½ÐÎÏ commit ["{ a } :- { } | { b }", 0] //̾Á°¤Ê¤· commit ["rule", 0] //rule @@ -Uniq Rule TODO --Ʊ·¿ÀȽÄê¤Ï¤â¤¦¤Á¤ç¤¤ºÇŬ²½¤Ç¤¤½¤¦ **2009-11-5 [#a56fb33b] -slim --uniq¤ò»ý¤¿¤Ê¤¤¥ë¡¼¥ë¤Î¥³¥Ô¡¼¤Ï½¾ÍèÄ̤ê¤Î¥¢¥É¥ì¥¹ÅϤ·¤ËÌᤷ¤¿ --¤¤¤ä¡¼¥³¥ó¥Ñ¥¤¥éÊѤ¨¤¿¤«¤é³Ú¤À¤ï --ruleset¤¬uniq rule¤ò»ý¤Ä¤«¤É¤¦¤«È½Äê¤Ç¤¤ë¤è¤¦¤Ë¤·¤¿ ---lmn_mem_free¤ò¼ã´³ºÇŬ²½ -Java½èÍý·Ï¤òÊѹ¹ --¢¬¤ÎºÇŬ²½¤Î²¸·Ã¤ò¼õ¤±¤ë¤¿¤á¤Ë¤Ïlmntal¤òºÇ¿·ÈǤˤ·¤Æ¤¯¤À¤µ¤¤ -memo --GuardCompiler ---rc.theRule.hasUniq --Rule ---l.53, l.110 -Java½èÍý·Ï¥³¥ß¥Ã¥ÈÊýË¡ --¥³¥ß¥Ã¥È¤âƱ´ü²½¤âÁ´Éô¡Ö¥ê¥Ý¥¸¥È¥ê¡¼¤ÈƱ´ü²½¡×¤Ç¤ª¤± **2009-11-4 [#a56fb33b] -profiler --peak # of rulesÈǤò¥³¥ß¥Ã¥È¤·¤Æ¤ß¤¿ -slim --¥³¥ó¥Ñ¥¤¥é¤ÎÊѹ¹¤ËÂбþ¤·¤¿slim¤ò¥³¥ß¥Ã¥È¤·¤¿ ---¥³¥ó¥Ñ¥¤¥é¤Ï¤Þ¤À¥³¥ß¥Ã¥È¤·¤Æ¤Ê¤¤ -memo --il_lexer.l ---Uniq Rule --il_parser.y ---l.87, l.177 UNIQ RULE **2009-10-30¤½¤Î£² [#a56fb33b] -profiler --peak # of rules¤òºî¤Ã¤Æ¤ß¤¿¡¢¥³¥ß¥Ã¥È¤·¤Æ¤Ê¤¤¤±¤É -uniq --nd¤Ç¤ª¤«¤·¤«¤Ã¤¿¸¶°ø¤Ï¡¢Ëì¤Î¥¨¥ó¥³¡¼¥É¤ËÍúÎò¤¬È¿±Ç¤µ¤ì¤Æ¤Ê¤¤¤«¤é ---¼±Ê̻ҤÏid¤ËÊÑ´¹¤·¤Æ¤¤¤ë¤«¤é¡¢¤½¤ì¤ò´Þ¤á¤Æ¥¨¥ó¥³¡¼¥É¤¹¤ë¤è¤¦¤Ë¤¹¤ë ---(ruleset¤Ëuniq¥ë¡¼¥ë¤ò»ý¤Ä¤«¤É¤¦¤«¤Î¥Õ¥é¥°¤ò»ý¤¿¤»¤ë)¢«¤³¤ì¤ÏɬÍפʤ¤¤« -¥³¥ó¥Ñ¥¤¥é --¸å²ó¤·¤Ë¤·¤Æ¤¤¿¤¬¡¢¤ä¤Ï¤ê¥ë¡¼¥ëÀ¸À®»þ¤Ëuniq¥ë¡¼¥ë¤«Èݤ«¤òȽÄꤷ¤¿¤¤ **2009-10-30 [#a56fb33b] -¥ë¡¼¥ë¤ÎÅù²ÁÀȽÄê --˺¤ì¤ë¤Î¤Ç¥á¥â¡¢3Ãʳ¬¤ÇȽÄê¤ò¹Ô¤Ã¤Æ¤¤¤ë ++Ëì¤Ë´Þ¤Þ¤ì¤ë¥ë¡¼¥ë¥»¥Ã¥È¿ô¤òÈæ³Ó ++¾º½ç(Î㡧 @3,@3,@4,@5,@5)¤Ë¥½¡¼¥È¤µ¤ì¤Æ¤¤¤ëruleset->id¤ÎÈÖ¹æ¤Î¤ß¤òÈæ³Ó ++mem1¤«¤éruleset¤ò°ì¤Ä¼è¤ê½Ð¤·¡¢Æ±¤¸¤â¤Î¤òmem2->rulesets¤«¤éõ¤·½Ð¤¹¡Êmem2-->mem1¤â¤ä¤ë¡Ë ---rulesetÆâ¤Ç¤Îrule¤Î½ç½ø¤Ï¥½¡¼¥¹°Í¸¤Ê¤Î¤Ç¡¢Ã±½ã¤Ërule¤òƬ¤«¤é°ì¤Ä¤º¤Ä¼è¤ê½Ð¤·¤ÆÈæ³Ó¤¹¤ë¤³¤È¤ÇÅù²ÁÀȽÄꤹ¤ë -3.¤Ç´û¤Ë°ìÂаì¤ÇÂбþ¤Ç¤¤¿ruleset¤Ï¼¡°Ê¹ß¤Îõº÷¤Ç¥¹¥ë¡¼¤¹¤ë¤è¤¦¤Ë¤¹¤ì¤Ð¡¢¤â¤¦¤Á¤ç¤Ã¤È¸úΨ²½¤Ç¤¤ë¤È»×¤¦ **2009-10-29 [#a56fb33b] -slim --½é´ü¾õÂÖ¤¬2²ó½ÐÎϤµ¤ì¤ë¤Î¤òľ¤·¤¿¡¢¥³¥á¥ó¥È¥¢¥¦¥È¤·¤¿¤À¤±¤À¤¬ -uniq --¡Ê°ú¿ô¤Ë¿ôÃͤò¼è¤ë¥×¥í¥°¥é¥à¤Ç¤À¤¬¡Ënd¤Ç10Ëü¾õÂÖ¤¤¤±¤ë¡¢¤µ¤é¤Ë¾å¤â¬ÄêÃæ **2009-10-28 [#a56fb33b] -uniq --¥á¥â¥ê¥ê¡¼¥¯¤òľ¤·¤¿ --lmn_interned_str¤Ç¼±Ê̻ҴÉÍý¤Ë¤·¤Æ¤ß¤¿ ---Ä̾ï¼Â¹Ô¤«¤Äuniq¥ë¡¼¥ë¤ÎÊ£À½¤¬Ìµ¤¤¥×¥í¥°¥é¥à¤À¤È¡¢¾Ê¥á¥â¥ê²½¤Î¸ú²Ì¤Ï¤Û¤È¤ó¤É¤Ê¤¤¤ó¤¸¤ã¤Ê¤¤¤«¤Ê -¥ë¡¼¥ë¤Ë¤è¤ë¥ë¡¼¥ë¾Ãµî¤Ïclearrule **2009-10-27 [#a56fb33b] -ubuntu¤Î¥·¥ç¡¼¥È¥«¥Ã¥È --¥Ç¥¹¥¯¥È¥Ã¥×¤ËD&D¤¹¤ë¤Î¤Ïñ¤Ë¥³¥Ô¡¼¤À¤Ã¤¿ --²¼¤Î¥¿¥¹¥¯¥Ð¡¼¾å¤ËD&D¤¹¤ì¤Ð¥·¥ç¡¼¥È¥«¥Ã¥È¤Ë¤Ê¤ë -JDK --apt-get¤Çsun-java6-jdk --/usr/sbin/update-alternatives --config java¤Ç´ØÏ¢ÉÕ¤±¤òÊѤ¨¤ë -PATHÊѹ¹¤òüËöºÆµ¯Æ°Ìµ¤·¤ÇÈ¿±Ç¤µ¤»¤ëÊýË¡ source ~/.bashrc **2009-10-26 [#a56fb33b] -ubuntu --valgrindÆþ¤ì¤¿ --vista¤È¤Î¶¦Í¥Õ¥©¥ë¥ÀÀßÄꤷ¤¿ ---[[vista - ubuntu8.04(on VMware)´Ö¤Ç¤Î¶¦Í¥Õ¥©¥ë¥ÀÀßÄê]] --ubuntu¤Ç¥Õ¥©¥ë¥À¤Î¥·¥ç¡¼¥È¥«¥Ã¥È¤ò¥Ç¥¹¥¯¥È¥Ã¥×¤ËÃÖ¤¯ÊýË¡ ---¤¿¤Àñ¤ËD&D¤Ç¤Ç¤¤¿ **2009-10-24 [#a56fb33b] -NIOLO¤ËVMware + ubuntuÆþ¤ì¤Æ¤ß¤¿ --ubuntuÁö¤é¤»¤Æ¤ëvista¤Ë²È¤Îxp¤«¤é¥ê¥â¡¼¥È¥¢¥¯¥»¥¹¡¢ÃÙ¤¤¡¢Èè¤ì¤¿ --Æþ¤ì¤¿¤¤¤â¤Î ---JDK(openjdk¤À¤ÈLE¤¬µ¯Æ°¤Ç¤¤Ê¤«¤Ã¤¿) ---eclipse **2009-10-23 ¤½¤Î£²[#a56fb33b] -slim233 --¤¤¤¯¤Ä¤«ÎãÂê¤ò»î¤·¤Æ¤ß¤¿¤¬¡¢uniq¤ò»È¤ï¤Ê¤¤¤Ê¤é³ä¤È¤Á¤ã¤ó¤ÈÆ°¤¤¤Æ¤¤¤ë¤ß¤¿¤¤ --¤¿¤Àuniq¤ò»È¤Ã¤¿ÎãÂê¤Ç1¸Ä¥Ð¥°¤¬½Ð¤¿¤Î¤¬¤¢¤Ã¤¿¡¢Í׹ͻ¡ **2009-10-23 [#a56fb33b] -¥Ð¥°¤¬¤¢¤ê¤½¤¦¤ÇÉݤ¤ uniq for nd --ËìÆâ¤Çruleset¤ò¥½¡¼¥È¤·¤ÆÊÝ»ý¤·¤Æ¤¤¤¿»ÅÍͤËÂбþ¡Ê¤·¤¿¤Ä¤â¤ê¡Ë ---¥¢¥É¥ì¥¹¤¸¤ã¤Ê¤¯ruleset->id¤Ç¥½¡¼¥È ---¥ë¡¼¥ë¥³¥Ô¡¼¤ò¤¹¤ë¤ÈƱ¤¸id¤ò»ý¤Ä¥ë¡¼¥ë¥»¥Ã¥È¤¬¤¿¤¯¤µ¤ó½ÐÍè¤Æ¤·¤Þ¤¦ ---¤½¤Î¤¿¤á¤Ë¢ --Ʊ·¿ÀȽÄê¤ò¼ã´³ÊѤ¨¤¿ ---id¤À¤±¤Ç¤Ïruleset¤ò´°Á´¤Ë1ÂÐ1¤ÇÈæ³Ó¤Ç¤¤Ê¤¤ ---¤À¤«¤é¡Ö°ìÊý¤Îrulesets¤«¤éruleset¤ò°ì¤Ä¼è¤ê½Ð¤·¡¢Â¾Êý¤Ë¤âƱ¤¸¤Î¤¬¤¢¤ë¤«¡×¤È¤¤¤¦Ä´¤ÙÊý¤ò¤·¤Ê¤¤ã¤¤¤±¤Ê¤¤ **2009-10-21 [#a56fb33b] -²û¤«¤·¤Îmem_eq --uniq½¤ÀµÃæ¤Ë¤Á¤ã¤ó¤ÈƱ·¿ÀȽÄê¤Ç¤¤Æ¤¤¤ë¤«¤É¤¦¤«»î¤·¤Æ¤ß¤¿¤é¡¢ {a.}. {a.}. --¤È¤¤¤¦¤É¤¦¸«¤Æ¤âƱ¤¸Ëì¤òÊ̤Τâ¤Î¤À¤ÈȽÄꤵ¤ì¤Æ¤·¤Þ¤Ã¤¿ ---mem_equals_rec()¤Î /* Ëì1Æâ¤Ë¤ª¤±¤ëa1¤òº¬¤È¤¹¤ëʬ»Ò¤ËÂбþ¤¹¤ëʬ»Ò¤¬Ëì2Æâ¤Ë¸ºß¤·¤Ê¤¤¾ì¹ç¤Ë¤³¤³¤ËÆþ¤ë (¤³¤Î¾ì¹ç¤Ï̵¾ò·ï¤Ëµ¶¤òÊÖ¤¹) */ ---¤Çfalse¤Ë¤Ê¤Ã¤Á¤ã¤¦ ---mem_eq({a.}, {a.} ... )¤È¤¤¤¦·Á¤ÇÍ¿¤¨¤ë¤«¤é¤Ã¤Ý¤¤¤Ê¡¢¥ê¥ó¥¯Àè¤Î°ú¿ô¤¬°ã¤¦¤«¤é ¤½¤³¤Þ¤Ç¸«¤é¤ì¤Á¤ã¤¦¤Èº£¤Î¤Þ¤Þ¤Ç¤Ï»È¤¨¤Ê¤¤¤Î¤« ---¤Þ¤¡¥ë¡¼¥ë¥»¥Ã¥È¤Î°ìÃפÏÄ´¤Ù¤é¤ì¤ë¤«¤éÊ̤ˤ¤¤¤¤ó¤À¤±¤É¤Í **2009-10-19 [#a56fb33b] -hori¤µ¤óÛ©¤¯ --C¤Ïmalloc*100¤è¤ê¤â(malloc+free)*100¤ÎÊý¤¬°µÅÝŪ¡Ê¡©¡Ë¤Ë»þ´Ö¤¬Ã»¤¤¡¢¤é¤·¤¤ --¥á¥â¥ê¥×¡¼¥ëŪ¤Ê´¶¤¸¡¢¤Ê¤ë¤Û¤É -lmntal(java¤Ç¤âSLIM¤Ç¤â)¤Î¥Ó¥ë¥É»þ¤ËPerl´Ø·¸¤ÇÅܤé¤ì¤¿¤é --²¶¤ÎB4¤Î¸¦µæÆü»ï¡ÜPerl¤Ë¥Ñ¥¹¤¬Ä̤äƤ¤¤ë¤³¤È¤ò³Îǧ¤¹¤ë **2009-10-16 [#a56fb33b] -vista --¹¹¿·¤¬¤¢¤Ã¤¿¾ì¹ç¤Ë¡¢¾¡¼ê¤ËºÆµ¯Æ°¤¹¤ë¤ä¤Ä¤ò¤Ê¤¯¤·¤¿¤¤ ---¥¹¥¿¡¼¥È¢ªGPEDIT.MSC¢ª´ÉÍýÍѥƥó¥×¥ì¢ªWin¥³¥ó¥Ý¡¼¥Í¥ó¥È¢ªWin Update¢ª¥í¥°¥ª¥ó¤·¤Æ¤¤¤ë¥æ¡¼¥¶¤¬¤¤¤¿...¢ªÍ¸ú -CCHR¤ÎPrime --hori¤µ¤ó¤Î¸À¤¦¤È¤ª¤ê¡¢LMNtal¤Ç¥ë¡¼¥ë¤Î½çÈÖ¤òÊѤ¨¤¿¤é¤À¤¤¤Ö¼Â¹Ô»þ´Ö¤¬ÊѤï¤Ã¤¿ -CCHR¤ÎGCD ½é´ü¾õÂÖ --½ÐÎϤǤ¤¿¡¢ºÇ½é¤Ë11*n (n=2¡Á2999)¤ÎGCD¤òÀ¸À®¤·¤Æ¤ë --4000¸Ä¤ÎGCD¤ÈÏÀʸ¤Ë½ñ¤¤¤Æ¤¢¤Ã¤¿¤±¤É¡¢¤³¤ì¤Ï¤É¤¦¤¤¤¦¤³¤È¤À¡© --¤Á¤Ê¤ß¤ËPrime¤ÏSLIM¤Î¤Û¤¦¤¬¤À¤¤¤ÖÃÙ¤«¤Ã¤¿¤±¤É¡¢GCD¤Ï²¿¤â¹Í¤¨¤Ê¤¤¤Ç¥¨¥ó¥³¡¼¥É¤·¤ÆCCHR2¥¹¥ì¤ÈÂÐÀ蘆¤»¤Æ¤â¼ã´³¾¡¤Æ¤ë **2009-10-15 [#a56fb33b] -STM for Java, C --¤É¤¦¤ä¤é»È¤¨¤ë¤ß¤¿¤¤¤À --¥×¥í¥°¥é¥ß¥ó¥°¸À¸ìClojure ---STM¤ò¥µ¥Ý¡¼¥È ---JavaVM¤Î¥Ð¥¤¥È¥³¡¼¥É¤Ë¥³¥ó¥Ñ¥¤¥ë¤Ç¤¤ë¤é¤·¤¤ --C¤Ï[[¤³¤ì:http://www.hipeac.net/system/files/TM_for_GCC_design_0_94.pdf]] -LE.jar¥Õ¥¡¥¤¥ë¤òWin¤Î¥¹¥¿¡¼¥È¥á¥Ë¥å¡¼¤ËD&D¤¹¤ë¤È¤¦¤Þ¤¯µ¯Æ°¤·¤Ê¤¤ --¥·¥ç¡¼¥È¥«¥Ã¥È¤òºî¤Ã¤ÆD&D¤¹¤ë¤ÈOK --exe¥Õ¥¡¥¤¥ë¤È¤«¤Ï¼«Æ°Åª¤Ë¥·¥ç¡¼¥È¥«¥Ã¥Èºî¤Ã¤Æ¤¯¤ì¤ë¤±¤É¡¢.jar¤ä.txt¤Ï¤½¤¦¤¸¤ã¤Ê¤¤¤ó¤À¤Í **2009-10-14 [#a56fb33b] -ȯɽ½ªÎ» --°Æ³°ÌäÂê¤Ê¤«¤Ã¤¿¡Êµ¤¤¬¤¹¤ë¡Ë ---¤Þ¤¡ÆâÍƤ¬Çö¤¤¤«¤é¤³¤ó¤Ê¤â¤ó¡© --CCHR¤ÎGCD¤Î½é´ü¾õÂÖ¤òÃΤë --¤Þ¤º¤Ï´Êñ¤Ê¥í¥Ã¥¯¥Ù¡¼¥¹¤Ç¤ä¤Ã¤Æ¤ß¤è¤¦ --ÎãÂê¤È¤·¤Æ¤Ï¡¢GCD¤Ï¤â¤Á¤í¤ó¡¢¤¢¤È¤Ï¥½¡¼¥È´Ø·¸ --C¸À¸ì¤ÎSTM¤Î¥µ¥Ý¡¼¥È¤Ï¡© -CCHR ¼Â¹Ô¼ê½ç --.cchr¡¡¢ªCCHR¢ª¡¡.hs¡¡¢ªghc¢ª¡¡.exe **2009-10-12 [#a56fb33b] -ÀèÀ¸¤Îpretty print¤ËÂФ¹¤ëÆ°µ¡ÉÕ¤± --¡ÖLMNtal¤é¤·¤¤ÌäÂê¤ò¹îÉþ¤·¤¿¡×¸¦µæ¼Ô¤Ï¤³¤¦¤¤¤¦ÍýͳÉÕ¤±¤¬¤Ç¤¤ë¤È¶¯¤¤¤ó¤À¤í¤¦¤Ê -¥¼¥ßȯɽ½àÈ÷ --Brockworld¤ÎÎãÂê¤Î°ÕÌ£¤¬Ê¬¤«¤Ã¤¿ --¤Ê¤ó¤Î¤³¤È¤Ï¤Ê¤¤¡¢¥â¥ó¥¡¼¥¢¥ó¥É¥Ð¥Ê¥Ê¤¸¤ã¤Ê¤¤¤« **2009-10-5 [#a56fb33b] -ÀèÀ¸¤è¤ê¡§uniq¤ò¤â¤Ã¤ÈÀ°È÷¤¹¤ëÏà --¤½¤í¤½¤í¤ä¤é¤Ê¤¤¤È¡¢¤È¤Ï»×¤Ã¤Æ¤¿ --ȯɽ¤Î¥á¥É¤¬¤Ä¤¤¤¿¤é¤Þ¤¿ -CCHRÍÑ¤Î¥×¥í¥°¥é¥à¤Î½ñ¤Êý¤¬¤ï¤«¤é¤ó¡¢¤Ê¤ó¤Ç¼Â¹ÔÊýË¡¤À¤±¤Ê¤ó¤À **2009-9-20 [#a56fb33b] -10/7¥¼¥ßȯɽ --¤¤¤Ä¤Î¤Þ¤Ë¤ä¤é¹¹¿·¤µ¤ì¤Æ¤¿ --¤Ê¤Ë¤·¤è¤¦¡¢CHR¤ÎËÜÆɤó¤Ç¤ë¤¬²Ì¤¿¤·¤ÆŽ¥Ž¥Ž¥¡£ -¹ç½ÉÀ®²ÌÊó¹ð --¤³¤Ã¤Á¤â¤É¤¦¤·¤è¤¦ --º£¤«¤é¼ÂÁõºÆ³«¡©¤¦¡¼¤ó¤á¤ó¤É¤¤ **2009-9-10 [#a56fb33b] -eclipse --¥Õ¥¡¥¤¥ë¤òÆó¤ÄÁªÂò¢ª±¦¥¯¥ê¢ªÈæ³Ó¢ªÁê¸ß¢ªÊØÍø -SLIM¤Îmake --µ×¤·¤Ö¤ê¤Ë¥Ë¥ª¥í¤Çmake¤·¤¿¤égrep¤¬¸«¤Ä¤«¤é¤Ê¤¤¤È¡¢¤Çgrep¤Î2.5.3¤ò¥¤¥ó¥¹¥È¡¼¥ë¤·¤¿¤éľ¤Ã¤¿ --borland¤òÆþ¤ì¤¿¤»¤¤¡© **2009-9-5 [#a56fb33b] -¹ç½ÉÈè¤ì¤¿ --¼ÂÁõ¤·¤Ê¤¤ã --SLIMÆɤޤʤ¤ã -10·î¸¦µæȯɽ --²¿¤â¸À¤¨¤Í¤§ --¾®ÎÓ¤µ¤ó¤ÎÎØÆɤθåȾ¤Ç¤â¤ä¤í¤¦¤«¤Ê **2009-8-10 [#a56fb33b] -C++¥³¥ó¥Ñ¥¤¥é¥á¥â --¥¤¥ó¥¹¥È¡¼¥ëÀè¤Î bin ¥Ç¥£¥ì¥¯¥È¥ê¤Ç¼¡¤Î¼ê½ç¤ò¼Â¹Ô¤·¤Þ¤¹¡£ --a. ´û¸¤Î¥Ñ¥¹¤Ë "c:\Borland\Bcc55\Bin"¡Ê¥Ç¥Õ¥©¥ë¥È¡Ë¤òÄɲä·¤Þ¤¹¡£ --b. bcc32.cfg ¥Õ¥¡¥¤¥ë¤òºîÀ®¤·¤Þ¤¹¡£¤³¤Î¥Õ¥¡¥¤¥ë¤Ï¡¤Include ¤ª¤è¤Ó Lib ¥Ñ¥¹¤Î¥³¥ó¥Ñ¥¤¥é¥ª¥×¥·¥ç¥ó(¥³¥ó¥Ñ¥¤¥é¤Î -I ¤ª¤è¤Ó -L ¥¹¥¤¥Ã¥Á)¤òÀßÄꤹ¤ë¤â¤Î¤Ç¤¹¡£¥Õ¥¡¥¤¥ë¤Ë¤Ï¼¡¤Î¹Ô¤ò´Þ¤á¤Æ¤¯¤À¤µ¤¤¡£ -I"c:\Borland\Bcc55\include" -L"c:\Borland\Bcc55\lib" -c. ilink32.cfg ¥Õ¥¡¥¤¥ë¤òºîÀ®¤·¤Þ¤¹¡£¤³¤Î¥Õ¥¡¥¤¥ë¤Ï¡¤Lib ¥Ñ¥¹¤Î¥ê¥ó¥«¥ª¥×¥·¥ç¥ó¤òÀßÄꤹ¤ë¤â¤Î¤Ç¤¹¡£¥Õ¥¡¥¤¥ë¤Ë¤Ï¼¡¤Î¹Ô¤ò´Þ¤á¤Æ¤¯¤À¤µ¤¤¡£ -L"c:\Borland\Bcc55\lib" -C++¤ÎËÜ --¤µ¤µ¤Ã¤Èp100¤Þ¤Ç **2009-8-5 [#a56fb33b] -Äó½Ð²ÝÂê(ÀèÀ¸¤Ø¤Î¥á¡¼¥ë¤â)¤òÁ´Éô½ª¤ï¤é¤»¤¿¡£ **2009-7-27 [#a56fb33b] -ÊÂÎó¤ÈÊÂ¹Ô --ÊÂÎó½èÍý(parallel processing): ¡ÖʪÍýŪ¤Ë¡×¿¿ô¤Î¥×¥í¥»¥Ã¥µ¤Ë¤è¤Ã¤Æ¼Â¹Ô¤µ¤ì¤ë. --ʹԽèÍý(concurrent processing): ¡ÖÏÀÍýŪ¤Ë¡×Ê£¿ô¤Î¥¿¥¹¥¯¤¬¼Â¹Ô¤µ¤ì¤ë. ---¼ÂºÝ¤Ë¥×¥í¥»¥Ã¥µ¤¬°ì¸Ä¤Ç¤âÊ£¿ô¤Ç¤â¹½¤ï¤Ê¤¤. ½¾¤Ã¤Æ, ʹԽèÍý¤òÊÂÎó½èÍý¤Ç¼Â¸½¤¹¤ë¤³¤È¤â¤Ç¤¤ë. ¤Ê¤ª, ʹԽèÍý¤È¤¤¤¦ÍѸì¤Ï, ¼ç¤Ë, OS, ¥Ç¡¼¥¿¥Ù¡¼¥¹¤ÎʬÌî¤ÇÍѤ¤¤é¤ì¤ë. -GDB --break point¤Ë¾ò·ï¤ò¤Ä¤±¤ë **2009-7-23 [#a56fb33b] -[[ºòÆü¤ÎÀ®²Ìʪ:http://www.ueda.info.waseda.ac.jp/~seiji/wiki/index.php?plugin=attach&pcmd=open&file=Image284.jpg&refer=%B8%A6%B5%E6%C6%FC%BB%EF%A4%C8%A4%DC%A4%E4%A4%AD]] **2009-7-19 [#a56fb33b] -iTunes --ºÇ¶á¡¢ipod¤ò¤Ä¤Ê¤°Å٤ˡ֥¢¥Ã¥×¥Ç¡¼¥È(1200±ß)¡×¤È¤¤¤¦É½¼¨¤¬½Ð¤Æ¤¤Æ¡¢Ëè²ó¡Ö¤¢¤È¤Ç¡×¤Ë¤·¤Æ¤ÆÌÌÅݤÀ¤Ã¤¿¤±¤É¡¢¤Ä¤¤¤ËºòÆü¡¢¡Ö¤¤¤é¤Ê¤¤¡×¤È¤¤¤¦¥Ü¥¿¥ó¤¬½Ð¤Æ¤¤¿ ---¨²¡¤·¤¿ **2009-7-15 [#a56fb33b] -uniq --¥³¥ß¥Ã¥È¤·¤¿¤éÆ°¤«¤Ê¤¤ÎãÂê(abp)¤¬¤¢¤Ã¤¿ -ÍúÎòɽ¤Î²òÊü˺¤ì --¤¦¤«¤Ä¤À¤Ã¤¿¡£¤Ç¤âabp¤ÏÊ̤ˤ½¤ó¤Ê¤Ë¥ë¡¼¥ë¿ô¿¤¤¤ï¤±¤¸¤ã¤Ê¤¤¤·¡¢¤½¤â¤½¤âuniq»È¤Ã¤Æ¤Ê¤¤¤Ê¤éÍúÎòɽ¤¬¾ÃÈñ¤¹¤ë¥á¥â¥ê¤Ê¤ó¤Æ¤¿¤«¤¬ÃΤì¤Æ¤ë¤È»×¤¦¤Ê¤¡ -¸¶°ø¤Ï¥ë¡¼¥ë¤ÎÊ£À½¤ÈƱ·¿ÀȽÄê --Ëì¤Ë¥ë¡¼¥ë¥»¥Ã¥È¤òÄɲ乤ë»þ¤Ë¥¢¥É¥ì¥¹ÅϤ·¤Ç¤Ï¤Ê¤¯Ê£À½¤·¤Æ¤¤¤ë --Ʊ·¿ÀȽÄê¤Ç¤Ï¡¢¥ë¡¼¥ë¤Ï¥¢¥É¥ì¥¹½ç¤Ë¥½¡¼¥È¤·¤ÆÈæ³Ó¤·¤Æ¤¤¤ë ---¿·¤·¤¤»ÅÍÍ¡£¥ë¡¼¥ë¤òÊ£À½¤¹¤ì¤ÐÅöÁ³¥¢¥É¥ì¥¹¤À¤Ã¤ÆÊѤï¤ë¤«¤é¤¦¤Þ¤¯Èæ³Ó¤¬½ÐÍ褺¤Ë¾õÂÖ¤¬¤É¤ó¤É¤óÁý¤¨¤Æ¤¤¤¿ **2009-7-14 [#a56fb33b] -SLIM¤ÎÊÂÎó²½ --¤Ã¤Æ¤É¤¦¤Ê¤ó¤À¤í¤¦ **2009-7-13(Ã룳) [#a56fb33b] -nd¡¢ltl¤Ç¤ÎÀ¸À®ºÑ¤ß¾õÂ֤Υá¥â¥ê°µ½Ì¡Êiwasawa°Æ¡Ë --¤³¤ì°Ê¾åÁ«°Ü¤·¤Ê¤¤¾õÂ֤ϰµ½Ì¤¬²Äǽ¡¢nakagawa¤¯¤ó¤Î¤È¤¤Ë¤â¸À¤ï¤ì¤Æ¤¤¤¿ --uniq¤Î·Ð¸³¤¬¤Á¤ç¤Ã¤È¤ÏÀ¸¤¤ë¤«¤â¡¢Ê¸»úÎó¤ËÀ¸À®¤¹¤ë¤¢¤¿¤ê¤À¤±¤À¤±¤É -¤Ê¤ó¤À¤«¤â¤¦¿§¡¹¹¤²¤¹¤®¤Æ¼ý½¦¤Ä¤«¤Ê¤¯¤Ê¤Ã¤Æ¤¤¿ -½é¿´¤Ëµ¢¤ì¤Ð¡Ö¤¿¤¯¤µ¤ó¥×¥í¥°¥é¥à¤ò½ñ¤¤¿¤¤¡×¤Ï̵»ë¤·¤¿¤¯¤Ê¤¤¡¢¤·¤«¤·¼ÂºÝÌäÂê¤È¤·¤Æ¤Ï¤É¤¦¤À¤í¤¦¤« **2009-7-13(Ã룲) [#a56fb33b] -¤¢¤¡¥ì¥Ý¡¼¥È¤¬¤á¤ó¤É¤¤ -¤Ç¤â¤Û¤ó¤È¤Ë¢¤Ë½ñ¤¤¤Æ¤¤¿¤³¤È¤ÏÀõ¤¤¹Í¤¨¤Ð¤Ã¤«¤ê¤Êµ¤¤¬¤¹¤ë¡¢¤³¤ó¤Ê¤ó¤ÇÂç¾æÉפʤó¤À¤í¤« **2009-7-13(Ãë) [#a56fb33b] -UML¿Þ¤ò½ñ¤¯¤À¤±¤ÇLMNtal¥â¥Ç¥ê¥ó¥°¤¬¤Ç¤¤ë¡¢¤È¤« --LMNtal¤Ïľ´¶Åª¤Ë¥â¥Ç¥ë¤ò½ñ¤±¤ë¡¢¤È¤Ï¤¤¤¨¤ä¤Ï¤ê´·¤ì¤Æ¤¤¤Ê¤¤¤È¤É¤¦½ñ¤¤¤Æ¤¤¤¤¤«¤ï¤«¤é¤Ê¤¤¾ì¹ç¤â¤¢¤ë¤«¤Ê --Java¤Ë¤½¤ó¤Ê¤Î¤¬¤¢¤Ã¤¿¤«¤é¡¢¤½¤ó¤Ê¥Î¥ê¤Ç **2009-7-13(Ä«) [#a56fb33b] -¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥° --¥¯¥ê¥Ã¥¯¤Ç¥¢¥È¥àÇÛÃÖ¡¢¥É¥é¥Ã¥°¤ÇËìÇÛÃÖ¡¢¤È¤«¡© --¿§¤ó¤Ê¼ïÎà¤Î¥¢¥È¥à(Ëì)¤¬¤¢¤Ã¤Æ¤â¤è¤µ¤½¤¦¡¢°ì¸Ä¤¢¤ë¤È¥¦¥£¥ó¥É¥¦¤¬³«¤¯window¥¢¥È¥à¤È¤« --¤Ç¤â¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥°¤ÎÍøÅÀ¤Æ²¿¤Ê¤ó¤À¤í¤¦¡¢LMNtal¤Ï¤½¤ì¤ò¼Â¸½¤Ç¤¤ë¤À¤í¤¦¤« -UNYO 3D --¸«¤ä¤¹¤½¤¦¤À¤±¤É¡¢¥æ¡¼¥¶¤¬¥¢¥È¥à¤ò°ú¤ÃÄ¥¤Ã¤¿¤ê¤¹¤ëÁàºî¤¬ÂçÊѤ½¤¦¡¢¤È¤¤¤¦¤«3D¤Ç¤É¤¦¤ä¤Ã¤¿¤é¤¤¤¤¤Î¤«¥¤¥á¡¼¥¸¤¬¤ï¤«¤Ê¤¤ --360¡ë¥Õ¥ë¤Ë¸«¤ì¤ë¤Î¤Ç¤Ï¤Ê¤¯¡¢x,-x,y,-y,z,-z¤Î6Êý¸þ¤«¤é¸«¤ì¤ë¤À¤±¤Ç¤âÂçʬ°ã¤¦¤Î¤Ç¤Ï -ưŪ¤ËÊѲ½¤¹¤ë¥ë¡¼¥ë --²¿¤ÎÎãÂê¤ò½ñ¤¤¤Æ¤ë¤È¤¤«Ëº¤ì¤Æ¤·¤Þ¤Ã¤¿¤¬¡¢¥Ø¥Ã¥É¤¬Æ°Åª¤ËÊѲ½¤¹¤ì¤Ð¤â¤Ã¤È´Ê·é¤Ë½ñ¤±¤ë¤Î¤Ë¡¢¤Ã¤ÆÎ㤬¤¢¤Ã¤¿µ¤¤¬¤¹¤ë --º£¤Ï¥ë¡¼¥ë¤Î°ÜÆ°¡¦Ê£À½¡¦¾Ãµî¤·¤«¤Ç¤¤Ê¤¤¤±¤É¡¢¡Ö¥ë¡¼¥ë¤ÎÆâÍƤò¥ë¡¼¥ë¤ÇÊѹ¹¤¹¤ë¡×¤È¤«¡Ö¼Â¹ÔÃæ¤Ë¥ë¡¼¥ë¤¬ÄêµÁ¤µ¤ì¤ë¡×¤È¤«¤¢¤Ã¤Æ¤âÌÌÇò¤¤¤ó¤¸¤ã¤Ê¤¤¤« ---¸À¸ì»ÅÍͤȤ«µ¤¤Ë¤·¤Ê¤¤¤Ç½ñ¤¤¤Æ¤ß¤¿ ---Æä˥â¥Á¥Ù¤È¤Ê¤ë¤è¤¦¤ÊÎã¤Ï̵¤¤¤±¤É ---¤½¤ì¤Ë¸å¼Ô¤Ï¤¢¤é¤«¤¸¤áÍÑ°Õ¤·¤Æ¤ª¤¤¤ÆŸ³«¤¹¤ì¤Ð»÷¤¿¤è¤¦¤Ê¤Î¤Ï½ñ¤±¤ë ---uniq¤Î»þ¤â»×¤Ã¤¿¤¬¡¢·ë¶ÉLMNtal¸À¸ì¤Ë²¿¤«¿·µ¡Ç½¤ò¤Ä¤±¤Æ¤â¡¢¸µ¡¹¤ÎLMNtal¤ÇÂåÍѤǤ¤ë¤è¤¦¤Ê¤Î¤¬½ñ¤±¤Á¤ã¤¦¤³¤È¤¬Â¿¤¤¡¢ÊÑ¿ô¤Î³µÇ°¤À¤Ã¤Æ¥â¥¸¥å¡¼¥ë¤Ç¼Â¸½¤Ç¤¤Æ¤ë¤· **2009-7-12(¿¼Ìë) [#a56fb33b] -ÉÛÃĤËÆþ¤Ã¤¿¤±¤É¿²¤ì¤Ê¤¤¤«¤éPC¤Ä¤±¤¿ -¼«Ê¬¤Ï¤Ê¤¼¾åÅĸ¦¤ËÆþ¤Ã¤¿¤«¡© --¥×¥í¥°¥é¥ß¥ó¥°¸À¸ì¤òºî¤ë¡á¤¿¤¯¤µ¤ó¥×¥í¥°¥é¥à¤ò½ñ¤¤½¤¦¡¢¤È¤¤¤¦¥¤¥á¡¼¥¸ ---¡Ê¤¢¤¯¤Þ¤Ç°ì°ø¤À¤±¤É¡Ë --¤Ê¤ó¤«¤¿¤¯¤µ¤ó¥×¥í¥°¥é¥à½ñ¤¤¤Æ¤ß¤¿¤¤¤Ê¤¡¡¢¤¿¤¯¤µ¤ó¤Ã¤Ä¤Ã¤Æ¤â²¶Åª¤Ë¤Ï¡Ö²¿Àé¹Ô¡×¤È¸À¤¨¤ë¤¯¤é¤¤½ñ¤¤¤¿¤é¡¢¤½¤ì¤Ï¤â¤¦¤¿¤¯¤µ¤ó½ñ¤¤¤¿¤³¤È¤Ë¤Ê¤ë¤ó¤À¤±¤É --¤½¤Î»ëÅÀ¤«¤é¸¦µæ¥Æ¡¼¥Þõ¤·¤Æ¤·¤Þ¤¦¤«¡£¾Ð -LMNtal¤Ç¤Î¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥° --¤Õ¤ÈPPL¤ÇLMNtal¤â¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥°Äü¤á¤Ê¤¤¤Ç¡¢¤È¸À¤ï¤ì¤¿¤Î¤ò»×¤¤½Ð¤·¤¿ --¸À¸ìÈÉ¥Ú¡¼¥¸Æâ¤Ç¸¡º÷¤¹¤ë¤ÈÃæÌ¤ó¤¬UNYO¤ò¥ô¥£¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥°¤Ø»ý¤Ã¤Æ¤¤¤¤¿¤¤¤È¸À¤Ã¤Æ¤¤¤ë ---¤±¤ÉÃæÌ¤ó¤Î½¤ÏÀ¤Ë¤Ï¤½¤¦¤¤¤¦¤³¤È¤Ï½ñ¤¤¤Æ¤Ê¤¤µ¤¤¬¤¹¤ë --UNYO3G¤Ïº£¸å¤½¤Ã¤Á¤ÎÊý¤Ë¤¤¤¯Í½Äê¤Ï¤¢¤ë¤Î¤«¤Ê ---¾¯¤Ê¤¯¤È¤â¥ë¡¼¥ë¤òUNYO¾å¤Ç½ñ¤¯(ÉÁ¤¯)¤ß¤¿¤¤¤Ê»ö¤Ïµîǯ¤Î²Æ¹ç½É¤Ç¤âÏ䷽ФƤʤ«¤Ã¤¿¤è¤¦¤Ê --¤¤¤Ä¤À¤«ÈÉ¥¼¥ß¤ÇÏÃÂê¤Ë½Ð¤¿[[¥µ¥¤¥È:http://www.toontalk.com/]] -¤¢¤È¤ÏUNYO¤Î»°¼¡¸µ²½¤Ê¤ó¤«¤âÃæÌ¤ó¤Ï²ÝÂê¤Ëµó¤²¤Æ¤ë --¾®ÎÓ(»Ë)¤µ¤ó¤¬¤¤¤Ä¤¾¤ä¸À¤Ã¤Æ¤¿¤³¤È¤â¡¢º£»×¤¨¤Ð¸¦µæ¥Æ¡¼¥Þ¤È¤·¤Æ¼è¤ê¾å¤²¤Æ¤â¤¤¤¤¤Î¤«¤â --¤Ç¤âUNYO¤Ã¤Æ¡Ö¸«¤ä¤¹¤µ¡×¤Ç¾¡É餹¤ë¤â¤Î¤À¤«¤é¡¢¤¹¤´¤¤ÂçÊѤ½¤¦ ---¤Þ¤¡ÂçÊѤ½¤¦¤¸¤ã¤Ê¤¤¤â¤Î¤Ê¤ó¤Æ̵¤¤¤¬ -´Ø·¸¤Ê¤¤¤¬ÉÙ±ÊÀèÀ¸¤Î¥ì¥Ý¤¬ÌÌÅݤ³¤Î¾å¤Ê¤¤ -uniq --164¤ØÆþ¤ì¤è¤¦¤È»×¤Ã¤¿¤±¤É¡¢port.c¤ò¤É¤¦Êѹ¹¤¹¤ë¤«¤Ç̤¤¤¬¡¢hori¤µ¤ó¤Ëʹ¤³¤¦ -¤ä¤Ã¤È̲¤¯¤Ê¤Ã¤Æ¤¤¿¡¢¿²¤ë **2009-7-9 [#a56fb33b] -uniq¤Î¥³¥ß¥Ã¥È --hori¤µ¤ó¤Îver.up¤¬°ìÃʳڤ·¤¿¤Î¤Ç164¤òÍî¤È¤·¤Æ¤¤Æ¤ä¤Ã¤Æ¤·¤Þ¤ª¤¦ -¸¦µæ¥Æ¡¼¥Þ --¤¦¡¼¤ó¡¢Ëì¤ÎƱ·¿ÀȽÄê¤ò¸«Ä¾¤¹¤«¡¢POR¤«¡¢¤Ï¤¿¤Þ¤¿iwataso¤Î¼êÅÁ¤¤¤« -SLIMÍÑ¡¢eclipse¤ÎC/C++¥¨¥Ç¥£¥¿¡¼ÀßÄê(¥¤¥ó¥Ç¥ó¥ÈŽ¥¥¿¥Ö¥µ¥¤¥ºÊѹ¹¡õ¥¹¥Ú¡¼¥¹¤Ë) --¥¦¥£¥ó¥É¥¦¢ªÀßÄê¤ÇC/C++¤Î¥³¡¼¥É¥¹¥¿¥¤¥ë --¿·µ¬¢ªÌ¾Á°·è¤áok --¥×¥ë¥À¥¦¥ó¥á¥Ë¥å¡¼¤ò¡Ö¥¿¥Ö¤Î¤ß¡×¤«¤é¡Ö¥¹¥Ú¡¼¥¹¤Î¤ß¡×¤ËÊѹ¹¢ªÊݸ -Ʊ¤¸¤¯¡¢¥Õ¥¡¥¤¥ë´ØÏ¢ÉÕ¤± --¥¦¥£¥ó¥É¥¦¢ªÀßÄê¤ÇC/C++¤Î¥³¡¼¥É¥¹¥¿¥¤¥ë --°ìÈÌ¢ª¥¨¥Ç¥£¥¿¡¼¢ª¥Õ¥¡¥¤¥ë¤Î´ØÏ¢ÉÕ¤±¡¢¤ÇÀßÄê **2009-7-8 [#a56fb33b] -¥Ë¥ª¥í¤Î´Ä¶¹½ÃÛ --eclipse ---Pleiades¤Ë¤Ï¥È¥é¥¦¥Þ¤¬¤¢¤Ã¤¿¤Î¤ÇÈò¤±¤Æ¤¤¿¤¬¡¢¥¬¥ê¥ì¥ª¤ËÆþ¤ì¤Æ¤ß¤¿¤é¤¹¤ó¤Ê¤êÆ°¤¤¤¿ --LMNtal¡¢SLIM¤È¤â¤ËÌäÂê¤Ê¤· -¥¤¥ó¥¿¡¼¥ó --Åì¼Ç¤Ï¼õ¤«¤Ã¤¿¡¢Â¼²¬¤È¾ì½ê°ì½ï --NRI¤ÏÌÌÀÜ¡¢Ê¢ÄˤòÊú¤¨¤Ê¤¬¤é´èÄ¥¤Ã¤¿¤È»×¤¦¡¢È¿¾ÊÅÀ¤â¿¤¤¤¬ **2009-7-7 [#x42d7fde] -atomic --»È¤¤Êý¤¹¤°¤Ë˺¤ì¤ë¤«¤é¤³¤³¤Ë¥á¥â { '$callback'('atomic_ruleset', 1). a :- b. b :- c. b :- d. }. a. -1¤È2 --¤³¤Î°ã¤¤¤Ï²¿¤Ê¤ó¤À¤í¤¦¡© ---ÂèÆó°ú¿ô¤¬1 { '$callback'('atomic_ruleset', 1). a:-b. }. a. b:-c. ---> init:17072240 17071352::::b. @4,@3 17072240::17071352::a. @4,@3 # of States = 2 ---2¤Î¤È¤ ---> init:17072240 17146504::17071352::b. @4,@3 17071352::::c. @4,@3 17072240::17146504::a. @4,@3 # of States = 3 **2009-7-6 [#x42d7fde] -É÷¼Ù --Åż֤Ë12ʬ¾è¤Ã¤Æ¤¿¤À¤±¤ÇÅǤ¤½¤¦¤Ë¤Ê¤ë¤È¤«¤É¤¦¤¤¤¦¤³¤È¡© -eclipse --¥¬¥ê¥ì¥ª¤Ï¸À¸ì¥Ñ¥Ã¥¯¤Þ¤À̵¤¤¤Î¤Í¡¢¤¬¤Ã¤«¤ê **2009-7-5 [#x42d7fde] -É÷¼Ù --°ú¤¤¤¿¡¢ÌÀÆü¥Æ¥¹¥È¥»¥ó¥¿¡¼¤Ê¤Î¤Ë¡¢¤Þ¤¡¼£¤¹¤±¤É¤Í **2009-6-30 [#x42d7fde] -¥¤¥ó¥¿¡¼¥ó --NRI¤ÈÅì¼Ç¤Î¸¦µæ½ê¤Ë½Ð¤·¤¿ --NRI¤ÏESÄ̤ä¿¡¢¥Æ¥¹¥È¥»¥ó¥¿¡¼¹Ô¤«¤Ê¤¤ã -¸¦µæ --²¿¤·¤è¤¦Ž¥Ž¥Ž¥atomic»È¤Ã¤Æ¤Ê¤ó¤«¥â¥Ç¥ë½ñ¤¤¤Æ¤ß¤è¤¦¤«¤Ê **2009-6-25 [#x42d7fde] -uniq¤¬ÆÀ°Õ¤Ê¤â¤Î --°ìÈÌŪ¤Ê¸À¤¤Êý¤¬¤¢¤ë¤È¡¢³Ø²ñ¤Çʹ¤«¤ì¤Æ¤âÌòΩ¤Ä --ºÇÄãǽ·×»»¤È¤Ç¤â¸À¤¦¤«(ÀèÀ¸¤è¤ê) **2009-6-23 [#x42d7fde] -¸¦µæ´Ä¶¤Î°Ü¹Ô --ºûÅ礵¤óPC¤³¤ÈNIOLO(¥Ë¥ª¥í)¤Ë´Ä¶¤ò°Ü¹ÔÃæ -¥ê¥â¡¼¥È¥Ç¥¹¥¯¥È¥Ã¥× ++TeraTerm¢ªÀßÄꢪSSHžÁ÷¢ªÄɲà ++¥í¡¼¥«¥ë¤Î¥Ý¡¼¥È:13389¡¢¥ê¥â¡¼¥È¦¤Î¥Û¥¹¥È:Áàºî¤¹¤ëPC¤ÎIP¥¢¥É¥ì¥¹¡¢¥Ý¡¼¥È:3389¢ªOK¢ªÀßÄê¤ÎÊݸ ++(Vista)¥¢¥¯¥»¥µ¥ê¢ª¥ê¥â¡¼¥È¥Ç¥¹¥¯¥È¥Ã¥×Àܳ¢ª¡Ölocalhost:13389¡×¤ÈÆþÎϤ·Àܳ --¢»²¹Í¤Þ¤Ç¤ËÃæÌ¤ó¤Î¥ê¥â¡¼¥È¥Ç¥¹¥¯¥È¥Ã¥×¤Î¤ä¤êÊý¥Ú¡¼¥¸ ---[[SSH¥È¥ó¥Í¥ê¥ó¥°¤Ç¡Á:http://www.ueda.info.waseda.ac.jp/~nakano/index.php?SSH%A5%C8%A5%F3%A5%CD%A5%EA%A5%F3%A5%B0%A4%C7%A5%EA%A5%E2%A1%BC%A5%C8%A5%C7%A5%B9%A5%AF%A5%C8%A5%C3%A5%D7]] **2009-6-18 [#x42d7fde] -½ª¤ï¤Ã¤¿¡£¡À(^¡û^)¡¿¤Ç¤Ï¤Ê¤«¤Ã¤¿¤È»×¤¦¡£ --¤¢¤¤¤Ä¤Ê¤é¡¢¡Ö¤É¤ó¤Ê¤â¤ó¤¸¤ã¡Á¤¤¡ª¡×¤È¸À¤¦¤À¤í¤¦¡£ -ÀèÀ¸´Þ¤á¤ß¤ó¤Ê¡¢Æä˰½Ìî¤Ë¤Ï´¶¼Õ¤·¤Æ¤â¤·¤¤ì¤Ê¤¤¡£¤¢¤ê¤¬¤È¤¦¤´¤¶¤¤¤Þ¤·¤¿¡£ **2009-6-12¢ [#x42d7fde] ***monkey and banana [#pb52ae42] -¤µ¤é¤Ëû¤¯¤·¤Æ¤ß¤¿¡© --¤ä¤Ã¤Ñ¤ê¤Ê¤ó¤«¢¤Îafter¤ÎSV¤Ï°ã¤¦¤«¤â¡¢¤¢¤ó¤Ê¤¤ì¤¤¤Ë´Ä¾õ¤Ë¤Ï¤Ê¤é¤Ê¤¤µ¤¤¬¤¹¤ë --¤½¤ì¤ÈËì¤ò»È¤Ã¤¿Íýͳ¤¬¡ÖCHR¤Ë¤ÏË줬̵¤¤¤«¤é»È¤Ã¤¿¤éÌÌÇò¤¤¤«¤â¡×¤È¤«¤¤¤¦Íýͳ¤À¤Ã¤¿µ¤¤¬¤·¤¿¡¢ÆäËÌÌÇò¤¯¤â¤Ê¤«¤Ã¤¿¤è¤¦¤Ê¤Î¤ÇËì¤ò»È¤ï¤Ê¤¤¤Ç½ñ¤¤¤Æ¤ß¤¿ -after¤Îafter p(goal,no). p(a,box). p(b,stick). p(c,no,monkey(no)). p(P1,O1,M), p(P2,O2) :- p(P1,O1), p(P2,O2,M). p(P,O,monkey(no)) :- p(P,no,monkey(O)). p(P,no,monkey(O)) :- p(P,O,monkey(no)). p(P,box,M) :- p(P,box(M)). p(P,box(M)) :- p(P,box,M). p(goal,box(monkey(stick))) :- got_banana. --¥¬¡¼¥É¤Ëunary½ñ¤«¤Ê¤¯¤Æ¤¤¤¤¤«¤é¤¹¤Ã¤¤ê¤·¤Æ¤ë¡¢¿Þ¤âÀµ¤·¤½¤¦(¤Á¤ç¤Ã¤È±ø¤¤¤¬) --¤¢¤È¸Ä¿ÍŪ¤Ë±î¤Ïmonkey¤È½ñ¤¤¿¤¤ **2009-6-12 [#x42d7fde] ***monkey and banana [#pb52ae42] -¥³¡¼¥É¤òû¤¯¤·¤Æ¤ß¤¿ --SLIM¤ÏÀ°¿ô¥¢¥È¥à¤¬Ìµ¤¤¤«¤é¡¢±î¤¬²¿¤â»ý¤Ã¤Æ¤¤¤Ê¤¤¾õÂÖ¤òmonkey(0)¤Çɽ¤·¤Æ¤·¤Þ¤¦¤È¡¢Î㤨¤Ðmonkey(box)¤Î¾õÂÖ¤ËÂФ·¤Æ¡Ömonkey¤¬²¿¤â»ý¤Ã¤Æ¤¤¤Ê¤¤¾ì¹ç¡×¤òȽÄê¤Ç¤¤Ê¤¤ ¤³¤ó¤Ê¾ì¹ç¡§ monkey(X) :- X\=0 | Ž¥Ž¥Ž¥. ---\=¤Ïunary·¿°Ê¾å¤ÎÈæ³Ó¤À¤«¤é¡¢0¤¬À°¿ô¥¢¥È¥à¤¸¤ã¤Ê¤¤¤È¥À¥á¡¢¤¢¤¿¤ê¤Þ¤¨¤À¤¬java¤Ê¤é¤³¤Î¥¬¡¼¥É¤Ïok --¤·¤ç¤¦¤¬¤Ê¤¤¤«¤éÆ»¶ñ¤¬²¿¤â̵¤¤ÃÏÅÀ¤Ë¤Ïobject(none)¤òÇÛÃÖ¡¢none¤Ê¤é±î¤Ï»ý¤Ã¤Æ¤¤¤ëʪ¤òÃÖ¤¯¡¢¤È¤·¤¿¡Êmonkey(none)¤Ç¤âÆ»¶ñ¤òÃÖ¤¯Æ°ºî¤¬È¯À¸¤·¤Á¤ã¤¦¤±¤É¡Ë {mk(X), ob(no), $p} :- unary(X) | {mk(no), ob(X), $p}. -before {goal}, {a,obj(box)}, {b,obj(stick)}, {c,monkey(none)}. cond(none). move@@ {monkey(X), $p}, {$q} :- unary(X) |{$p}, {monkey(X), $q}. hold@@ {monkey(none), obj(X), $p} :- unary(X) |{monkey(X), $p}. put@@ {monkey(X), $p}, cond(C) :- \+($p=(obj(Y),$pp)), X\=C | {monkey(none), obj(X), $p}, cond(C). get_on@@ {monkey(X), obj(box), $p} :- unary(X) | {monkey(X,box), $p}. get_off@@ {monkey(X,box), $p} :- unary(X) | {monkey(X), obj(box), $p}. goal@@ {goal, monkey(stick,box) } :- got_banana. -after {goal,ob(no)}, {a,ob(box)}, {b,ob(stick)}, {c,mk(no),obj(no)}. {mk(X), $p}, {$q} :- unary(X) |{$p}, {mk(X), $q}. {mk(no), ob(Y), $p} :- unary(Y) |{mk(Y), ob(no), $p}. {mk(X), ob(no), $p} :- unary(X) | {mk(no), ob(X), $p}. {mk(X), ob(box), $p} :- unary(X) | {mk(X,box), $p}. {mk(X,box), $p} :- unary(X) | {mk(X), ob(box), $p}. {mk(stick,box), goal} :- got_banana. -SV¤Ï¤³¤ó¤Ê´¶¤¸ #ref(monkey0612__.jpg) --before¤ÎSV¤È¸«Èæ¤Ù¤Æ¤«¤Ê¤ê¤¹¤Ã¤¤ê¤·¤Æ¤·¤Þ¤Ã¤¿ --Æ»¶ñ¤òÃÖ¤¯Æ°ºî¤Î¥»¥ë¥Õ¥ë¡¼¥×¤¬µ¤¤Ë¤Ê¤ë¤±¤É¡¢¤Þ¤¡¡¢ÌۤäƤê¤ã¤ï¤«¤é¤ó¤«¤ÊŽ¥Ž¥Ž¥ **2009-6-11 [#x42d7fde] ***JSAIȯɽÎý½¬ [#pb52ae42] -¤ä¤Ã¤¿¤Ã¤¿ -19ʬ¡¢¤¦¡¼¤óºï¤é¤Ê¤¤ã¤¤¤«¤ó¤Î¤« -¿§¡¹°Õ¸«¤¤¤¿¤À¤±¤¿¡¢¤¢¤ê¤¬¤¿¤¤ -¶¶ÅϤê¤ò½ü¤¯¡¢Âå¤ï¤ê¤ËºÇ½é¤Ë¥â¥ó¥¡¼¤ò»ý¤Ã¤Æ¤¯¤ë --¥â¥ó¥¡¼¤ÇSV¸«¤»¤¿¤È¤¤Ë¡Ö¤³¤Î¥°¥é¥Õ¤¬¾õÂÖ¶õ´Ö¤Ç¤¹¡ª¡×¤È¸À¤¦ --¤Ç¡¢ÀÖ¤¤ÅÀ¤¬ºÇ½ª¾õÂÖ¤À¤«¤é¡¢¾õÂÖ¶õ´Öõº÷¤Ç¤¤Æ¤ë¤Ç¤·¤ç¡©¤È¸À¤¦ --¥â¥ó¥¡¼¤Î²òÀâ¤Î¼¡¤Ë¥½¡¼¥¹¤ÎÀâÌÀ¤ò»ý¤Ã¤Æ¤¯¤ë¤«¡©Í׸¡Æ¤ ---ÀèÀ¸¤Î°Õ¸«¤Ç¤Ï¡Ö¥½¡¼¥¹¤Ï¸«¤»¤¿¤Û¤¦¤¬¤¤¤¤¡× -2ËçÌܤϤ½¤Î¤Þ¤Þ¡¢¥ë¡¼¥ë¤Ï¤½¤â¤½¤â¥Ø¥Ã¥É:-¥¬¡¼¥É|¥Ü¥Ç¥£.¤À¤È¸À¤¦ -3ËçÌܤϤâ¤Ã¤È¥Ä¡¼¥ë¤Î¾Ò²ð¤Ã¤Ý¤¯¤¹¤ë¡¢¤¢¤ì¤â¤¢¤ë¤³¤ì¤â¤¢¤ë --ºÇ¸å¤Ë¤³¤ì¤é¤Î¥Ä¡¼¥ë¤ÏÁ´Éô¸ø³«¤µ¤ì¤Æ¤¤¤Þ¤¹¤è¡¢Åª¤Ê´¶¤¸¤ÇURL -¤³¤ÎÊÕ¤ê¤Ë¸¦µæ¤ÎÇطʤÈÌÜŪ¤ò»ý¤Ã¤Æ¤¯¤ë -¾õÂÖ¶õ´Öõº÷¡ --Ä̾ï¼Â¹Ô(·èÄêŪ¼Â¹Ô)¤ÈÈó·èÄê¼Â¹Ô¤Ëʬ¤±¤Æ½ñ¤¯ ---º®Í𤵤»¤Á¤ã¤¦¤«¤â -ÎãÂê¥â¥ó¥¡¼ --ºÇ½é¤Ë»ý¤Ã¤Æ¤¤¤¯¤«¤éÈ´¤¯ -¾õÂÖ¶õ´Öõº÷¢ --¤³¤ó¤Ê¤â¤ó¡¢¸½¾õ°Ý»ý -SWP --¤Á¤ã¤ó¤È¥½¡¼¥¹Æɤޤʤ¤¤È¡¢º£Æü¤Ï¥«¥ó¥Ú¼ºÇÔ¤À¤Ã¤¿¡¢»þ´Ö¤â -¾õÂÖ¶õ´Öõº÷£¤Ë¤¹¤ë --º£¤Þ¤Ç¤Î¡ÖuniqÀ©Ìó¤ÎƳÆþ¡×¤òÆþ¤ì¤ë --CHR¤ÎÉôʬ¤Ë¤³¤ó¤ÊÎãÂê¤ò½ñ¤¤Ë¤¯¤«¤Ã¤¿(ñ½ã¤Ê¤â¤Î)¤òÆþ¤ì¤¿¤Û¤¦¤¬¤è¤¤ --path consistency¤¬»È¤¨¤½¤¦¡¢¤â¤¦¥¨¥ó¥³¡¼¥É¤·¤Æ¤¢¤ë¤· -uniqÀ©Ìó¤Î³èÍÑÎã --ºÇ¸å¤Î¥Ú¡¼¥¸¤È¤«¡¢¤È¤Ë¤«¤¯¤É¤Ã¤«¤Ë»ý¤Ã¤Æ¤¯ --¤Ç¡¢uniq¤À¤±¤¸¤ã¤Ê¤¤¡¢¥â¥Ç¥ë¸¡ºº¤È¤«ÍåÎó¤Ç¤¤¤¤¤«¤é½ñ¤¤¤Æ¤ª¤¯ ---¤½¤Î¾¤ÎÎãÂê¤ÏPPL2009¸«¤Æ¤¯¤ì¡¢¤Ï½ñ¤¯¤«¤ï¤«¤é¤ó -¥×¥ì¥¼¥ó¥È¸ò´¹¤Èuniq¤ÎÍøÅÀ --ÌäÂê¤Ê¤·¤«¤Ê -¤Þ¤È¤á¤Èº£¸å¤Î²ÝÂê --¡ßÎã¤ò¾Ò²ð¤·¤¿ --¡û¤¬¤Ç¤¤ë!! **2009-6-5¤½¤Î2 [#x42d7fde] ***uniq¤Î¥Ð¥° [#pb52ae42] -²ò·è -lmn_mem_ruleset_equals --¥Ç¥Ð¥Ã¥°¤Î¤¿¤á¤Ëifʸ¤Î¹½Â¤¤òÊѤ¨¤Á¤ã¤Ã¤¿¤Î¤¬¤¤¤±¤Ê¤«¤Ã¤¿ ***atomic [#pb52ae42] -ºÇ¿·ÈÇSLIM¤òÍî¤È¤·¤Æ¤¤¿ --atomic¼Â¹Ô¤¬¤¦¤Þ¤¯¤¤¤«¤Ê¤«¤Ã¤¿ ---¤Ê¤ó¤«½ñ¤Êý¤¬¤Þ¤Á¤¬¤Ã¤Æ¤ë¤ó¤À¤í¤¦¡¢ÌÀÆü¤â¤¦¾¯¤·¤Á¤ã¤ó¤È¤ä¤Ã¤Æ¤ß¤ë **2009-6-5 [#x42d7fde] ***uniq¤Î¥Ð¥° [#pb52ae42] -¤³¤ì¤ÏOK. a(1). a(2). a(A1) :- uniq(A1) | a(A1). --> init:14705432 14803304::::a(1). a(2). @3 14779512::14803304::a(2). a(1). @3 14710464::14803304::a(1). a(2). @3 14705432::14710464,14779512::a(1). a(2). @3 # of States = 4 -¤Ç¤â¥ë¡¼¥ë¤ò°ì¤ÄÁý¤ä¤¹¤È¥À¥á a(1). a(2). a(A1) :- uniq(A1) | a(A1). a:-b. --> init:14697920 14697920::14697920::a(1). a(2). @3 # of States = 1 -È¿±þÁ°¤ÈÈ¿±þ¸å¤Ç¥¢¥È¥à¤¬ÊѤï¤é¤Ê¤¤¤è¤¦¤Ê¥ë¡¼¥ë¤ò½ñ¤¤¤¿¤È¤¤Ë¡¢Â¾¤Ë¥ë¡¼¥ë¤¬¤¢¤ë¤È¥À¥á¤ß¤¿¤¤¤À --¤É¤¦¤ä¤éÍúÎòɽ¤ÎÅù²ÁÀȽÄê¤ÎÌäÂê¡¢¸å¼Ô¤ÎÎã¤Ç¤â¸Æ¤Ó½Ð¤µ¤ì¤Æ¤Ï¤¤¤ë¤±¤ÉƱ·¿¤À¤ÈȽÄꤵ¤ì¤Á¤ã¤Ã¤Æ¤ë ***JSAIȯɽ»ñÎÁ [#b8bcd936] -ÀèÀ¸¤«¤é¤¤¤¿¤À¤¤¤¿°Õ¸« --ή¤ì¤òÂ礤¯Êѹ¹¤¹¤Ù¤½ê¤Ï¤Ê¤¤ --¥â¥Ç¥ë¸¡ºº¤ÎÏäò0¤À¤È¤ä¤Ã¤Ñ¤ê¤À¤á¤«¤â¡¢LMNtal¤Ï¿§¡¹¤Ç¤¤ë¤È¸À¤Ã¤¿¤Û¤¦¤¬¤¤¤¤ --¶¶ÅϤꡦ¥â¥ó¥¡¼¤Ï¥Ñ¥º¥ëÌäÂê¡¢¤â¤Ã¤È¸¡¾Ú½¤¤ÎãÂê¤òÆþ¤ì¤é¤ì¤Ê¤¤¤« ---PPL¤ÎÎãÂê¤ò»È¤Ã¤Æ¤â¤è¤¤ --slim0.5.0¤ËÂбþ¤µ¤»¤Æ¤ß¤Æ¤Ï¡© -CHR¤È¤ÎÈæ³Ó¤òºÜ¤»¤Æ¤¤¤Ê¤«¤Ã¤¿ --Ʊ¤¸¤¯¤é¤¤¤Îɽ¸½ÎϤ¬¤¢¤ë --LMNtal¤ÏCHR¤Î¥¹¡¼¥Ñ¡¼¥»¥Ã¥ÈŪ¤Ê¸ºß¤Ë¤Ê¤ì¤¿¤È¸À¤¦ --Èæ³Ó¤Ë»È¤¦ÎãÂê¤ÏÀ©ÌóÌäÂê¤Ç¤â¤è¤¤¡¢Ãµº÷¤È¤«¤¸¤ã¤Ê¤¯¤Æ¤â¤è¤¤ --atomic¤¢¤ì¤ÐCHR¤ÎÎãÂê(¿ôÆȤȤ«)²ò¤±¤Ê¤¤¤« -ayano¤È¤ÎÁêÃ̤è¤ê --¥×¥ì¥¼¥ó¥È¸ò´¹¤ò±þÍѤ·¤¿ÎãÂê¤ò̵ÍýÌðÍý¹Í¤¨¤ë -iwataso¤è¤ê --uniq¤Î»ÈÍÑÎã¤Ï¤â¤¦¾¯¤·´ÊÁǤǡ¢¥ê¥ó¥¯¤Î¤¢¤ë¤Ê¤·¤¯¤é¤¤¤Î°ã¤¤¤Ç¤¤¤¤¤Î¤Ç¤Ï **5/30,31¸À¸ìÈɹç½É¤Ë¸þ¤±¤Æ [#lbead594] -¤³¤¦¤¤¤¦¤³¤È¤¸¤ã¤Ê¤«¤Ã¤¿¤éÄÄ¼Õ -¥ë¡¼¥ë --¥¬¡¼¥É¤Îor¡¢¤¢¤ë¤¤¤ÏifʸŪ¤Ê½ñ¤Êý(if¤Ïmodule¤È¤·¤ÆÍÑ°Õ¤µ¤ì¤Æ¤ë¤±¤É) Head :- Guard1 && Guard2 | Body. ==> Head :- Guard1 | Body. Head :- Guard2 | Body. ---£²¤Ä¤Î¥ë¡¼¥ë¤ËÊÑ´¹¤¹¤ë¡¢¤ß¤¿¤¤¤Ê¡© ---Æ°µ¡¡©Æ±¤¸¤è¤¦¤Ê¥³¡¼¥É¤ò½ñ¤¯¤Î¤¬¤á¤ó¤É¤¤ --ÈÝÄê ---ÈÝÄê¤Ï¤É¤¦¤Ê¤ó¤À¤í¤¦¡© ---(¥ë¡¼¥ë¤Ï)¼«Ê¬¤¬Â°¤·¤Æ¤¤¤ë³¬ÁؤÎü¤Ï¸«¤ì¤Ê¤¤¤«¤é̵Íý¤À¡¢¤ß¤¿¤¤¤ÊÏäò¤·¤Æ¤¤¤¿µ²±¤¬ --¡ÊºÙ¤«¤¤¤±¤É¡ËSimpagation rule(¥Ð¥Ã¥¯¥¹¥é¥Ã¥·¥åµË¡)¤òºÇŬ²½¤·¤Æ¤¯¤ì¤¿¤é´ò¤·¤¤ ---¤½¤â¤½¤â»È¤¦¿Í¤¬¤Û¤ó¤È¾¯¤Ê¤¤¤±¤É¤Í¡¢²¶¤Ï¤¿¤Þ¤Ë»È¤¤¤¿¤¯¤Ê¤ë a \ b <=> c. ---\¤Î¸å¤í¤ò¥Ü¥Ç¥£¤È½ñ´¹¤¨ ---CHR¤Ç¤Ï¡¢a¤Ï¥Þ¥Ã¥Á¥ó¥°¤Î¤È¤¤À¤±»²¾È¤µ¤ì¤Æ¡¢½ñ´¹¤¨¤Î¤È¤¤Ï¿¨¤é¤Ê¤¤ ---¡ÖSimplification rule¤ÎºÇŬ²½¤Î·Á¡×¤È½ñ¤«¤ì¤Æ¤¤¤ë ---LMNtal¤Ç¤Ïa¤â¾Ã¤·¤Æ¤Þ¤¿À¸À®¤·¤Æ¤ë **2009-5-15 [#x42d7fde] ***uniq¤ÎÎãÂê [#b8bcd936] -¤¤¤í¤ó¤Ê¤â¤Î¤Ë¼ê¤ò½Ð¤·¤¹¤®¤¿¡¢¾¯¤·À°Íý¤·¤¿¤Û¤¦¤¬¤¤¤¤ -ȯɽ»ñÎÁ¤â¤â¤Ã¤È¤·¤Ü¤Ã¤Æ¤¤¤³¤¦ **2009-5-15 [#x42d7fde] ***uniq¤ÎÎãÂê [#b8bcd936] -CHR¤Ë¿ôÆȤ¬¤¢¤Ã¤¿¤«¤é¡¢LMNtal¤Ç¤â¤ä¤Ã¤Æ¤ß¤ë --CHR¤ÎÊý¤ÏPropa¡Á¤Ä¤«¤Ã¤Æ¤Ê¤¤¤±¤É¡¢uniq»È¤¦¤È¤Á¤ç¤Ã¤ÈÌÌÇò¤¯¤«¤±¤ë¤«¤â **2009-5-12 [#x42d7fde] ***¥Î¡¼¥È¤Ë¥×¥ê¥ó¥¿¥É¥é¥¤¥ÐÆþ¤ì¤¿ [#b8bcd936] -end users¤Î¤Û¤«¤Ë»²¾È¤·¤¿¥Ú¡¼¥¸ --http://h50222.www5.hp.com/support/C7790D/setup/81128.html#top -¥Ï¥ß¥ó¥°¿ô --ÁÇ°ø¿ô¤¬5°Ê²¼¤Î¼«Á³¿ô¤Î¤³¤È --¥Ï¥ß¥ó¥°Éä¹æ¤È¤ÏÊ̤ÎÏäÀ¤Ã¤¿ ***uniq nd [#o6c6ebf6] -¡ßʸ»úÎó¡¡¡û¥Ð¥¤¥ÈÎ󡡤ÎÊý¤¬°õ¾ÝÎɤ¤ **2009-5-12 [#x42d7fde] ***ȯɽ½ªÎ» [#b8bcd936] -¤¿¤¯¤µ¤ó¤Î°Õ¸«¡¢¤Û¤ó¤È¤¦¤Ë¤¢¤ê¤¬¤¿¤¤ &br; -CHR¤È¤ÎÈæ³Ó¤ÎÏäϤȤˤ«¤¯Æþ¤ì¤ë -- -¥¿¥¤¥È¥ë¤¬¾õÂÖ¶õ´Öõº÷ --LMNtal¤Ç¾õÂÖ¶õ´Öõº÷¤ò¤¹¤ë¤È¤Ê¤Ë¤¬¤¤¤¤¤Î¤« --¤É¤¦¤¤¤¦Ãµº÷¤ËŬ¤·¤Æ¤¤¤ë(¤è¤ê¤¤¤¤´¶¤¸¤Ë¤Ê¤ë)¤Î¤« -ή¤ì --ÎãÂê ---ºÇ½é¤ÎÎãÂê¤Ï¡¢²¿¤âuniq¤ò»È¤Ã¤¿¤ä¤Ä¤Ç¤Ê¤¯¤Æ¤â¤ª¤± ---LMNtal¤Çõº÷¤¹¤ë¤È¤³¤ó¤Ê´¶¤¸¡¢¤Ç°ú¤ÉÕ¤±¤ë¡ª --¥¤¥ó¥È¥í --LMNtal¤ò¤µ¤é¤Ã¤È(½èÍý·Ï¤â¤µ¤é¤Ã¤ÈÆþ¤ì¤ë¤«¡¢Á´¤¯Æþ¤ì¤Ê¤¤¤«) --¥â¥Ç¥ë¸¡ºº¤ÎÏäϾʤ¤¤Æ¤â¤¤¤¤¤«¤â ---¤â¤¦¾Ê¤¯¤³¤È¤Ë¤·¤è¤¦¡¢ÃÇÁ³³Ú ---¤à¤·¤íLMNtal¤Ë¤Ï¡¢¾õÂÖ¶õ´Öõº÷¤Î¤¿¤á¤Îµ¡Ç½¡¢nd¼Â¹Ô¤¬¤¢¤ë --ÎãÂê ---¡Ö°ì¹Ô¤Ç½ñ¤±¤¿¡×¤Ï¡¢µ½ÒÎ̺︺¤Î¤¿¤á¤Î¸ÀÍդȤ·¤Æ¸À¤Ã¤Æ¤è¤¤ ---°ì¹Ô¤Ç½ñ¤±¤Æµ¤»ý¤Á¤¬¤¤¤¤ -nd¤ÎÏä·Êý --¼ÂÁõ¤¹¤ë¤È¤¤Ë¡¢Ëì¤ÎƱ·¿ÀȽÄê¤òÆþ¤ì¤¿ --uniqÀ©Ì󤬽ÐÍ褿 --nd¤ËÂбþ¤µ¤»¤ë¤¿¤á¤Ë¤Ï¡¢ÍúÎòɽ¤â¸«¤Ê¤¤ã¤Í -¥Ú¥¢¤ÎÀ¸À® --ͤê̵¤·¤Î¾ì¹ç¤Ç°ÕÌ£¤¬°ã¤¦¤Î¤Ç¤Ï¡© ---¤½¤¦¤«¤âŽ¥Ž¥Ž¥¡£ ---¤Ç¤â¤Ê¤ó¤«¤¦¤Þ¤¯»È¤¨¤½¤¦¤Êµ¤¤¬¤¹¤ë -Spanning Spider¤ònd¤Ç½ñ¤¯ -¥¹¥é¥¤¥É12 --uniq¤òŬÍѤǤ¤ë¥°¥é¥Õ¤Ï¡¢¤â¤Ã¤ÈÂ礤¯Ê£»¨¤Ê¤ä¤Ä¤Ç¤âÂç¾æÉפÀ¤È¤¤¤Ã¤¿¤Û¤¦¤¬¤¤¤¤ --¿Þ¤âÆþ¤ì¤è¤¦ **2009-4-29 [#x42d7fde] ***uniq nd¤Ø¤ÎÆ» [#b8bcd936] -°ì±þ¡¢Àµ¾ï¤ËÆ°¤¯¤è¤¦¤Ë --ÏÀʸ¤Î¤Ê¤ó¤Á¤ã¤Ã¤ÆÎãÂê¤ÈƱ¤¸¾õÂÖÁ«°Ü¤Ë¤Ê¤Ã¤Æ¤ë¤«¤é¡¢¤¢¤Ã¤Æ¤ë¤À¤í¤¦ --¤Ç¤â¿·¤¿¤Ë½èÍý¤òÄɲ䷤Ƥë¤ó¤À¤è¤Ê¤¡ --¥Ý¥¤¥ó¥¿¼õ¤±ÅϤ·¤È¥³¥Ô¡¼¤Î»È¤¤Ê¬¤±¤ÎÉôʬ¤Î¥Ð¥°¤ò¸«¤Ä¤±¤Æľ¤·¤¿¤ï¤±¤¸¤ã¤Ê¤¤ **2009-4-29 [#x42d7fde] ***lmn_mem_rulesets_equals [#b8bcd936] -ruleset¿ô¤¬0¤Ê¤éÈæ³Ó¤·¤Ê¤¯¤Æ¤¤¤¤¤¸¤ã¤ó ***³°ÉÕ¤±¥¡¼¥Ü¡¼¥É¡Ü¥Þ¥¦¥¹¡¢PC¥¹¥¿¥ó¥É [#b8bcd936] -¥Î¡¼¥ÈPC¤¬¤Þ¤ë¤Ç¥Ç¥¹¥¯¥È¥Ã¥×PC¤Î¤è¤¦¤Ë **2009-4-28 [#x42d7fde] ***interpret¥á¥â [#b8bcd936] 142 src/task.c static BOOL interpret(LmnRule rule, LmnRuleInstr instr, LmnRuleInstr *next); 365 src/task.c (inst_seq && interpret(rule, inst_seq, &dummy)); 736 src/task.c if(interpret(rule, instr, next_instr)) { 776 src/task.c if(interpret(rule, instr, next_instr)) { 851 src/task.c ret = interpret(rule, instr, next_instr); 955 src/task.c interpret(rule, instr, &instr); 1036 src/task.c if (interpret(rule, instr, &instr)) { 1102 src/task.c if (interpret(rule, instr, &instr)) { 1143 src/task.c if (mp->name == memn && interpret(rule, instr, &instr)) { 1406 src/task.c if (interpret(rule, instr, &instr)) { 2003 src/task.c interpret(rule, instr, next_instr); 2288 src/task.c if(interpret(rule, instr, next_instr)) { 3021 src/task.c if (!interpret(rule, instr, &instr)) return FALSE; 3030 src/task.c if (interpret(rule, instr, &instr)) return TRUE; 3039 src/task.c while (interpret(rule, instr, &instr)) ; **2009-4-25 [#x42d7fde] ***www-admin [#b8bcd936] -¹½À®°÷¤ò¹¹¿·¤·¤Æ¤ß¤¿ **2009-4-20 [#x42d7fde] ***JSAI2009 [#b8bcd936] -̵»ö¡Ê¡©¡ËÄó½Ð¤Ç¤¤Þ¤·¤¿¡£ --³§¤µ¤ó¤Î¤ª¤«¤²¤Ç¤¹¡£¤¢¤ê¤¬¤È¤¦¤´¤¶¤¤¤Þ¤·¤¿¡£ **2009-4-15 [#x42d7fde] ***JSAI2009 [#b8bcd936] -ÈÉ¥¼¥ß¤Ç¼ÁÌ䤷¤¿¤¤¤³¤È --ÏäÎή¤ì ---LMNtal¤Ë¤Ï¥â¥Ç¥ë¸¡ºº´ï¤¬¤¢¤ë¢ªuniq¤òÄɲ䷤ƹ¹¤Ê¤ë¸¡¾Ú¤Î²ÄǽÀ¤¬¹¤¬¤ë±¾¡¹ ---uniq¤¬¤¢¤ë¤È¡¾õÂÖ¿ô¤Îºï¸º¤äÁ«°Ü¤Î´ÊÁDz½¢º£¤Þ¤Ç¤è¤ê´Ê·é¤Ê¥â¥Ç¥ë¤Îµ½Ò¤¬¤Ç¤¤ë --ÎãÂê(¥Ú¥¢¤È¥×¥ì¥¼¥ó¥È) --Ëç¿ô --ËìƱ·¿ÀȽÄê¤Ë¥ë¡¼¥ë¤ò¸«¤ëÉôʬ¤òÄɲä·¤¿¤¬¡¢¤É¤¦¤¤¤¦É÷¤Ëʸ¾Ï¤Ë¤¹¤ë¤« ***uniq [#b8bcd936] -¤ä¤Ã¤Ñ¤ê¥ë¡¼¥ÈËìÆâ¤È¤½¤ì°Ê²¼¤Ç¼Â¹Ô·ë²Ì¤Ë¼ã´³¤Î°ã¤¤¤¬¡£¡£¡£ **2009-4-14 [#x42d7fde] ***JSAI2009 [#b8bcd936] -ÎãÂê¡¢¤³¤ó¤Ê¤Î¤Ï¤É¤¦¤À¤í¤¦¤« -a,b,c¤È¤¤¤¦¥°¥ë¡¼¥×¤Ë°¤¹¤ë¿Í㤫¤éÆó¿Í¤òÁª¤ó¤Ç¥Ú¥¢¤òºî¤ë¡£ --¾ò·ï£±¡§Æ±¤¸¥°¥ë¡¼¥×Ʊ»Î¤Ç¥Ú¥¢¤òºî¤Ã¤Æ¤Ï¤¤¤±¤Ê¤¤ --¾ò·ï£²¡§Æ±¤¸ÁȤ߹ç¤ï¤»¤¬Æó¤Ä½ÐÍè¤Æ¤Ï¤¤¤±¤Ê¤¤¡Ê´Êñ¤Ë¤¹¤ë¤¿¤á¡¢pair(a,b)¤Èpair(b,a)¤Ï°ã¤¦ÁȤ߹ç¤ï¤»¡Ë¡£ --¾ò·ï£±¡¢£²¤Î²¼¤ÇºÇ¤â¿¤¯¤Î¥Ú¥¢¤òºî¤ì¤ëÁȹç¤ï¤»¤Ï²¿Ä̤ꤢ¤ë¤«¡£ ---SV¤Ç¤³¤Î¡ÖºÇ¤â¿¤¤¡×Áȹ礻¤òºî¤ì¤Æ¤¤¤ë¾õÂ֤ϰìÈÖ±¦¤ÎÎó¤Ë¤¢¤ëºÇ½ª¾õÂÖ ½é´ü¾õÂÖ¡§ (¸«¤ì¤Ðʬ¤«¤ë¤È»×¤¦¤¬¡¢a¥°¥ë¡¼¥×¤Ï4¿Í¡¢°Ê²¼Æ±ÍÍ) p(a).p(a).p(a).p(a). p(b).p(b).p(b). p(c).p(c). uniq̵¡§ p(X), p(Y) :- X\=Y | pair(X, Y). pair(X1, Y1), pair(X2, Y2) :- X1=X2, Y1=Y2 | pair(X1, Y1), p(X2), p(Y2). uniqÍ¡§ p(X), p(Y) :- uniq(X, Y), X\=Y | pair(X, Y). -uniq̵¤Î¾ì¹ç --¤Þ¤º°ì¤ÄÌܤΥ롼¥ë¤À¤±¤¸¤ã¾ò·ï£²¤òËþ¤¿¤»¤Ê¤¤(pair(a,b), pair(a,b)¤È¤«¤¬Æ±»þ¤ËÀ¸À®¤µ¤ì¤Á¤ã¤¦) --¤µ¤é¤Ë¾õÂÖ¿ô¤¬Â¿¤¤¡¢SV¤¬¸«¤Ë¤¯¤¤ ---Á´¾õÂÖ¿ô93¡¢ºÇ¤â¿¤¯¥Ú¥¢¤òºî¤Ã¤¿ºÇ½ª¾õÂÖ5(2ËÜÌܤΥ롼¥ë¤Î¤»¤¤¤ÇƱ¤¸Îó¤Ë¤Ï¾¤Ë24¤ÎÈóºÇ½ª¾õÂÖ¤¬¤¢¤ë) #ref(090414_1.jpg) -uniqÍ --°ìËܤΥ롼¥ë¤Ç¾ò·ï£±¡¤£²¤òËþ¤¿¤·¤Æ¤¤¤ë --¾õÂÖ¿ô¤¬¾¯¤Ê¤¤¡¢¸«¤ä¤¹¤¤¡ª ---Á´¾õÂÖ¿ô43¡¢ºÇ¤â(ά)ºÇ½ª¾õÂÖ5(Ʊ¤¸Îó¤ËÈóºÇ½ª¾õÂÖ¤Ï̵¤¤¡ª) ---¥Ð¥°¤ÇÁ´Á«°Ü¤¬É½¼¨¤µ¤ì¤Æ¤¤¤Ê¤¤¤¬¡¢¾õÂÖ¿ô¤ÏÀµ¾ï #ref(090414_2.jpg) -¤Ç¤â¾õÂÖ¿ô¤¬¤É¤ó¤É¤ó¿¤¯¤Ê¤ë¤È·ë¶ÉuniqͤǤ⸫¤Å¤é¤¯¤Ê¤Ã¤Á¤ã¤¦¤«¤é¡¢Èù̯¤«¤Ê -Á´¾õÂÖ¿ô¤¬¸º¤é¤»¤ë¡¢¤Ã¤Æ¤À¤±¤Ç¤âÎɤ·¤È¤¹¤ë¤«¡© **2009-4-13 [#x42d7fde] ***ÀèÀ¸¤Î¥¼¥ßȯɽ [#he465b9e] -¥â¥Á¥Ù¡¼¥·¥ç¥ó¤Î¤È¤³¤í¤Ç¡¢¤Ê¤ë¤Ù¤¯¥Ç¡¼¥¿¤ò -¸¶¤µ¤ó¤Î̾Á°¤ò¤É¤³¤«¤Ë¡© --¸¶¤µ¤ó¤Î¸¦µæ¤Ï¤³¤³¤¬¤è¤«¤Ã¤¿¡¢¼«Ê¬¤Ï¤µ¤é¤Ë³ÈÄ¥¤·¤¿ ***JSAI [#q70c2160] -¥Ð¥°¤¬¤¢¤ë --°ú¿ô̵¤·uniq¤ÎÊÕ¤ê **2009-4-12 [#x42d7fde] ***&size(40){&color(blue){u};&color(red){n};&color(yellow){i};&color(green){q};};&size(20){&color(black){¡¡¡Ánd¤Ø¤ÎÆ»¡Á};}; [#g7d84d90] #ref(090413.jpg) **2009-4-11 [#x42d7fde] ***uniq¡§nd¤Ø¤ÎÆ» [#g7d84d90] -ºòÆü¤Îºî¶È¤Ç¤À¤¤¤ÖÁ°¤Ë¿Ê¤ó¤À¤¬¡¢ --¤ª¤½¤é¤¯Ëì¤Î¥³¥Ô¡¼¡¢rulesets¤ÎÊ£À½ÊÕ¤ê¤ò¤â¤¦°ìÅÙ¸«Ä¾¤¹É¬Íפ¬¤¢¤ë --¤½¤ì¤«¾õÂÖÀ¸À®¤ÎÉôʬ **2009-4-10 [#x42d7fde] ***JSAI2009 [#g7d84d90] -ÏÀʸ¤Î¤É¤³¤«¤Ë¡¢¡Öº£²ó¤Î¼ÂÁõ¤Ï¡¢¤½¤ó¤Ê¤ËÂ礤ʥâ¥Ç¥ë¤ò°·¤¦¤³¤È¤òÁÛÄꤷ¤Æ¤¤¤Ê¤¤¡×¤ß¤¿¤¤¤Ê¤³¤È¤ò½ñ¤¤¤¿¤Û¤¦¤¬¤¤¤¤¤«¤Ê --¾¯¤Ê¤¯¤È¤â¡¢º£¸å¤É¤¦¤¹¤ë¡¢¤ò¤Á¤ã¤ó¤È¸À¤¨¤ë¤Ê¤éÆþ¤ì¤è¤¦ ***uniq¡§nd¤Ø¤ÎÆ» [#tc205fc6] -¥Ï¥Ã¥·¥å¥Æ¡¼¥Ö¥ë¤ÎÅù²ÁÀȽÄê¤Ï´°À®¡Ê°ì±þO(2n)¡Ë --¡¸ß¤¤¤¬»ý¤ÄÍ×ÁÇ¿ô¤ÇÈæ³Ó --¢¥Æ¡¼¥Ö¥ëA¤«¤éÍ×ÁǤò¼è¤ê½Ð¤¹¢ª¥Æ¡¼¥Ö¥ëB¤Ë¤¢¤ë¤«¤É¤¦¤« --£¢¤ÈƱÍÍ¡¢¥Æ¡¼¥Ö¥ëB¢ª¥Æ¡¼¥Ö¥ëA ---st_table_entry.next¤¬NULL¤«¤É¤¦¤«¤Ç½èÍý¤ò·è¤á¤ë¤è¤¦¤Ë¤·¤¿ ---str¥¿¥¤¥×(ʸ»úÎó)¤Î¾ì¹ç¤·¤«»î¤·¤Æ¤¤¤Ê¤¤ -¤è¤Ã¤ÆËìƱ·¿ÀȽÄê¤Ë¤ª¤¤¤Æ¡¢¥ë¡¼¥ë¤¬»ý¤ÄÍúÎò¤Î(¤È¤ê¤¢¤¨¤º¤Î)Åù²ÁÀȽÄ꤬½ÐÍè¤ë¤è¤¦¤Ë¡£ --¡Ë줬»ý¤Äruleset¿ô(¥ë¡¼¥ë¥Æ¥ó¥×¥ì¡¼¥È¿ô)¤òÈæ³Ó --¢rulesets¤«¤é¼è¤ê½Ð¤·¤¿ruleset¤Îid¤òÈæ³Ó¡õruleset¤¬»ý¤Ärule¿ô¤òÈæ³Ó --£ruleset¤«¤é¼è¤ê½Ð¤·¤¿rule¤Î̾Á°¤òÈæ³Ó¡õÍúÎò¤òÈæ³Ó ---¤³¤³¤Ç¤Îrule¤Î̾Á°¤È¤Ï¡¢@@¤Ë¤è¤Ã¤ÆÉղäǤ¤ë¥ë¡¼¥ë̾¤Ç¤Ï¤Ê¤¯¡¢rule¤Î¥á¥ó¥Ðname¤Î¤³¤È¡¢Î㤨¤Ða:-b.¤Îname¤Ïa¡Ê¥Þ¥Ã¥Á¥ó¥°¤ÎºÝ¤Î¥°¥ë¡¼¥×ʬ¤±¤ËÍøÍÑ¡Ë¡£ --¤¡¡Á£¤Ç°Û¤Ê¤ërule¤À¤ÈȽÄê¤Ç¤¤Ê¤«¤Ã¤¿¾ì¹ç¤Ï¡¢Åù²Á¤Ç¤¢¤ë¤È¤·¤¿ -°ìÈÖ´Êñ¤ÊÎã¤È¤·¤Æ¤Ï¡¢¢¤¬ÊѤï¤Ã¤¿ { a(1). a(X) :- uniq(X) | a(X). }. ----------------------------- (before) init:14705000 14705000::14705000::{a(1). @3}. # of States = 1 (after) init:16736616 16810048::::{a(1). @3}. 16736616::16810048::{a(1). @3}. # of States = 2 --½é´ü¾õÂÖ¤ÈÀ¸À®¤µ¤ì¤¿¾õÂ֤Ǥϡ¢¥ë¡¼¥ë¤ÎÍúÎò¤¬°Û¤Ê¤ë(À¸À®¤µ¤ì¤¿¾õÂ֤ǤÏÍúÎò¤Ë1¤¬Æþ¤Ã¤Æ¤¤¤ë)¤Î¤Ç¡¢2¾õÂÖ -ÍúÎòÅù²ÁÀȽÄê¤ÎÊä --¸½Ãʳ¬¤ÇÈæ³ÓºàÎÁ¤È¤·¤ÆÍøÍѤǤ¤ë¤â¤Î¤Ï¤È¤ê¤¢¤¨¤º»È¤Ã¤Æ¤ß¤¿¡¢¤È¤¤¤¦´¶¤¸ ---rule¤Î̾Á°¤È¤«¡¢ruleset¤Îid¤È¤« --¤Ä¤Þ¤ë¤È¤³¤í¡¢ruleset¤Îid¤òÈæ³Ó¤¹¤ë(¡áÀÅŪ¤ËÄêµÁ¤µ¤ì¤¿¥ë¡¼¥ëƱ»Î¤Ïɬ¤º°Û¤Ê¤ë¤â¤Î¤È¤ß¤Ê¤¹)¤¿¤á¡¢rule¤Îname¤ÇÈæ³Ó¤¹¤ëɬÍפÏ̵¤¤¤«¤â --¢¤ÎÃæ¤Ç°ì¤Ä¤Ç¤â°Û¤Ê¤ë¤ÈȽÄꤵ¤ì¤¿¾ì¹ç¤Ï¡¢¤½¤ÎËì¤ÏÈóƱ·¿¡Ê¤È¤·¤Æ¤¤¤ë¡Ë ---Ë줬»ý¤Ärulesets¿ô¡¢ruleset¿ô(@¤Î¿ô)¡¢rule¿ô(@n¤¬»ý¤Ärule¿ô)¤¬°Û¤Ê¤ë ---rulesets¤ÎnÈÖÌܤ˳ÊǼ¤µ¤ì¤Æ¤¤¤ëruleset¤Îid¤¬°Û¤Ê¤ë¡¢¤Þ¤¿¤Ïruleset¤ÎnÈÖÌܤ˳ÊǼ¤µ¤ì¤Æ¤¤¤ërule¤Î̾Á°¤¬°Û¤Ê¤ë(nÈÖÌܤËÆþ¤Ã¤Æ¤¤¤ërulesetƱ»Î¤Þ¤¿¤ÏruleƱ»Î¤òȽÄꤹ¤ë·Á¤Ë¤Ê¤Ã¤Æ¤¤¤ë) ---ÍúÎò¤¬°Û¤Ê¤ë -Ê̤ÎÎã ¡¡§ rule0{a(X):-uniq(X)|ok(X).}. rule1{a(1). }. rule2{a(1). }. rule0{@p}, rule1{$p}, rule2{$q} :- rule1{$p, @p}, rule2{$q, @p}. rule1{$p[], @p}, rule2{$q[], @q} :- mem_eq(H1, H2, a, b, r), {+H1, @p}, {+H2, @q}. ---------------------------------------------------------------- true(r). a(L0). b(L1). {+L1. @3}, {+L0. @3}. @4 ¢¡§ rule1{a(1). a(X):-uniq(X)|ok(X).} rule2{a(1). a(X):-uniq(X)|ok(X).} ---------------------------------- false(r). a(L0). b(L1). {+L1. @4}, {+L0. @3}. @5 --rule0Æâ¤Î¥ë¡¼¥ë¤òrule1,2¤Ë¥³¥Ô¡¼¤·¡¢¤½¤ì¤¾¤ì¤ÎËìÆâŬÅö¤ËÈ¿±þ¤µ¤»¡¢mem_eq¤ÇËìƱ·¿ÀȽÄê ---¡¤Ï¥ë¡¼¥ë¥Æ¥ó¥×¥ìid¤ÈÍúÎò¤¬Æ±¤¸¤Ê¤Î¤Çtrue¤¬Ê֤äƤ¯¤ë ---¢¤Î¤è¤¦¤Ërule0¤ò̵¤¯¤·¡¢rule1,2Æâ¤ËƱ¤¸¥ë¡¼¥ë¤ò½ñ¤¯¤È¡¢ÍúÎò¤ÏƱ¤¸¤À¤¬¥ë¡¼¥ë¥Æ¥ó¥×¥ìid¤¬°Û¤Ê¤ë¤¿¤á¡¢¥Æ¡¼¥Ö¥ë¤ÎÅù²ÁÀȽÄê°ÊÁ°¤ËFALSE **2009-4-9 [#x42d7fde] ***uniq¡§nd¤Ø¤ÎÆ» [#tc205fc6] -¤â¤¦°ìÅ٥롼¥ë¡õ¥ë¡¼¥ë¥»¥Ã¥È¡õ¥ë¡¼¥ë¥»¥Ã¥ÄÊÕ¤ê¤Î¥³¥Ô¡¼Éô¤Î¸«Ä¾¤· --¤É¤ÎÃʳ¬¤Ç¤Î¥³¥Ô¡¼¤Ç¤â¤Á¤ã¤ó¤È¥ë¡¼¥ë¤¬2ËܤˤʤäƤ¤¤ë¤« -¥Ï¥Ã¥·¥å¥Æ¡¼¥Ö¥ë¤ÎƱ·¿ÀȽÄê¤Ï¼«Ê¬¤Çºî¤ë -¥ë¡¼¥ë¥Æ¥ó¥×¥ì¡¼¥È¤´¤È¤ËȽÄꤹ¤ë´¶¤¸¤Ç¤ä¤Ã¤Æ¤ß¤ë --¤Þ¤Ã¤¿¤¯Æ±¤¸¥ë¡¼¥ë¤¬Æ±¤¸¥ë¡¼¥ë¥»¥Ã¥ÈÆâ¤Ë¤¢¤Ã¤¿¤éŽ¥Ž¥Ž¥°ìÀ褺ÃÖ¤¤¤Æ¤ª¤¯ ***¶âÍË£±¸Â [#hec21813] -¾åÅĸ¦¤ÎÀ͸õ¤È¤·¤Æ»²²Ã¡¢Ä«Áᤤ **2009-4-8 [#x42d7fde] ***uniq¡§nd¤Ø¤ÎÆ» [#tc205fc6] -¤Ê¤ó¤«Àˤ·¤¤ a(1), a(1), a(2), a(2). a(X) :- uniq(X) | ok(X). -------------------------------------------- init:14708856 14787240::::a(2). ok(1). ok(2). @3 14711328::14787240::a(2). a(2). ok(1). @3 14710848::::a(1). a(2). ok(2). @3 14708856::14711328,14710848::a(1). a(2). a(2). @3 # of States = 4 --¤¢¤ë¾õÂÖ¤«¤éʬ´ô¤¹¤ë¾ì¹ç¤Ï¤¦¤Þ¤¯¤¤¤¯¤±¤É¡¢¤¢¤ë¾õÂ֤˼ý«¤¹¤ë¾ì¹ç¤ËÁ´¤Æ¤ÎÁ«°Ü¤¬½ÐÎϤµ¤ì¤Ê¤¤ --¤Ê¤ó¤«¤Á¤ç¤Ã¤È¤·¤¿¸«Íî¤È¤·¤Êµ¤¤¬¤¹¤ë **2009-4-7 [#x42d7fde] ***uniq¡§nd¤Ø¤ÎÆ» [#s90a7733] -hori¤µ¤ó¤ÈÁêÃ̤Ǥ¤¿ --¾õÂÖ¤ËÍúÎò¤ò»ý¤¿¤»¤ë --¾õÂÖ¤¬Æ±°ì¤«¤É¤¦¤«¤ÎȽÄê¤ËÍúÎò¤âƱ°ì¤«¤É¤¦¤«¤ÎȽÄê¤ò²Ã¤¨¤ë --¤È¤ê¤¢¤¨¤º¤³¤ó¤Ê¤â¤ó¤«¡© **2009-4-6¿¼Ìë [#x42d7fde] ***uniq¡§nd¤Ø¤ÎÆ» [#t9fe6e49] -¥Ð¥«¤«²¶¤Ï¡£¥Ð¥«¤À²¶¤Ï¡£ - a(1), a(2). sample @@ a(X) :- uniq(X) | ok(X). ----------------------------------- a(1), a(2). --> ¡ok(1), a(2).¡ÊºÇ½ª¾õÂÖ¡Ë --> ¢a(1), ok(2).¡ÊºÇ½ª¾õÂÖ¡Ë --¡¡¢¢¤Î¾õÂÖ¤òºî¤Ã¤¿»þÅÀ¤Ç´û¤Ë¥ë¡¼¥ësample¤Ë¤ÏX=1,X=2¤ÎÍúÎò¤¬ÁÞÆþ¤µ¤ì¤Æ¤ë¤¸¤ã¤Ê¤¤¤«¡¢¤³¤ì¤¬¸¶°ø¤À **2009-4-6 [#x42d7fde] ***uniq¡§nd¤Ø¤ÎÆ» [#t9fe6e49] -rulesets¤¬ÊÝ»ý¤¹¤ëruleset¿ô¢ª³Ærule¿ô¢ªhash_table¤ÎÍ×ÁÇ¿ô¢ªÊÒÊý¤«¤é°ì¤Ä¼è¤ê½Ð¤·¤½¤ì¤¬Â¾Êý¤Ë¤¢¤ë¤« -¾õÂÖ¤¬Å¸³«¤µ¤ì¤Ê¤¤¤Î¤Ï¡¢state¤Ë´Ø·¸¤·¤Æ¤¤¤ë¤È¤¤¤¦¤è¤ê¤Ï¡¢¥ë¡¼¥ë¤¬Å¬ÍѤǤ¤Ê¤¤¤È¤ß¤Ê¤µ¤ì¤Æ¤¤¤ë¤Î¤Ç¤Ï¤Ê¤«¤í¤¦¤«¡£ **2009-4-5 [#x42d7fde] ***vvvvvv-admin [#t9fe6e49] -¤Ë¤Ê¤Ã¤¿¡£¥á¡¼¥ê¥¹¤Ë¤âÆþ¤Ã¤¿¡£ ***JSAI [#t9fe6e49] -2,3½µ´Ö¤Ö¤ê¤¯¤é¤¤¤ËSLIM¤ÎÃæ¤ò¤¤¤¸¤ì¤¿¡£ --º´¡¹ÌÚ¤µ¤ó¤ÎƱ·¿ÀȽÄê¥á¥â¤Ï¤â¤Ã¤È¤Á¤ã¤ó¤ÈÆɤó¤À¤Û¤¦¤¬¤¤¤¤¡£ -¸¶¹Æ¥Æ¥ó¥×¥ì¤òÍî¤È¤·¤Æ¤ß¤¿¡£ --½ñ¤Êý¤Ïppl¤È¤«¤È¤Î°ã¤¤¤Ï̵¤µ¤½¤¦¡£Latex¤Î¼ïÎà(ver.¡©)¤Ë¤è¤Ã¤Æ¥¹¥¿¥¤¥ë¥Õ¥¡¥¤¥ë¤ÎÀßÄê¤Î»ÅÊý¤Ë°ã¤¤¤¬¤¢¤ë¤È¤«¡£Ã¯¤«¤Ëʹ¤¯¡£ --¤É¤³¤ËÃÖ¤¤¤Æ¼¹É®¤¹¤ë¤«¡¢ayano¤ÈÁêÃÌ ***uniq¡§nd¤Ø¤ÎÆ» [#rf0fbea0] -int¤Î¾ì¹ç a(1), a(2). a(X) :- int(X) | ok(X). init:17391736 17367664::::ok(2). ok(1). @3 17391736::17397360,17398664::a(1). a(2). @3 17397360::17367664::a(2). ok(1). @3 17398664::17367664::a(1). ok(2). @3 # of States = 4 -uniq¤Î¾ì¹ç a(1), a(2). a(X) :- uniq(X) | ok(X). init:16937080 16937080::16938224,16908992::a(1). a(2). @3 16938224::::a(2). ok(1). @3 16908992::::a(1). ok(2). @3 # of States = 3 --¤É¤Á¤é¤âºÇ½ª¾õÂÖ¤Ïok(1),ok(2).¤Ç°ìÃפ·¤Æ¤Û¤·¤¤¤È¤³¤í¤À¤¬¡¢º£¤Î¤È¤³¤íuniq¤ÎÊý¤ÏÊÒÊý¤Î¥¢¥È¥à¤Ë¥ë¡¼¥ë¤¬Å¬ÍѤµ¤ì¤ë¤È¤½¤³¤«¤éÀè¤Î¾õÂÖ¤¬Å¸³«¤µ¤ì¤Æ¤¤¤Ê¤¤Íͻҡ£ -¥á¥â --lmn_mem_equals_rec¤ÇËìÆâ¤Ë¤¢¤ë¥ë¡¼¥ë¥»¥Ã¥È¤Î¿ô¤ò¹Íθ¤¹¤ëƱ·¿ÀȽÄê¤Ï²Äǽ¡¢¤·¤«¤â´Êñ¤Ë --state_equals¤«¤é¤Ï¡¢ÍúÎò¤Ï¤É¤¦¸«¤¨¤Æ¤ë¤ó¤À¤í¤¦¡© ---Í×ÁÇ¿ô¤À¤±¤ò¸«¤Æ¤ë¡¢¤Ê¤ó¤Æ¤³¤È¤Ï̵¤¤¤À¤í¤¦¤«¡© --Åù²Á¤Ê¥ë¡¼¥ë¤Ç¤¢¤ë¤ÈȽÄꤹ¤ë¤³¤È¤Ï½ÐÍè¤Ê¤¤¤ó¤¸¤ã¤Ê¤¤¤«¡¢¥³¥ó¥Ñ¥¤¥é¤«¤é¸«Ä¾¤»¤Ð¤¢¤ë¤¤¤ÏŽ¥Ž¥Ž¥ &aname(word); *¤Ü¤ä¤ [#s8e0a853] -4/11¡¡ÅÚÍËÆü¡¡¸á¸å3»þ --½Õ¤À¡¢¤¤¤¤Å·µ¤¤À -6/11¡¡ÌÚÍËÆü¡¡¸á¸å19»þ¡¡±«¤Î¤ÁÀ²¤ì --uniq¤Ã¤Æ¤µ¡¢»È¤¦¡© -6/18¡¡ÌÚÍËÆü¡¡¸áÁ°7»þ¡¡À²¤ì --²¶¡¢È¯É½¤¬½ª¤ï¤Ã¤Æ̵»ö¸¦µæ¼¼¤Ëµ¢¤Ã¤¿¤é¡¢¥Ç¥¹¥¯¥È¥Ã¥×PC¤ò¥á¥¤¥óPC¤Ë¤¹¤ë¤ó¤ÀŽ¥Ž¥Ž¥¡£