SeijiWiki
¸¦µæÆü»ï¤È¤Ä¤Ö¤ä¤
¤ò¥Æ¥ó¥×¥ì¡¼¥È¤Ë¤·¤ÆºîÀ®
³«»Ï¹Ô:
*¸¦µæ¥Ú¡¼¥¸ [#ie4e5baa]
-[[uniq]]
-[[M2(¸¦µæÆü»ï¤È¤¦¤á¤)>¸¦µæÆü»ï¤È¤¦¤á¤]]
-[[M1(¸¦µæÆü»ï¤È¤Ü¤ä¤)>¸¦µæÆü»ï¤È¤Ü¤ä¤]]
//-[[´ÏÀ]]
*¤Ä¤Ö¤ä¤ [#s8e0a853]
-LMNtal¤Çµá¤á¤Æ¤ß¤¿¤¤À°¿ô¤ÎÎà
--º§Ìó¿ô
--²óʸ¿ô(²óʸÁÇ¿ô¡¢²óʸʿÊý¿ô)
--¥À¥¤¥ä¥ë¿ô
-LMNtal¤Ç¤¹¤´¤í¤¯¤Ç¤¤Ê¤¤¤«¤Ê¡©
-UNYO¤ÏÌÌÇò¤¤¡£¤³¤¦¤¤¤¦¤Î¤¬¤¢¤Ã¤¿¤é¤¤¤¤¤«¤â¡£
--´¬¤Ìᤷ¤¬¤Ç¤¤ë¡£
--¥Î¡¼¥É¤Î¸¡º÷
--%%¥Þ¥¦¥¹¤Ç¤Î¥º¡¼¥à%%¡Ê¥á¥Ë¥å¡¼¤ÎZoom¤È¤ÎϢư¤Ï̤¼ÂÁõ¡Ë
--¼¡¤ËÈ¿±þ¤¹¤ë¥¢¥È¥à¤¬Ê¬¤«¤ë¡£
--UNYO¤Ã¤¿¤±¤É¤Û¤Ã¤¿¤é¤«¤·¢ªMainFrame, SearchNodeFrame, Gr...
&br;
&br;
---- // °Ê²¼¡¢¸¦µæÆü»ï
**2009-3-21 [#x42d7fde]
***global [#t9fe6e49]
-Î㤨¤Ðsrc°Ê²¼¤Î¥½¡¼¥¹¤òHTML²½¤·¤¿¤¤¾ì¹ç¡¢srcľ²¼¤Ç
$ gtags -v
$ htags
-¤¹¤ë¤ÈHTML¥Õ¥©¥ë¥À¤¬src¤ÈƱ¤¸¥Ç¥£¥ì¥¯¥È¥ê¤ËÀ¸À®¤µ¤ì¤ë
--¥Õ¥©¥ë¥À¤ò±ø¤µ¤Ê¤¤¿ÆÀÚÀß·×
***JSAI [#j95d7df1]
-ÎãÂ꤬Íߤ·¤¤
--Á´°è¥¯¥â¤ÏÅ´Èĥͥ¿¤À¤È»×¤¦¡¢uniq ver.¤Èuniq+nd ver.¤¬¤Ç...
**2009-3-19 [#x42d7fde]
***float·¿¤ÎƱ·¿ÀȽÄê [#v127ffa7]
mem_eq(L1, L2, a, b, r).
{+L1, a(1.0).}.
{+L2, a(1.0).}.
--> false(r). a(L0). b(L1). {a(1.000000). +L1. }, {a(1.0...
-ɬ¤ºfalse¤Ë¤Ê¤ë¡£
***uniq [#v127ffa7]
-porÈǤ˼ÂÁõ¤·¤Æ¤ß¤¿¡¢°ì±þÆ°¤¯
-nd
--Ä̾ï¼Â¹Ô
a(1), a(1), a(2), a(2).
a(A) :- uniq(A) | ok(A).
--> a(1). a(2). ok(1). ok(2). @3
--nd
init:17663488
17663488::17734632,17665952::a(1). a(1). a(2). a(2). @3
17734632::::a(1). a(1). a(2). ok(2). @3
17665952::::a(1). a(2). a(2). ok(1). @3
# of States = 3
---°ìÅ٥롼¥ë¤¬Å¬ÍѤµ¤ì¤¿¸å¤Ç¿·¤¿¤Ê¾õÂÖ¤¬À¸À®¤µ¤ì¤Æ¤¤¤Ê¤¤...
***JSAI2009 [#v127ffa7]
-¤Î¥Ú¡¼¥¸¤òºî¤Ã¤¿
--[[JSAI2009:http://www.ueda.info.waseda.ac.jp/lmntal/loc...
-¼ÂÁõ¤òµÞ¤°
**2009-3-16 [#x42d7fde]
***mem_eq¥á¥â [#v127ffa7]
mem_eq( M1, M2, mem1, mem2, result).
{+M1. a}. {+M2. a}. //ture
{+M1. a}. {+M2. b}. //false
{+M1. a:-b.}. {+M2. a:-b.}. //true
{+M1. a:-b.}. {+M2. b:-a.}. //true
{+M1. c. a:-b.}. {+M2. c. b:-a.}. //true
{+M1. c. a:-b.}. {+M2. d. b:-a.}. //false
{+M1. a. a:-.}. {+M2. }. //true
{+M1. a. a:-.}. {+M2. }. //true
{+M1. a. a:-b.}. {+M2. c. c:-b.}. //true
{+M1. a. a:-b.}. {+M2. b. a:-b.}. //true
***C¸À¸ì [#e472e46b]
-makes pointer from integer without a cast
-format argument is not a pointer
--¤É¤ì¤â¥¥ã¥¹¥È¤ò¤·¤Ã¤«¤ê½ñ¤±¤ÐÂç¾æÉ×
**2009-3-11 [#x42d7fde]
***PPL2009 [#v127ffa7]
-´ôÉì¤Ï±ó¤«¤Ã¤¿
***uniq [#r92fae34]
-vector¤ÇID¤òÀ¸À®¤¹¤ë¤è¤¦¤ËÊѹ¹
-warning¤ò¾¯¤·¤º¤Ä¾Ã¤·¤Æ¤¤¤¯
***¥µ¥ó¥À¡¼¥Ð¡¼¥É [#jb29127f]
-¼õ¿®¥Õ¥©¥ë¥À¤¬¤ª¤«¤·¤¯¤Ê¤Ã¤¿¤é¡¢
--Inbox, Inbox.msf¤òºï½ü
---Users\seiji\AppData\Roaming\Thunderbird\Profiles\xxxxx...
--¼õ¿®¥Õ¥©¥ë¥À¢ª±¦¥¯¥ê¥Ã¥¯¢ª¥×¥í¥Ñ¥Æ¥£¢ª¸¡º÷¤ÎºÆ¹½ÃÛ
**2009-2-8 [#x42d7fde]
***Spanning Spider [#a5dc38b9]
-¾¯¤·´Êñ¤Ë¤·¤Æ10¹Ô¤Û¤É¸º¤é¤»¤¿
-¤Ç¤â¤¢¤¤¤«¤ï¤é¤º½ÅÊ£¤¬¤Ç¤ë¡Ê¤Ï¤º¡¢Ì¤³Îǧ¡Ë¤Þ¤¡¤¤¤¤¤«
**2009-2-7 [#x42d7fde]
***uniq [#a5dc38b9]
-uniq¤ÏËì¤ò°ú¿ô¤Ë¼è¤ì¤Ê¤¤¤«¤é¡¢Ëì¤ËÂФ·¤Æuniq»È¤¦¤Ê¤é¥¤¥ó...
**2009-2-6 [#x42d7fde]
***´ÏÀ [#a5dc38b9]
-ȯɽ¤Ï½ª¤ï¤Ã¤¿¡£ÀèÇÚÊý¡¢¤¢¤ê¤¬¤È¤¦¤´¤¶¤¤¤Þ¤·¤¿¡£
-¤¢¤È¤Ï¤Á¤ç¤¤¤Á¤ç¤¤ÏÀʸ¤Î½ñ¤Ä¾¤·
--¤â¤¦°ì²óCHR¤È¤ÎÈæ³Ó¬Äꤷ¤¿¤¤
--Spider¤Ï¤â¤¦¤Á¤ç¤¤¤¤ì¤¤¤Ë¤Ç¤¤½¤¦
--³µÍפȸ¦µæÇطʤòÂçÉý½ñ´¹¤¨
**2009-1-26 [#x42d7fde]
***À©Ìó¥×¥í¥°¥é¥ß¥ó¥°¤È¤Ï [#a5dc38b9]
¡ÖÀ©Ìó¥×¥í¥°¥é¥ß¥ó¥°¡×¤ÏAI(¿Í¹©ÃÎǽ)µ»½Ñ¤Î°ì¤Ä¤Ç¡¢1980ǯ...
¤µ¤ì¡¢¤³¤Î20ǯ´Ö¤ÇÀ¤³¦Ãæ¤ÎÍÍ¡¹¤ÊʬÌî¤Î¼ÂÍÑŪ¤Ê·×²èÌäÂê¤ò...
¤ËÍѤ¤¤é¤ì¤Æ¤¤¿µ»½Ñ¤Ç¤¹¡£
¡ÖÀ©Ìó¥×¥í¥°¥é¥ß¥ó¥°¡×¤Ï´Êñ¤Ë¤¤¤¨¤Ð°Ê²¼¤Î¤è¤¦¤Ê³«È¯µ»Ë¡...
* ·×²è¤¬½¼¤¿¤¹¤Ù¤¾ò·ï¤ò¡ÖÀ©Ìó¡×¤Î¤«¤¿¤Á¤Çµ½Ò¤¹¤ë¡£
* À©Ìó¾ò·ï¤ò½¼¤¿¤·¤¿·×²è¤ò¡¢¥×¥í¥°¥é¥à¤¬¼«Æ°Åª¤Ëõº÷¤·...
* õº÷¤Ë¤ÏÀ©ÌóÅÁÇżêË¡¤òÍѤ¤¤ë¡£À©Ìó¤òÍøÍѤ·¤Æ¾ò·ï¤Ë¹ç...
¤ò¼è¤ê½ü¤¤Ê¤¬¤éõº÷¤¹¤ë¤Î¤Ç·×²èºîÀ®¤¬¸úΨ¤è¤¯¹Ô¤¨¤ë¡£
¡ÖÀ©Ìó¥×¥í¥°¥é¥ß¥ó¥°¡×¤ÎĹ½ê¤Ï¡¢¡Ö¤ï¤«¤ê¤ä¤¹¤µ¡×¤È¡Ö¸úΨ...
È÷¤¨¤¿µ»½Ñ¤Ç¤¢¤ëÅÀ¤Ç¤¹¡£À©Ì󤬤¢¤ë¤³¤È¤òÍøÍѤ·¤Æ¸úΨ¤è¤¯...
¤¹¤³¤È¤¬¤Ç¤¤ë¤À¤±¤Ç¤Ê¤¯¡¢ÌäÂê¤Îɽ¸½¤¬¿Í´Ö¤Îľ´¶¤Ë¤¢¤Ã¤Æ...
¥Ç¥ê¥ó¥°¤äÀ߷פ¬³Î¼Â¤Ë¹Ô¤¨¤ë¤³¤È¤¬¡¢¡ÖÀ©Ìó¥×¥í¥°¥é¥ß¥ó¥°...
¤ÊÆÃħ¤Ç¤¹¡£
**2009-1-25 [#x42d7fde]
***JSAI2009 [#a5dc38b9]
-¿½¤·¹þ¤ó¤À¡¢¤¦¤É¤ó¡£
***(´ÏÀ¤ò´èÄ¥¤ë)Îɤ¤»Ò¤Î¤ß¤ó¤Ê¤Ø [#q8ccaa2a]
-Ìë¤ÏÁ᤯¿²¤Þ¤·¤ç¤¦¡¢ÂÎÄ´¤òÊø¤¹¸¶°ø¤È¤Ê¤ê¤Þ¤¹
--PC¤Î²èÌ̤¬¤Ü¤ä¤±¤Æ¸«¤¨¤¿¤ê¡¢¾®¤µ¤Ê¥Õ¥¡¥¤¥ë̾¤ò¤¦¤Þ¤¯¥¯...
---·Ð¸³¼Ô¤¬¸À¤¦¤Î¤À¤«¤é´Ö°ã¤¤¤Ê¤·
**2009-1-24 [#x42d7fde]
***¤Ä¤Ö¤ä¤ [#q8ccaa2a]
-¤³¤³¤Ë¤¤ÆÆɤߤ¿¤¤CHR¤Î±Ñ¸ì¤ÎÏÀʸ¤¬2¤Ä¤â½Ð¤Æ¤¤¿
--¤³¤ó¤Êµ¤»ý¤Á¤Ë¤Ê¤ë¤È¤Ï
--´ÏÀ½ª¤ï¤Ã¤¿¤éÆɤफ¤Ê¡¢JASI¤Î¤¿¤á¤Ë¤â¤Ê¤ë¤À¤í¤¦¤·
***CHR²òÀâ¤Î¾Ï [#c46e3e99]
-Èó¾ï¤ËÆâÍƤ¬Çö¤¤¡¢Propagation¤ÎÏÀʸ¤ò¤â¤¦¤Á¤ç¤¤Æɤó¤Ç½ñ...
--»þ´Ö¤¬¤¢¤ì¤Ð¡¢¤Ë¤·¤è¤¦
***JSAI¤Î¥¿¥¤¥È¥ë [#u04b740b]
-¥¥Þ¥é¥Ê¡¼¥¤¡¢°ÆÊ罸
***ÀèÀ¸¤è¤ê´ÏÀ¤Ë´Ø¤·¤Æ [#h2e16475]
-uniqÀ©Ìó¤Î¥»¥Þ¥ó¥Æ¥£¥¯¥¹¤ò½Ò¤Ù¤ë¡£
--ÆäËCHR¤È¤Îpropagation¤È¤Î´Ø·¸¤ò½Ò¤Ù¤ë¡£
-uniq À©Ìó¤ÎɬÍ×À¤ä±þÍÑÎã¤ò½Ò¤Ù¤ë¡¢¤½¤ÎºÝ°Ê²¼¤ËÃí°Õ
--Èó·èÄêŪ¼Â¹Ô¤Þ¤¿¤Ï¥â¥Ç¥ë¸¡ºº¤ÈÁȤ߹ç¤ï¤»¤¿Îã¤òµó¤²¤ë¡ÊC...
--½¾Íè¤Î uniq ¤È¤Î°ã¤¤¤ÏËì¤ò»È¤Ã¤¿µ½ÒÎã¤Ç¸½¤ì¤ë¤Î¤Ç¡¢Ëì...
**2009-1-23 [#x42d7fde]
***JSAI 2009 [#ed068b43]
-¿Í¹©ÃÎǽ³Ø²ñ¡÷¹â¾¾
--¤Þ¤µ¤«¤Îmain author
***ÅŸ»¥³¡¼¥É [#dab596ca]
-¸¦µæ¼¼¤Ë˺¤ì¤Æ¤¤¿Ž¥Ž¥Ž¥
--¤³¤Î3Æü´Ö¤ÏµìPC¤Ç´èÄ¥¤ë¡¢¤ä¤Ï¤ê¤ªÁ°¤¬Íê¤ê¤À
***Moude [#dab596ca]
-LMNtal¤ß¤¿¤¤¤Ê½ñ¤´¹¤¨¸À¸ì
--ÈÉ¥¼¥ß¤Ç¾Ò²ð¤µ¤ì¤Æ¤¤¤¿¡¢¤Á¤ç¤Ã¤È¤ª¤â¤·¤í¤½¤¦
***´ÏÀ¡¡ÎãÂ꽸 [#a1031b43]
-Spanning Spider¤Ï´ÏÀ¤ËÆþ¤ì¤ë
--ÊÄϩõº÷¤Î¥¢¥ë¥´¥ê¥º¥à¤¬Àµ¤·¤¤¤Ã¤Ý¤«¤Ã¤¿¤Î¤Ç°ì°Â¿´
-¥Á¡¼¥à¤ÎÁíÅö¤êÂÐÀïɽ¤òºî¤ë(¼«ºî¤ÎÌäÂê)
--uniq¤Î»È¤¤Êý¤Î°ìÎ㸫¤¿¤¤¤Ê´¶¤¸¤ÇÆþ¤ì¤Æ¤ß¤è¤¦¤«¤Ê¡¢
-CHR
--ÉÔÅù¼°À©Ìó¤Ï³ÎÄê
--ºÇû·ÐÏ©·Ï¤ò°ì¤Ä
--¤â¤¦°ì¤Ä¤¯¤é¤¤²¿¤«¤ò¡¢´Êñ¤Ê¤ä¤Ä(Ķ¤¬ÉÕ¤«¤Ê¤¤ÄøÅÙ)¤Ç¤â...
-mem_eq¤ò»È¤Ã¤Æ¤ëÎãÂ꤬¤¢¤ë¤È¤«¤Ê¤ê¤¤¤¤
**2009-1-22 [#x42d7fde]
***\(¥Ð¥Ã¥¯¥¹¥é¥Ã¥·¥å)µË¡¤Î¥Ð¥°¡©¡© [#kd277e50]
-\¤ò»È¤Ã¤¿¼°¤Ç@p¤ò¥³¥Ô¡¼¤¹¤ë¤È¼Â¹Ô¤Ç¤¤Ê¤¤
--(LMNtal)Compilation Failed
compile.parser.SrcRuleContext cannot be cast to compile.p...
--(SLIM)unknown instruction name ompilation C
first{a:-b.}, second{}.
first{@p} \ second{} :- second{@p}.
--> ¥¨¥é¡¼
first{a:-b.}, second{}.
first{@p}, second{} :- first{@p}, second{@p}.
--> first{@601}, second{@601}.
--°ì¤ÄÌܤÎÎã¤Ïfirst, secondË줬¤¢¤Ã¤¿¤È¤¤Ë¡¢¥Ø¥Ã¥É¤Î\°Ê...
--Æó¤ÄÌܤÏ\¤ò»È¤ï¤Ê¤¤¤Ç½ñ¤¤¤¿¤â¤Î
first{a:-b.}. second{a:-b.}, third{}.
first{@p} \ second{@q}, third{} :- second{@q}, third{@q}.
-->¥¨¥é¡¼
--¤³¤¦¤¤¤¦É÷¤Ë¥³¥Ô¡¼¤·¤¿¤¤¥ë¡¼¥ë¤Ï¾Êά¤µ¤»¤º¤Ë½ñ¤¤¤Æ¤ß¤Æ...
-º£¤Î¤È¤³¤í¡¢\¤È@p¤òƱ¤¸¥ë¡¼¥ëÆâ¤Ë½ñ¤¯½Ñ¤Ï¤Ê¤µ¤½¤¦
***uniq [#kd277e50]
-¥ë¡¼¥ë¥³¥Ô¡¼¤ÎºÝ¤ËÍúÎò¤â¥³¥Ô¡¼¤µ¤»¤ëÊýË¡¤Ï¡¢¤è¤¯Ê¬¤«¤é¤Ê...
--Ãæ´ÖÌ¿Îá¤Îcopyrules¤Ï¥³¥Ô¡¼¸µ¤Î¥ë¡¼¥ë¥»¥Ã¥È¤ò¥³¥Ô¡¼Àè¤Î...
--rule.c¤Îlmn_rule_copy()¤Ï¥·¥¹¥Æ¥à¥ë¡¼¥ë¤ò³ÆËì¤Ë¥³¥Ô¡¼¤¹...
***Spanning Spider [#kd277e50]
-¤³¤ì¤Ï³Î¤«¤Ëuniq¤¬¤¢¤ë¤È³ä¤È´Êñ¤Ë½ñ¤±¤ë
-¤À¤±¤É¢¬¤Î¥ë¡¼¥ë¥³¥Ô¡¼¤ÎÌäÂ꤬»Ä¤Ã¤Æ¤¤¤ë¤«¤é¤½¤ó¤Ê¤Ë´Êñ...
--¤È»×¤Ã¤¿¤±¤É¡¢¤³¤ì½ñ¤¤Ê¤¬¤é¤ä¤êÊý¤ò»×¤¤¤Ä¤¤¤¿¤«¤â¡¢¤Ó...
**2009-1-20 [#x42d7fde]
***´ÏÀ [#kd277e50]
-³µÍפò½ñ¤¤¤Æ¤ß¤¿¡¢¸¦µæ¤Î°ÕµÁ¤ÎÉôʬ¤¬½ñ¤¤Ë¤¯¤¤¡¢¤É¤¦¤¤¤¦...
***uniq [#kd277e50]
-;·×¤Ê½ÐÎϤò¾Ã¤·¤¿
--dumperÆâ¤Ç¾ò·ïʬ´ô¡¢¤½¤Î¾ì¤·¤Î¤®¤Î¤Ò¤É¤¤¼ÂÁõ¡¢¤³¤Î¤Þ¤Þ...
**2009-1-19 [#x42d7fde]
***´ÏÀ [#kd277e50]
-pdf¤ò¸À¸ìÈÉ¥í¡¼¥«¥ë/seiji¤Ëup¤·¤Þ¤·¤¿¡£
-tex¥Õ¥¡¥¤¥ë¤Ê¤É¤ÏÌÀÆüŬ½ê¤ËÇÛÃÖ¤·¤Þ¤¹¡£
--up¤·¤Þ¤·¤¿¡£home/seiji/tex_pack/
***uniq [#kd277e50]
-°ú¿ô̵¤·¤âÈ¿±þ¤µ¤»¤ë¤À¤±¤Ê¤éÌäÂê̵¤·(¤ß¤¿¤¤)
--¤Ç¤âÈ¿±þ¤·¤¿¸å¥ë¡¼¥ë¤ò¾Ãµî¤µ¤»¤Ê¤¤¤È¤¤¤±¤Ê¤¤
--¸½»þÅÀ¤ÇÊýË¡¤¬»×¤¤¤Ä¤«¤Ê¤¤¡¢¼ÁÌ䤹¤ë
-°ú¿ôͤê¤Î¾ì¹ç¤Ë;·×¤Êid¤¬½ÐÎϤµ¤ì¤Æ¤·¤Þ¤¦
--dumper¤È¤ÏÊÌ¥Õ¥¡¥¤¥ë¤Ëʬ¤±¤¿¤Û¤¦¤¬¤¤¤¤¡©¡©
-ÍúÎò¤Î¥³¥Ô¡¼¤â¤Þ¤À
--¤Ç¤â¤³¤ì¤Ï¤¹¤°¤Ç¤¤½¤¦
**2009-1-18(2) [#x42d7fde]
***slim [#qba70a72]
-¥¬¡¼¥É¤ËstringÀ©Ìó¤¬Ìµ¤¤¤³¤È¤ò¤Ï¤¸¤á¤ÆÃΤä¿
***uniq [#m9aa2e34]
java : a(1), a('1'), a("1") --> ok, a("1"), a(1).
slim : a(1), a('1'), a("1") --> ok, ok, a(1).
-¤É¤Ã¤Á¤¬Àµ¤·¤¤¤Î¤ä¤é¡¢¸Ä¿ÍŪ¤Ë¤Ï²¼¤ò¿ä¤·¤¿¤¤
**2009-1-18 [#x42d7fde]
***&size(40){&color(blue){u};&color(red){n};&color(yellow...
-¸½ºß»þ¹ï:1/18 AM2:55
-µÇ°¤¹¤Ù¤Âè°ì²ó¼Â¹Ô
a(b).
a(c), a(c).
a(d).
a(e).
a(f).
a(g).
a(X) :- uniq(X) | ok.
-->
ok. ok. ok. ok. ok. ok. a(c). @3
--´¶ÎÞ¡£
--³¤¤Ï¸áÁ°9»þº¢¡Á¡¢¤ª¤ä¤¹¤ß¤Ê¤µ¤¤
-18Æü¤ä¤ë¤³¤È
--°ú¿ô̵¤·uniq¤Î¤¿¤á¤Î¾ò·ïʬ´ô
**2009-1-17 [#x42d7fde]
***uniq [#l14ec6bd]
-dumper
--·¯¤ÏÌÌÅݤ¯¤µ¤¤¿Í¤À¤Í¡£Ãæ¤Î´Ø¿ô¸Æ¤Ó½Ð¤¹¤ÎÌÌÅݤÀ¤Ã¤¿
--¤Õ¤Èµ¤¤¬¤Ä¤¯¤Èuniq¤Ë´Ø·¸Ìµ¤¤Ê¸»úÎó¤Þ¤Ç½¦¤¦¤è¤¦¤Ë¤·¤Æ¤¤...
-¤¢¤È¤Ç¤¤ì¤¤¤Ë¤¹¤ë¤È¤³¤í¥á¥â
--dumper.c, .h
--task.c
--rule.c, .h
-18,19¤Ç¤ä¤ëuniq¥á¥â
--ÍúÎò¤È¤Î¾È¹ç(¤È¤ê¤¢¤¨¤º¥ª¡¼¥À¡¼µ¤¤Ë¤»¤º)
***openoffice 3.0 [#l14ec6bd]
-µ¯Æ°ÃÙ¤¤¡£µ¯Æ°¤·¤Æ¤«¤éɽ¼¨¤µ¤ì¤ë¤Þ¤Ç¤Î´Ö¤Ëºî¶È¤Ç¤¤Á¤ã¤¦
**2009-1-16 [#x42d7fde]
***mem_eq [#l14ec6bd]
-¤Ä¤¤¤Ë¥³¥ß¥Ã¥È¤·¤¿¡£
-¤·¤«¤·¡¢¤É¤ó¤ÊËì¤ò»ØÄꤷ¤Æ¤âfalse¤Ë¤Ê¤Ã¤Æ¤·¤Þ¤¦¡£
--Ëì¤ÎƱ·¿ÀȽÄêlmn_mem_equals()¤¬É¬¤ºfalse¤ò¤Ï¤¯¡£¥Ð¥°¤À...
**2009-1-14 [#x42d7fde]
***´ÏÀtex [#l14ec6bd]
-¸À¸ìÈÉseiji¥Ú¡¼¥¸¤Ë´ÏÀÆâÍƤò°ìÍ÷¤Ç¤¤ë¤è¤¦¤Ë¤·¤¿¤¤
***slim³«È¯ [#l14ec6bd]
-googlrecode¤Ë¥Ö¥é¥ó¥Á¤òºî¤Ã¤Æ¤½¤³¤ËUP¤¹¤ë¤è¤¦¤Ë¤¹¤ë
--trunk¤Î°ì¤Ä¾å¤Î¥Ç¥£¥ì¥¯¥È¤ò¥ê¥Ý¥¸¥È¥ê¡¼¥í¥±¡¼¥·¥ç¥ó¤Ç»ØÄê
--slim¥Õ¥©¥ë¥À¤òbranchesÆâ¤Ø¥³¥Ô¡¼(±¦¥¯¥ê¥Ã¥¯¢ª¥Ö¥é¥ó¥ÁŽ¥¥¿...
**2009-1-9 [#x42d7fde]
***¤¢¤±¤ª¤á [#z52e1f12]
***¸¦µæ°Ê³°¤Î½ÉÂê [#g44596f2]
-¥ê¥¢¥ë¥¿¥¤¥à(ά)
--ͧ¾ð¥Ñ¥ï¡¼¤ò»È¤¦¡£Äó½Ð¡£
-¥Í¥Ã¥È¥ï¡¼(ά)
--²ÝÂê1¤È2¤ÎÆâÍƤò¾¯¡¹¤«¤Ö¤é¤»¤ë¤³¤È¤Ç·âÇË¡£¥³¡¼¥¹¥Ê¥Ó¤¬...
***¥¤¥ó¥¹¥È¡¼¥ë [#xc219e06]
-¥á¥â䵿Í
-SICStus4
--ÍÎÁ¤À¤È¤É¤Ã¤«¤Î¥µ¥¤¥È¤Ë½ñ¤¤¤Æ¤¢¤Ã¤¿¤±¤É¡¢¤É¤¦¤ä¤é¸«¤ë...
-C¡¡¥Ý¥¤¥ó¥¿´°Á´À©ÇÆ
--ǾÆâ¤Ë¥¤¥ó¥¹¥È¡¼¥ëÃæ
**2008-12-29 [#x42d7fde]
***uniq [#d15c75cd]
-¤È¤ê¤¢¤¨¤º°ú¿ô¤¬int·¿¤Î¾ì¹ç¤Ë¸Â¤êuniq¤¬Æ°¤¯¤è¤¦¤Ë¤Ê¤Ã¤¿
***ayano¤Î¼êÅÁ¤¤ [#k96ee3fa]
-ʸ½ñ²½ºî¶È¤ÏÆñ¤·¤¤¡¢Â´ÏÀ¤ÎÁá´üÃå¼ê¤¬É¬Í×
**2008-12-23 [#x42d7fde]
***uniq¼ÂÁõ [#d15c75cd]
-slim¤Çlink¤«¤é¥¢¥È¥à̾¤òʸ»úÎó¤È¤·¤Æ¼õ¤±¼è¤ëÊýË¡¤¬Ê¬¤«¤Ã¤¿
-¤½¤·¤Æuniq¼ÂÁõ¤È¤¤¤¦Å¨¤Ï¤È¤Æ¤Ä¤â¤Ê¤¯¶¯Âç¤À¤È¤¤¤¦¤³¤È¤âʬ...
-¤Ç¤âÍúÎò´ÉÍý¤Ï¡¢¥ë¡¼¥ë¤Î¹½Â¤ÂΤËÍúÎò¤ò»ý¤¿¤»¤ë¥Ù¥¯¥¿¡¼¤ß...
***ayano¤Î¼êÅÁ¤¤ [#k96ee3fa]
-ʸ½ñ²½ºî¶È¤ÏÆñ¤·¤¤¡¢Â´ÏÀ¤ÎÁá´üÃå¼ê¤¬É¬Í×
**2008-12-17 [#x42d7fde]
***uniq¼ÂÁõ [#u81543f1]
-³«»ÏÀë¸À
***ÍúÎò¤Î»ý¤¿¤»Êý [#f3a6fc46]
-¤È¤ê¤¢¤¨¤ºÁ´¤Æ¤Î¥ë¡¼¥ë¤ËÍúÎò¤òÊÝ»ý¤µ¤»¤ëÊý¸þ¤Ç¤ä¤Ã¤Æ¤ß¤ë
--ɾ²Á¤·¤¿¸å¤Ç¤Þ¤¿¹Í¤¨¤ë
***propagation<=>uniq¤Î½ñ¤´¹¤¨¤Çµ¤¤Ë¤Ê¤Ã¤¿¤³¤È´°·ëÊÔ¡© [...
-ñ¤Ëeclipse¤ÇLMNtal¼Â¹Ô»þ¤Ë-O¤Ä¤±¤Æ¤¿¤«¤é¤À¤Ã¤¿orz
--¤Þ¤¡¡¢¡À¤ò»È¤Ã¤¿µË¡¤¬ÊØÍø¤Ã¤Æ¤³¤È¤Ë¤Ê¤ë¤«¤é¡¢Ê̤ˤ¤¤¤¤«
-(2)¤Ë´Ø¤·¤Æ¡¢Ãæ´ÖÌ¿ÎáÎó¤ò¸«¤ë¤È\¤ò»È¤Ã¤Æ¤âºÇŬ²½¤Ï¤µ¤ì¤Æ...
--KUDO¤µ¤ó2¤Ë¤è¤ë¤È¡¢¥Æ¥¥¹¥È¥ì¥Ù¥ë¤ÎάµË¡¤È¤·¤Æ¸ºß¤¹¤ë...
--¤Ä¤Þ¤êpropagation¤ò¼Â¸½¤¹¤ë¤¿¤á¤Ë¤Ï¡¢uniq¤È\¤ÈºÇŬ²½¥ª...
**2008-12-16(2) [#x42d7fde]
***propagation<=>uniq¤Î½ñ¤´¹¤¨¤Çµ¤¤Ë¤Ê¤Ã¤¿¤³¤È£² [#b7185...
-¢¤Ë´Ø¤·¤Æ¡¢Ãæ´ÖÌ¿Îá¤ò¸«¤Æ¤ß¤¿¤¬¡¢LMN(1)¤âLMN(2)¤â¤Û¤ÜƱ...
--°ìÉô¡¢°ú¿ô¤ËÍ¿¤¨¤Æ¤¤¤ëÃͤ¬°ã¤¦¤¬¡¢Ãæ´ÖÌ¿Îá¤Î¿ô¤È½çÈÖ¤Ï...
--¤â¤·¤«¤·¤ÆuniqÆâÉô¤Ë¡À¤ËÁêÅö¤¹¤ëµ¡Ç½¤¬¤¢¤ë¡©¡©Ä´¤Ù¤ë
**2008-12-16 [#x42d7fde]
***propagation<=>uniq¤Î½ñ¤´¹¤¨¤Çµ¤¤Ë¤Ê¤Ã¤¿¤³¤È [#b7185738]
-autogen_boolean.pl¤ò¥¨¥ó¥³¡¼¥É¤·¤Æ¤ß¤¿
--¤è¤¯¹Í¤¨¤¿¤épropagation¤òuniq»È¤Ã¤Æ½ñ¤´¹¤¨¤ë¤È¤¡¢
CHR : a(A) ==> b(A).
LMN(1) : a(A) :- uniq(A) | a(A), b(A).
LMN(2) : a(A) \ :- uniq(A) | b(A).
--LMN(1)¤È½ñ¤¯¤è¤êLMN(2)¤È¤·¤¿¤Û¤¦¤¬¡¢¤è¤êCHR¤Ë±è¤Ã¤Æ¤¤¤ë...
---propagation¤Ï¥Ü¥Ç¥£¤òÄɲ乤ë¥ë¡¼¥ë¤À¤·¡¢¥Ð¥Ã¥¯¥¹¥é¥Ã...
***ÍúÎò¤ò¤É¤¦»ý¤¿¤»¤ë¤« [#kb6e3694]
-°ú¿ô̵¤·uniq¤ÏÍúÎò̵¤·
-¥³¥Ô¡¼¤ÎºÝ¤ËÍúÎòÊ£À®
-@p¤Îɽµ
--uniq¤ò»ý¤Ä¥ë¡¼¥ë¤À¤±ÆÃÊÌ°·¤¤¡©c¤Ç¤Î¼ÂÁõÊýË¡¤¬¸«¤¨¤Ê¤¤
***¥ë¡¼¥ë¤Î¼±ÊÌ [#cb78227d]
-javaÈǤÈƱÍÍ¡¢Ê¸»úÎó¤Ë¤è¤ë¼±Ê̤Ǥ¤¤¤µ¤¤¬¤¹¤ë
--(¤Æ¤¤¤¦¤«¤½¤ì¤¬¼«Ê¬¤Ë¤È¤Ã¤Æ¤Ï°ìÈÖ³Ú¤½¤¦)
--a(A, A)¤ß¤¿¤¤¤Ê·Á¤Î¥¢¥È¥à¤ÏÆÃÊÌ°·¤¤¤·¤Æ¤¤¤ë(¤è¤¦¤À)
***¥á¥â [#ea622b85]
-Uniq, Link.java¤Ëprintʸ
**2008-12-15 [#x42d7fde]
***¥á¥â [#kb6e3694]
a(b(c, d, e(f))).
a(A) :- uniq(A) | ok(A).
=> b(L0L1L2F0)e(L3L2)f(L3)d(L1)c(L0)
**2008-12-8 [#x42d7fde]
***ÈÉ¥¼¥ß [#kb6e3694]
-seiji¤Î¤¿¤á¤Î¥¼¥ß¤È²½¤¹m(_ _)m
--´ÏÀ¤Þ¤Ç¤ÎÆ»¶Ú¤¬¤«¤Ê¤êÌÀ³Î¤Ë
--¤Á¤ç¤Ã¤ÈÊ£»¨¤ÊÎãÂê¤Î¥¨¥ó¥³¡¼¥É¤È¡¢¼ÂÁõ¤òƱ»þʹԤÇ
---¤¹¤Ç¤Ë¸«¤Ä¤±¤Æ¤¢¤ëÏÀʸ¤«¤é¤Þ¤º¤ÏÁª¤ó¤Ç¤ß¤ë
***CHR¥¨¥ó¥³¡¼¥É [#kb6e3694]
-´Êñ¤ÊÎãÂê¤òÅÚÆü¤Ç10¸Ä¤Û¤É
-uniq¤ò»È¤Ã¤¿¾ì¹ç¤ÎÉÔÊؤµ¤Ï¤¢¤Þ¤ê´¶¤¸¤Ê¤¤
--uniq°Ê³°¤Î¤È¤³¤í¤Ç¤Ï¡¢°Õ³°¤È¥¨¥ó¥³¡¼¥É¤·¤Ë¤¯¤¤Éôʬ¤¬Â¿...
--¥é¥¤¥Ö¥é¥ê¤È¤«¤ò¤â¤Ã¤È¤¦¤Þ¤¯»È¤¤¤¿¤¤
***r3dg [#kb6e3694]
-²ÝÂê¤ò˺¤ì¤Æ¤¤¤¿
--VisualC#¤ò¥¤¥ó¥¹¥È¡¼¥ë¡£»þ´Ö¤«¤«¤ê¤¹¤®
**2008-12-5 [#x42d7fde]
***³¡¦¿·PC´Ä¶¹½ÃÛ [#kb6e3694]
-vpn¥¯¥é¥¤¥¢¥ó¥È¤ÎÀßÄ괰λ
--waseda¤ËÂФ·¤Æfirefox¤«¤éÀܳ¤Ç¤¤Ê¤¤¤È¤«¤Þ¤¸Ìµ¤¤¤ï¡£
-slim¥³¥ó¥Ñ¥¤¥ë´°Î»
**2008-12-4 [#x42d7fde]
***Perl¤Î¥¨¥é¡¼¤Îľ¤·Êý@cygwin [#kb6e3694]
-slim¤Î¥³¥ó¥Ñ¥¤¥ëÃæ(automake, autoconfÅù)¤Ë
perl 2180 C:\cygwin\bin\perl.exe: *** fatal error -
¤³¤ó¤Ê¤Î¤¬½Ð¤Æ½èÍý¤¬»ß¤Þ¤Ã¤¿»þ¤Î²ò·èË¡¡£
--1. Cygwin¤Î¥¦¥¤¥ó¥É¥¦¤ÎÁ´¤Æ¤òÊĤ¸¡¢Cygwin¤ò»È¤Ã¤¿¥µ¡¼¥Ó...
--2. ¡Ö¥Õ¥¡¥¤¥ë̾¤ò»ØÄꤷ¤Æ¼Â¹Ô¡×Åù¤«¤é¡¢c:\cygwin\bin\as...
--3. ash¾å¤Ç¡¢rebaseall¥³¥Þ¥ó¥É¤ò¼Â¹Ô¤¹¤ë
---¤³¤ì¤Çľ¤ë¤È»×¤¦¡£
**2008-12-2 [#x42d7fde]
***eclipse¤ÎÁÞÆþ/¾å½ñ¤¥â¡¼¥É [#kb6e3694]
-Insert¥¡¼¤ÇÀÚ¤êÂؤ¨¡£¤½¤Î¾¤Î[[¥·¥ç¡¼¥È¥«¥Ã¥È¥¡¼:http:...
//**¡õ£ä£á£ô£å¡¨
**2008-12-1 [#x42d7fde]
***³¡¦uniq¤Î»ÅÍÍ [#kb6e3694]
-¤è¤¯¹Í¤¨¤¿¤é¥¢¥ë¥´¥ê¥º¥à¤Ë¤Ä¤¤¤Æ²¿¤â¹Í¤¨¤Æ¤¤¤Ê¤«¤Ã¤¿¡£
--´û¸¤Î¤ä¤Ä¤À¤±¤Ç¤â¥Á¥§¥Ã¥¯¤·¤È¤¯¤«¡¢ÌÀÆüÄ«¤ä¤í¤¦¡£Ì²¤¤¡£
-¤Þ¤Ã¤¿¤¯Æ±¤¸ÆâÍƤΥ롼¥ë¤òUNYO¤Ç»ë³Ð²½¤¹¤ë¤È¡¢°ì¤Ä¤Ë¤Þ¤È...
--ÆâÉô¤Ç¤â¤³¤ó¤Ê´¶¤¸¤Ê¤ó¤À¤í¤¦¤«¡©
-¸½ºß¤Îuniq¥ë¡¼¥ë¤ÎÊ£À½¤Ë¤Ä¤¤¤Æ³Îǧ
t(1), t(1), t(2), t(2).
i(0).
{
t_ok @@ t(T) :- int(T), uniq(T) | ok(T).
}.
copy @@ i(I), {@p}/ :- I<2 | i(I+1), {@p}, @p.
--->
ok(1), ok(2), t(1), t(2), i(2), {@t_ok@}, @t_ok@, @t_ok@...
--º£¹¹¤Ç¤·¤«¤âÊѤÊÎã¤À¤¬¡¢¤ä¤Ï¤êÍúÎò¤Ï¶¦Í¤µ¤ì¤Æ¤¤¤ë¤è¤¦...
***eclipse3.4 [#hcc226b5]
-¤¤¤Ä¤Î¤Þ¤Ë¤«¥«¡¼¥½¥ë¤¬ÁÞÆþ¤Ç¤Ï¤Ê¤¯¾å½ñ¤¤ËŽ¥Ž¥Ž¥¤É¤¦¤ä¤Ã¤¿...
**2008-11-30 [#x42d7fde]
***mem_eq¤Î¥³¥ß¥Ã¥È [#kb6e3694]
-¥³¥ß¥Ã¥È¤·¤è¤¦¤È¤¹¤ë¤È·Ù¹ð¤¬½Ð¤Æ¤Ç¤¤Ê¤¤¡£¤Ê¤ó¤À¤«Éݤ¤¤Î...
***¿·PC¤Î´Ä¶¹½ÃÛ¡¡¿ÊÅÙ [#o3fec3d1]
-°ìöÀ°Íý
-´°Î»
--office¥½¥Õ¥È
--eclipse
---devel¤Èslim¤ÈC¥×¥é¥°¥¤¥ó
--cygwin
--teraterm
--terapad
-̤´°
--vpn client
--¥Ö¥Ã¥¯¥Þ¡¼¥¯¿§¡¹
--slim¤ò¥³¥ó¥Ñ¥¤¥ë@cygwin
***¿·uniq»ÅÍÍ [#pffef9e5]
-¹Í¤¨Ãæ(¼ç¤Ëʸ¾Ï¤Î½ñ¤Êý¤Ç)
-²ÐÍˤޤǤˤϤ⤦·è¤á¤Á¤ã¤¤¤¿¤¤
**2008-11-27 [#x42d7fde]
***eclipse3.4¤ÈVista [#o3fec3d1]
-eclipse.exe¤ò±¦¥¯¥ê¥Ã¥¯¢ª¥¹¥¿¡¼¥È¥á¥Ë¥å¡¼¤ËÄɲäò¤¹¤ë¤È¤Ê...
-exe¤¸¤ã¤Ê¤¯¥·¥ç¡¼¥È¥«¥Ã¥ÈºîÀ®¢ª¥¹¥¿¡¼¥È(ά)¤À¤È¤¤¤±¤ë¡¢¤Ê...
***OpenOffice3.0 [#r5e97b4c]
-¿ÍÃì¾åÅù¡£¤¤¤¤µ¡²ñ¤À¤«¤éOpenOffice¥Þ¥¹¥¿¡¼¤Ë¡¢²¶¤Ï¤Ê¤ë¡£
***Ãæ´Öȯɽ [#ia40517b]
-¸¦µæÇØ·ÊŽ¥Æ°µ¡¤ÎÇö¤µ¤¬Ìä¤ï¤ì¤¿
--¤½¤³¤ó¤È¤³¤Î¸«Ä¾¤·¤¬É¬Í×
**2008-11-23 [#x42d7fde]
***Ãæ´Öȯɽ»ñÎÁ [#z5dc7602]
-¸¦µæÇطʤDz¿½ñ¤¯¤«Ì¤¦¡£
--¸¶¤µ¤ó½¤ÏÀ¤Î¡ÖÆÀ°ÕʬÌ¹¤¬¤Ã¤¿¡×¡Ö¼éÈ÷ÈϰϤ¬¹¤¬¤Ã¤¿...
-uniq¸½ºß¤Î»ÅÍͤâ̤¦
--¤³¤Ã¤Á¤âÈÉ¥¼¥ß¤Ç¸À¤ï¤ì¤Æ¤¤¤ë¤è¤¦¤Ê¸À¤¤Êý¤Ç¤Ê¤¯¡¢¤â¤Ã¤È...
-¥ì¥¸¥å¥á
--¤Ê¤Ë¤½¤ì¤ª¤¤¤·¤¤¤Î¡©
**2008-11-21 [#x42d7fde]
***Ëì¤ÎƱ·¿ÀȽÄê¤ò¹Ô¤¦¥·¥¹¥Æ¥à¥ë¡¼¥ë¤òslim¤Ëºî¤Ã¤¿¡£ [#a...
mem_eq({}, {}, mem1, mem2, result).
--->
true(result), mem1(L0), {'+'(L0).}, mem2(L1), {'+'(L1).}.
--Âè1,2°ú¿ô¡§È½Äê¤ò¹Ô¤¦Ëì
--Âè3,4°ú¿ô¡§¤½¤ì¤¾¤ìÂè1,2°ú¿ô¤ÎËì¤ÈÀܳ¤µ¤ì¤ë
--Âè5°ú¿ô¡§trueËô¤Ïfalse¤ÈÀܳ¤µ¤ì¤ë
--mem_eq¡§¾Ãµî¤µ¤ì¤ë
-¸½ºß¤Î»ÅÍÍ¡ÊÈÉ¥¼¥ß¤Ç°ì±þÏä·¹ç¤Ã¤¿·ë²Ì¡Ë
--¡ÖȽÄꤹ¤ëË줫¤é¤Ï¼«Í³¥ê¥ó¥¯¤¬°ìËܤÀ¤±¿¤Ó¤Æ¤¤¤Æ¡¢¤½¤Î...
--ȽÄꤹ¤ëË줫¤é2Ëܰʾ忤ӤƤ¤¤ë¾ì¹ç¤Ïfalse
--Ë줸¤ã¤Ê¤¤¾ì¹ç¤ÏÌäÅú̵ÍѤËfalse
--Ëì¤Î̾Á°¤¬°ã¤¨¤Ðfalse
***¥á¥â [#fa6d2a7d]
-cygwin@²¶¤ÎPC¤Ç¤Îslim¼Â¹ÔÊýË¡ [#saacb82f]
--slim/src²¼¤Ç
lmntal.bat --slimcode ../mem_eq_test.lmn | ./slim -
-UNIX¥³¥Þ¥ó¥É¡¡¥·¥ç¡¼¥È¥«¥Ã¥È¥ê¥ó¥¯
--ln -s ¥ê¥ó¥¯¤·¤¿¤¤¥Ç¥£¥ì¥¯¥È¥ê¡¡ºî¤ë¥ê¥ó¥¯Ì¾
**2008-11-19 [#x42d7fde]
-eclipse3.4 ganymede¤¬µ¯Æ°¤·¤Ê¤¤¤È¤(JVM terminated.¤Èɽ...
--²¼µ¤Ï¤¢¤¯¤Þ¤Ç°ì¤Ä¤ÎÊýË¡¡£Â¾¤Ë¤â¤ä¤êÊý¤Ï¤¢¤ë¤é¤·¤¤¡£
--eclipse.ini¤ò½ñ¤´¹¤¨¤ë¡£
-showsplash
org.eclipse.platform
--launcher.XXMaxPermSize
256M
-vmargs
-Dosgi.requiredJavaVersion=1.5
-Xms40m
-Xmx256m
--¤Þ¤º¤Ï¾åµ¤Î256M¤¬512M¤Ë¤Ê¤Ã¤Æ¤¤¤Ê¤¤¤«³Îǧ¡£512¤Ê¤é256...
--¸µ¤«¤é256¤À¤Ã¤¿¤ê¡¢256¤Ë¤·¤Æ¤âÊѤï¤é¤Ê¤«¤Ã¤¿¤é¡¢°Ê²¼¤Î...
-showsplashorg.eclipse.platform
--launcher.XXMaxPermSize256M
-framework
plugins\org.eclipse.osgi_3.4.2.R34x_v20080826-1230.jar
-vmargs
-Dosgi.requiredJavaVersion=1.5
-Xms40m
-Xmx256m
--¾å¤«¤é4¹Ô¤À¤±¤ò½ñ¤´¹¤¨¤ì¤Ð¤è¤¤¡£¤³¤ì¤Ç¤¿¤Ö¤óľ¤ë¡£
**2008-11-17 [#x42d7fde]
-¥á¥â
--system_ruleset.c, atom.h,
**2008-11-14 [#x42d7fde]
-¡ÖLMNtal½èÍý·Ï¡×¤ÎÏÀʸ¤ÏÆÉÇË¡£
-ÈÉ¥¼¥ß¤Ë¤Æ
--¿·uniq¤Ë¤Ä¤¤¤Æ
---once
---º£Æü¤ÎÈÉ¥¼¥ß¤Ç¤Ï»ÅÍͤϤۤȤó¤É·è¤á¤é¤ì¤Ê¤«¤Ã¤¿¡£
---·è¤á¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤Éôʬ¤Î³Îǧ¤Ëα¤Þ¤ë¡£
--Ëì¤ÎƱ·¿ÀȽÄê¤Îµ¡Ç½
---uniq¤ÎÁ°¤Ë¤³¤Ã¤Á¤òÊÒÉÕ¤±¤ë¡£
---¥·¥¹¥Æ¥à¥ë¡¼¥ë¥»¥Ã¥È¤È¤·¤Æºî¤Ã¤Æ¤ß¤ë¡£
---»ÅÍͤΥ¤¥á¡¼¥¸¤Ï¸Ç¤Þ¤Ã¤¿¤Î¤Ç¡¢¤È¤ê¤¢¤¨¤ººî¤ê»Ï¤á¤Æ¤ß¤ë¡£
**2008-11-09 [#x42d7fde]
-¡ÖLMNtal½èÍý·Ï¡×¤ÎÏÀʸ
--¥Æ¥¹¥È¤ÎÍý²ò¤¬¥¤¥Þ¥¤¥Á
**2008-11-07 [#x42d7fde]
-·è¤·¤Æ²Ë¤Ç¤Ï¤Ê¤¤¤¬¡¢²Ë¤Ä¤Ö¤·¤Ë½ñ¤¤¤¿LMNtal¥³¡¼¥É
--friendship.lmn
---ͧ°¦¿ô¤òµá¤á¤ë¡£5ʬ¤¯¤é¤¤¤Ç¤Ç¤¤¿¡£¤¿¤À¤·¥ª¡¼¥À¡¼¤Ï°...
-ÀèÀ¸¤«¤é¤ÎCHR¤ª´«¤áÏÀʸ
--CHR-p11-duck.pdf
---ÅŻҿ޽ñ´Û/CHR¤ÎÃæ¤Ë
--OptimizingCompilationOfCHRInHAL.pdf
---ÀèÇÚ㤬Æɤó¤Ç¤¤¤¿¤â¤Î¡¢¤Ç¤âpropagation rule¤Ë¤Ä¤¤¤Æ¤Ï...
---ºÇŬ²½¤ÎÏäȤ·¤Æ¤Ï»²¹Í¤Ë¤Ê¤ëÉôʬ¤â¤¢¤ë¤È¤«
--ºÇ¿·¾ðÊó¤ÏËܲȥ٥륮¡¼¤ÎCHR¥µ¥¤¥È¤«¤é
---[[:http://www.cs.kuleuven.be/~dtai/projects/CHR/]]
---[[:http://www.cs.kuleuven.be/~dtai/projects/CHR/papers...
-SLIM¤Î¥½¡¼¥¹Íý²ò
--ËÙ¤µ¤ó¥¤¥Ã¥·¡¼¤µ¤ó¤Ë¤´¶¨ÎϤ¤¤¿¤À¤±¤ë¤³¤È¤Ë
--¤È¤ê¤¢¤¨¤º½ÉÂê¤È¤·¤ÆLMNtal¤ÎÂçËܤÎÏÀʸ¤ò®ÆÉ
-°Ê²¼¡¢ÈÉ¥¼¥ß¥á¥â
¸À¸ì»ÈÍѤò¤Ï¤Ã¤¤ê¤µ¤»¤Æ¡¢¤ß¤ó¤Ê¤ÇµÄÏÀ
¤É¤ó¤Ê´¶¤¸¤Ç¼ÂÁõ¤¹¤ë¤Î¤«¤âÏ䷹礦¡£
CHR¤Î¼ÂÁõ¤ò»²¹Í¤Ë¤¹¤ë¤«¡¢LMNtalJava¤ÎÊý¤ò»²¹Í¤Ë¤¹¤ë¤Î¤«¡©
¿·¤·¤¤CHR¤Îpropagation¤Î¼ÂÁõ¡©
¤½¤ÎÏÀʸ¤Ï¤É¤³¤Ë¡©
Java¤Î¤Û¤¦¤Ï¤È¤ê¤¢¤¨¤º»²¹Í¤Ë
ÅŻҿ޽ñ´Û
CHR¤ÎÏÀʸ¤ò¸¶¤µ¤ó¤ÎÏÀʸ¤Î»²¹Íʸ¸¥¤òÅŻҼ½ñ¤«¤éõ¤¹¡£
´ØÏ¢¸¦µæ¤È¤·¤Æ¥µ¥ó¥×¥ë¤ò¤¤¤Ã¤Ñ¤¤ÃΤäƤª¤¯¡£
SLIM¤Ç¤Î¥¬¡¼¥É¥¤¥ó¥é¥¤¥ó¤Î¼ÂÁõ
¿·uniq¤Î¼ÂÁõ¤¬°ìÈÖ¤ÎÌÜɸ¤«¤â
°ì²ó»È¤Ã¤¿¤é¡¢¥ë¡¼¥ë¤´¤È¾Ã¤¹¤Î¤¬°ìÈÖ¤¦¤ì¤·¤¤¡£
º£¤Ï¤Á¤¬¤¦¤Ã¤Ý¤¤¤«¤é¡£
**2008-11-01 [#x42d7fde]
-SLIM¤Î¥½¡¼¥¹
--¤Ê¤«¤Ê¤«¤Ï¤«¤É¤é¤º¡£C¸À¸ì¤Ïµ×¤·¤Ö¤ê¤À¤«¤é¡¢¤È¤«¤½¤ó¤ÊÌä...
-¤â¤¦11·î¡£
**2008-10-28 [#u8b98620]
-LMNtalÃæ´ÖÌ¿Îá
--¥É¥¥å¥á¥ó¥È>Ãæ´ÖÌ¿Îá¤Ë´Ø¤¹¤ë¤Þ¤È¤á
-XSB¤ÈSWI
--°ìöµÙ»ß
**2008-10-21 [#u8b98620]
-XSB¤ÈSWI
--CHR¤Îµ½ÒÊýË¡¤Ë°ã¤¤¤¢¤ê¡£»Í¶ìȬ¶ì¡£
-uniq¥½¡¼¥¹
--¤¤¤¤¤«¤²¤óÆɤ⤦¤Èglobal¤ò¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¤¬¡¢»È¤¤Êý¤¬...
**2008-10-17 [#u8b98620]
-XSB
--¥¤¥ó¥¹¥È¡¼¥ë¤Ë»þ´Ö¤¬¤«¤«¤Ã¤¿
--SWI¤È¤É¤¦°ã¤¦¤«Ä´¤Ù¤ë¡£
--º´¡¹ÌÚ¤µ¤ó¤Ë¥µ¥ó¥×¥ë¥½¡¼¥¹¤òĺ¤¯¡£¤¢¤ê¤¬¤¿¤¤¡£
**2008-10-10 [#u8b98620]
-ÈÉ¥¼¥ß¤Ø¤ÎÎפßÊý
--¥Í¥¿½Ð¤·¤Ïñ¤Ê¤ëȯɽ¤Ç¤Ï¤Ê¤¯¡¢¼«Ê¬¤Î¸¦µæ¤ËÂФ¹¤ë°Õ¸«¤ò...
-uniq
--¤É¤¦¤ä¤é°ú¿ô¤Ï¤Û¤ó¤È¤Ë²ÄÊѸĤ餷¤¤¡£
a(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1),
a(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1).
a(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z) :-
uniq(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z...
--->
ok, a(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,...
**2008-10-09 [#u8b98620]
-CHR
--[[¼»³¤µ¤ó¤Î¥Ú¡¼¥¸:http://www.ueda.info.waseda.ac.jp/lm...
-[[LMNtal¤ÎÆÃħ:http://www.ueda.info.waseda.ac.jp/lmntal/...
**2008-10-08 [#u8b98620]
-CHR
--¥×¥í¥°¥é¥à¼Â¹Ô¤¹¤ë¤È¡¢·ë²Ì¤¬2²óʬɽ¼¨¤µ¤ì¤ë¸¶°ø¤¬¤Ê¤ó¤È...
1: a(X) <=> X<10 | true.
--
2: a(X) <=> X>10 | true.
--¤³¤ì¤é¤ËÂФ·¤Æa(1)¤ò¥¯¥¨¥ê¡¼¤È¤·¤ÆÍ¿¤¨¤ë¤È¡¢1¤Ï3, 2¤Ï4...
3: true.
--
4: a(1)
true .
a(1)
--¤Á¤Ê¤ß¤Ëa(11)¤òÍ¿¤¨¤ë¤È3,4¤òµÕ¤Ë¤·¤¿·ë²Ì¤Ë¡£
--¤¢¤È:- module(leq,[leq/1]).¤Ã¤Æ¤¤¤Ã¤¿¤¤²¿¤À¡¼¡©
**2008-10-07 [#u8b98620]
-CHR
--¥È¥ì¡¼¥¹¤Î¤ä¤êÊý¤¬¤ï¤«¤Ã¤¿¡£
:- chr_trace.
--Port¤¬²¿¤«Ê¬¤«¤ë¡£
--¤¤¤¯¤Ä¤«CHR¤Î´ðËܤ˴ؤ¹¤ëʸ¸¥¤òõ¤·Åö¤Æ¤¿¡£¤É¤ì¤â±Ñ¸ì¤Ç...
**2008-10-06 [#u8b98620]
-CHR
--ºòÆü¡¢º£Æü¤âCHR¤ò»È¤Ã¤Æ¤ß¤¿¤¬¡¢¤è¤¯Ê¬¤«¤é¤Ê¤¤Éôʬ¤¬Â¿¤¤...
-¹ç½ÉÀ®²ÌÊó¹ð
--ºûÅ褵¤ó¤«¤é¥Ñ¥ï¥Ý»ñÎÁºîÀ®¤È·çÀʤΤªÃΤ餻¤ò¤¤¤¿¤À¤¯¡£...
**2008-10-03 [#u8b98620]
-CHR¤Î\(¥Ð¥Ã¥¯¥¹¥é¥Ã¥·¥å)
--°Ê²¼¤Î2¼°¤ÏƱ¤¸·ë²Ì¤Ë¤Ê¤ë
1: a, b, c <=> a, b, f.
2: a, b \ c <=> f.
--CHR¤Ç¤Ï¡¢¥Ø¥Ã¥ÉÆâ¤Ë\¤ò¤Ä¤±¤ë¤È¡¢\¤è¤ê¸å¤í¤Î¥Ø¥Ã¥É¤À¤±¤¬...
--LMNtal¤Ë¤¢¤Ã¤¿¤é¡¢Ã±½ã¤Ë½èÍý¤¬Â®¤¯¤Ê¤ê¤½¤¦¡©
--- -O2¤ò¤Ä¤±¤ì¤ÐƱ¤¸¤è¤¦¤Ê¼Â¹Ô¤Ï²Äǽ
--- LMNtal¤Ë¤¢¤Ã¤¿¾ì¹ç¤ÎÍøÅÀ¤Ïµ½ÒÎ̤κ︺¤À¤±¤«¤Ê
-¢¬´ØÏ¢¤Ç¡¢¡Ö¥Ø¥Ã¥É¤¬¥Þ¥Ã¥Á¤·¤¿¤È¤¤Ë¥Ü¥Ç¥£¤òÄɲ乤ë(½ñ´¹...
**2008-09-29 [#ka0de260]
-¸å´ü³«»Ï
-²ÆµÙ¤ß¤Ï
--CHR¤Î¥ê¥Õ¥¡¥ì¥ó¥¹Æɤߡõ¤Á¤ç¤Ã¤È¥³¡¼¥É½ñ¤¤¤¿
--´äÇȹֺ£±ºýÆɤó¤À
--²Æ¹ç½É¤Î¥Õ¥é¥¯¥¿¥ë¤Î¼Ì¿¿¤ò»£¤Ã¤¿
**2008-09-03 [#ka0de260]
-Wiki¤òÌÏÍÍÂؤ¨¡£
**2008/08/28 [#m0bf1bb4]
-CHR
--[[¸¶¤µ¤ó:http://www.ueda.info.waseda.ac.jp/lmntal/local...
--[[¼»³¤µ¤ó:http://www.ueda.info.waseda.ac.jp/lmntal/loc...
--[[Ê¡Å褵¤ó:http://www.ueda.info.waseda.ac.jp/~fuku/]]
**2008/08/02 [#m0bf1bb4]
-²ÆµÙ¤ß¤Î¥Æ¡¼¥Þ
--¥×¥í¥°¥é¥ß¥ó¥°¸À¸ì¤Ë´Ø¤¹¤ë°ìÈ̶µÍÜ
---¡Ø´äÇÈ¹ÖºÂ¥×¥í¥°¥é¥ß¥ó¥°¸À¸ì¡Ù¤ÎÃΤé¤Ê¤½¤¦¤Ê¤È¤³¤òÆɤà
---ÈÉ¥¼¥ß¤Çµó¤¬¤Ã¤Æ¤¿ÏÀʸ¤òÆɤࡣ¤¢¤ì¤â¤³¤ì¤â¤Ç¤Ï¥À¥á¤Ê¤Î...
--ºÙ¤«¤¤¤È¤³¤í¤ÇCHR¤äuniq¡£¥¡¼¥ï¡¼¥É¤Ï¡ÖÀ©Ìó½èÍý¡×
---¤É¤³¤Þ¤Ç¼ê¤ò¿¤Ð¤»¤ë¤«Ê¬¤«¤é¤Ê¤¤¤¬¡¢ÎãÂê¤òLMNtal¤ÈCHR...
**2008/07/22 [#m0bf1bb4]
-´ÏÀ¥¥Ã¥¯¥ª¥Õ
--¤Ê¤ó¤È¤«½ªÎ»('§¥`)
--¿·¤¿¤Ê¥Æ¡¼¥Þ¤ò°ú¤½Ð¤·¤¿¡£uniq.
**2008/07/19 [#m0bf1bb4]
-ÌÀÆü¤Ï±¡»î¡£·òÆ®¤òµ§¤ë¡£
**2008/07/16 [#m0bf1bb4]
-·¿À©Ì󥢥ȥà¤Î¿¶¤ëÉñ¤¤
i = [int(1) , int(1.5) , int("moji") ].
f = [float(1) , float(1.5) , float("moji") ].
s = [string(1), string(1.5), string("moji")].
¡¡¤³¤ó¤Ê¤Î¤ò½ñ¤¯¤È¡¢
i = [int(1) , int(1) , int("moji") ].
f = [float(1.0) , float(1.5) , float("moji") ].
s = [string(1), string(1.5), string("moji")].
int(1.5)¤Èfloat(1)¤òint(1)¤Èfloat(1.0)¤ËÊÑ´¹¤·¤Æ¤¯¤ì¤ë¡£&...
¡¡¤³¤ì¤Ïint(1.5, H)¤Î¤è¤¦¤Ë2¤Ä°ú¿ô¤¬¤¢¤ë¾ì¹ç¤Ëµ¯¤³¤ë(°ú¿ô...
&br;
**2008/07/13 [#m0bf1bb4]
-BigInteger¤Î»È¤¤Êý
|a=java_math_BigInteger.new("1234567890").&br;b=java_math...
&br;
**2008/07/12 [#m0bf1bb4]
-¥¬¡¼¥ÉÈÝÄê¾ò·ï(¥É¥¥å¥á¥ó¥È¤è¤ê)
&br;
º£¤ÎÃʳ¬¤Ç¡ÖǤ°Õ¤Îatom¤¬ËìÆâ¤Ë¸ºß¤¹¤ë¾ì¹ç¤ÏÈ¿±þ¤·¤Ê¤¤¡×...
|SIZE(13):{$p} :- \+($p=(a, $pp))|
a¤Î°ú¿ô¤Þ¤Ç¤Ï»ØÄê¤Ç¤¤ë¡£a(X, Y, Z)¤È¤«¤·¤Æ¡£¤Ç¤â¤½¤Î¥ê¥ó...
|SIZE(13):{$p} :- \+($p=(a(int(H)), $pp))|
¤Î¤è¤¦¤Ë·¿ÉÕ¤¥×¥í¥»¥¹¤ò»È¤¦¤È¡¢a(int(1))¤äa(int(n))¤È¤¤...
&br;
**2008/07/11 [#m0bf1bb4]
-¥¥Ã¥¯¥ª¥Õ¤É¡¼¤¹¤ó¤Ù¡£
-profiler¤ò»È¤¦¤È¿§¡¹¤Ê¼ÜÅ٤Ǽ¹Իþ´Ö¤Ê¤É¤ò·×¤ì¤ë¤½¤¦¤À¡£
-¤È¤Ë¤«¤¯¥É¥¥å¥á¥ó¥È¤òÆɤफ¡£¤Ç¡¢¤Ê¤Ë¤«Ãµ¤¹¡£Í˾¤Ê¤Î¤Ï...
&br;
**2008/07/09 [#m0bf1bb4]
-Ëì¤Î̾Á°(µì¼°)
|SIZE(13):a:{1, 2}.|
¤È¤¤¤¦Ëì¤Ë¤ª¤¤¤Æ¡¢¥³¥í¥ó¤Ï':'¤Î·Á¤Ë¤Ê¤Ã¤Æ¤¤¤ë(string¤¸¤ã...
|SIZE(13):a(':') :- b(':') ¤È¤« ':'(a, H) :- ':'(b, H)¤Ë...
&br;
**2008/07/08 [#m0bf1bb4]
-atom¤Îɽµµ¬Â§
|SIZE(13):a, (a)|
¾å¤Î£²¤Ä¤ÏƱ¤¸a¤È¤¤¤¦atom¤òɽ¤·¡¢¤É¤Á¤é¤â
|SIZE(13):a :- b Ëô¤Ï (a :- b)|
¤Î¼°¤ËÈ¿±þ¤¹¤ë¡£¤Þ¤¿¡¢
|SIZE(13):a(1), (a(1)), a(A)|
¤³¤ì¤é¤Ï²¼¤Î¤è¤¦¤Ë¤Ê¤ë¡£¡Êº¸¤«¤é½çÈÖ¡Ë
#ref(¸¦µæÆü»ï080708_2.JPG)
Âçʸ»úA¤Ïstring¤ËÃÖ¤´¹¤¨¤é¤ì¤ë¡£¤Ç¤â¤Ê¤ó¤«ÊѤʴ¶¤¸¡£²¶¤Î...
#ref(¸¦µæÆü»ï080708_3.JPG)
¤Î¤è¤¦¤Ë¤Ê¤Ã¤ÆÍߤ·¤«¤Ã¤¿¡£¤Þ¤¡¤Ç¤âµ¤»ý¤Á°¤¤¤«¤é¡¢¤³¤ì¤è...
#ref(¸¦µæÆü»ï080708_4.JPG)
¤È¤Ê¤Ã¤ÆÍߤ·¤«¤Ã¤¿¤Ê¤¡¡£¤Þ¤¡¤À¤«¤é¤È¸À¤Ã¤Æ¡¢²¿¤«¥á¥ê¥Ã¥È...
-Ëì¤Î̾Á°¤Î¤Ä¤±Êý
|SIZE(13):name{a, b, c}. Ž¥Ž¥Ž¥¡&br;name:{a, b, c}. Ž¥Ž¥Ž¥¢|
--¾å¤Î£²¼ïÎब¤¢¤ë¡£¢¤Ïµì¼°¡£
--¢¤Ïname,":"Ëì¤ò¥ê¥ó¥¯¤Ç¤Ä¤Ê¤°¤³¤È¤Ç¡¢Ëì¤Ë̾Á°¤ò¤Ä¤±¤ë¤³...
--º¸¤¬¡¡¢±¦¤¬¢
#ref(¸¦µæÆü»ï080708.JPG)
&br;
**2008/07/07 [#m0bf1bb4]
-vm.lmn
--¥³¥ó¥Ñ¥¤¥é¤È¤Ï̾¤Ð¤«¤ê¤Î¡¢·×»»µ¡¤Ë¶á¤¤Âåʪ(°ì±þ£²Ê¬ÌÚ¤Ç...
--º£Æü¤Î¥¼¥ß»þ¤Î¤â¤Î¤«¤é¡¢¥Ð¥°¤ò½¤Àµ¡£
--Îã³°½èÍý¤ò½ñ¤¤¿¤¤¤±¤É¡¢Íߤ·¤¤¤Î¤Ï¤ä¤Ã¤Ñ¤êor¤ÈÈÝÄê¡£¤³...
-eclipse
--¤Î¸¡º÷µ¡Ç½¤ò»È¤¤¤³¤Ê¤·¤¿¤¤¡£ËܤòÆɤ⤦¡£
-¥°¥í¡¼¥Ð¥ë¥ë¡¼¥ë¥»¥Ã¥È
--¤É¤³¤Ë½ñ¤¤¤Æ¤¢¤ë¤ó¤À¤í¤¦¡©
-ÎØÆÉ¡¡½ªÎ»
&br;
**2008/07/06 [#m0bf1bb4]
-¼«Æ°¤Ç½ñ¤´¹¤ï¤Ã¤Æ¤·¤Þ¤¦atom
|SIZE(13):"-"(2, 1).|
--¤ò½ñ¤¯¤È¡¢¾¡¼ê¤Ë
-
|SIZE(13):(-2, 1)|
--¤Ë½ñ¤´¹¤ï¤Ã¤Æ¤·¤Þ¤¦¤È¤¤¤¦Èá·à¡£
---(080707Äɵ)'-'¤Ï±é»»»Ò¡¢"-"¤Ïstring¤ß¤¿¤¤¤Ëʬ¤±¤é¤ì¤¿...
-UNYO¤Ç¤Îlist¹½Â¤(¤Î¤è¤¦¤Ê¤â¤Î¡©)
|SIZE(13):list("xx", '.'("a", '.'("b", '.'("c", [])))).¡¡...
--¤³¤ÎÆó¤Ä¤ÏUNYO¾å¤Ç¤ÏƱ¤¸¤â¤Î¤È¤·¤ÆÉÁ¤«¤ì¤ë¤¬¡¢Î㤨¤Ð¼¡...
-
|SIZE(13):list(Index, '.'(Value, Next)) :- list(Index, Ne...
--¤Ë¥Þ¥Ã¥Á¤¹¤ë¤Î¤Ï¡¼°¤Î¤ß¡£¤Þ¤¡¡¢¤òÆþ¤êº®¤¼¤Æ½ñ¤¯¤è¤¦¤ÊŬ...
---(080707Äɵ)¥ê¥ó¥¯ÈÖ¹æ½Ð¤»¤Ðʬ¤«¤Ã¤¿¡£iwasawa´¶¼Õ¡ª
**2008/07/05 [#m0bf1bb4]
-LMNtal¤ÎÈÝÄê¤Èifʸ
--ifʸ»È¤¨¤ÐÈÝÄê¤ò½ñ¤±¤ë¤³¤È¤Ë¤Ê¤ë¤Î¤«¡©else¤¬¤¢¤ë¤«¤é¡¢...
&br;
**2008/07/02 [#m0bf1bb4]
-[[JavaÌÜÀþ¤Ç¥³¥ó¥Ñ¥¤¥é:http://www.atmarkit.co.jp/fjava/i...
--¿§¡¹¤¿¤á¤Ë¤Ê¤ë¡£¥½¥Õ³«¤Ç¤ä¤Ã¤¿BNF¤ÎÌòΩ¤ÄÆü¤¬¤Ä¤¤¤ËÍ褿¡£
--¤È¤ê¤¢¤¨¤º¥µ¥¤¥È¤ÎÄ̤ê¤Ëºî¤Ã¤Æ¤ß¤Æ¡¢¤½¤Î¤¢¤È¤Ï¿§¡¹³ÈÄ¥...
--¤½¤·¤¿¤éLMNtal¤Ç¤âºî¤Ã¤Æ¤ß¤ë¡£ÊÂÎó½èÍýÆÃÏÀ¤Î¸À¸ì¤È¤«´Ê...
-¤ë¤¥¤¤¤ó¤É¤¥¤¯¡ÊÎØÆɡ˽ªÎ»
&br;
**2008/06/30 [#m0bf1bb4]
-³¤ë¤¥¤¤¤ó¤É¤¥¤¯¡ÊÎØÆÉ¡Ë
--¤¢¤È°ì©¡£¥Ñ¥ï¥Ý¥Ñ¥ï¥Ý¡£
-¥³¥ó¥Ñ¥¤¥é
--[[JavaÌÜÀþ¤Ç¥³¥ó¥Ñ¥¤¥é:http://www.atmarkit.co.jp/fjava/...
&br;
**2008/06/27 [#m0bf1bb4]
-¤ë¤¥¤¤¤ó¤É¤¥¤¯¡ÊÎØÆÉ¡Ë
--¥Ñ¥ï¥Ý¥Ñ¥ï¥Ý¡£È¯É½°ì½µ´ÖÁ°¤Ë´°À®Ìܻؤ¹¡£
-ÈÉ¥¼¥ß
--hyperlink¤¬¤¢¤ì¤Ð¤É¤¦ÊØÍø¤Ê¤Î¤«¡¢¤½¤³¤¬¥«¥®¡£
--link¤è¤êtype¤È¤«¤ÎÊý¤¬ÌÀ¤é¤«¤ËÂç³Ý¤«¤ê¤¸¤ã¤ó¡£
&br;
--ï¤â¤¬¹Í¤¨¤½¤¦¤ÊSLIM¤ÈLMNtalMC¤ÎÅý¹ç̾¡¢SLIMNtalMC¡£
&br;
**2008/06/24 [#m0bf1bb4]
-½ÐÄ¥¸À¸ìÈÉ¥¼¥ßin£¶·î±ã²ñ
--ÀèÀ¸¤ò¤Ä¤Ä¤¤¤¿¤é½Ð¤Æ¤¤¿Â´ÏÀ¥Æ¡¼¥Þ¤Ë¤Ê¤ê¤½¤¦¤Ê¤â¤Î
---¥³¥ó¥Ñ¥¤¥é
---·¿ÂηÏ
---hyper LMNtal, hybrid LMNtal
---super SLIM, ultra SLIM¡Ê¿·½Ðñ¸ì¡Ë
---¾¡¢Â¿¿ô¡ÊLMNtal¤Î¿ô³ØŪÇطʤȤ«¡¢µ®½Å¤½¤¦¤ÊÏäâ¡Ë
-¤½¤ì¤Ç¡¢¤É¤¦¤¹¤ë¤«¡©
--hyper LMNtal¤ËÂФ¹¤ëÇùÁ³¤È¤·¤Æ¤¤¤¿¥¤¥á¡¼¥¸¤¬¾¯¤·¤À¤±¤Ï...
-hyper LMNtal¤Ø¹Ô¤¯Á°¤Ë¤Þ¤º¤ä¤ë¤³¤È¡ÊÀèÀ¸¤è¤ê¡Ë
--LMNtal¤Î¥½¡¼¥¹¥³¡¼¥É¡ÊÆä˽èÍý·Ï¡Ê¥³¥ó¥Ñ¥¤¥é¡Ë¡Ë¤òÆɤࡣ
--LMNtal¤Ç¥³¥ó¥Ñ¥¤¥é¤ò½ñ¤¤¤Æ¤ß¤ë¡£
--·¿ÂηϤˤĤ¤¤Æ³Ø¤Ö¡£
--¥×¥í¥°¥é¥ß¥ó¥°¸À¸ìÁ´ÂΤ˴ؤ¹¤ëÁÇÍܤò¿¼¤á¤ë¡£
--¤ä¤Ã¤ÈËÜÂê¤Ø¡£
-ÎØÆÉ¡¢ÊÂÎó½èÍýÆÃÏÀ¤Î¥ì¥Ý¤ò¤Þ¤ºÊÒÉÕ¤±¤ë¡£¤¢¤È¤Ï¤ä¤ëµ¤¤À¡ª
&br;
**2008/06/23 [#m0bf1bb4]
-´ÏÀ¤Ë´Ø¤·¤Æ¡Êgocho¤ÈÀèÀ¸¤ÎÂÐÃ̤è¤ê¡Ë
--¡Ö¤ä¤Ï¤êUNYO¤Ç¤Ï¤³¤ì°Ê¾å¤Î´ÏÀ½¤ÏÀ¤Ï¸·¤·¤¤¤«¤â¤·¤ì¤Ê¤¤...
---ͽÁۤϤ·¤Æ¤¤¤¿¤¬¡¢¤Á¤ç¤Ã¤È¥¬¥Ã¥«¥ê¡£
--¡ÖSLIM¤Ç¤Ï¡¢¥Æ¡¼¥Þ¤¬Ê¨¤¤¤Æ½Ð¤ÆÍè¤ë¤é¤·¤¤¡£¡×
---¤½¤ê¤ã¤½¤¦¤À¡£
--º£¸å¤ÎÊý¸þÀ¤Ï¡©
---¤á¤²¤º¤ËUNYO´Ø·¸¤Î¿·¤¿¤Ê¥¢¥¤¥Ç¥£¥¢¤òºñ¤ê½Ð¤¹¡¢
---CHR¡©¤ähyper¡©hybrid¡©LMNtal¤Ë¤Ä¤¤¤ÆÄ´¤Ù¤Æ¤ß¤ë¡£¡Ê¤Ç¤â...
---SLIM¤Ë¶î¤±¹þ¤à¡£
&br;
¢ª´õ˾¤Ï¾å¤Û¤É¹â¤¤¡£¤¦¡¼¤ó¡¢¤É¤¦¤·¤¿¤â¤ó¤«¡£
**2008/06/21 [#m0bf1bb4]
-UNYO¡¡Â³¡¦¥Þ¥¦¥¹¥Û¥¤¡¼¥ë¤Ç¥º¡¼¥à
--¥Þ¥¦¥¹¥Û¥¤¡¼¥ë¤È¥á¥Ë¥å¡¼¤ÎZOOM¤ÎÂбþÉÕ¤±¤ò»î¤ß¤ë¤¬¡¢¸å...
&br;
-¸Ñ¤µ¤ó¤òƳÆþ
--Çú®¡£
**2008/06/20 [#m0bf1bb4]
-UNYO¡¡¥Þ¥¦¥¹¥Û¥¤¡¼¥ë¤Ç¥º¡¼¥à
--panel.GraphPanel.java
---20,111,907¹ÔÌÜÊÕ¤êÊѹ¹¡£
---author¤Ë̾Á°¤òÄɲ䷤褦¤È¤·¤¿¤¬»ß¤á¤ë¡£¶²¤ì¿¤¤¡£
&br;
**2008/06/19 [#m0bf1bb4]
-¡ØJava¸À¸ì¤Ç³Ø¤Ö¥Ç¥¶¥¤¥ó¥Ñ¥¿¡¼¥óÆþÌç¡Ù·ë¾ë¹À
--¡Ö¿¿ô¤Î¥ª¥Ö¥¸¥§¥¯¥È¤Î´Ö¤ÎÄ´À°¤ò¹Ô¤ï¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¤È...
-¡ØJava¸À¸ì¥×¥í¥°¥é¥ß¥ó¥°¥ì¥Ã¥¹¥ó²¼¡Ù·ë¾ë¹À
--¥¹¡¼¥Ñ¡¼Ž¥¥µ¥Ö¥¯¥é¥¹¡¢abstract¡¢¥ª¡¼¥Ð¡¼¥é¥¤¥ÉŽ¥¥í¡¼¥É¤Ê...
--¡ÖObject¥¯¥é¥¹¤Ï¥¢¥À¥à¡×
&br;
**2008/06/16 [#m0bf1bb4]
-Spin¤Î²ÝÂê
--Á°²óƱÍÍ¡¢jSpin¤Îoption¢ªcommon¤Î¥Á¥§¥Ã¥¯¤ÏÁ´³°¤·¡£¤¢¤ó...
-ÎØÆÉ
--£±²óÌܤè¤êÆɤॹ¥Ô¡¼¥É¤¬UP¡£
--º£Æü¤Î¸¶ÅĻᡢ»ÔÀ¤ó¤ÎÈϰϤϽÅÍפÀ¤Ã¤¿¤Ï¤º¤Ê¤Î¤Ë¡¢Èè...
&br;
**2008/06/15 [#m0bf1bb4]
-ÃæÌ¤ó¤Î´ÏÀ¡ØLMNtal¤Î¥°¥é¥Õ¥£¥Ã¥¯µ¡Ç½¤ÎÀ߷פȼÂÁõ¡Ù
--½¤ÏÀ¤ÎÊý¤òÆɤàÁ°¤Ë¡¢Í½È÷Ãμ±¤Ë¤Ê¤ë¤«¤È»×¤Ã¤ÆÆɤó¤Ç¤ß¤¿¡£
--MVC¤Ø¤ÎÂбþÉÕ¤±
---¥Ç¥¶¥¤¥ó¥Ñ¥¿¡¼¥ó¤ÎÊÙ¶¯¤Ï¤·¤¿¤³¤È̵¤¤¤¬¡¢¹Í¤¨Êý¤ÈɬÍ×À...
--£³¼ïÎà¤ÎËì¡¡¥°¥é¥Õ¥£¥Ã¥¯Ž¥ÉÁ²èŽ¥¥ì¥é¥Æ¥£¥Ö(relative)
---ÉÁ²è¤È¥ì¥é¥Æ¥£¥Ö¤ÎÀþ°ú¤¤Ï¤É¤³¤Ë¡©
---¥í¥Ã¥¯¡¢¥¢¥ó¥í¥Ã¥¯¤â¤Á¤ç¤Ã¤ÈÍý²ò¤¬Èù̯¡£¡£
--¤Ä¡¼¤«Glaphic LMNtal¤Ï¤É¤³¤Ë¡©¡©
&br;
**2008/06/13 [#m0bf1bb4]
-UNYO 3G API
--Application Program Interface
--eclipse 3.1¤ÇJavadocºî¤ë¤Ë¤Ï¥Õ¥¡¥¤¥ë¢ª¥¨¥¯¥¹¥Ý¡¼¥È¢ªJavadoc
-UNYO¤Î¥Î¡¼¥É¸¡º÷µ¡Ç½
--ÅØÎϤ¢¤ë¤Î¤ß¡£¾®¤µ¤Ê¤³¤È¤«¤é¤³¤Ä¤³¤Ä¤È¡£
--¤Þ¤º¤Ï¸¡º÷¤·¤Æ¥Î¡¼¥É¤òÀÖ¤¯¤¹¤ë¤³¤È¤«¤é¡£
&br;
**2008/06/11 [#m0bf1bb4]
-ruth_aaron_pair.lmn
--¥ë¡¼¥¹=¥¢¡¼¥í¥ó¥Ú¥¢¤ò¸«¤Ä¤±¤ë¡£
--µ¡Ç½¤Î¼Â¸½¤À¤±¤Ç¡¢·×»»¤ÏÃÙ¤¤¡£O(n)¡ÁO(n^2)¡£
--¤Á¤Ê¤ß¤Ë¥ë¡¼¥¹=¥¢¡¼¥í¥ó¥Ú¥¢¤È¤Ï¡¢Ï¢Â³¤·¤¿À°¿ô¤Î¤½¤ì¤¾¤ì...
&br;
-totient.lmn
--¥È¡¼¥Æ¥£¥¨¥ó¥È´Ø¿ô¡£
--¤â¤È¤â¤ÈO(n)¤À¤«¤é³ä¤È®¤¤¡£
--¤Á¤Ê¤ß¤Ë¥È¡¼¥Æ¥£¥¨¥ó¥È´Ø¿ô¤È¤Ï¡¢1¡Án¤Î¼«Á³¿ô¤Î¤¦¤Án¤È¸ß...
&br;
**2008/06/10 [#m0bf1bb4]
-UNYO¤Î¸¡º÷µ¡Ç½
--Ä´¤Ù¤Æ¤ß¤è¤¦¤«Ž¥Ž¥Ž¥¡£
-hpcÊÙ¶¯²ñ
--Java¤Ç¤¤Í¡¼¡£
&br;
**2008/06/09 [#m0bf1bb4]
-LMNtal ¥½¡¼¥¹¥³¡¼¥É
--Æɤó¤Ç¤¤¤¯¤³¤È¤Ë¤·¤¿¡£
&br;
**2008/06/06 [#m0bf1bb4]
-othello.lmn
--¿·UNYO¤Ê¤é¥ê¥ó¥¯¤Î³ÑÅÙ¤òÀßÄê¤È¤«½ÐÍè¤ë¤é¤·¤¤
--ɬÍפÎ̵¤¤¥¢¥È¥à¤ò±£¤»¤ëµ¡Ç½¤ÏÍߤ·¤¤¤«¤â
-perfect.lmn, perfect_mersenne.lmn
--¤³¤³¤Þ¤Ç·×»»Î̤˺¹¤¬½Ð¤ë¤È¤Ï¡£¼«Ê¬¤Ç¤â¤Ó¤Ã¤¯¤ê¡£
-ÈÉ¥¼¥ß¤Ç¥Í¥¿½Ð¤·
--¤¢¤ó¤Ê¤ó¤Ç¤¤¤¤¤ó¤À¤í¤¦¤«¡©¡©
&br;
½ªÎ»¹Ô:
*¸¦µæ¥Ú¡¼¥¸ [#ie4e5baa]
-[[uniq]]
-[[M2(¸¦µæÆü»ï¤È¤¦¤á¤)>¸¦µæÆü»ï¤È¤¦¤á¤]]
-[[M1(¸¦µæÆü»ï¤È¤Ü¤ä¤)>¸¦µæÆü»ï¤È¤Ü¤ä¤]]
//-[[´ÏÀ]]
*¤Ä¤Ö¤ä¤ [#s8e0a853]
-LMNtal¤Çµá¤á¤Æ¤ß¤¿¤¤À°¿ô¤ÎÎà
--º§Ìó¿ô
--²óʸ¿ô(²óʸÁÇ¿ô¡¢²óʸʿÊý¿ô)
--¥À¥¤¥ä¥ë¿ô
-LMNtal¤Ç¤¹¤´¤í¤¯¤Ç¤¤Ê¤¤¤«¤Ê¡©
-UNYO¤ÏÌÌÇò¤¤¡£¤³¤¦¤¤¤¦¤Î¤¬¤¢¤Ã¤¿¤é¤¤¤¤¤«¤â¡£
--´¬¤Ìᤷ¤¬¤Ç¤¤ë¡£
--¥Î¡¼¥É¤Î¸¡º÷
--%%¥Þ¥¦¥¹¤Ç¤Î¥º¡¼¥à%%¡Ê¥á¥Ë¥å¡¼¤ÎZoom¤È¤ÎϢư¤Ï̤¼ÂÁõ¡Ë
--¼¡¤ËÈ¿±þ¤¹¤ë¥¢¥È¥à¤¬Ê¬¤«¤ë¡£
--UNYO¤Ã¤¿¤±¤É¤Û¤Ã¤¿¤é¤«¤·¢ªMainFrame, SearchNodeFrame, Gr...
&br;
&br;
---- // °Ê²¼¡¢¸¦µæÆü»ï
**2009-3-21 [#x42d7fde]
***global [#t9fe6e49]
-Î㤨¤Ðsrc°Ê²¼¤Î¥½¡¼¥¹¤òHTML²½¤·¤¿¤¤¾ì¹ç¡¢srcľ²¼¤Ç
$ gtags -v
$ htags
-¤¹¤ë¤ÈHTML¥Õ¥©¥ë¥À¤¬src¤ÈƱ¤¸¥Ç¥£¥ì¥¯¥È¥ê¤ËÀ¸À®¤µ¤ì¤ë
--¥Õ¥©¥ë¥À¤ò±ø¤µ¤Ê¤¤¿ÆÀÚÀß·×
***JSAI [#j95d7df1]
-ÎãÂ꤬Íߤ·¤¤
--Á´°è¥¯¥â¤ÏÅ´Èĥͥ¿¤À¤È»×¤¦¡¢uniq ver.¤Èuniq+nd ver.¤¬¤Ç...
**2009-3-19 [#x42d7fde]
***float·¿¤ÎƱ·¿ÀȽÄê [#v127ffa7]
mem_eq(L1, L2, a, b, r).
{+L1, a(1.0).}.
{+L2, a(1.0).}.
--> false(r). a(L0). b(L1). {a(1.000000). +L1. }, {a(1.0...
-ɬ¤ºfalse¤Ë¤Ê¤ë¡£
***uniq [#v127ffa7]
-porÈǤ˼ÂÁõ¤·¤Æ¤ß¤¿¡¢°ì±þÆ°¤¯
-nd
--Ä̾ï¼Â¹Ô
a(1), a(1), a(2), a(2).
a(A) :- uniq(A) | ok(A).
--> a(1). a(2). ok(1). ok(2). @3
--nd
init:17663488
17663488::17734632,17665952::a(1). a(1). a(2). a(2). @3
17734632::::a(1). a(1). a(2). ok(2). @3
17665952::::a(1). a(2). a(2). ok(1). @3
# of States = 3
---°ìÅ٥롼¥ë¤¬Å¬ÍѤµ¤ì¤¿¸å¤Ç¿·¤¿¤Ê¾õÂÖ¤¬À¸À®¤µ¤ì¤Æ¤¤¤Ê¤¤...
***JSAI2009 [#v127ffa7]
-¤Î¥Ú¡¼¥¸¤òºî¤Ã¤¿
--[[JSAI2009:http://www.ueda.info.waseda.ac.jp/lmntal/loc...
-¼ÂÁõ¤òµÞ¤°
**2009-3-16 [#x42d7fde]
***mem_eq¥á¥â [#v127ffa7]
mem_eq( M1, M2, mem1, mem2, result).
{+M1. a}. {+M2. a}. //ture
{+M1. a}. {+M2. b}. //false
{+M1. a:-b.}. {+M2. a:-b.}. //true
{+M1. a:-b.}. {+M2. b:-a.}. //true
{+M1. c. a:-b.}. {+M2. c. b:-a.}. //true
{+M1. c. a:-b.}. {+M2. d. b:-a.}. //false
{+M1. a. a:-.}. {+M2. }. //true
{+M1. a. a:-.}. {+M2. }. //true
{+M1. a. a:-b.}. {+M2. c. c:-b.}. //true
{+M1. a. a:-b.}. {+M2. b. a:-b.}. //true
***C¸À¸ì [#e472e46b]
-makes pointer from integer without a cast
-format argument is not a pointer
--¤É¤ì¤â¥¥ã¥¹¥È¤ò¤·¤Ã¤«¤ê½ñ¤±¤ÐÂç¾æÉ×
**2009-3-11 [#x42d7fde]
***PPL2009 [#v127ffa7]
-´ôÉì¤Ï±ó¤«¤Ã¤¿
***uniq [#r92fae34]
-vector¤ÇID¤òÀ¸À®¤¹¤ë¤è¤¦¤ËÊѹ¹
-warning¤ò¾¯¤·¤º¤Ä¾Ã¤·¤Æ¤¤¤¯
***¥µ¥ó¥À¡¼¥Ð¡¼¥É [#jb29127f]
-¼õ¿®¥Õ¥©¥ë¥À¤¬¤ª¤«¤·¤¯¤Ê¤Ã¤¿¤é¡¢
--Inbox, Inbox.msf¤òºï½ü
---Users\seiji\AppData\Roaming\Thunderbird\Profiles\xxxxx...
--¼õ¿®¥Õ¥©¥ë¥À¢ª±¦¥¯¥ê¥Ã¥¯¢ª¥×¥í¥Ñ¥Æ¥£¢ª¸¡º÷¤ÎºÆ¹½ÃÛ
**2009-2-8 [#x42d7fde]
***Spanning Spider [#a5dc38b9]
-¾¯¤·´Êñ¤Ë¤·¤Æ10¹Ô¤Û¤É¸º¤é¤»¤¿
-¤Ç¤â¤¢¤¤¤«¤ï¤é¤º½ÅÊ£¤¬¤Ç¤ë¡Ê¤Ï¤º¡¢Ì¤³Îǧ¡Ë¤Þ¤¡¤¤¤¤¤«
**2009-2-7 [#x42d7fde]
***uniq [#a5dc38b9]
-uniq¤ÏËì¤ò°ú¿ô¤Ë¼è¤ì¤Ê¤¤¤«¤é¡¢Ëì¤ËÂФ·¤Æuniq»È¤¦¤Ê¤é¥¤¥ó...
**2009-2-6 [#x42d7fde]
***´ÏÀ [#a5dc38b9]
-ȯɽ¤Ï½ª¤ï¤Ã¤¿¡£ÀèÇÚÊý¡¢¤¢¤ê¤¬¤È¤¦¤´¤¶¤¤¤Þ¤·¤¿¡£
-¤¢¤È¤Ï¤Á¤ç¤¤¤Á¤ç¤¤ÏÀʸ¤Î½ñ¤Ä¾¤·
--¤â¤¦°ì²óCHR¤È¤ÎÈæ³Ó¬Äꤷ¤¿¤¤
--Spider¤Ï¤â¤¦¤Á¤ç¤¤¤¤ì¤¤¤Ë¤Ç¤¤½¤¦
--³µÍפȸ¦µæÇطʤòÂçÉý½ñ´¹¤¨
**2009-1-26 [#x42d7fde]
***À©Ìó¥×¥í¥°¥é¥ß¥ó¥°¤È¤Ï [#a5dc38b9]
¡ÖÀ©Ìó¥×¥í¥°¥é¥ß¥ó¥°¡×¤ÏAI(¿Í¹©ÃÎǽ)µ»½Ñ¤Î°ì¤Ä¤Ç¡¢1980ǯ...
¤µ¤ì¡¢¤³¤Î20ǯ´Ö¤ÇÀ¤³¦Ãæ¤ÎÍÍ¡¹¤ÊʬÌî¤Î¼ÂÍÑŪ¤Ê·×²èÌäÂê¤ò...
¤ËÍѤ¤¤é¤ì¤Æ¤¤¿µ»½Ñ¤Ç¤¹¡£
¡ÖÀ©Ìó¥×¥í¥°¥é¥ß¥ó¥°¡×¤Ï´Êñ¤Ë¤¤¤¨¤Ð°Ê²¼¤Î¤è¤¦¤Ê³«È¯µ»Ë¡...
* ·×²è¤¬½¼¤¿¤¹¤Ù¤¾ò·ï¤ò¡ÖÀ©Ìó¡×¤Î¤«¤¿¤Á¤Çµ½Ò¤¹¤ë¡£
* À©Ìó¾ò·ï¤ò½¼¤¿¤·¤¿·×²è¤ò¡¢¥×¥í¥°¥é¥à¤¬¼«Æ°Åª¤Ëõº÷¤·...
* õº÷¤Ë¤ÏÀ©ÌóÅÁÇżêË¡¤òÍѤ¤¤ë¡£À©Ìó¤òÍøÍѤ·¤Æ¾ò·ï¤Ë¹ç...
¤ò¼è¤ê½ü¤¤Ê¤¬¤éõº÷¤¹¤ë¤Î¤Ç·×²èºîÀ®¤¬¸úΨ¤è¤¯¹Ô¤¨¤ë¡£
¡ÖÀ©Ìó¥×¥í¥°¥é¥ß¥ó¥°¡×¤ÎĹ½ê¤Ï¡¢¡Ö¤ï¤«¤ê¤ä¤¹¤µ¡×¤È¡Ö¸úΨ...
È÷¤¨¤¿µ»½Ñ¤Ç¤¢¤ëÅÀ¤Ç¤¹¡£À©Ì󤬤¢¤ë¤³¤È¤òÍøÍѤ·¤Æ¸úΨ¤è¤¯...
¤¹¤³¤È¤¬¤Ç¤¤ë¤À¤±¤Ç¤Ê¤¯¡¢ÌäÂê¤Îɽ¸½¤¬¿Í´Ö¤Îľ´¶¤Ë¤¢¤Ã¤Æ...
¥Ç¥ê¥ó¥°¤äÀ߷פ¬³Î¼Â¤Ë¹Ô¤¨¤ë¤³¤È¤¬¡¢¡ÖÀ©Ìó¥×¥í¥°¥é¥ß¥ó¥°...
¤ÊÆÃħ¤Ç¤¹¡£
**2009-1-25 [#x42d7fde]
***JSAI2009 [#a5dc38b9]
-¿½¤·¹þ¤ó¤À¡¢¤¦¤É¤ó¡£
***(´ÏÀ¤ò´èÄ¥¤ë)Îɤ¤»Ò¤Î¤ß¤ó¤Ê¤Ø [#q8ccaa2a]
-Ìë¤ÏÁ᤯¿²¤Þ¤·¤ç¤¦¡¢ÂÎÄ´¤òÊø¤¹¸¶°ø¤È¤Ê¤ê¤Þ¤¹
--PC¤Î²èÌ̤¬¤Ü¤ä¤±¤Æ¸«¤¨¤¿¤ê¡¢¾®¤µ¤Ê¥Õ¥¡¥¤¥ë̾¤ò¤¦¤Þ¤¯¥¯...
---·Ð¸³¼Ô¤¬¸À¤¦¤Î¤À¤«¤é´Ö°ã¤¤¤Ê¤·
**2009-1-24 [#x42d7fde]
***¤Ä¤Ö¤ä¤ [#q8ccaa2a]
-¤³¤³¤Ë¤¤ÆÆɤߤ¿¤¤CHR¤Î±Ñ¸ì¤ÎÏÀʸ¤¬2¤Ä¤â½Ð¤Æ¤¤¿
--¤³¤ó¤Êµ¤»ý¤Á¤Ë¤Ê¤ë¤È¤Ï
--´ÏÀ½ª¤ï¤Ã¤¿¤éÆɤफ¤Ê¡¢JASI¤Î¤¿¤á¤Ë¤â¤Ê¤ë¤À¤í¤¦¤·
***CHR²òÀâ¤Î¾Ï [#c46e3e99]
-Èó¾ï¤ËÆâÍƤ¬Çö¤¤¡¢Propagation¤ÎÏÀʸ¤ò¤â¤¦¤Á¤ç¤¤Æɤó¤Ç½ñ...
--»þ´Ö¤¬¤¢¤ì¤Ð¡¢¤Ë¤·¤è¤¦
***JSAI¤Î¥¿¥¤¥È¥ë [#u04b740b]
-¥¥Þ¥é¥Ê¡¼¥¤¡¢°ÆÊ罸
***ÀèÀ¸¤è¤ê´ÏÀ¤Ë´Ø¤·¤Æ [#h2e16475]
-uniqÀ©Ìó¤Î¥»¥Þ¥ó¥Æ¥£¥¯¥¹¤ò½Ò¤Ù¤ë¡£
--ÆäËCHR¤È¤Îpropagation¤È¤Î´Ø·¸¤ò½Ò¤Ù¤ë¡£
-uniq À©Ìó¤ÎɬÍ×À¤ä±þÍÑÎã¤ò½Ò¤Ù¤ë¡¢¤½¤ÎºÝ°Ê²¼¤ËÃí°Õ
--Èó·èÄêŪ¼Â¹Ô¤Þ¤¿¤Ï¥â¥Ç¥ë¸¡ºº¤ÈÁȤ߹ç¤ï¤»¤¿Îã¤òµó¤²¤ë¡ÊC...
--½¾Íè¤Î uniq ¤È¤Î°ã¤¤¤ÏËì¤ò»È¤Ã¤¿µ½ÒÎã¤Ç¸½¤ì¤ë¤Î¤Ç¡¢Ëì...
**2009-1-23 [#x42d7fde]
***JSAI 2009 [#ed068b43]
-¿Í¹©ÃÎǽ³Ø²ñ¡÷¹â¾¾
--¤Þ¤µ¤«¤Îmain author
***ÅŸ»¥³¡¼¥É [#dab596ca]
-¸¦µæ¼¼¤Ë˺¤ì¤Æ¤¤¿Ž¥Ž¥Ž¥
--¤³¤Î3Æü´Ö¤ÏµìPC¤Ç´èÄ¥¤ë¡¢¤ä¤Ï¤ê¤ªÁ°¤¬Íê¤ê¤À
***Moude [#dab596ca]
-LMNtal¤ß¤¿¤¤¤Ê½ñ¤´¹¤¨¸À¸ì
--ÈÉ¥¼¥ß¤Ç¾Ò²ð¤µ¤ì¤Æ¤¤¤¿¡¢¤Á¤ç¤Ã¤È¤ª¤â¤·¤í¤½¤¦
***´ÏÀ¡¡ÎãÂ꽸 [#a1031b43]
-Spanning Spider¤Ï´ÏÀ¤ËÆþ¤ì¤ë
--ÊÄϩõº÷¤Î¥¢¥ë¥´¥ê¥º¥à¤¬Àµ¤·¤¤¤Ã¤Ý¤«¤Ã¤¿¤Î¤Ç°ì°Â¿´
-¥Á¡¼¥à¤ÎÁíÅö¤êÂÐÀïɽ¤òºî¤ë(¼«ºî¤ÎÌäÂê)
--uniq¤Î»È¤¤Êý¤Î°ìÎ㸫¤¿¤¤¤Ê´¶¤¸¤ÇÆþ¤ì¤Æ¤ß¤è¤¦¤«¤Ê¡¢
-CHR
--ÉÔÅù¼°À©Ìó¤Ï³ÎÄê
--ºÇû·ÐÏ©·Ï¤ò°ì¤Ä
--¤â¤¦°ì¤Ä¤¯¤é¤¤²¿¤«¤ò¡¢´Êñ¤Ê¤ä¤Ä(Ķ¤¬ÉÕ¤«¤Ê¤¤ÄøÅÙ)¤Ç¤â...
-mem_eq¤ò»È¤Ã¤Æ¤ëÎãÂ꤬¤¢¤ë¤È¤«¤Ê¤ê¤¤¤¤
**2009-1-22 [#x42d7fde]
***\(¥Ð¥Ã¥¯¥¹¥é¥Ã¥·¥å)µË¡¤Î¥Ð¥°¡©¡© [#kd277e50]
-\¤ò»È¤Ã¤¿¼°¤Ç@p¤ò¥³¥Ô¡¼¤¹¤ë¤È¼Â¹Ô¤Ç¤¤Ê¤¤
--(LMNtal)Compilation Failed
compile.parser.SrcRuleContext cannot be cast to compile.p...
--(SLIM)unknown instruction name ompilation C
first{a:-b.}, second{}.
first{@p} \ second{} :- second{@p}.
--> ¥¨¥é¡¼
first{a:-b.}, second{}.
first{@p}, second{} :- first{@p}, second{@p}.
--> first{@601}, second{@601}.
--°ì¤ÄÌܤÎÎã¤Ïfirst, secondË줬¤¢¤Ã¤¿¤È¤¤Ë¡¢¥Ø¥Ã¥É¤Î\°Ê...
--Æó¤ÄÌܤÏ\¤ò»È¤ï¤Ê¤¤¤Ç½ñ¤¤¤¿¤â¤Î
first{a:-b.}. second{a:-b.}, third{}.
first{@p} \ second{@q}, third{} :- second{@q}, third{@q}.
-->¥¨¥é¡¼
--¤³¤¦¤¤¤¦É÷¤Ë¥³¥Ô¡¼¤·¤¿¤¤¥ë¡¼¥ë¤Ï¾Êά¤µ¤»¤º¤Ë½ñ¤¤¤Æ¤ß¤Æ...
-º£¤Î¤È¤³¤í¡¢\¤È@p¤òƱ¤¸¥ë¡¼¥ëÆâ¤Ë½ñ¤¯½Ñ¤Ï¤Ê¤µ¤½¤¦
***uniq [#kd277e50]
-¥ë¡¼¥ë¥³¥Ô¡¼¤ÎºÝ¤ËÍúÎò¤â¥³¥Ô¡¼¤µ¤»¤ëÊýË¡¤Ï¡¢¤è¤¯Ê¬¤«¤é¤Ê...
--Ãæ´ÖÌ¿Îá¤Îcopyrules¤Ï¥³¥Ô¡¼¸µ¤Î¥ë¡¼¥ë¥»¥Ã¥È¤ò¥³¥Ô¡¼Àè¤Î...
--rule.c¤Îlmn_rule_copy()¤Ï¥·¥¹¥Æ¥à¥ë¡¼¥ë¤ò³ÆËì¤Ë¥³¥Ô¡¼¤¹...
***Spanning Spider [#kd277e50]
-¤³¤ì¤Ï³Î¤«¤Ëuniq¤¬¤¢¤ë¤È³ä¤È´Êñ¤Ë½ñ¤±¤ë
-¤À¤±¤É¢¬¤Î¥ë¡¼¥ë¥³¥Ô¡¼¤ÎÌäÂ꤬»Ä¤Ã¤Æ¤¤¤ë¤«¤é¤½¤ó¤Ê¤Ë´Êñ...
--¤È»×¤Ã¤¿¤±¤É¡¢¤³¤ì½ñ¤¤Ê¤¬¤é¤ä¤êÊý¤ò»×¤¤¤Ä¤¤¤¿¤«¤â¡¢¤Ó...
**2009-1-20 [#x42d7fde]
***´ÏÀ [#kd277e50]
-³µÍפò½ñ¤¤¤Æ¤ß¤¿¡¢¸¦µæ¤Î°ÕµÁ¤ÎÉôʬ¤¬½ñ¤¤Ë¤¯¤¤¡¢¤É¤¦¤¤¤¦...
***uniq [#kd277e50]
-;·×¤Ê½ÐÎϤò¾Ã¤·¤¿
--dumperÆâ¤Ç¾ò·ïʬ´ô¡¢¤½¤Î¾ì¤·¤Î¤®¤Î¤Ò¤É¤¤¼ÂÁõ¡¢¤³¤Î¤Þ¤Þ...
**2009-1-19 [#x42d7fde]
***´ÏÀ [#kd277e50]
-pdf¤ò¸À¸ìÈÉ¥í¡¼¥«¥ë/seiji¤Ëup¤·¤Þ¤·¤¿¡£
-tex¥Õ¥¡¥¤¥ë¤Ê¤É¤ÏÌÀÆüŬ½ê¤ËÇÛÃÖ¤·¤Þ¤¹¡£
--up¤·¤Þ¤·¤¿¡£home/seiji/tex_pack/
***uniq [#kd277e50]
-°ú¿ô̵¤·¤âÈ¿±þ¤µ¤»¤ë¤À¤±¤Ê¤éÌäÂê̵¤·(¤ß¤¿¤¤)
--¤Ç¤âÈ¿±þ¤·¤¿¸å¥ë¡¼¥ë¤ò¾Ãµî¤µ¤»¤Ê¤¤¤È¤¤¤±¤Ê¤¤
--¸½»þÅÀ¤ÇÊýË¡¤¬»×¤¤¤Ä¤«¤Ê¤¤¡¢¼ÁÌ䤹¤ë
-°ú¿ôͤê¤Î¾ì¹ç¤Ë;·×¤Êid¤¬½ÐÎϤµ¤ì¤Æ¤·¤Þ¤¦
--dumper¤È¤ÏÊÌ¥Õ¥¡¥¤¥ë¤Ëʬ¤±¤¿¤Û¤¦¤¬¤¤¤¤¡©¡©
-ÍúÎò¤Î¥³¥Ô¡¼¤â¤Þ¤À
--¤Ç¤â¤³¤ì¤Ï¤¹¤°¤Ç¤¤½¤¦
**2009-1-18(2) [#x42d7fde]
***slim [#qba70a72]
-¥¬¡¼¥É¤ËstringÀ©Ìó¤¬Ìµ¤¤¤³¤È¤ò¤Ï¤¸¤á¤ÆÃΤä¿
***uniq [#m9aa2e34]
java : a(1), a('1'), a("1") --> ok, a("1"), a(1).
slim : a(1), a('1'), a("1") --> ok, ok, a(1).
-¤É¤Ã¤Á¤¬Àµ¤·¤¤¤Î¤ä¤é¡¢¸Ä¿ÍŪ¤Ë¤Ï²¼¤ò¿ä¤·¤¿¤¤
**2009-1-18 [#x42d7fde]
***&size(40){&color(blue){u};&color(red){n};&color(yellow...
-¸½ºß»þ¹ï:1/18 AM2:55
-µÇ°¤¹¤Ù¤Âè°ì²ó¼Â¹Ô
a(b).
a(c), a(c).
a(d).
a(e).
a(f).
a(g).
a(X) :- uniq(X) | ok.
-->
ok. ok. ok. ok. ok. ok. a(c). @3
--´¶ÎÞ¡£
--³¤¤Ï¸áÁ°9»þº¢¡Á¡¢¤ª¤ä¤¹¤ß¤Ê¤µ¤¤
-18Æü¤ä¤ë¤³¤È
--°ú¿ô̵¤·uniq¤Î¤¿¤á¤Î¾ò·ïʬ´ô
**2009-1-17 [#x42d7fde]
***uniq [#l14ec6bd]
-dumper
--·¯¤ÏÌÌÅݤ¯¤µ¤¤¿Í¤À¤Í¡£Ãæ¤Î´Ø¿ô¸Æ¤Ó½Ð¤¹¤ÎÌÌÅݤÀ¤Ã¤¿
--¤Õ¤Èµ¤¤¬¤Ä¤¯¤Èuniq¤Ë´Ø·¸Ìµ¤¤Ê¸»úÎó¤Þ¤Ç½¦¤¦¤è¤¦¤Ë¤·¤Æ¤¤...
-¤¢¤È¤Ç¤¤ì¤¤¤Ë¤¹¤ë¤È¤³¤í¥á¥â
--dumper.c, .h
--task.c
--rule.c, .h
-18,19¤Ç¤ä¤ëuniq¥á¥â
--ÍúÎò¤È¤Î¾È¹ç(¤È¤ê¤¢¤¨¤º¥ª¡¼¥À¡¼µ¤¤Ë¤»¤º)
***openoffice 3.0 [#l14ec6bd]
-µ¯Æ°ÃÙ¤¤¡£µ¯Æ°¤·¤Æ¤«¤éɽ¼¨¤µ¤ì¤ë¤Þ¤Ç¤Î´Ö¤Ëºî¶È¤Ç¤¤Á¤ã¤¦
**2009-1-16 [#x42d7fde]
***mem_eq [#l14ec6bd]
-¤Ä¤¤¤Ë¥³¥ß¥Ã¥È¤·¤¿¡£
-¤·¤«¤·¡¢¤É¤ó¤ÊËì¤ò»ØÄꤷ¤Æ¤âfalse¤Ë¤Ê¤Ã¤Æ¤·¤Þ¤¦¡£
--Ëì¤ÎƱ·¿ÀȽÄêlmn_mem_equals()¤¬É¬¤ºfalse¤ò¤Ï¤¯¡£¥Ð¥°¤À...
**2009-1-14 [#x42d7fde]
***´ÏÀtex [#l14ec6bd]
-¸À¸ìÈÉseiji¥Ú¡¼¥¸¤Ë´ÏÀÆâÍƤò°ìÍ÷¤Ç¤¤ë¤è¤¦¤Ë¤·¤¿¤¤
***slim³«È¯ [#l14ec6bd]
-googlrecode¤Ë¥Ö¥é¥ó¥Á¤òºî¤Ã¤Æ¤½¤³¤ËUP¤¹¤ë¤è¤¦¤Ë¤¹¤ë
--trunk¤Î°ì¤Ä¾å¤Î¥Ç¥£¥ì¥¯¥È¤ò¥ê¥Ý¥¸¥È¥ê¡¼¥í¥±¡¼¥·¥ç¥ó¤Ç»ØÄê
--slim¥Õ¥©¥ë¥À¤òbranchesÆâ¤Ø¥³¥Ô¡¼(±¦¥¯¥ê¥Ã¥¯¢ª¥Ö¥é¥ó¥ÁŽ¥¥¿...
**2009-1-9 [#x42d7fde]
***¤¢¤±¤ª¤á [#z52e1f12]
***¸¦µæ°Ê³°¤Î½ÉÂê [#g44596f2]
-¥ê¥¢¥ë¥¿¥¤¥à(ά)
--ͧ¾ð¥Ñ¥ï¡¼¤ò»È¤¦¡£Äó½Ð¡£
-¥Í¥Ã¥È¥ï¡¼(ά)
--²ÝÂê1¤È2¤ÎÆâÍƤò¾¯¡¹¤«¤Ö¤é¤»¤ë¤³¤È¤Ç·âÇË¡£¥³¡¼¥¹¥Ê¥Ó¤¬...
***¥¤¥ó¥¹¥È¡¼¥ë [#xc219e06]
-¥á¥â䵿Í
-SICStus4
--ÍÎÁ¤À¤È¤É¤Ã¤«¤Î¥µ¥¤¥È¤Ë½ñ¤¤¤Æ¤¢¤Ã¤¿¤±¤É¡¢¤É¤¦¤ä¤é¸«¤ë...
-C¡¡¥Ý¥¤¥ó¥¿´°Á´À©ÇÆ
--ǾÆâ¤Ë¥¤¥ó¥¹¥È¡¼¥ëÃæ
**2008-12-29 [#x42d7fde]
***uniq [#d15c75cd]
-¤È¤ê¤¢¤¨¤º°ú¿ô¤¬int·¿¤Î¾ì¹ç¤Ë¸Â¤êuniq¤¬Æ°¤¯¤è¤¦¤Ë¤Ê¤Ã¤¿
***ayano¤Î¼êÅÁ¤¤ [#k96ee3fa]
-ʸ½ñ²½ºî¶È¤ÏÆñ¤·¤¤¡¢Â´ÏÀ¤ÎÁá´üÃå¼ê¤¬É¬Í×
**2008-12-23 [#x42d7fde]
***uniq¼ÂÁõ [#d15c75cd]
-slim¤Çlink¤«¤é¥¢¥È¥à̾¤òʸ»úÎó¤È¤·¤Æ¼õ¤±¼è¤ëÊýË¡¤¬Ê¬¤«¤Ã¤¿
-¤½¤·¤Æuniq¼ÂÁõ¤È¤¤¤¦Å¨¤Ï¤È¤Æ¤Ä¤â¤Ê¤¯¶¯Âç¤À¤È¤¤¤¦¤³¤È¤âʬ...
-¤Ç¤âÍúÎò´ÉÍý¤Ï¡¢¥ë¡¼¥ë¤Î¹½Â¤ÂΤËÍúÎò¤ò»ý¤¿¤»¤ë¥Ù¥¯¥¿¡¼¤ß...
***ayano¤Î¼êÅÁ¤¤ [#k96ee3fa]
-ʸ½ñ²½ºî¶È¤ÏÆñ¤·¤¤¡¢Â´ÏÀ¤ÎÁá´üÃå¼ê¤¬É¬Í×
**2008-12-17 [#x42d7fde]
***uniq¼ÂÁõ [#u81543f1]
-³«»ÏÀë¸À
***ÍúÎò¤Î»ý¤¿¤»Êý [#f3a6fc46]
-¤È¤ê¤¢¤¨¤ºÁ´¤Æ¤Î¥ë¡¼¥ë¤ËÍúÎò¤òÊÝ»ý¤µ¤»¤ëÊý¸þ¤Ç¤ä¤Ã¤Æ¤ß¤ë
--ɾ²Á¤·¤¿¸å¤Ç¤Þ¤¿¹Í¤¨¤ë
***propagation<=>uniq¤Î½ñ¤´¹¤¨¤Çµ¤¤Ë¤Ê¤Ã¤¿¤³¤È´°·ëÊÔ¡© [...
-ñ¤Ëeclipse¤ÇLMNtal¼Â¹Ô»þ¤Ë-O¤Ä¤±¤Æ¤¿¤«¤é¤À¤Ã¤¿orz
--¤Þ¤¡¡¢¡À¤ò»È¤Ã¤¿µË¡¤¬ÊØÍø¤Ã¤Æ¤³¤È¤Ë¤Ê¤ë¤«¤é¡¢Ê̤ˤ¤¤¤¤«
-(2)¤Ë´Ø¤·¤Æ¡¢Ãæ´ÖÌ¿ÎáÎó¤ò¸«¤ë¤È\¤ò»È¤Ã¤Æ¤âºÇŬ²½¤Ï¤µ¤ì¤Æ...
--KUDO¤µ¤ó2¤Ë¤è¤ë¤È¡¢¥Æ¥¥¹¥È¥ì¥Ù¥ë¤ÎάµË¡¤È¤·¤Æ¸ºß¤¹¤ë...
--¤Ä¤Þ¤êpropagation¤ò¼Â¸½¤¹¤ë¤¿¤á¤Ë¤Ï¡¢uniq¤È\¤ÈºÇŬ²½¥ª...
**2008-12-16(2) [#x42d7fde]
***propagation<=>uniq¤Î½ñ¤´¹¤¨¤Çµ¤¤Ë¤Ê¤Ã¤¿¤³¤È£² [#b7185...
-¢¤Ë´Ø¤·¤Æ¡¢Ãæ´ÖÌ¿Îá¤ò¸«¤Æ¤ß¤¿¤¬¡¢LMN(1)¤âLMN(2)¤â¤Û¤ÜƱ...
--°ìÉô¡¢°ú¿ô¤ËÍ¿¤¨¤Æ¤¤¤ëÃͤ¬°ã¤¦¤¬¡¢Ãæ´ÖÌ¿Îá¤Î¿ô¤È½çÈÖ¤Ï...
--¤â¤·¤«¤·¤ÆuniqÆâÉô¤Ë¡À¤ËÁêÅö¤¹¤ëµ¡Ç½¤¬¤¢¤ë¡©¡©Ä´¤Ù¤ë
**2008-12-16 [#x42d7fde]
***propagation<=>uniq¤Î½ñ¤´¹¤¨¤Çµ¤¤Ë¤Ê¤Ã¤¿¤³¤È [#b7185738]
-autogen_boolean.pl¤ò¥¨¥ó¥³¡¼¥É¤·¤Æ¤ß¤¿
--¤è¤¯¹Í¤¨¤¿¤épropagation¤òuniq»È¤Ã¤Æ½ñ¤´¹¤¨¤ë¤È¤¡¢
CHR : a(A) ==> b(A).
LMN(1) : a(A) :- uniq(A) | a(A), b(A).
LMN(2) : a(A) \ :- uniq(A) | b(A).
--LMN(1)¤È½ñ¤¯¤è¤êLMN(2)¤È¤·¤¿¤Û¤¦¤¬¡¢¤è¤êCHR¤Ë±è¤Ã¤Æ¤¤¤ë...
---propagation¤Ï¥Ü¥Ç¥£¤òÄɲ乤ë¥ë¡¼¥ë¤À¤·¡¢¥Ð¥Ã¥¯¥¹¥é¥Ã...
***ÍúÎò¤ò¤É¤¦»ý¤¿¤»¤ë¤« [#kb6e3694]
-°ú¿ô̵¤·uniq¤ÏÍúÎò̵¤·
-¥³¥Ô¡¼¤ÎºÝ¤ËÍúÎòÊ£À®
-@p¤Îɽµ
--uniq¤ò»ý¤Ä¥ë¡¼¥ë¤À¤±ÆÃÊÌ°·¤¤¡©c¤Ç¤Î¼ÂÁõÊýË¡¤¬¸«¤¨¤Ê¤¤
***¥ë¡¼¥ë¤Î¼±ÊÌ [#cb78227d]
-javaÈǤÈƱÍÍ¡¢Ê¸»úÎó¤Ë¤è¤ë¼±Ê̤Ǥ¤¤¤µ¤¤¬¤¹¤ë
--(¤Æ¤¤¤¦¤«¤½¤ì¤¬¼«Ê¬¤Ë¤È¤Ã¤Æ¤Ï°ìÈÖ³Ú¤½¤¦)
--a(A, A)¤ß¤¿¤¤¤Ê·Á¤Î¥¢¥È¥à¤ÏÆÃÊÌ°·¤¤¤·¤Æ¤¤¤ë(¤è¤¦¤À)
***¥á¥â [#ea622b85]
-Uniq, Link.java¤Ëprintʸ
**2008-12-15 [#x42d7fde]
***¥á¥â [#kb6e3694]
a(b(c, d, e(f))).
a(A) :- uniq(A) | ok(A).
=> b(L0L1L2F0)e(L3L2)f(L3)d(L1)c(L0)
**2008-12-8 [#x42d7fde]
***ÈÉ¥¼¥ß [#kb6e3694]
-seiji¤Î¤¿¤á¤Î¥¼¥ß¤È²½¤¹m(_ _)m
--´ÏÀ¤Þ¤Ç¤ÎÆ»¶Ú¤¬¤«¤Ê¤êÌÀ³Î¤Ë
--¤Á¤ç¤Ã¤ÈÊ£»¨¤ÊÎãÂê¤Î¥¨¥ó¥³¡¼¥É¤È¡¢¼ÂÁõ¤òƱ»þʹԤÇ
---¤¹¤Ç¤Ë¸«¤Ä¤±¤Æ¤¢¤ëÏÀʸ¤«¤é¤Þ¤º¤ÏÁª¤ó¤Ç¤ß¤ë
***CHR¥¨¥ó¥³¡¼¥É [#kb6e3694]
-´Êñ¤ÊÎãÂê¤òÅÚÆü¤Ç10¸Ä¤Û¤É
-uniq¤ò»È¤Ã¤¿¾ì¹ç¤ÎÉÔÊؤµ¤Ï¤¢¤Þ¤ê´¶¤¸¤Ê¤¤
--uniq°Ê³°¤Î¤È¤³¤í¤Ç¤Ï¡¢°Õ³°¤È¥¨¥ó¥³¡¼¥É¤·¤Ë¤¯¤¤Éôʬ¤¬Â¿...
--¥é¥¤¥Ö¥é¥ê¤È¤«¤ò¤â¤Ã¤È¤¦¤Þ¤¯»È¤¤¤¿¤¤
***r3dg [#kb6e3694]
-²ÝÂê¤ò˺¤ì¤Æ¤¤¤¿
--VisualC#¤ò¥¤¥ó¥¹¥È¡¼¥ë¡£»þ´Ö¤«¤«¤ê¤¹¤®
**2008-12-5 [#x42d7fde]
***³¡¦¿·PC´Ä¶¹½ÃÛ [#kb6e3694]
-vpn¥¯¥é¥¤¥¢¥ó¥È¤ÎÀßÄ괰λ
--waseda¤ËÂФ·¤Æfirefox¤«¤éÀܳ¤Ç¤¤Ê¤¤¤È¤«¤Þ¤¸Ìµ¤¤¤ï¡£
-slim¥³¥ó¥Ñ¥¤¥ë´°Î»
**2008-12-4 [#x42d7fde]
***Perl¤Î¥¨¥é¡¼¤Îľ¤·Êý@cygwin [#kb6e3694]
-slim¤Î¥³¥ó¥Ñ¥¤¥ëÃæ(automake, autoconfÅù)¤Ë
perl 2180 C:\cygwin\bin\perl.exe: *** fatal error -
¤³¤ó¤Ê¤Î¤¬½Ð¤Æ½èÍý¤¬»ß¤Þ¤Ã¤¿»þ¤Î²ò·èË¡¡£
--1. Cygwin¤Î¥¦¥¤¥ó¥É¥¦¤ÎÁ´¤Æ¤òÊĤ¸¡¢Cygwin¤ò»È¤Ã¤¿¥µ¡¼¥Ó...
--2. ¡Ö¥Õ¥¡¥¤¥ë̾¤ò»ØÄꤷ¤Æ¼Â¹Ô¡×Åù¤«¤é¡¢c:\cygwin\bin\as...
--3. ash¾å¤Ç¡¢rebaseall¥³¥Þ¥ó¥É¤ò¼Â¹Ô¤¹¤ë
---¤³¤ì¤Çľ¤ë¤È»×¤¦¡£
**2008-12-2 [#x42d7fde]
***eclipse¤ÎÁÞÆþ/¾å½ñ¤¥â¡¼¥É [#kb6e3694]
-Insert¥¡¼¤ÇÀÚ¤êÂؤ¨¡£¤½¤Î¾¤Î[[¥·¥ç¡¼¥È¥«¥Ã¥È¥¡¼:http:...
//**¡õ£ä£á£ô£å¡¨
**2008-12-1 [#x42d7fde]
***³¡¦uniq¤Î»ÅÍÍ [#kb6e3694]
-¤è¤¯¹Í¤¨¤¿¤é¥¢¥ë¥´¥ê¥º¥à¤Ë¤Ä¤¤¤Æ²¿¤â¹Í¤¨¤Æ¤¤¤Ê¤«¤Ã¤¿¡£
--´û¸¤Î¤ä¤Ä¤À¤±¤Ç¤â¥Á¥§¥Ã¥¯¤·¤È¤¯¤«¡¢ÌÀÆüÄ«¤ä¤í¤¦¡£Ì²¤¤¡£
-¤Þ¤Ã¤¿¤¯Æ±¤¸ÆâÍƤΥ롼¥ë¤òUNYO¤Ç»ë³Ð²½¤¹¤ë¤È¡¢°ì¤Ä¤Ë¤Þ¤È...
--ÆâÉô¤Ç¤â¤³¤ó¤Ê´¶¤¸¤Ê¤ó¤À¤í¤¦¤«¡©
-¸½ºß¤Îuniq¥ë¡¼¥ë¤ÎÊ£À½¤Ë¤Ä¤¤¤Æ³Îǧ
t(1), t(1), t(2), t(2).
i(0).
{
t_ok @@ t(T) :- int(T), uniq(T) | ok(T).
}.
copy @@ i(I), {@p}/ :- I<2 | i(I+1), {@p}, @p.
--->
ok(1), ok(2), t(1), t(2), i(2), {@t_ok@}, @t_ok@, @t_ok@...
--º£¹¹¤Ç¤·¤«¤âÊѤÊÎã¤À¤¬¡¢¤ä¤Ï¤êÍúÎò¤Ï¶¦Í¤µ¤ì¤Æ¤¤¤ë¤è¤¦...
***eclipse3.4 [#hcc226b5]
-¤¤¤Ä¤Î¤Þ¤Ë¤«¥«¡¼¥½¥ë¤¬ÁÞÆþ¤Ç¤Ï¤Ê¤¯¾å½ñ¤¤ËŽ¥Ž¥Ž¥¤É¤¦¤ä¤Ã¤¿...
**2008-11-30 [#x42d7fde]
***mem_eq¤Î¥³¥ß¥Ã¥È [#kb6e3694]
-¥³¥ß¥Ã¥È¤·¤è¤¦¤È¤¹¤ë¤È·Ù¹ð¤¬½Ð¤Æ¤Ç¤¤Ê¤¤¡£¤Ê¤ó¤À¤«Éݤ¤¤Î...
***¿·PC¤Î´Ä¶¹½ÃÛ¡¡¿ÊÅÙ [#o3fec3d1]
-°ìöÀ°Íý
-´°Î»
--office¥½¥Õ¥È
--eclipse
---devel¤Èslim¤ÈC¥×¥é¥°¥¤¥ó
--cygwin
--teraterm
--terapad
-̤´°
--vpn client
--¥Ö¥Ã¥¯¥Þ¡¼¥¯¿§¡¹
--slim¤ò¥³¥ó¥Ñ¥¤¥ë@cygwin
***¿·uniq»ÅÍÍ [#pffef9e5]
-¹Í¤¨Ãæ(¼ç¤Ëʸ¾Ï¤Î½ñ¤Êý¤Ç)
-²ÐÍˤޤǤˤϤ⤦·è¤á¤Á¤ã¤¤¤¿¤¤
**2008-11-27 [#x42d7fde]
***eclipse3.4¤ÈVista [#o3fec3d1]
-eclipse.exe¤ò±¦¥¯¥ê¥Ã¥¯¢ª¥¹¥¿¡¼¥È¥á¥Ë¥å¡¼¤ËÄɲäò¤¹¤ë¤È¤Ê...
-exe¤¸¤ã¤Ê¤¯¥·¥ç¡¼¥È¥«¥Ã¥ÈºîÀ®¢ª¥¹¥¿¡¼¥È(ά)¤À¤È¤¤¤±¤ë¡¢¤Ê...
***OpenOffice3.0 [#r5e97b4c]
-¿ÍÃì¾åÅù¡£¤¤¤¤µ¡²ñ¤À¤«¤éOpenOffice¥Þ¥¹¥¿¡¼¤Ë¡¢²¶¤Ï¤Ê¤ë¡£
***Ãæ´Öȯɽ [#ia40517b]
-¸¦µæÇØ·ÊŽ¥Æ°µ¡¤ÎÇö¤µ¤¬Ìä¤ï¤ì¤¿
--¤½¤³¤ó¤È¤³¤Î¸«Ä¾¤·¤¬É¬Í×
**2008-11-23 [#x42d7fde]
***Ãæ´Öȯɽ»ñÎÁ [#z5dc7602]
-¸¦µæÇطʤDz¿½ñ¤¯¤«Ì¤¦¡£
--¸¶¤µ¤ó½¤ÏÀ¤Î¡ÖÆÀ°ÕʬÌ¹¤¬¤Ã¤¿¡×¡Ö¼éÈ÷ÈϰϤ¬¹¤¬¤Ã¤¿...
-uniq¸½ºß¤Î»ÅÍͤâ̤¦
--¤³¤Ã¤Á¤âÈÉ¥¼¥ß¤Ç¸À¤ï¤ì¤Æ¤¤¤ë¤è¤¦¤Ê¸À¤¤Êý¤Ç¤Ê¤¯¡¢¤â¤Ã¤È...
-¥ì¥¸¥å¥á
--¤Ê¤Ë¤½¤ì¤ª¤¤¤·¤¤¤Î¡©
**2008-11-21 [#x42d7fde]
***Ëì¤ÎƱ·¿ÀȽÄê¤ò¹Ô¤¦¥·¥¹¥Æ¥à¥ë¡¼¥ë¤òslim¤Ëºî¤Ã¤¿¡£ [#a...
mem_eq({}, {}, mem1, mem2, result).
--->
true(result), mem1(L0), {'+'(L0).}, mem2(L1), {'+'(L1).}.
--Âè1,2°ú¿ô¡§È½Äê¤ò¹Ô¤¦Ëì
--Âè3,4°ú¿ô¡§¤½¤ì¤¾¤ìÂè1,2°ú¿ô¤ÎËì¤ÈÀܳ¤µ¤ì¤ë
--Âè5°ú¿ô¡§trueËô¤Ïfalse¤ÈÀܳ¤µ¤ì¤ë
--mem_eq¡§¾Ãµî¤µ¤ì¤ë
-¸½ºß¤Î»ÅÍÍ¡ÊÈÉ¥¼¥ß¤Ç°ì±þÏä·¹ç¤Ã¤¿·ë²Ì¡Ë
--¡ÖȽÄꤹ¤ëË줫¤é¤Ï¼«Í³¥ê¥ó¥¯¤¬°ìËܤÀ¤±¿¤Ó¤Æ¤¤¤Æ¡¢¤½¤Î...
--ȽÄꤹ¤ëË줫¤é2Ëܰʾ忤ӤƤ¤¤ë¾ì¹ç¤Ïfalse
--Ë줸¤ã¤Ê¤¤¾ì¹ç¤ÏÌäÅú̵ÍѤËfalse
--Ëì¤Î̾Á°¤¬°ã¤¨¤Ðfalse
***¥á¥â [#fa6d2a7d]
-cygwin@²¶¤ÎPC¤Ç¤Îslim¼Â¹ÔÊýË¡ [#saacb82f]
--slim/src²¼¤Ç
lmntal.bat --slimcode ../mem_eq_test.lmn | ./slim -
-UNIX¥³¥Þ¥ó¥É¡¡¥·¥ç¡¼¥È¥«¥Ã¥È¥ê¥ó¥¯
--ln -s ¥ê¥ó¥¯¤·¤¿¤¤¥Ç¥£¥ì¥¯¥È¥ê¡¡ºî¤ë¥ê¥ó¥¯Ì¾
**2008-11-19 [#x42d7fde]
-eclipse3.4 ganymede¤¬µ¯Æ°¤·¤Ê¤¤¤È¤(JVM terminated.¤Èɽ...
--²¼µ¤Ï¤¢¤¯¤Þ¤Ç°ì¤Ä¤ÎÊýË¡¡£Â¾¤Ë¤â¤ä¤êÊý¤Ï¤¢¤ë¤é¤·¤¤¡£
--eclipse.ini¤ò½ñ¤´¹¤¨¤ë¡£
-showsplash
org.eclipse.platform
--launcher.XXMaxPermSize
256M
-vmargs
-Dosgi.requiredJavaVersion=1.5
-Xms40m
-Xmx256m
--¤Þ¤º¤Ï¾åµ¤Î256M¤¬512M¤Ë¤Ê¤Ã¤Æ¤¤¤Ê¤¤¤«³Îǧ¡£512¤Ê¤é256...
--¸µ¤«¤é256¤À¤Ã¤¿¤ê¡¢256¤Ë¤·¤Æ¤âÊѤï¤é¤Ê¤«¤Ã¤¿¤é¡¢°Ê²¼¤Î...
-showsplashorg.eclipse.platform
--launcher.XXMaxPermSize256M
-framework
plugins\org.eclipse.osgi_3.4.2.R34x_v20080826-1230.jar
-vmargs
-Dosgi.requiredJavaVersion=1.5
-Xms40m
-Xmx256m
--¾å¤«¤é4¹Ô¤À¤±¤ò½ñ¤´¹¤¨¤ì¤Ð¤è¤¤¡£¤³¤ì¤Ç¤¿¤Ö¤óľ¤ë¡£
**2008-11-17 [#x42d7fde]
-¥á¥â
--system_ruleset.c, atom.h,
**2008-11-14 [#x42d7fde]
-¡ÖLMNtal½èÍý·Ï¡×¤ÎÏÀʸ¤ÏÆÉÇË¡£
-ÈÉ¥¼¥ß¤Ë¤Æ
--¿·uniq¤Ë¤Ä¤¤¤Æ
---once
---º£Æü¤ÎÈÉ¥¼¥ß¤Ç¤Ï»ÅÍͤϤۤȤó¤É·è¤á¤é¤ì¤Ê¤«¤Ã¤¿¡£
---·è¤á¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤Éôʬ¤Î³Îǧ¤Ëα¤Þ¤ë¡£
--Ëì¤ÎƱ·¿ÀȽÄê¤Îµ¡Ç½
---uniq¤ÎÁ°¤Ë¤³¤Ã¤Á¤òÊÒÉÕ¤±¤ë¡£
---¥·¥¹¥Æ¥à¥ë¡¼¥ë¥»¥Ã¥È¤È¤·¤Æºî¤Ã¤Æ¤ß¤ë¡£
---»ÅÍͤΥ¤¥á¡¼¥¸¤Ï¸Ç¤Þ¤Ã¤¿¤Î¤Ç¡¢¤È¤ê¤¢¤¨¤ººî¤ê»Ï¤á¤Æ¤ß¤ë¡£
**2008-11-09 [#x42d7fde]
-¡ÖLMNtal½èÍý·Ï¡×¤ÎÏÀʸ
--¥Æ¥¹¥È¤ÎÍý²ò¤¬¥¤¥Þ¥¤¥Á
**2008-11-07 [#x42d7fde]
-·è¤·¤Æ²Ë¤Ç¤Ï¤Ê¤¤¤¬¡¢²Ë¤Ä¤Ö¤·¤Ë½ñ¤¤¤¿LMNtal¥³¡¼¥É
--friendship.lmn
---ͧ°¦¿ô¤òµá¤á¤ë¡£5ʬ¤¯¤é¤¤¤Ç¤Ç¤¤¿¡£¤¿¤À¤·¥ª¡¼¥À¡¼¤Ï°...
-ÀèÀ¸¤«¤é¤ÎCHR¤ª´«¤áÏÀʸ
--CHR-p11-duck.pdf
---ÅŻҿ޽ñ´Û/CHR¤ÎÃæ¤Ë
--OptimizingCompilationOfCHRInHAL.pdf
---ÀèÇÚ㤬Æɤó¤Ç¤¤¤¿¤â¤Î¡¢¤Ç¤âpropagation rule¤Ë¤Ä¤¤¤Æ¤Ï...
---ºÇŬ²½¤ÎÏäȤ·¤Æ¤Ï»²¹Í¤Ë¤Ê¤ëÉôʬ¤â¤¢¤ë¤È¤«
--ºÇ¿·¾ðÊó¤ÏËܲȥ٥륮¡¼¤ÎCHR¥µ¥¤¥È¤«¤é
---[[:http://www.cs.kuleuven.be/~dtai/projects/CHR/]]
---[[:http://www.cs.kuleuven.be/~dtai/projects/CHR/papers...
-SLIM¤Î¥½¡¼¥¹Íý²ò
--ËÙ¤µ¤ó¥¤¥Ã¥·¡¼¤µ¤ó¤Ë¤´¶¨ÎϤ¤¤¿¤À¤±¤ë¤³¤È¤Ë
--¤È¤ê¤¢¤¨¤º½ÉÂê¤È¤·¤ÆLMNtal¤ÎÂçËܤÎÏÀʸ¤ò®ÆÉ
-°Ê²¼¡¢ÈÉ¥¼¥ß¥á¥â
¸À¸ì»ÈÍѤò¤Ï¤Ã¤¤ê¤µ¤»¤Æ¡¢¤ß¤ó¤Ê¤ÇµÄÏÀ
¤É¤ó¤Ê´¶¤¸¤Ç¼ÂÁõ¤¹¤ë¤Î¤«¤âÏ䷹礦¡£
CHR¤Î¼ÂÁõ¤ò»²¹Í¤Ë¤¹¤ë¤«¡¢LMNtalJava¤ÎÊý¤ò»²¹Í¤Ë¤¹¤ë¤Î¤«¡©
¿·¤·¤¤CHR¤Îpropagation¤Î¼ÂÁõ¡©
¤½¤ÎÏÀʸ¤Ï¤É¤³¤Ë¡©
Java¤Î¤Û¤¦¤Ï¤È¤ê¤¢¤¨¤º»²¹Í¤Ë
ÅŻҿ޽ñ´Û
CHR¤ÎÏÀʸ¤ò¸¶¤µ¤ó¤ÎÏÀʸ¤Î»²¹Íʸ¸¥¤òÅŻҼ½ñ¤«¤éõ¤¹¡£
´ØÏ¢¸¦µæ¤È¤·¤Æ¥µ¥ó¥×¥ë¤ò¤¤¤Ã¤Ñ¤¤ÃΤäƤª¤¯¡£
SLIM¤Ç¤Î¥¬¡¼¥É¥¤¥ó¥é¥¤¥ó¤Î¼ÂÁõ
¿·uniq¤Î¼ÂÁõ¤¬°ìÈÖ¤ÎÌÜɸ¤«¤â
°ì²ó»È¤Ã¤¿¤é¡¢¥ë¡¼¥ë¤´¤È¾Ã¤¹¤Î¤¬°ìÈÖ¤¦¤ì¤·¤¤¡£
º£¤Ï¤Á¤¬¤¦¤Ã¤Ý¤¤¤«¤é¡£
**2008-11-01 [#x42d7fde]
-SLIM¤Î¥½¡¼¥¹
--¤Ê¤«¤Ê¤«¤Ï¤«¤É¤é¤º¡£C¸À¸ì¤Ïµ×¤·¤Ö¤ê¤À¤«¤é¡¢¤È¤«¤½¤ó¤ÊÌä...
-¤â¤¦11·î¡£
**2008-10-28 [#u8b98620]
-LMNtalÃæ´ÖÌ¿Îá
--¥É¥¥å¥á¥ó¥È>Ãæ´ÖÌ¿Îá¤Ë´Ø¤¹¤ë¤Þ¤È¤á
-XSB¤ÈSWI
--°ìöµÙ»ß
**2008-10-21 [#u8b98620]
-XSB¤ÈSWI
--CHR¤Îµ½ÒÊýË¡¤Ë°ã¤¤¤¢¤ê¡£»Í¶ìȬ¶ì¡£
-uniq¥½¡¼¥¹
--¤¤¤¤¤«¤²¤óÆɤ⤦¤Èglobal¤ò¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¤¬¡¢»È¤¤Êý¤¬...
**2008-10-17 [#u8b98620]
-XSB
--¥¤¥ó¥¹¥È¡¼¥ë¤Ë»þ´Ö¤¬¤«¤«¤Ã¤¿
--SWI¤È¤É¤¦°ã¤¦¤«Ä´¤Ù¤ë¡£
--º´¡¹ÌÚ¤µ¤ó¤Ë¥µ¥ó¥×¥ë¥½¡¼¥¹¤òĺ¤¯¡£¤¢¤ê¤¬¤¿¤¤¡£
**2008-10-10 [#u8b98620]
-ÈÉ¥¼¥ß¤Ø¤ÎÎפßÊý
--¥Í¥¿½Ð¤·¤Ïñ¤Ê¤ëȯɽ¤Ç¤Ï¤Ê¤¯¡¢¼«Ê¬¤Î¸¦µæ¤ËÂФ¹¤ë°Õ¸«¤ò...
-uniq
--¤É¤¦¤ä¤é°ú¿ô¤Ï¤Û¤ó¤È¤Ë²ÄÊѸĤ餷¤¤¡£
a(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1),
a(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1).
a(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z) :-
uniq(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z...
--->
ok, a(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,...
**2008-10-09 [#u8b98620]
-CHR
--[[¼»³¤µ¤ó¤Î¥Ú¡¼¥¸:http://www.ueda.info.waseda.ac.jp/lm...
-[[LMNtal¤ÎÆÃħ:http://www.ueda.info.waseda.ac.jp/lmntal/...
**2008-10-08 [#u8b98620]
-CHR
--¥×¥í¥°¥é¥à¼Â¹Ô¤¹¤ë¤È¡¢·ë²Ì¤¬2²óʬɽ¼¨¤µ¤ì¤ë¸¶°ø¤¬¤Ê¤ó¤È...
1: a(X) <=> X<10 | true.
--
2: a(X) <=> X>10 | true.
--¤³¤ì¤é¤ËÂФ·¤Æa(1)¤ò¥¯¥¨¥ê¡¼¤È¤·¤ÆÍ¿¤¨¤ë¤È¡¢1¤Ï3, 2¤Ï4...
3: true.
--
4: a(1)
true .
a(1)
--¤Á¤Ê¤ß¤Ëa(11)¤òÍ¿¤¨¤ë¤È3,4¤òµÕ¤Ë¤·¤¿·ë²Ì¤Ë¡£
--¤¢¤È:- module(leq,[leq/1]).¤Ã¤Æ¤¤¤Ã¤¿¤¤²¿¤À¡¼¡©
**2008-10-07 [#u8b98620]
-CHR
--¥È¥ì¡¼¥¹¤Î¤ä¤êÊý¤¬¤ï¤«¤Ã¤¿¡£
:- chr_trace.
--Port¤¬²¿¤«Ê¬¤«¤ë¡£
--¤¤¤¯¤Ä¤«CHR¤Î´ðËܤ˴ؤ¹¤ëʸ¸¥¤òõ¤·Åö¤Æ¤¿¡£¤É¤ì¤â±Ñ¸ì¤Ç...
**2008-10-06 [#u8b98620]
-CHR
--ºòÆü¡¢º£Æü¤âCHR¤ò»È¤Ã¤Æ¤ß¤¿¤¬¡¢¤è¤¯Ê¬¤«¤é¤Ê¤¤Éôʬ¤¬Â¿¤¤...
-¹ç½ÉÀ®²ÌÊó¹ð
--ºûÅ褵¤ó¤«¤é¥Ñ¥ï¥Ý»ñÎÁºîÀ®¤È·çÀʤΤªÃΤ餻¤ò¤¤¤¿¤À¤¯¡£...
**2008-10-03 [#u8b98620]
-CHR¤Î\(¥Ð¥Ã¥¯¥¹¥é¥Ã¥·¥å)
--°Ê²¼¤Î2¼°¤ÏƱ¤¸·ë²Ì¤Ë¤Ê¤ë
1: a, b, c <=> a, b, f.
2: a, b \ c <=> f.
--CHR¤Ç¤Ï¡¢¥Ø¥Ã¥ÉÆâ¤Ë\¤ò¤Ä¤±¤ë¤È¡¢\¤è¤ê¸å¤í¤Î¥Ø¥Ã¥É¤À¤±¤¬...
--LMNtal¤Ë¤¢¤Ã¤¿¤é¡¢Ã±½ã¤Ë½èÍý¤¬Â®¤¯¤Ê¤ê¤½¤¦¡©
--- -O2¤ò¤Ä¤±¤ì¤ÐƱ¤¸¤è¤¦¤Ê¼Â¹Ô¤Ï²Äǽ
--- LMNtal¤Ë¤¢¤Ã¤¿¾ì¹ç¤ÎÍøÅÀ¤Ïµ½ÒÎ̤κ︺¤À¤±¤«¤Ê
-¢¬´ØÏ¢¤Ç¡¢¡Ö¥Ø¥Ã¥É¤¬¥Þ¥Ã¥Á¤·¤¿¤È¤¤Ë¥Ü¥Ç¥£¤òÄɲ乤ë(½ñ´¹...
**2008-09-29 [#ka0de260]
-¸å´ü³«»Ï
-²ÆµÙ¤ß¤Ï
--CHR¤Î¥ê¥Õ¥¡¥ì¥ó¥¹Æɤߡõ¤Á¤ç¤Ã¤È¥³¡¼¥É½ñ¤¤¤¿
--´äÇȹֺ£±ºýÆɤó¤À
--²Æ¹ç½É¤Î¥Õ¥é¥¯¥¿¥ë¤Î¼Ì¿¿¤ò»£¤Ã¤¿
**2008-09-03 [#ka0de260]
-Wiki¤òÌÏÍÍÂؤ¨¡£
**2008/08/28 [#m0bf1bb4]
-CHR
--[[¸¶¤µ¤ó:http://www.ueda.info.waseda.ac.jp/lmntal/local...
--[[¼»³¤µ¤ó:http://www.ueda.info.waseda.ac.jp/lmntal/loc...
--[[Ê¡Å褵¤ó:http://www.ueda.info.waseda.ac.jp/~fuku/]]
**2008/08/02 [#m0bf1bb4]
-²ÆµÙ¤ß¤Î¥Æ¡¼¥Þ
--¥×¥í¥°¥é¥ß¥ó¥°¸À¸ì¤Ë´Ø¤¹¤ë°ìÈ̶µÍÜ
---¡Ø´äÇÈ¹ÖºÂ¥×¥í¥°¥é¥ß¥ó¥°¸À¸ì¡Ù¤ÎÃΤé¤Ê¤½¤¦¤Ê¤È¤³¤òÆɤà
---ÈÉ¥¼¥ß¤Çµó¤¬¤Ã¤Æ¤¿ÏÀʸ¤òÆɤࡣ¤¢¤ì¤â¤³¤ì¤â¤Ç¤Ï¥À¥á¤Ê¤Î...
--ºÙ¤«¤¤¤È¤³¤í¤ÇCHR¤äuniq¡£¥¡¼¥ï¡¼¥É¤Ï¡ÖÀ©Ìó½èÍý¡×
---¤É¤³¤Þ¤Ç¼ê¤ò¿¤Ð¤»¤ë¤«Ê¬¤«¤é¤Ê¤¤¤¬¡¢ÎãÂê¤òLMNtal¤ÈCHR...
**2008/07/22 [#m0bf1bb4]
-´ÏÀ¥¥Ã¥¯¥ª¥Õ
--¤Ê¤ó¤È¤«½ªÎ»('§¥`)
--¿·¤¿¤Ê¥Æ¡¼¥Þ¤ò°ú¤½Ð¤·¤¿¡£uniq.
**2008/07/19 [#m0bf1bb4]
-ÌÀÆü¤Ï±¡»î¡£·òÆ®¤òµ§¤ë¡£
**2008/07/16 [#m0bf1bb4]
-·¿À©Ì󥢥ȥà¤Î¿¶¤ëÉñ¤¤
i = [int(1) , int(1.5) , int("moji") ].
f = [float(1) , float(1.5) , float("moji") ].
s = [string(1), string(1.5), string("moji")].
¡¡¤³¤ó¤Ê¤Î¤ò½ñ¤¯¤È¡¢
i = [int(1) , int(1) , int("moji") ].
f = [float(1.0) , float(1.5) , float("moji") ].
s = [string(1), string(1.5), string("moji")].
int(1.5)¤Èfloat(1)¤òint(1)¤Èfloat(1.0)¤ËÊÑ´¹¤·¤Æ¤¯¤ì¤ë¡£&...
¡¡¤³¤ì¤Ïint(1.5, H)¤Î¤è¤¦¤Ë2¤Ä°ú¿ô¤¬¤¢¤ë¾ì¹ç¤Ëµ¯¤³¤ë(°ú¿ô...
&br;
**2008/07/13 [#m0bf1bb4]
-BigInteger¤Î»È¤¤Êý
|a=java_math_BigInteger.new("1234567890").&br;b=java_math...
&br;
**2008/07/12 [#m0bf1bb4]
-¥¬¡¼¥ÉÈÝÄê¾ò·ï(¥É¥¥å¥á¥ó¥È¤è¤ê)
&br;
º£¤ÎÃʳ¬¤Ç¡ÖǤ°Õ¤Îatom¤¬ËìÆâ¤Ë¸ºß¤¹¤ë¾ì¹ç¤ÏÈ¿±þ¤·¤Ê¤¤¡×...
|SIZE(13):{$p} :- \+($p=(a, $pp))|
a¤Î°ú¿ô¤Þ¤Ç¤Ï»ØÄê¤Ç¤¤ë¡£a(X, Y, Z)¤È¤«¤·¤Æ¡£¤Ç¤â¤½¤Î¥ê¥ó...
|SIZE(13):{$p} :- \+($p=(a(int(H)), $pp))|
¤Î¤è¤¦¤Ë·¿ÉÕ¤¥×¥í¥»¥¹¤ò»È¤¦¤È¡¢a(int(1))¤äa(int(n))¤È¤¤...
&br;
**2008/07/11 [#m0bf1bb4]
-¥¥Ã¥¯¥ª¥Õ¤É¡¼¤¹¤ó¤Ù¡£
-profiler¤ò»È¤¦¤È¿§¡¹¤Ê¼ÜÅ٤Ǽ¹Իþ´Ö¤Ê¤É¤ò·×¤ì¤ë¤½¤¦¤À¡£
-¤È¤Ë¤«¤¯¥É¥¥å¥á¥ó¥È¤òÆɤफ¡£¤Ç¡¢¤Ê¤Ë¤«Ãµ¤¹¡£Í˾¤Ê¤Î¤Ï...
&br;
**2008/07/09 [#m0bf1bb4]
-Ëì¤Î̾Á°(µì¼°)
|SIZE(13):a:{1, 2}.|
¤È¤¤¤¦Ëì¤Ë¤ª¤¤¤Æ¡¢¥³¥í¥ó¤Ï':'¤Î·Á¤Ë¤Ê¤Ã¤Æ¤¤¤ë(string¤¸¤ã...
|SIZE(13):a(':') :- b(':') ¤È¤« ':'(a, H) :- ':'(b, H)¤Ë...
&br;
**2008/07/08 [#m0bf1bb4]
-atom¤Îɽµµ¬Â§
|SIZE(13):a, (a)|
¾å¤Î£²¤Ä¤ÏƱ¤¸a¤È¤¤¤¦atom¤òɽ¤·¡¢¤É¤Á¤é¤â
|SIZE(13):a :- b Ëô¤Ï (a :- b)|
¤Î¼°¤ËÈ¿±þ¤¹¤ë¡£¤Þ¤¿¡¢
|SIZE(13):a(1), (a(1)), a(A)|
¤³¤ì¤é¤Ï²¼¤Î¤è¤¦¤Ë¤Ê¤ë¡£¡Êº¸¤«¤é½çÈÖ¡Ë
#ref(¸¦µæÆü»ï080708_2.JPG)
Âçʸ»úA¤Ïstring¤ËÃÖ¤´¹¤¨¤é¤ì¤ë¡£¤Ç¤â¤Ê¤ó¤«ÊѤʴ¶¤¸¡£²¶¤Î...
#ref(¸¦µæÆü»ï080708_3.JPG)
¤Î¤è¤¦¤Ë¤Ê¤Ã¤ÆÍߤ·¤«¤Ã¤¿¡£¤Þ¤¡¤Ç¤âµ¤»ý¤Á°¤¤¤«¤é¡¢¤³¤ì¤è...
#ref(¸¦µæÆü»ï080708_4.JPG)
¤È¤Ê¤Ã¤ÆÍߤ·¤«¤Ã¤¿¤Ê¤¡¡£¤Þ¤¡¤À¤«¤é¤È¸À¤Ã¤Æ¡¢²¿¤«¥á¥ê¥Ã¥È...
-Ëì¤Î̾Á°¤Î¤Ä¤±Êý
|SIZE(13):name{a, b, c}. Ž¥Ž¥Ž¥¡&br;name:{a, b, c}. Ž¥Ž¥Ž¥¢|
--¾å¤Î£²¼ïÎब¤¢¤ë¡£¢¤Ïµì¼°¡£
--¢¤Ïname,":"Ëì¤ò¥ê¥ó¥¯¤Ç¤Ä¤Ê¤°¤³¤È¤Ç¡¢Ëì¤Ë̾Á°¤ò¤Ä¤±¤ë¤³...
--º¸¤¬¡¡¢±¦¤¬¢
#ref(¸¦µæÆü»ï080708.JPG)
&br;
**2008/07/07 [#m0bf1bb4]
-vm.lmn
--¥³¥ó¥Ñ¥¤¥é¤È¤Ï̾¤Ð¤«¤ê¤Î¡¢·×»»µ¡¤Ë¶á¤¤Âåʪ(°ì±þ£²Ê¬ÌÚ¤Ç...
--º£Æü¤Î¥¼¥ß»þ¤Î¤â¤Î¤«¤é¡¢¥Ð¥°¤ò½¤Àµ¡£
--Îã³°½èÍý¤ò½ñ¤¤¿¤¤¤±¤É¡¢Íߤ·¤¤¤Î¤Ï¤ä¤Ã¤Ñ¤êor¤ÈÈÝÄê¡£¤³...
-eclipse
--¤Î¸¡º÷µ¡Ç½¤ò»È¤¤¤³¤Ê¤·¤¿¤¤¡£ËܤòÆɤ⤦¡£
-¥°¥í¡¼¥Ð¥ë¥ë¡¼¥ë¥»¥Ã¥È
--¤É¤³¤Ë½ñ¤¤¤Æ¤¢¤ë¤ó¤À¤í¤¦¡©
-ÎØÆÉ¡¡½ªÎ»
&br;
**2008/07/06 [#m0bf1bb4]
-¼«Æ°¤Ç½ñ¤´¹¤ï¤Ã¤Æ¤·¤Þ¤¦atom
|SIZE(13):"-"(2, 1).|
--¤ò½ñ¤¯¤È¡¢¾¡¼ê¤Ë
-
|SIZE(13):(-2, 1)|
--¤Ë½ñ¤´¹¤ï¤Ã¤Æ¤·¤Þ¤¦¤È¤¤¤¦Èá·à¡£
---(080707Äɵ)'-'¤Ï±é»»»Ò¡¢"-"¤Ïstring¤ß¤¿¤¤¤Ëʬ¤±¤é¤ì¤¿...
-UNYO¤Ç¤Îlist¹½Â¤(¤Î¤è¤¦¤Ê¤â¤Î¡©)
|SIZE(13):list("xx", '.'("a", '.'("b", '.'("c", [])))).¡¡...
--¤³¤ÎÆó¤Ä¤ÏUNYO¾å¤Ç¤ÏƱ¤¸¤â¤Î¤È¤·¤ÆÉÁ¤«¤ì¤ë¤¬¡¢Î㤨¤Ð¼¡...
-
|SIZE(13):list(Index, '.'(Value, Next)) :- list(Index, Ne...
--¤Ë¥Þ¥Ã¥Á¤¹¤ë¤Î¤Ï¡¼°¤Î¤ß¡£¤Þ¤¡¡¢¤òÆþ¤êº®¤¼¤Æ½ñ¤¯¤è¤¦¤ÊŬ...
---(080707Äɵ)¥ê¥ó¥¯ÈÖ¹æ½Ð¤»¤Ðʬ¤«¤Ã¤¿¡£iwasawa´¶¼Õ¡ª
**2008/07/05 [#m0bf1bb4]
-LMNtal¤ÎÈÝÄê¤Èifʸ
--ifʸ»È¤¨¤ÐÈÝÄê¤ò½ñ¤±¤ë¤³¤È¤Ë¤Ê¤ë¤Î¤«¡©else¤¬¤¢¤ë¤«¤é¡¢...
&br;
**2008/07/02 [#m0bf1bb4]
-[[JavaÌÜÀþ¤Ç¥³¥ó¥Ñ¥¤¥é:http://www.atmarkit.co.jp/fjava/i...
--¿§¡¹¤¿¤á¤Ë¤Ê¤ë¡£¥½¥Õ³«¤Ç¤ä¤Ã¤¿BNF¤ÎÌòΩ¤ÄÆü¤¬¤Ä¤¤¤ËÍ褿¡£
--¤È¤ê¤¢¤¨¤º¥µ¥¤¥È¤ÎÄ̤ê¤Ëºî¤Ã¤Æ¤ß¤Æ¡¢¤½¤Î¤¢¤È¤Ï¿§¡¹³ÈÄ¥...
--¤½¤·¤¿¤éLMNtal¤Ç¤âºî¤Ã¤Æ¤ß¤ë¡£ÊÂÎó½èÍýÆÃÏÀ¤Î¸À¸ì¤È¤«´Ê...
-¤ë¤¥¤¤¤ó¤É¤¥¤¯¡ÊÎØÆɡ˽ªÎ»
&br;
**2008/06/30 [#m0bf1bb4]
-³¤ë¤¥¤¤¤ó¤É¤¥¤¯¡ÊÎØÆÉ¡Ë
--¤¢¤È°ì©¡£¥Ñ¥ï¥Ý¥Ñ¥ï¥Ý¡£
-¥³¥ó¥Ñ¥¤¥é
--[[JavaÌÜÀþ¤Ç¥³¥ó¥Ñ¥¤¥é:http://www.atmarkit.co.jp/fjava/...
&br;
**2008/06/27 [#m0bf1bb4]
-¤ë¤¥¤¤¤ó¤É¤¥¤¯¡ÊÎØÆÉ¡Ë
--¥Ñ¥ï¥Ý¥Ñ¥ï¥Ý¡£È¯É½°ì½µ´ÖÁ°¤Ë´°À®Ìܻؤ¹¡£
-ÈÉ¥¼¥ß
--hyperlink¤¬¤¢¤ì¤Ð¤É¤¦ÊØÍø¤Ê¤Î¤«¡¢¤½¤³¤¬¥«¥®¡£
--link¤è¤êtype¤È¤«¤ÎÊý¤¬ÌÀ¤é¤«¤ËÂç³Ý¤«¤ê¤¸¤ã¤ó¡£
&br;
--ï¤â¤¬¹Í¤¨¤½¤¦¤ÊSLIM¤ÈLMNtalMC¤ÎÅý¹ç̾¡¢SLIMNtalMC¡£
&br;
**2008/06/24 [#m0bf1bb4]
-½ÐÄ¥¸À¸ìÈÉ¥¼¥ßin£¶·î±ã²ñ
--ÀèÀ¸¤ò¤Ä¤Ä¤¤¤¿¤é½Ð¤Æ¤¤¿Â´ÏÀ¥Æ¡¼¥Þ¤Ë¤Ê¤ê¤½¤¦¤Ê¤â¤Î
---¥³¥ó¥Ñ¥¤¥é
---·¿ÂηÏ
---hyper LMNtal, hybrid LMNtal
---super SLIM, ultra SLIM¡Ê¿·½Ðñ¸ì¡Ë
---¾¡¢Â¿¿ô¡ÊLMNtal¤Î¿ô³ØŪÇطʤȤ«¡¢µ®½Å¤½¤¦¤ÊÏäâ¡Ë
-¤½¤ì¤Ç¡¢¤É¤¦¤¹¤ë¤«¡©
--hyper LMNtal¤ËÂФ¹¤ëÇùÁ³¤È¤·¤Æ¤¤¤¿¥¤¥á¡¼¥¸¤¬¾¯¤·¤À¤±¤Ï...
-hyper LMNtal¤Ø¹Ô¤¯Á°¤Ë¤Þ¤º¤ä¤ë¤³¤È¡ÊÀèÀ¸¤è¤ê¡Ë
--LMNtal¤Î¥½¡¼¥¹¥³¡¼¥É¡ÊÆä˽èÍý·Ï¡Ê¥³¥ó¥Ñ¥¤¥é¡Ë¡Ë¤òÆɤࡣ
--LMNtal¤Ç¥³¥ó¥Ñ¥¤¥é¤ò½ñ¤¤¤Æ¤ß¤ë¡£
--·¿ÂηϤˤĤ¤¤Æ³Ø¤Ö¡£
--¥×¥í¥°¥é¥ß¥ó¥°¸À¸ìÁ´ÂΤ˴ؤ¹¤ëÁÇÍܤò¿¼¤á¤ë¡£
--¤ä¤Ã¤ÈËÜÂê¤Ø¡£
-ÎØÆÉ¡¢ÊÂÎó½èÍýÆÃÏÀ¤Î¥ì¥Ý¤ò¤Þ¤ºÊÒÉÕ¤±¤ë¡£¤¢¤È¤Ï¤ä¤ëµ¤¤À¡ª
&br;
**2008/06/23 [#m0bf1bb4]
-´ÏÀ¤Ë´Ø¤·¤Æ¡Êgocho¤ÈÀèÀ¸¤ÎÂÐÃ̤è¤ê¡Ë
--¡Ö¤ä¤Ï¤êUNYO¤Ç¤Ï¤³¤ì°Ê¾å¤Î´ÏÀ½¤ÏÀ¤Ï¸·¤·¤¤¤«¤â¤·¤ì¤Ê¤¤...
---ͽÁۤϤ·¤Æ¤¤¤¿¤¬¡¢¤Á¤ç¤Ã¤È¥¬¥Ã¥«¥ê¡£
--¡ÖSLIM¤Ç¤Ï¡¢¥Æ¡¼¥Þ¤¬Ê¨¤¤¤Æ½Ð¤ÆÍè¤ë¤é¤·¤¤¡£¡×
---¤½¤ê¤ã¤½¤¦¤À¡£
--º£¸å¤ÎÊý¸þÀ¤Ï¡©
---¤á¤²¤º¤ËUNYO´Ø·¸¤Î¿·¤¿¤Ê¥¢¥¤¥Ç¥£¥¢¤òºñ¤ê½Ð¤¹¡¢
---CHR¡©¤ähyper¡©hybrid¡©LMNtal¤Ë¤Ä¤¤¤ÆÄ´¤Ù¤Æ¤ß¤ë¡£¡Ê¤Ç¤â...
---SLIM¤Ë¶î¤±¹þ¤à¡£
&br;
¢ª´õ˾¤Ï¾å¤Û¤É¹â¤¤¡£¤¦¡¼¤ó¡¢¤É¤¦¤·¤¿¤â¤ó¤«¡£
**2008/06/21 [#m0bf1bb4]
-UNYO¡¡Â³¡¦¥Þ¥¦¥¹¥Û¥¤¡¼¥ë¤Ç¥º¡¼¥à
--¥Þ¥¦¥¹¥Û¥¤¡¼¥ë¤È¥á¥Ë¥å¡¼¤ÎZOOM¤ÎÂбþÉÕ¤±¤ò»î¤ß¤ë¤¬¡¢¸å...
&br;
-¸Ñ¤µ¤ó¤òƳÆþ
--Çú®¡£
**2008/06/20 [#m0bf1bb4]
-UNYO¡¡¥Þ¥¦¥¹¥Û¥¤¡¼¥ë¤Ç¥º¡¼¥à
--panel.GraphPanel.java
---20,111,907¹ÔÌÜÊÕ¤êÊѹ¹¡£
---author¤Ë̾Á°¤òÄɲ䷤褦¤È¤·¤¿¤¬»ß¤á¤ë¡£¶²¤ì¿¤¤¡£
&br;
**2008/06/19 [#m0bf1bb4]
-¡ØJava¸À¸ì¤Ç³Ø¤Ö¥Ç¥¶¥¤¥ó¥Ñ¥¿¡¼¥óÆþÌç¡Ù·ë¾ë¹À
--¡Ö¿¿ô¤Î¥ª¥Ö¥¸¥§¥¯¥È¤Î´Ö¤ÎÄ´À°¤ò¹Ô¤ï¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¤È...
-¡ØJava¸À¸ì¥×¥í¥°¥é¥ß¥ó¥°¥ì¥Ã¥¹¥ó²¼¡Ù·ë¾ë¹À
--¥¹¡¼¥Ñ¡¼Ž¥¥µ¥Ö¥¯¥é¥¹¡¢abstract¡¢¥ª¡¼¥Ð¡¼¥é¥¤¥ÉŽ¥¥í¡¼¥É¤Ê...
--¡ÖObject¥¯¥é¥¹¤Ï¥¢¥À¥à¡×
&br;
**2008/06/16 [#m0bf1bb4]
-Spin¤Î²ÝÂê
--Á°²óƱÍÍ¡¢jSpin¤Îoption¢ªcommon¤Î¥Á¥§¥Ã¥¯¤ÏÁ´³°¤·¡£¤¢¤ó...
-ÎØÆÉ
--£±²óÌܤè¤êÆɤॹ¥Ô¡¼¥É¤¬UP¡£
--º£Æü¤Î¸¶ÅĻᡢ»ÔÀ¤ó¤ÎÈϰϤϽÅÍפÀ¤Ã¤¿¤Ï¤º¤Ê¤Î¤Ë¡¢Èè...
&br;
**2008/06/15 [#m0bf1bb4]
-ÃæÌ¤ó¤Î´ÏÀ¡ØLMNtal¤Î¥°¥é¥Õ¥£¥Ã¥¯µ¡Ç½¤ÎÀ߷פȼÂÁõ¡Ù
--½¤ÏÀ¤ÎÊý¤òÆɤàÁ°¤Ë¡¢Í½È÷Ãμ±¤Ë¤Ê¤ë¤«¤È»×¤Ã¤ÆÆɤó¤Ç¤ß¤¿¡£
--MVC¤Ø¤ÎÂбþÉÕ¤±
---¥Ç¥¶¥¤¥ó¥Ñ¥¿¡¼¥ó¤ÎÊÙ¶¯¤Ï¤·¤¿¤³¤È̵¤¤¤¬¡¢¹Í¤¨Êý¤ÈɬÍ×À...
--£³¼ïÎà¤ÎËì¡¡¥°¥é¥Õ¥£¥Ã¥¯Ž¥ÉÁ²èŽ¥¥ì¥é¥Æ¥£¥Ö(relative)
---ÉÁ²è¤È¥ì¥é¥Æ¥£¥Ö¤ÎÀþ°ú¤¤Ï¤É¤³¤Ë¡©
---¥í¥Ã¥¯¡¢¥¢¥ó¥í¥Ã¥¯¤â¤Á¤ç¤Ã¤ÈÍý²ò¤¬Èù̯¡£¡£
--¤Ä¡¼¤«Glaphic LMNtal¤Ï¤É¤³¤Ë¡©¡©
&br;
**2008/06/13 [#m0bf1bb4]
-UNYO 3G API
--Application Program Interface
--eclipse 3.1¤ÇJavadocºî¤ë¤Ë¤Ï¥Õ¥¡¥¤¥ë¢ª¥¨¥¯¥¹¥Ý¡¼¥È¢ªJavadoc
-UNYO¤Î¥Î¡¼¥É¸¡º÷µ¡Ç½
--ÅØÎϤ¢¤ë¤Î¤ß¡£¾®¤µ¤Ê¤³¤È¤«¤é¤³¤Ä¤³¤Ä¤È¡£
--¤Þ¤º¤Ï¸¡º÷¤·¤Æ¥Î¡¼¥É¤òÀÖ¤¯¤¹¤ë¤³¤È¤«¤é¡£
&br;
**2008/06/11 [#m0bf1bb4]
-ruth_aaron_pair.lmn
--¥ë¡¼¥¹=¥¢¡¼¥í¥ó¥Ú¥¢¤ò¸«¤Ä¤±¤ë¡£
--µ¡Ç½¤Î¼Â¸½¤À¤±¤Ç¡¢·×»»¤ÏÃÙ¤¤¡£O(n)¡ÁO(n^2)¡£
--¤Á¤Ê¤ß¤Ë¥ë¡¼¥¹=¥¢¡¼¥í¥ó¥Ú¥¢¤È¤Ï¡¢Ï¢Â³¤·¤¿À°¿ô¤Î¤½¤ì¤¾¤ì...
&br;
-totient.lmn
--¥È¡¼¥Æ¥£¥¨¥ó¥È´Ø¿ô¡£
--¤â¤È¤â¤ÈO(n)¤À¤«¤é³ä¤È®¤¤¡£
--¤Á¤Ê¤ß¤Ë¥È¡¼¥Æ¥£¥¨¥ó¥È´Ø¿ô¤È¤Ï¡¢1¡Án¤Î¼«Á³¿ô¤Î¤¦¤Án¤È¸ß...
&br;
**2008/06/10 [#m0bf1bb4]
-UNYO¤Î¸¡º÷µ¡Ç½
--Ä´¤Ù¤Æ¤ß¤è¤¦¤«Ž¥Ž¥Ž¥¡£
-hpcÊÙ¶¯²ñ
--Java¤Ç¤¤Í¡¼¡£
&br;
**2008/06/09 [#m0bf1bb4]
-LMNtal ¥½¡¼¥¹¥³¡¼¥É
--Æɤó¤Ç¤¤¤¯¤³¤È¤Ë¤·¤¿¡£
&br;
**2008/06/06 [#m0bf1bb4]
-othello.lmn
--¿·UNYO¤Ê¤é¥ê¥ó¥¯¤Î³ÑÅÙ¤òÀßÄê¤È¤«½ÐÍè¤ë¤é¤·¤¤
--ɬÍפÎ̵¤¤¥¢¥È¥à¤ò±£¤»¤ëµ¡Ç½¤ÏÍߤ·¤¤¤«¤â
-perfect.lmn, perfect_mersenne.lmn
--¤³¤³¤Þ¤Ç·×»»Î̤˺¹¤¬½Ð¤ë¤È¤Ï¡£¼«Ê¬¤Ç¤â¤Ó¤Ã¤¯¤ê¡£
-ÈÉ¥¼¥ß¤Ç¥Í¥¿½Ð¤·
--¤¢¤ó¤Ê¤ó¤Ç¤¤¤¤¤ó¤À¤í¤¦¤«¡©¡©
&br;
¥Ú¡¼¥¸Ì¾: