SeijiWiki
¸¦µæÆü»ï¤È¤Ü¤ä¤
¤ò¥Æ¥ó¥×¥ì¡¼¥È¤Ë¤·¤ÆºîÀ®
³«»Ï¹Ô:
-[[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...
--õ¤·¤¿¤é¸ø³«¤µ¤ì¤Æ¤¿
**2010-03-21 [#vcc5ee0b]
-˺¤ì¤ë¤Î¤Ç¥á¥â
--¥Þ¥ë¥Á¥×¥í¥»¥¹
---Ê£¿ô¤Î¥×¥í¥»¥¹¤¬Â¸ºß¤·¡¢³Æ¥×¥í¥»¥¹Æâ¤Ï¥·¥ó¥°¥ë¥¹¥ì¥Ã¥É
--¥Þ¥ë¥Á¥¹¥ì¥Ã¥É
---°ì¤Ä¤Î¥×¥í¥»¥¹Æ⤬¥Þ¥ë¥Á¥¹¥ì¥Ã¥É¤Ë¤Ê¤Ã¤Æ¤¤¤Æ¡¢Î㤨¤Ð¥×...
**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¤Î¼Â¸³¥Ç¡¼¥¿¤òÈæ³Ó¤·¤¿¤â¤Î¤ò¸ø³«¤·¤è¤¦¤«¤È»×...
**2010-01-28 [#v7f012db]
-¿ÊÏ©ÌÌÃÌ
--½¢¿¦³èÆ°¤Ë´Ø¤·¤ÆÀèÀ¸¤«¤é¿§¡¹½õ¸À¤ò夤¤¿
---¤·¤Ã¤«¤ê¤·¤¿¼õ¤±Åú¤¨¡¢¥¹¥¿¥ß¥Ê¤Î¤¢¤ë¿Í
-³¤¤¤Æ½¤ÏÀ·×²è
--¥Æ¡¼¥Þ¤Ï¡Ö¶¦Í¥á¥â¥ê²¼¤Ç¤ÎºÙγÅÙ¤ÊÊÂÎ󲽡סʺ£Å¬Åö¤Ë¹Í...
---¥¹¥È¡¼¥ê¡¼¤¬Î©¤Æ¤ä¤¹¤¯¡¢ÌÌÇò¤¤¤È»×¤¦
---ʬ»¶¤Ï¤¢¤Ã¤¿¤¬¶¦Í¤ÏLMNtal¤Ç¤ÏÎ㤬̵¤¤¤·¡¢¼«ÌÀ¤¸¤ã¤Ê¤¤...
--ÌäÂê¤ò¤¤¤¯¤Ä¤«ÀßÄꤷ¡¢¤½¤ì¤¾¤ì¤ËÂФ·¤Æ͸ú¤½¤¦¤Ê¼êË¡¤ò...
---ÌäÂêÌÜÀþ¤Ç¹Í¤¨¤ë¤Û¤¦¤¬¤è¤¤¡¢³Î¤«¤Ë
---º£¤Þ¤Ç¼êË¡ÌÜÀþ¤Ç¹Í¤¨¤Æ¤¤¤¿
--¼þ¤ê¤ÇÍê¤ê¤ËÀ®¤ë¿Í¤¬¤¤¤ë¤«¤é¤¤¤¤¤Í
---¤Û¤ê¤µ¤ó¡¢¤´¤Á¤ç¤¦¡¢¤Ø¤¤¤ì¤Ä¤Ï¤ó¡Ê¤È¤¯¤Ë¤à¤é¤ª¤«¡Ë¤Ê¤É...
**2010-01-25 [#v7f012db]
-³µÍ×
-¤ä¤Ã¤¿¤³¤È
-·ë²Ì
-º£¸å¤ä¤ë¤³¤È
-¼«Ê¬¤Î¥¢¥Ô¡¼¥ë
**2010-01-19 [#v7f012db]
-½¢³è¥×¥ì¥¼¥óÎý½¬²ñ
--¼ÂÍÑŪ¤Ê¤Î¤«
--´ë¶È¤ËÌòΩ¤Ä¿Í´Ö¤Ê¤Î¤«
--¤É¤³¤Þ¤Ç¤¬¥Á¡¼¥à¤Ç¡¢¤³¤³¤«¤é¤¬¼«Ê¬¤Ê¤Î¤«
--ÏÀʸ½Ð¤·¤Æ¤ë¥¢¥Ô¡¼¥ë
--»²¹Íʸ¸¥¥¢¥Ô¡¼¥ë
--¸¦µæWiki¤ò¤Þ¤ë¤Þ¤ëÄ¥¤ë¤È¤«
--¥½¥Õ¥È³«È¯¤Ë¶á¤¤¿Í¤Ï¥Æ¥¹¥È¡¦¥Ð¥°¼è¤ê¤Ïµ¤¤Ë¤¹¤ë
--»þ¤Ë¤Ï½èÍý·Ï¤è¤ê¤âºî¤Ã¤Æ¤ë¥Á¡¼¥à¤Î´Ä¶¤Î¤Û¤¦¤¬Âç»ö¤«¤â
--CHR
---Áê¼ê¤ò¼«Í³¤ËÀßÄꤹ¤ë¡¢À¨¤µ¤ò¸À¤¦¡ÊÀ©Ìó¥×¥í¥°¥é¥ß¥ó¥°¡¢...
--ÎãÂê
---¶ñÂÎŪ¤Ê¹Ô¿ô¢ª°ì¹Ô¤Ë¤Ê¤Ã¤¿
--¼ÁÌä¤òͶȯ
--Ïä¹Âç¶Ú¤È¤·¤Æ
---¥·¥¹¥Æ¥à¤Ë¼ê¤ò²Ã¤¨¤ë¤³¤È¤¬½ÐÍè¤ë
---¾¤Î¸À¸ì¤òÃΤëÎϤ¬¤¢¤ë
---¤½¤·¤ÆLMNtalÁ´ÂΤòÏ乤³¤È¤Ç¡¢Â¾¤Î¿Í¤Î¸¦µæ¤Ë¤Ä¤¤¤Æ¤âÃÎ...
--º£¸å¤Î²ÝÂê
---¤¤¤¤Ê¤êÊÂÎ󲽤ȤʤäƤ롢¤â¤¦¾¯¤·ºÙ¤«¤¯
--¥°¥é¥ÕƱ·¿ÀȽÄê¤Ë¤Ä¤¤¤Æ¤â¤¦¾¯¤·
---¤½¤ì¤Çuniq¤Ï¤É¤¦Âбþ¤¹¤ë¤Î¤«¤ò¸À¤¦¤Û¤¦¤¬Ê¬¤«¤ê¤ä¤¹¤¤¤«¤â
--¸À¸ì¤ËÄɲäȽèÍý·Ï¤ËÄɲä¬Èù̯
--LMNtal½èÍý·Ï¤Î¤É¤ÎÄøÅ٤Υ½¡¼¥¹¥³¡¼¥É¤ò¸«¤¿¤Î¤«
---Çȵڤ·¶ñ¹ç
**2010-01-12 [#w9d404a5]
-½¤»ÎÏÀʸ·×²è½ñ¤ò¥À¥¦¥ó¥í¡¼¥É¤·¤Æ¤ß¤¿
--3¥Ú¡¼¥¸Ê¬½ñ¤¯¤È¤³¤¢¤ë¤Î¤Ë¡Ö2¥Ú¡¼¥¸½ñ¤±¡×¤È¤¢¤ë¤Î¤Ç¤ª¤«...
--¥¼¥ß¤Ç¶¦Í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,...
appendcons @ my_append([A|X], Y, Z) <=> my_append(X, Y, ...
appendnil @ my_append([], [], Z) <=> list(Z), loopend.
loopstart @ list(X), n(N), loopend <=> N > 0 | M is N-1...
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...
--¼Â¹Ô¼ê½ç¤È·ë²Ì
$ pl
?- [append].
?- time(start). ¡¡¢¨2²óÌܰʹߤμ¹Էë²Ì ...
% 2,741,172 inferences, 82.88 CPU in 81.15 seconds (102%...
--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....
**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]...
([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/loca...
--[[µÄ»öÏ¿2:http://www.ueda.info.waseda.ac.jp/lmntal/loca...
**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
--Ãæ´ÖÌ¿Îá¤òÆɤ߹þ¤à¤ÈƱ»þ¤ËÍúÎòɽ¤ò½é´ü²½¤¹¤ë¤è¤¦¤Ë¤·¤¿...
--Á°¤Ï¤¤¤é¤Ê¤¤¤È»×¤Ã¤¿¤±¤É¡¢¥ë¡¼¥ë¥»¥Ã¥È¤¬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)...
-¥ê¥â¡¼¥È¤«¤é¤ÎºÆµ¯Æ°
$ shutdown -r -t N
**2009-11-9 [#a56fb33b]
-Ãæ´ÖÌ¿ÎáÎócommit¤Ë´Ø¤¹¤ë¥Ð¥°Ä¾¤·
--¤½¤ÎÁ°¤Ë.lmn¢ª¥³¥ó¥Ñ¥¤¥ë¤ÇÃæ´ÖÌ¿Îá½ÐÎÏ¢ª.tal¢ª¥é¥ó¥¿¥¤¥à¤Ç...
$ lmntal --compileonly hoge.lmn > hoge.tal
$ lmntal --stdin-tal hoge.tal
--Ãæ´ÖÌ¿ÎáÎócommit¤ÎÂè°ì°ú¿ô¤Ë¤Ï¥ë¡¼¥ë̾¤¬Æþ¤ë¤¬¡¢¤³¤ì¤Þ...
commit [null, 0]
--¤³¤Î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...
---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¥³¥ó¥Ý¡¼¥Í¥ó¥È¢ªW...
-CCHR¤ÎPrime
--hori¤µ¤ó¤Î¸À¤¦¤È¤ª¤ê¡¢LMNtal¤Ç¥ë¡¼¥ë¤Î½çÈÖ¤òÊѤ¨¤¿¤é¤À...
-CCHR¤ÎGCD ½é´ü¾õÂÖ
--½ÐÎϤǤ¤¿¡¢ºÇ½é¤Ë11*n (n=2¡Á2999)¤ÎGCD¤òÀ¸À®¤·¤Æ¤ë
--4000¸Ä¤ÎGCD¤ÈÏÀʸ¤Ë½ñ¤¤¤Æ¤¢¤Ã¤¿¤±¤É¡¢¤³¤ì¤Ï¤É¤¦¤¤¤¦¤³¤È...
--¤Á¤Ê¤ß¤ËPrime¤ÏSLIM¤Î¤Û¤¦¤¬¤À¤¤¤ÖÃÙ¤«¤Ã¤¿¤±¤É¡¢GCD¤Ï²¿...
**2009-10-15 [#a56fb33b]
-STM for Java, C
--¤É¤¦¤ä¤é»È¤¨¤ë¤ß¤¿¤¤¤À
--¥×¥í¥°¥é¥ß¥ó¥°¸À¸ìClojure
---STM¤ò¥µ¥Ý¡¼¥È
---JavaVM¤Î¥Ð¥¤¥È¥³¡¼¥É¤Ë¥³¥ó¥Ñ¥¤¥ë¤Ç¤¤ë¤é¤·¤¤
--C¤Ï[[¤³¤ì:http://www.hipeac.net/system/files/TM_for_GCC...
-LE.jar¥Õ¥¡¥¤¥ë¤òWin¤Î¥¹¥¿¡¼¥È¥á¥Ë¥å¡¼¤ËD&D¤¹¤ë¤È¤¦¤Þ¤¯µ¯...
--¥·¥ç¡¼¥È¥«¥Ã¥È¤òºî¤Ã¤ÆD&D¤¹¤ë¤ÈOK
--exe¥Õ¥¡¥¤¥ë¤È¤«¤Ï¼«Æ°Åª¤Ë¥·¥ç¡¼¥È¥«¥Ã¥Èºî¤Ã¤Æ¤¯¤ì¤ë¤±¤É...
**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¤¬¸«¤Ä¤«¤é¤Ê¤¤¤È¡¢¤Çgre...
--borland¤òÆþ¤ì¤¿¤»¤¤¡©
**2009-9-5 [#a56fb33b]
-¹ç½ÉÈè¤ì¤¿
--¼ÂÁõ¤·¤Ê¤¤ã
--SLIMÆɤޤʤ¤ã
-10·î¸¦µæȯɽ
--²¿¤â¸À¤¨¤Í¤§
--¾®ÎÓ¤µ¤ó¤ÎÎØÆɤθåȾ¤Ç¤â¤ä¤í¤¦¤«¤Ê
**2009-8-10 [#a56fb33b]
-C++¥³¥ó¥Ñ¥¤¥é¥á¥â
--¥¤¥ó¥¹¥È¡¼¥ëÀè¤Î bin ¥Ç¥£¥ì¥¯¥È¥ê¤Ç¼¡¤Î¼ê½ç¤ò¼Â¹Ô¤·¤Þ¤¹¡£
--a. ´û¸¤Î¥Ñ¥¹¤Ë "c:\Borland\Bcc55\Bin"¡Ê¥Ç¥Õ¥©¥ë¥È¡Ë¤ò...
--b. bcc32.cfg ¥Õ¥¡¥¤¥ë¤òºîÀ®¤·¤Þ¤¹¡£¤³¤Î¥Õ¥¡¥¤¥ë¤Ï¡¤Incl...
-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): ¡ÖÏÀÍýŪ¤Ë¡×Ê£¿ô¤Î¥¿¥¹...
---¼ÂºÝ¤Ë¥×¥í¥»¥Ã¥µ¤¬°ì¸Ä¤Ç¤âÊ£¿ô¤Ç¤â¹½¤ï¤Ê¤¤. ½¾¤Ã¤Æ, ÊÂ...
-GDB
--break point¤Ë¾ò·ï¤ò¤Ä¤±¤ë
**2009-7-23 [#a56fb33b]
-[[ºòÆü¤ÎÀ®²Ìʪ:http://www.ueda.info.waseda.ac.jp/~seiji/...
**2009-7-19 [#a56fb33b]
-iTunes
--ºÇ¶á¡¢ipod¤ò¤Ä¤Ê¤°Å٤ˡ֥¢¥Ã¥×¥Ç¡¼¥È(1200±ß)¡×¤È¤¤¤¦É½...
---¨²¡¤·¤¿
**2009-7-15 [#a56fb33b]
-uniq
--¥³¥ß¥Ã¥È¤·¤¿¤éÆ°¤«¤Ê¤¤ÎãÂê(abp)¤¬¤¢¤Ã¤¿
-ÍúÎòɽ¤Î²òÊü˺¤ì
--¤¦¤«¤Ä¤À¤Ã¤¿¡£¤Ç¤âabp¤ÏÊ̤ˤ½¤ó¤Ê¤Ë¥ë¡¼¥ë¿ô¿¤¤¤ï¤±¤¸¤ã...
-¸¶°ø¤Ï¥ë¡¼¥ë¤ÎÊ£À½¤ÈƱ·¿ÀȽÄê
--Ëì¤Ë¥ë¡¼¥ë¥»¥Ã¥È¤òÄɲ乤ë»þ¤Ë¥¢¥É¥ì¥¹ÅϤ·¤Ç¤Ï¤Ê¤¯Ê£À½...
--Ʊ·¿ÀȽÄê¤Ç¤Ï¡¢¥ë¡¼¥ë¤Ï¥¢¥É¥ì¥¹½ç¤Ë¥½¡¼¥È¤·¤ÆÈæ³Ó¤·¤Æ...
---¿·¤·¤¤»ÅÍÍ¡£¥ë¡¼¥ë¤òÊ£À½¤¹¤ì¤ÐÅöÁ³¥¢¥É¥ì¥¹¤À¤Ã¤ÆÊѤï¤ë...
**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]
-¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥°
--¥¯¥ê¥Ã¥¯¤Ç¥¢¥È¥àÇÛÃÖ¡¢¥É¥é¥Ã¥°¤ÇËìÇÛÃÖ¡¢¤È¤«¡©
--¿§¤ó¤Ê¼ïÎà¤Î¥¢¥È¥à(Ëì)¤¬¤¢¤Ã¤Æ¤â¤è¤µ¤½¤¦¡¢°ì¸Ä¤¢¤ë¤È¥¦...
--¤Ç¤â¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥°¤ÎÍøÅÀ¤Æ²¿¤Ê¤ó¤À¤í¤¦¡¢LMNta...
-UNYO 3D
--¸«¤ä¤¹¤½¤¦¤À¤±¤É¡¢¥æ¡¼¥¶¤¬¥¢¥È¥à¤ò°ú¤ÃÄ¥¤Ã¤¿¤ê¤¹¤ëÁàºî...
--360¡ë¥Õ¥ë¤Ë¸«¤ì¤ë¤Î¤Ç¤Ï¤Ê¤¯¡¢x,-x,y,-y,z,-z¤Î6Êý¸þ¤«¤é¸«...
-ưŪ¤ËÊѲ½¤¹¤ë¥ë¡¼¥ë
--²¿¤ÎÎãÂê¤ò½ñ¤¤¤Æ¤ë¤È¤¤«Ëº¤ì¤Æ¤·¤Þ¤Ã¤¿¤¬¡¢¥Ø¥Ã¥É¤¬Æ°Åª...
--º£¤Ï¥ë¡¼¥ë¤Î°ÜÆ°¡¦Ê£À½¡¦¾Ãµî¤·¤«¤Ç¤¤Ê¤¤¤±¤É¡¢¡Ö¥ë¡¼¥ë...
---¸À¸ì»ÅÍͤȤ«µ¤¤Ë¤·¤Ê¤¤¤Ç½ñ¤¤¤Æ¤ß¤¿
---Æä˥â¥Á¥Ù¤È¤Ê¤ë¤è¤¦¤ÊÎã¤Ï̵¤¤¤±¤É
---¤½¤ì¤Ë¸å¼Ô¤Ï¤¢¤é¤«¤¸¤áÍÑ°Õ¤·¤Æ¤ª¤¤¤ÆŸ³«¤¹¤ì¤Ð»÷¤¿¤è¤¦...
---uniq¤Î»þ¤â»×¤Ã¤¿¤¬¡¢·ë¶ÉLMNtal¸À¸ì¤Ë²¿¤«¿·µ¡Ç½¤ò¤Ä¤±¤Æ...
**2009-7-12(¿¼Ìë) [#a56fb33b]
-ÉÛÃĤËÆþ¤Ã¤¿¤±¤É¿²¤ì¤Ê¤¤¤«¤éPC¤Ä¤±¤¿
-¼«Ê¬¤Ï¤Ê¤¼¾åÅĸ¦¤ËÆþ¤Ã¤¿¤«¡©
--¥×¥í¥°¥é¥ß¥ó¥°¸À¸ì¤òºî¤ë¡á¤¿¤¯¤µ¤ó¥×¥í¥°¥é¥à¤ò½ñ¤¤½¤¦...
---¡Ê¤¢¤¯¤Þ¤Ç°ì°ø¤À¤±¤É¡Ë
--¤Ê¤ó¤«¤¿¤¯¤µ¤ó¥×¥í¥°¥é¥à½ñ¤¤¤Æ¤ß¤¿¤¤¤Ê¤¡¡¢¤¿¤¯¤µ¤ó¤Ã¤Ä...
--¤½¤Î»ëÅÀ¤«¤é¸¦µæ¥Æ¡¼¥Þõ¤·¤Æ¤·¤Þ¤¦¤«¡£¾Ð
-LMNtal¤Ç¤Î¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥°
--¤Õ¤ÈPPL¤ÇLMNtal¤â¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥°Äü¤á¤Ê¤¤¤Ç¡¢¤È...
--¸À¸ìÈÉ¥Ú¡¼¥¸Æâ¤Ç¸¡º÷¤¹¤ë¤ÈÃæÌ¤ó¤¬UNYO¤ò¥ô¥£¥¸¥å¥¢¥ë...
---¤±¤ÉÃæÌ¤ó¤Î½¤ÏÀ¤Ë¤Ï¤½¤¦¤¤¤¦¤³¤È¤Ï½ñ¤¤¤Æ¤Ê¤¤µ¤¤¬¤¹¤ë
--UNYO3G¤Ïº£¸å¤½¤Ã¤Á¤ÎÊý¤Ë¤¤¤¯Í½Äê¤Ï¤¢¤ë¤Î¤«¤Ê
---¾¯¤Ê¤¯¤È¤â¥ë¡¼¥ë¤òUNYO¾å¤Ç½ñ¤¯(ÉÁ¤¯)¤ß¤¿¤¤¤Ê»ö¤Ïµîǯ¤Î...
--¤¤¤Ä¤À¤«ÈÉ¥¼¥ß¤ÇÏÃÂê¤Ë½Ð¤¿[[¥µ¥¤¥È:http://www.toontalk....
-¤¢¤È¤ÏUNYO¤Î»°¼¡¸µ²½¤Ê¤ó¤«¤âÃæÌ¤ó¤Ï²ÝÂê¤Ëµó¤²¤Æ¤ë
--¾®ÎÓ(»Ë)¤µ¤ó¤¬¤¤¤Ä¤¾¤ä¸À¤Ã¤Æ¤¿¤³¤È¤â¡¢º£»×¤¨¤Ð¸¦µæ¥Æ¡¼...
--¤Ç¤âUNYO¤Ã¤Æ¡Ö¸«¤ä¤¹¤µ¡×¤Ç¾¡É餹¤ë¤â¤Î¤À¤«¤é¡¢¤¹¤´¤¤Âç...
---¤Þ¤¡ÂçÊѤ½¤¦¤¸¤ã¤Ê¤¤¤â¤Î¤Ê¤ó¤Æ̵¤¤¤¬
-´Ø·¸¤Ê¤¤¤¬ÉÙ±ÊÀèÀ¸¤Î¥ì¥Ý¤¬ÌÌÅݤ³¤Î¾å¤Ê¤¤
-uniq
--164¤ØÆþ¤ì¤è¤¦¤È»×¤Ã¤¿¤±¤É¡¢port.c¤ò¤É¤¦Êѹ¹¤¹¤ë¤«¤Ç̤¤...
-¤ä¤Ã¤È̲¤¯¤Ê¤Ã¤Æ¤¤¿¡¢¿²¤ë
**2009-7-9 [#a56fb33b]
-uniq¤Î¥³¥ß¥Ã¥È
--hori¤µ¤ó¤Îver.up¤¬°ìÃʳڤ·¤¿¤Î¤Ç164¤òÍî¤È¤·¤Æ¤¤Æ¤ä¤Ã¤Æ...
-¸¦µæ¥Æ¡¼¥Þ
--¤¦¡¼¤ó¡¢Ëì¤ÎƱ·¿ÀȽÄê¤ò¸«Ä¾¤¹¤«¡¢POR¤«¡¢¤Ï¤¿¤Þ¤¿iwatas...
-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¤Î...
++(Vista)¥¢¥¯¥»¥µ¥ê¢ª¥ê¥â¡¼¥È¥Ç¥¹¥¯¥È¥Ã¥×Àܳ¢ª¡Ölocalhost:...
--¢»²¹Í¤Þ¤Ç¤ËÃæÌ¤ó¤Î¥ê¥â¡¼¥È¥Ç¥¹¥¯¥È¥Ã¥×¤Î¤ä¤êÊý¥Ú¡¼¥¸
---[[SSH¥È¥ó¥Í¥ê¥ó¥°¤Ç¡Á:http://www.ueda.info.waseda.ac.j...
**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¤ÏÀ°¿ô¥¢¥È¥à¤¬Ìµ¤¤¤«¤é¡¢±î¤¬²¿¤â»ý¤Ã¤Æ¤¤¤Ê¤¤¾õÂÖ¤òm...
¤³¤ó¤Ê¾ì¹ç¡§ monkey(X) :- X\=0 | Ž¥Ž¥Ž¥.
---\=¤Ïunary·¿°Ê¾å¤ÎÈæ³Ó¤À¤«¤é¡¢0¤¬À°¿ô¥¢¥È¥à¤¸¤ã¤Ê¤¤¤È¥À...
--¤·¤ç¤¦¤¬¤Ê¤¤¤«¤éÆ»¶ñ¤¬²¿¤â̵¤¤ÃÏÅÀ¤Ë¤Ïobject(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(...
hold@@ {monkey(none), obj(X), $p} :- unary(X) |{monkey(X...
put@@ {monkey(X), $p}, cond(C) :- \+($p=(obj(Y),$pp)), X...
get_on@@ {monkey(X), obj(box), $p} :- unary(X) | {monkey...
get_off@@ {monkey(X,box), $p} :- unary(X) | {monkey(X), ...
goal@@ {goal, monkey(stick,box) } :- got_banana.
-after
{goal,ob(no)}, {a,ob(box)}, {b,ob(stick)}, {c,mk(no),obj...
{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ËçÌܤϤâ¤Ã¤È¥Ä¡¼¥ë¤Î¾Ò²ð¤Ã¤Ý¤¯¤¹¤ë¡¢¤¢¤ì¤â¤¢¤ë¤³¤ì¤â¤¢¤ë
--ºÇ¸å¤Ë¤³¤ì¤é¤Î¥Ä¡¼¥ë¤ÏÁ´Éô¸ø³«¤µ¤ì¤Æ¤¤¤Þ¤¹¤è¡¢Åª¤Ê´¶¤¸...
-¤³¤ÎÊÕ¤ê¤Ë¸¦µæ¤ÎÇطʤÈÌÜŪ¤ò»ý¤Ã¤Æ¤¯¤ë
-¾õÂÖ¶õ´Öõº÷¡
--Ä̾ï¼Â¹Ô(·èÄêŪ¼Â¹Ô)¤ÈÈó·èÄê¼Â¹Ô¤Ëʬ¤±¤Æ½ñ¤¯
---º®Í𤵤»¤Á¤ã¤¦¤«¤â
-ÎãÂê¥â¥ó¥¡¼
--ºÇ½é¤Ë»ý¤Ã¤Æ¤¤¤¯¤«¤éÈ´¤¯
-¾õÂÖ¶õ´Öõº÷¢
--¤³¤ó¤Ê¤â¤ó¡¢¸½¾õ°Ý»ý
-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.ht...
-¥Ï¥ß¥ó¥°¿ô
--ÁÇ°ø¿ô¤¬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, L...
365 src/task.c (inst_seq && interpret(rule, inst...
736 src/task.c if(interpret(rule, instr, next_...
776 src/task.c if(interpret(rule, instr, next_...
851 src/task.c ret = interpret(rule, instr, ne...
955 src/task.c interpret(rule, instr, &ins...
1036 src/task.c if (interpret(rule, inst...
1102 src/task.c if (interpret(rule, inst...
1143 src/task.c if (mp->name == memn && inte...
1406 src/task.c if (interpret(rule, instr, &in...
2003 src/task.c interpret(rule, instr, next_in...
2288 src/task.c if(interpret(rule, instr, next...
3021 src/task.c if (!interpret(rule, instr, &i...
3030 src/task.c if (interpret(rule, instr, &in...
3039 src/task.c while (interpret(rule, 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¤È¤¤¤¦¥°¥ë¡¼¥×¤Ë°¤¹¤ë¿Í㤫¤éÆó¿Í¤òÁª¤ó¤Ç¥Ú¥¢¤òºî...
--¾ò·ï£±¡§Æ±¤¸¥°¥ë¡¼¥×Ʊ»Î¤Ç¥Ú¥¢¤òºî¤Ã¤Æ¤Ï¤¤¤±¤Ê¤¤
--¾ò·ï£²¡§Æ±¤¸ÁȤ߹ç¤ï¤»¤¬Æó¤Ä½ÐÍè¤Æ¤Ï¤¤¤±¤Ê¤¤¡Ê´Êñ¤Ë¤¹...
--¾ò·ï£±¡¢£²¤Î²¼¤ÇºÇ¤â¿¤¯¤Î¥Ú¥¢¤òºî¤ì¤ëÁȹç¤ï¤»¤Ï²¿Ä̤ê...
---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...
uniqÍ¡§
p(X), p(Y) :- uniq(X, Y), X\=Y | pair(X, Y).
-uniq̵¤Î¾ì¹ç
--¤Þ¤º°ì¤ÄÌܤΥ롼¥ë¤À¤±¤¸¤ã¾ò·ï£²¤òËþ¤¿¤»¤Ê¤¤(pair(a,b),...
--¤µ¤é¤Ë¾õÂÖ¿ô¤¬Â¿¤¤¡¢SV¤¬¸«¤Ë¤¯¤¤
---Á´¾õÂÖ¿ô93¡¢ºÇ¤â¿¤¯¥Ú¥¢¤òºî¤Ã¤¿ºÇ½ª¾õÂÖ5(2ËÜÌܤΥ롼...
#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...
#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¤¬»ý¤Ä...
--£ruleset¤«¤é¼è¤ê½Ð¤·¤¿rule¤Î̾Á°¤òÈæ³Ó¡õÍúÎò¤òÈæ³Ó
---¤³¤³¤Ç¤Îrule¤Î̾Á°¤È¤Ï¡¢@@¤Ë¤è¤Ã¤ÆÉղäǤ¤ë¥ë¡¼¥ë̾¤Ç...
--¤¡¡Á£¤Ç°Û¤Ê¤ë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
--½é´ü¾õÂÖ¤ÈÀ¸À®¤µ¤ì¤¿¾õÂ֤Ǥϡ¢¥ë¡¼¥ë¤ÎÍúÎò¤¬°Û¤Ê¤ë(À¸À®...
-ÍúÎòÅù²ÁÀȽÄê¤ÎÊäÂ
--¸½Ãʳ¬¤ÇÈæ³ÓºàÎÁ¤È¤·¤ÆÍøÍѤǤ¤ë¤â¤Î¤Ï¤È¤ê¤¢¤¨¤º»È¤Ã¤Æ...
---rule¤Î̾Á°¤È¤«¡¢ruleset¤Îid¤È¤«
--¤Ä¤Þ¤ë¤È¤³¤í¡¢ruleset¤Îid¤òÈæ³Ó¤¹¤ë(¡áÀÅŪ¤ËÄêµÁ¤µ¤ì¤¿...
--¢¤ÎÃæ¤Ç°ì¤Ä¤Ç¤â°Û¤Ê¤ë¤ÈȽÄꤵ¤ì¤¿¾ì¹ç¤Ï¡¢¤½¤ÎËì¤ÏÈóƱ·¿...
---Ë줬»ý¤Ärulesets¿ô¡¢ruleset¿ô(@¤Î¿ô)¡¢rule¿ô(@n¤¬»ý¤Är...
---rulesets¤ÎnÈÖÌܤ˳ÊǼ¤µ¤ì¤Æ¤¤¤ëruleset¤Îid¤¬°Û¤Ê¤ë¡¢¤Þ...
---ÍúÎò¤¬°Û¤Ê¤ë
-Ê̤ÎÎã
¡¡§
rule0{a(X):-uniq(X)|ok(X).}.
rule1{a(1). }.
rule2{a(1). }.
rule0{@p}, rule1{$p}, rule2{$q} :- rule1{$p, @p}, rule2{...
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¤Ë¥³¥Ô¡¼¤·¡¢¤½¤ì¤¾¤ì¤ÎËìÆâŬÅö...
---¡¤Ï¥ë¡¼¥ë¥Æ¥ó¥×¥ìid¤ÈÍúÎò¤¬Æ±¤¸¤Ê¤Î¤Çtrue¤¬Ê֤äƤ¯¤ë
---¢¤Î¤è¤¦¤Ërule0¤ò̵¤¯¤·¡¢rule1,2Æâ¤ËƱ¤¸¥ë¡¼¥ë¤ò½ñ¤¯¤È...
**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).¤Ç°ìÃפ·¤Æ¤Û¤·¤¤¤È¤³¤í¤À...
-¥á¥â
--lmn_mem_equals_rec¤ÇËìÆâ¤Ë¤¢¤ë¥ë¡¼¥ë¥»¥Ã¥È¤Î¿ô¤ò¹Íθ¤¹...
--state_equals¤«¤é¤Ï¡¢ÍúÎò¤Ï¤É¤¦¸«¤¨¤Æ¤ë¤ó¤À¤í¤¦¡©
---Í×ÁÇ¿ô¤À¤±¤ò¸«¤Æ¤ë¡¢¤Ê¤ó¤Æ¤³¤È¤Ï̵¤¤¤À¤í¤¦¤«¡©
--Åù²Á¤Ê¥ë¡¼¥ë¤Ç¤¢¤ë¤ÈȽÄꤹ¤ë¤³¤È¤Ï½ÐÍè¤Ê¤¤¤ó¤¸¤ã¤Ê¤¤¤«...
&aname(word);
*¤Ü¤ä¤ [#s8e0a853]
-4/11¡¡ÅÚÍËÆü¡¡¸á¸å3»þ
--½Õ¤À¡¢¤¤¤¤Å·µ¤¤À
-6/11¡¡ÌÚÍËÆü¡¡¸á¸å19»þ¡¡±«¤Î¤ÁÀ²¤ì
--uniq¤Ã¤Æ¤µ¡¢»È¤¦¡©
-6/18¡¡ÌÚÍËÆü¡¡¸áÁ°7»þ¡¡À²¤ì
--²¶¡¢È¯É½¤¬½ª¤ï¤Ã¤Æ̵»ö¸¦µæ¼¼¤Ëµ¢¤Ã¤¿¤é¡¢¥Ç¥¹¥¯¥È¥Ã¥×PC...
½ªÎ»¹Ô:
-[[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...
--õ¤·¤¿¤é¸ø³«¤µ¤ì¤Æ¤¿
**2010-03-21 [#vcc5ee0b]
-˺¤ì¤ë¤Î¤Ç¥á¥â
--¥Þ¥ë¥Á¥×¥í¥»¥¹
---Ê£¿ô¤Î¥×¥í¥»¥¹¤¬Â¸ºß¤·¡¢³Æ¥×¥í¥»¥¹Æâ¤Ï¥·¥ó¥°¥ë¥¹¥ì¥Ã¥É
--¥Þ¥ë¥Á¥¹¥ì¥Ã¥É
---°ì¤Ä¤Î¥×¥í¥»¥¹Æ⤬¥Þ¥ë¥Á¥¹¥ì¥Ã¥É¤Ë¤Ê¤Ã¤Æ¤¤¤Æ¡¢Î㤨¤Ð¥×...
**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¤Î¼Â¸³¥Ç¡¼¥¿¤òÈæ³Ó¤·¤¿¤â¤Î¤ò¸ø³«¤·¤è¤¦¤«¤È»×...
**2010-01-28 [#v7f012db]
-¿ÊÏ©ÌÌÃÌ
--½¢¿¦³èÆ°¤Ë´Ø¤·¤ÆÀèÀ¸¤«¤é¿§¡¹½õ¸À¤ò夤¤¿
---¤·¤Ã¤«¤ê¤·¤¿¼õ¤±Åú¤¨¡¢¥¹¥¿¥ß¥Ê¤Î¤¢¤ë¿Í
-³¤¤¤Æ½¤ÏÀ·×²è
--¥Æ¡¼¥Þ¤Ï¡Ö¶¦Í¥á¥â¥ê²¼¤Ç¤ÎºÙγÅÙ¤ÊÊÂÎ󲽡סʺ£Å¬Åö¤Ë¹Í...
---¥¹¥È¡¼¥ê¡¼¤¬Î©¤Æ¤ä¤¹¤¯¡¢ÌÌÇò¤¤¤È»×¤¦
---ʬ»¶¤Ï¤¢¤Ã¤¿¤¬¶¦Í¤ÏLMNtal¤Ç¤ÏÎ㤬̵¤¤¤·¡¢¼«ÌÀ¤¸¤ã¤Ê¤¤...
--ÌäÂê¤ò¤¤¤¯¤Ä¤«ÀßÄꤷ¡¢¤½¤ì¤¾¤ì¤ËÂФ·¤Æ͸ú¤½¤¦¤Ê¼êË¡¤ò...
---ÌäÂêÌÜÀþ¤Ç¹Í¤¨¤ë¤Û¤¦¤¬¤è¤¤¡¢³Î¤«¤Ë
---º£¤Þ¤Ç¼êË¡ÌÜÀþ¤Ç¹Í¤¨¤Æ¤¤¤¿
--¼þ¤ê¤ÇÍê¤ê¤ËÀ®¤ë¿Í¤¬¤¤¤ë¤«¤é¤¤¤¤¤Í
---¤Û¤ê¤µ¤ó¡¢¤´¤Á¤ç¤¦¡¢¤Ø¤¤¤ì¤Ä¤Ï¤ó¡Ê¤È¤¯¤Ë¤à¤é¤ª¤«¡Ë¤Ê¤É...
**2010-01-25 [#v7f012db]
-³µÍ×
-¤ä¤Ã¤¿¤³¤È
-·ë²Ì
-º£¸å¤ä¤ë¤³¤È
-¼«Ê¬¤Î¥¢¥Ô¡¼¥ë
**2010-01-19 [#v7f012db]
-½¢³è¥×¥ì¥¼¥óÎý½¬²ñ
--¼ÂÍÑŪ¤Ê¤Î¤«
--´ë¶È¤ËÌòΩ¤Ä¿Í´Ö¤Ê¤Î¤«
--¤É¤³¤Þ¤Ç¤¬¥Á¡¼¥à¤Ç¡¢¤³¤³¤«¤é¤¬¼«Ê¬¤Ê¤Î¤«
--ÏÀʸ½Ð¤·¤Æ¤ë¥¢¥Ô¡¼¥ë
--»²¹Íʸ¸¥¥¢¥Ô¡¼¥ë
--¸¦µæWiki¤ò¤Þ¤ë¤Þ¤ëÄ¥¤ë¤È¤«
--¥½¥Õ¥È³«È¯¤Ë¶á¤¤¿Í¤Ï¥Æ¥¹¥È¡¦¥Ð¥°¼è¤ê¤Ïµ¤¤Ë¤¹¤ë
--»þ¤Ë¤Ï½èÍý·Ï¤è¤ê¤âºî¤Ã¤Æ¤ë¥Á¡¼¥à¤Î´Ä¶¤Î¤Û¤¦¤¬Âç»ö¤«¤â
--CHR
---Áê¼ê¤ò¼«Í³¤ËÀßÄꤹ¤ë¡¢À¨¤µ¤ò¸À¤¦¡ÊÀ©Ìó¥×¥í¥°¥é¥ß¥ó¥°¡¢...
--ÎãÂê
---¶ñÂÎŪ¤Ê¹Ô¿ô¢ª°ì¹Ô¤Ë¤Ê¤Ã¤¿
--¼ÁÌä¤òͶȯ
--Ïä¹Âç¶Ú¤È¤·¤Æ
---¥·¥¹¥Æ¥à¤Ë¼ê¤ò²Ã¤¨¤ë¤³¤È¤¬½ÐÍè¤ë
---¾¤Î¸À¸ì¤òÃΤëÎϤ¬¤¢¤ë
---¤½¤·¤ÆLMNtalÁ´ÂΤòÏ乤³¤È¤Ç¡¢Â¾¤Î¿Í¤Î¸¦µæ¤Ë¤Ä¤¤¤Æ¤âÃÎ...
--º£¸å¤Î²ÝÂê
---¤¤¤¤Ê¤êÊÂÎ󲽤ȤʤäƤ롢¤â¤¦¾¯¤·ºÙ¤«¤¯
--¥°¥é¥ÕƱ·¿ÀȽÄê¤Ë¤Ä¤¤¤Æ¤â¤¦¾¯¤·
---¤½¤ì¤Çuniq¤Ï¤É¤¦Âбþ¤¹¤ë¤Î¤«¤ò¸À¤¦¤Û¤¦¤¬Ê¬¤«¤ê¤ä¤¹¤¤¤«¤â
--¸À¸ì¤ËÄɲäȽèÍý·Ï¤ËÄɲä¬Èù̯
--LMNtal½èÍý·Ï¤Î¤É¤ÎÄøÅ٤Υ½¡¼¥¹¥³¡¼¥É¤ò¸«¤¿¤Î¤«
---Çȵڤ·¶ñ¹ç
**2010-01-12 [#w9d404a5]
-½¤»ÎÏÀʸ·×²è½ñ¤ò¥À¥¦¥ó¥í¡¼¥É¤·¤Æ¤ß¤¿
--3¥Ú¡¼¥¸Ê¬½ñ¤¯¤È¤³¤¢¤ë¤Î¤Ë¡Ö2¥Ú¡¼¥¸½ñ¤±¡×¤È¤¢¤ë¤Î¤Ç¤ª¤«...
--¥¼¥ß¤Ç¶¦Í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,...
appendcons @ my_append([A|X], Y, Z) <=> my_append(X, Y, ...
appendnil @ my_append([], [], Z) <=> list(Z), loopend.
loopstart @ list(X), n(N), loopend <=> N > 0 | M is N-1...
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...
--¼Â¹Ô¼ê½ç¤È·ë²Ì
$ pl
?- [append].
?- time(start). ¡¡¢¨2²óÌܰʹߤμ¹Էë²Ì ...
% 2,741,172 inferences, 82.88 CPU in 81.15 seconds (102%...
--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....
**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]...
([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/loca...
--[[µÄ»öÏ¿2:http://www.ueda.info.waseda.ac.jp/lmntal/loca...
**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
--Ãæ´ÖÌ¿Îá¤òÆɤ߹þ¤à¤ÈƱ»þ¤ËÍúÎòɽ¤ò½é´ü²½¤¹¤ë¤è¤¦¤Ë¤·¤¿...
--Á°¤Ï¤¤¤é¤Ê¤¤¤È»×¤Ã¤¿¤±¤É¡¢¥ë¡¼¥ë¥»¥Ã¥È¤¬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)...
-¥ê¥â¡¼¥È¤«¤é¤ÎºÆµ¯Æ°
$ shutdown -r -t N
**2009-11-9 [#a56fb33b]
-Ãæ´ÖÌ¿ÎáÎócommit¤Ë´Ø¤¹¤ë¥Ð¥°Ä¾¤·
--¤½¤ÎÁ°¤Ë.lmn¢ª¥³¥ó¥Ñ¥¤¥ë¤ÇÃæ´ÖÌ¿Îá½ÐÎÏ¢ª.tal¢ª¥é¥ó¥¿¥¤¥à¤Ç...
$ lmntal --compileonly hoge.lmn > hoge.tal
$ lmntal --stdin-tal hoge.tal
--Ãæ´ÖÌ¿ÎáÎócommit¤ÎÂè°ì°ú¿ô¤Ë¤Ï¥ë¡¼¥ë̾¤¬Æþ¤ë¤¬¡¢¤³¤ì¤Þ...
commit [null, 0]
--¤³¤Î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...
---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¥³¥ó¥Ý¡¼¥Í¥ó¥È¢ªW...
-CCHR¤ÎPrime
--hori¤µ¤ó¤Î¸À¤¦¤È¤ª¤ê¡¢LMNtal¤Ç¥ë¡¼¥ë¤Î½çÈÖ¤òÊѤ¨¤¿¤é¤À...
-CCHR¤ÎGCD ½é´ü¾õÂÖ
--½ÐÎϤǤ¤¿¡¢ºÇ½é¤Ë11*n (n=2¡Á2999)¤ÎGCD¤òÀ¸À®¤·¤Æ¤ë
--4000¸Ä¤ÎGCD¤ÈÏÀʸ¤Ë½ñ¤¤¤Æ¤¢¤Ã¤¿¤±¤É¡¢¤³¤ì¤Ï¤É¤¦¤¤¤¦¤³¤È...
--¤Á¤Ê¤ß¤ËPrime¤ÏSLIM¤Î¤Û¤¦¤¬¤À¤¤¤ÖÃÙ¤«¤Ã¤¿¤±¤É¡¢GCD¤Ï²¿...
**2009-10-15 [#a56fb33b]
-STM for Java, C
--¤É¤¦¤ä¤é»È¤¨¤ë¤ß¤¿¤¤¤À
--¥×¥í¥°¥é¥ß¥ó¥°¸À¸ìClojure
---STM¤ò¥µ¥Ý¡¼¥È
---JavaVM¤Î¥Ð¥¤¥È¥³¡¼¥É¤Ë¥³¥ó¥Ñ¥¤¥ë¤Ç¤¤ë¤é¤·¤¤
--C¤Ï[[¤³¤ì:http://www.hipeac.net/system/files/TM_for_GCC...
-LE.jar¥Õ¥¡¥¤¥ë¤òWin¤Î¥¹¥¿¡¼¥È¥á¥Ë¥å¡¼¤ËD&D¤¹¤ë¤È¤¦¤Þ¤¯µ¯...
--¥·¥ç¡¼¥È¥«¥Ã¥È¤òºî¤Ã¤ÆD&D¤¹¤ë¤ÈOK
--exe¥Õ¥¡¥¤¥ë¤È¤«¤Ï¼«Æ°Åª¤Ë¥·¥ç¡¼¥È¥«¥Ã¥Èºî¤Ã¤Æ¤¯¤ì¤ë¤±¤É...
**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¤¬¸«¤Ä¤«¤é¤Ê¤¤¤È¡¢¤Çgre...
--borland¤òÆþ¤ì¤¿¤»¤¤¡©
**2009-9-5 [#a56fb33b]
-¹ç½ÉÈè¤ì¤¿
--¼ÂÁõ¤·¤Ê¤¤ã
--SLIMÆɤޤʤ¤ã
-10·î¸¦µæȯɽ
--²¿¤â¸À¤¨¤Í¤§
--¾®ÎÓ¤µ¤ó¤ÎÎØÆɤθåȾ¤Ç¤â¤ä¤í¤¦¤«¤Ê
**2009-8-10 [#a56fb33b]
-C++¥³¥ó¥Ñ¥¤¥é¥á¥â
--¥¤¥ó¥¹¥È¡¼¥ëÀè¤Î bin ¥Ç¥£¥ì¥¯¥È¥ê¤Ç¼¡¤Î¼ê½ç¤ò¼Â¹Ô¤·¤Þ¤¹¡£
--a. ´û¸¤Î¥Ñ¥¹¤Ë "c:\Borland\Bcc55\Bin"¡Ê¥Ç¥Õ¥©¥ë¥È¡Ë¤ò...
--b. bcc32.cfg ¥Õ¥¡¥¤¥ë¤òºîÀ®¤·¤Þ¤¹¡£¤³¤Î¥Õ¥¡¥¤¥ë¤Ï¡¤Incl...
-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): ¡ÖÏÀÍýŪ¤Ë¡×Ê£¿ô¤Î¥¿¥¹...
---¼ÂºÝ¤Ë¥×¥í¥»¥Ã¥µ¤¬°ì¸Ä¤Ç¤âÊ£¿ô¤Ç¤â¹½¤ï¤Ê¤¤. ½¾¤Ã¤Æ, ÊÂ...
-GDB
--break point¤Ë¾ò·ï¤ò¤Ä¤±¤ë
**2009-7-23 [#a56fb33b]
-[[ºòÆü¤ÎÀ®²Ìʪ:http://www.ueda.info.waseda.ac.jp/~seiji/...
**2009-7-19 [#a56fb33b]
-iTunes
--ºÇ¶á¡¢ipod¤ò¤Ä¤Ê¤°Å٤ˡ֥¢¥Ã¥×¥Ç¡¼¥È(1200±ß)¡×¤È¤¤¤¦É½...
---¨²¡¤·¤¿
**2009-7-15 [#a56fb33b]
-uniq
--¥³¥ß¥Ã¥È¤·¤¿¤éÆ°¤«¤Ê¤¤ÎãÂê(abp)¤¬¤¢¤Ã¤¿
-ÍúÎòɽ¤Î²òÊü˺¤ì
--¤¦¤«¤Ä¤À¤Ã¤¿¡£¤Ç¤âabp¤ÏÊ̤ˤ½¤ó¤Ê¤Ë¥ë¡¼¥ë¿ô¿¤¤¤ï¤±¤¸¤ã...
-¸¶°ø¤Ï¥ë¡¼¥ë¤ÎÊ£À½¤ÈƱ·¿ÀȽÄê
--Ëì¤Ë¥ë¡¼¥ë¥»¥Ã¥È¤òÄɲ乤ë»þ¤Ë¥¢¥É¥ì¥¹ÅϤ·¤Ç¤Ï¤Ê¤¯Ê£À½...
--Ʊ·¿ÀȽÄê¤Ç¤Ï¡¢¥ë¡¼¥ë¤Ï¥¢¥É¥ì¥¹½ç¤Ë¥½¡¼¥È¤·¤ÆÈæ³Ó¤·¤Æ...
---¿·¤·¤¤»ÅÍÍ¡£¥ë¡¼¥ë¤òÊ£À½¤¹¤ì¤ÐÅöÁ³¥¢¥É¥ì¥¹¤À¤Ã¤ÆÊѤï¤ë...
**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]
-¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥°
--¥¯¥ê¥Ã¥¯¤Ç¥¢¥È¥àÇÛÃÖ¡¢¥É¥é¥Ã¥°¤ÇËìÇÛÃÖ¡¢¤È¤«¡©
--¿§¤ó¤Ê¼ïÎà¤Î¥¢¥È¥à(Ëì)¤¬¤¢¤Ã¤Æ¤â¤è¤µ¤½¤¦¡¢°ì¸Ä¤¢¤ë¤È¥¦...
--¤Ç¤â¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥°¤ÎÍøÅÀ¤Æ²¿¤Ê¤ó¤À¤í¤¦¡¢LMNta...
-UNYO 3D
--¸«¤ä¤¹¤½¤¦¤À¤±¤É¡¢¥æ¡¼¥¶¤¬¥¢¥È¥à¤ò°ú¤ÃÄ¥¤Ã¤¿¤ê¤¹¤ëÁàºî...
--360¡ë¥Õ¥ë¤Ë¸«¤ì¤ë¤Î¤Ç¤Ï¤Ê¤¯¡¢x,-x,y,-y,z,-z¤Î6Êý¸þ¤«¤é¸«...
-ưŪ¤ËÊѲ½¤¹¤ë¥ë¡¼¥ë
--²¿¤ÎÎãÂê¤ò½ñ¤¤¤Æ¤ë¤È¤¤«Ëº¤ì¤Æ¤·¤Þ¤Ã¤¿¤¬¡¢¥Ø¥Ã¥É¤¬Æ°Åª...
--º£¤Ï¥ë¡¼¥ë¤Î°ÜÆ°¡¦Ê£À½¡¦¾Ãµî¤·¤«¤Ç¤¤Ê¤¤¤±¤É¡¢¡Ö¥ë¡¼¥ë...
---¸À¸ì»ÅÍͤȤ«µ¤¤Ë¤·¤Ê¤¤¤Ç½ñ¤¤¤Æ¤ß¤¿
---Æä˥â¥Á¥Ù¤È¤Ê¤ë¤è¤¦¤ÊÎã¤Ï̵¤¤¤±¤É
---¤½¤ì¤Ë¸å¼Ô¤Ï¤¢¤é¤«¤¸¤áÍÑ°Õ¤·¤Æ¤ª¤¤¤ÆŸ³«¤¹¤ì¤Ð»÷¤¿¤è¤¦...
---uniq¤Î»þ¤â»×¤Ã¤¿¤¬¡¢·ë¶ÉLMNtal¸À¸ì¤Ë²¿¤«¿·µ¡Ç½¤ò¤Ä¤±¤Æ...
**2009-7-12(¿¼Ìë) [#a56fb33b]
-ÉÛÃĤËÆþ¤Ã¤¿¤±¤É¿²¤ì¤Ê¤¤¤«¤éPC¤Ä¤±¤¿
-¼«Ê¬¤Ï¤Ê¤¼¾åÅĸ¦¤ËÆþ¤Ã¤¿¤«¡©
--¥×¥í¥°¥é¥ß¥ó¥°¸À¸ì¤òºî¤ë¡á¤¿¤¯¤µ¤ó¥×¥í¥°¥é¥à¤ò½ñ¤¤½¤¦...
---¡Ê¤¢¤¯¤Þ¤Ç°ì°ø¤À¤±¤É¡Ë
--¤Ê¤ó¤«¤¿¤¯¤µ¤ó¥×¥í¥°¥é¥à½ñ¤¤¤Æ¤ß¤¿¤¤¤Ê¤¡¡¢¤¿¤¯¤µ¤ó¤Ã¤Ä...
--¤½¤Î»ëÅÀ¤«¤é¸¦µæ¥Æ¡¼¥Þõ¤·¤Æ¤·¤Þ¤¦¤«¡£¾Ð
-LMNtal¤Ç¤Î¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥°
--¤Õ¤ÈPPL¤ÇLMNtal¤â¥Ó¥¸¥å¥¢¥ë¥×¥í¥°¥é¥ß¥ó¥°Äü¤á¤Ê¤¤¤Ç¡¢¤È...
--¸À¸ìÈÉ¥Ú¡¼¥¸Æâ¤Ç¸¡º÷¤¹¤ë¤ÈÃæÌ¤ó¤¬UNYO¤ò¥ô¥£¥¸¥å¥¢¥ë...
---¤±¤ÉÃæÌ¤ó¤Î½¤ÏÀ¤Ë¤Ï¤½¤¦¤¤¤¦¤³¤È¤Ï½ñ¤¤¤Æ¤Ê¤¤µ¤¤¬¤¹¤ë
--UNYO3G¤Ïº£¸å¤½¤Ã¤Á¤ÎÊý¤Ë¤¤¤¯Í½Äê¤Ï¤¢¤ë¤Î¤«¤Ê
---¾¯¤Ê¤¯¤È¤â¥ë¡¼¥ë¤òUNYO¾å¤Ç½ñ¤¯(ÉÁ¤¯)¤ß¤¿¤¤¤Ê»ö¤Ïµîǯ¤Î...
--¤¤¤Ä¤À¤«ÈÉ¥¼¥ß¤ÇÏÃÂê¤Ë½Ð¤¿[[¥µ¥¤¥È:http://www.toontalk....
-¤¢¤È¤ÏUNYO¤Î»°¼¡¸µ²½¤Ê¤ó¤«¤âÃæÌ¤ó¤Ï²ÝÂê¤Ëµó¤²¤Æ¤ë
--¾®ÎÓ(»Ë)¤µ¤ó¤¬¤¤¤Ä¤¾¤ä¸À¤Ã¤Æ¤¿¤³¤È¤â¡¢º£»×¤¨¤Ð¸¦µæ¥Æ¡¼...
--¤Ç¤âUNYO¤Ã¤Æ¡Ö¸«¤ä¤¹¤µ¡×¤Ç¾¡É餹¤ë¤â¤Î¤À¤«¤é¡¢¤¹¤´¤¤Âç...
---¤Þ¤¡ÂçÊѤ½¤¦¤¸¤ã¤Ê¤¤¤â¤Î¤Ê¤ó¤Æ̵¤¤¤¬
-´Ø·¸¤Ê¤¤¤¬ÉÙ±ÊÀèÀ¸¤Î¥ì¥Ý¤¬ÌÌÅݤ³¤Î¾å¤Ê¤¤
-uniq
--164¤ØÆþ¤ì¤è¤¦¤È»×¤Ã¤¿¤±¤É¡¢port.c¤ò¤É¤¦Êѹ¹¤¹¤ë¤«¤Ç̤¤...
-¤ä¤Ã¤È̲¤¯¤Ê¤Ã¤Æ¤¤¿¡¢¿²¤ë
**2009-7-9 [#a56fb33b]
-uniq¤Î¥³¥ß¥Ã¥È
--hori¤µ¤ó¤Îver.up¤¬°ìÃʳڤ·¤¿¤Î¤Ç164¤òÍî¤È¤·¤Æ¤¤Æ¤ä¤Ã¤Æ...
-¸¦µæ¥Æ¡¼¥Þ
--¤¦¡¼¤ó¡¢Ëì¤ÎƱ·¿ÀȽÄê¤ò¸«Ä¾¤¹¤«¡¢POR¤«¡¢¤Ï¤¿¤Þ¤¿iwatas...
-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¤Î...
++(Vista)¥¢¥¯¥»¥µ¥ê¢ª¥ê¥â¡¼¥È¥Ç¥¹¥¯¥È¥Ã¥×Àܳ¢ª¡Ölocalhost:...
--¢»²¹Í¤Þ¤Ç¤ËÃæÌ¤ó¤Î¥ê¥â¡¼¥È¥Ç¥¹¥¯¥È¥Ã¥×¤Î¤ä¤êÊý¥Ú¡¼¥¸
---[[SSH¥È¥ó¥Í¥ê¥ó¥°¤Ç¡Á:http://www.ueda.info.waseda.ac.j...
**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¤ÏÀ°¿ô¥¢¥È¥à¤¬Ìµ¤¤¤«¤é¡¢±î¤¬²¿¤â»ý¤Ã¤Æ¤¤¤Ê¤¤¾õÂÖ¤òm...
¤³¤ó¤Ê¾ì¹ç¡§ monkey(X) :- X\=0 | Ž¥Ž¥Ž¥.
---\=¤Ïunary·¿°Ê¾å¤ÎÈæ³Ó¤À¤«¤é¡¢0¤¬À°¿ô¥¢¥È¥à¤¸¤ã¤Ê¤¤¤È¥À...
--¤·¤ç¤¦¤¬¤Ê¤¤¤«¤éÆ»¶ñ¤¬²¿¤â̵¤¤ÃÏÅÀ¤Ë¤Ïobject(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(...
hold@@ {monkey(none), obj(X), $p} :- unary(X) |{monkey(X...
put@@ {monkey(X), $p}, cond(C) :- \+($p=(obj(Y),$pp)), X...
get_on@@ {monkey(X), obj(box), $p} :- unary(X) | {monkey...
get_off@@ {monkey(X,box), $p} :- unary(X) | {monkey(X), ...
goal@@ {goal, monkey(stick,box) } :- got_banana.
-after
{goal,ob(no)}, {a,ob(box)}, {b,ob(stick)}, {c,mk(no),obj...
{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ËçÌܤϤâ¤Ã¤È¥Ä¡¼¥ë¤Î¾Ò²ð¤Ã¤Ý¤¯¤¹¤ë¡¢¤¢¤ì¤â¤¢¤ë¤³¤ì¤â¤¢¤ë
--ºÇ¸å¤Ë¤³¤ì¤é¤Î¥Ä¡¼¥ë¤ÏÁ´Éô¸ø³«¤µ¤ì¤Æ¤¤¤Þ¤¹¤è¡¢Åª¤Ê´¶¤¸...
-¤³¤ÎÊÕ¤ê¤Ë¸¦µæ¤ÎÇطʤÈÌÜŪ¤ò»ý¤Ã¤Æ¤¯¤ë
-¾õÂÖ¶õ´Öõº÷¡
--Ä̾ï¼Â¹Ô(·èÄêŪ¼Â¹Ô)¤ÈÈó·èÄê¼Â¹Ô¤Ëʬ¤±¤Æ½ñ¤¯
---º®Í𤵤»¤Á¤ã¤¦¤«¤â
-ÎãÂê¥â¥ó¥¡¼
--ºÇ½é¤Ë»ý¤Ã¤Æ¤¤¤¯¤«¤éÈ´¤¯
-¾õÂÖ¶õ´Öõº÷¢
--¤³¤ó¤Ê¤â¤ó¡¢¸½¾õ°Ý»ý
-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.ht...
-¥Ï¥ß¥ó¥°¿ô
--ÁÇ°ø¿ô¤¬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, L...
365 src/task.c (inst_seq && interpret(rule, inst...
736 src/task.c if(interpret(rule, instr, next_...
776 src/task.c if(interpret(rule, instr, next_...
851 src/task.c ret = interpret(rule, instr, ne...
955 src/task.c interpret(rule, instr, &ins...
1036 src/task.c if (interpret(rule, inst...
1102 src/task.c if (interpret(rule, inst...
1143 src/task.c if (mp->name == memn && inte...
1406 src/task.c if (interpret(rule, instr, &in...
2003 src/task.c interpret(rule, instr, next_in...
2288 src/task.c if(interpret(rule, instr, next...
3021 src/task.c if (!interpret(rule, instr, &i...
3030 src/task.c if (interpret(rule, instr, &in...
3039 src/task.c while (interpret(rule, 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¤È¤¤¤¦¥°¥ë¡¼¥×¤Ë°¤¹¤ë¿Í㤫¤éÆó¿Í¤òÁª¤ó¤Ç¥Ú¥¢¤òºî...
--¾ò·ï£±¡§Æ±¤¸¥°¥ë¡¼¥×Ʊ»Î¤Ç¥Ú¥¢¤òºî¤Ã¤Æ¤Ï¤¤¤±¤Ê¤¤
--¾ò·ï£²¡§Æ±¤¸ÁȤ߹ç¤ï¤»¤¬Æó¤Ä½ÐÍè¤Æ¤Ï¤¤¤±¤Ê¤¤¡Ê´Êñ¤Ë¤¹...
--¾ò·ï£±¡¢£²¤Î²¼¤ÇºÇ¤â¿¤¯¤Î¥Ú¥¢¤òºî¤ì¤ëÁȹç¤ï¤»¤Ï²¿Ä̤ê...
---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...
uniqÍ¡§
p(X), p(Y) :- uniq(X, Y), X\=Y | pair(X, Y).
-uniq̵¤Î¾ì¹ç
--¤Þ¤º°ì¤ÄÌܤΥ롼¥ë¤À¤±¤¸¤ã¾ò·ï£²¤òËþ¤¿¤»¤Ê¤¤(pair(a,b),...
--¤µ¤é¤Ë¾õÂÖ¿ô¤¬Â¿¤¤¡¢SV¤¬¸«¤Ë¤¯¤¤
---Á´¾õÂÖ¿ô93¡¢ºÇ¤â¿¤¯¥Ú¥¢¤òºî¤Ã¤¿ºÇ½ª¾õÂÖ5(2ËÜÌܤΥ롼...
#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...
#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¤¬»ý¤Ä...
--£ruleset¤«¤é¼è¤ê½Ð¤·¤¿rule¤Î̾Á°¤òÈæ³Ó¡õÍúÎò¤òÈæ³Ó
---¤³¤³¤Ç¤Îrule¤Î̾Á°¤È¤Ï¡¢@@¤Ë¤è¤Ã¤ÆÉղäǤ¤ë¥ë¡¼¥ë̾¤Ç...
--¤¡¡Á£¤Ç°Û¤Ê¤ë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
--½é´ü¾õÂÖ¤ÈÀ¸À®¤µ¤ì¤¿¾õÂ֤Ǥϡ¢¥ë¡¼¥ë¤ÎÍúÎò¤¬°Û¤Ê¤ë(À¸À®...
-ÍúÎòÅù²ÁÀȽÄê¤ÎÊäÂ
--¸½Ãʳ¬¤ÇÈæ³ÓºàÎÁ¤È¤·¤ÆÍøÍѤǤ¤ë¤â¤Î¤Ï¤È¤ê¤¢¤¨¤º»È¤Ã¤Æ...
---rule¤Î̾Á°¤È¤«¡¢ruleset¤Îid¤È¤«
--¤Ä¤Þ¤ë¤È¤³¤í¡¢ruleset¤Îid¤òÈæ³Ó¤¹¤ë(¡áÀÅŪ¤ËÄêµÁ¤µ¤ì¤¿...
--¢¤ÎÃæ¤Ç°ì¤Ä¤Ç¤â°Û¤Ê¤ë¤ÈȽÄꤵ¤ì¤¿¾ì¹ç¤Ï¡¢¤½¤ÎËì¤ÏÈóƱ·¿...
---Ë줬»ý¤Ärulesets¿ô¡¢ruleset¿ô(@¤Î¿ô)¡¢rule¿ô(@n¤¬»ý¤Är...
---rulesets¤ÎnÈÖÌܤ˳ÊǼ¤µ¤ì¤Æ¤¤¤ëruleset¤Îid¤¬°Û¤Ê¤ë¡¢¤Þ...
---ÍúÎò¤¬°Û¤Ê¤ë
-Ê̤ÎÎã
¡¡§
rule0{a(X):-uniq(X)|ok(X).}.
rule1{a(1). }.
rule2{a(1). }.
rule0{@p}, rule1{$p}, rule2{$q} :- rule1{$p, @p}, rule2{...
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¤Ë¥³¥Ô¡¼¤·¡¢¤½¤ì¤¾¤ì¤ÎËìÆâŬÅö...
---¡¤Ï¥ë¡¼¥ë¥Æ¥ó¥×¥ìid¤ÈÍúÎò¤¬Æ±¤¸¤Ê¤Î¤Çtrue¤¬Ê֤äƤ¯¤ë
---¢¤Î¤è¤¦¤Ërule0¤ò̵¤¯¤·¡¢rule1,2Æâ¤ËƱ¤¸¥ë¡¼¥ë¤ò½ñ¤¯¤È...
**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).¤Ç°ìÃפ·¤Æ¤Û¤·¤¤¤È¤³¤í¤À...
-¥á¥â
--lmn_mem_equals_rec¤ÇËìÆâ¤Ë¤¢¤ë¥ë¡¼¥ë¥»¥Ã¥È¤Î¿ô¤ò¹Íθ¤¹...
--state_equals¤«¤é¤Ï¡¢ÍúÎò¤Ï¤É¤¦¸«¤¨¤Æ¤ë¤ó¤À¤í¤¦¡©
---Í×ÁÇ¿ô¤À¤±¤ò¸«¤Æ¤ë¡¢¤Ê¤ó¤Æ¤³¤È¤Ï̵¤¤¤À¤í¤¦¤«¡©
--Åù²Á¤Ê¥ë¡¼¥ë¤Ç¤¢¤ë¤ÈȽÄꤹ¤ë¤³¤È¤Ï½ÐÍè¤Ê¤¤¤ó¤¸¤ã¤Ê¤¤¤«...
&aname(word);
*¤Ü¤ä¤ [#s8e0a853]
-4/11¡¡ÅÚÍËÆü¡¡¸á¸å3»þ
--½Õ¤À¡¢¤¤¤¤Å·µ¤¤À
-6/11¡¡ÌÚÍËÆü¡¡¸á¸å19»þ¡¡±«¤Î¤ÁÀ²¤ì
--uniq¤Ã¤Æ¤µ¡¢»È¤¦¡©
-6/18¡¡ÌÚÍËÆü¡¡¸áÁ°7»þ¡¡À²¤ì
--²¶¡¢È¯É½¤¬½ª¤ï¤Ã¤Æ̵»ö¸¦µæ¼¼¤Ëµ¢¤Ã¤¿¤é¡¢¥Ç¥¹¥¯¥È¥Ã¥×PC...
¥Ú¡¼¥¸Ì¾: