hyperlink»ÅÍÍ¤Þ¤È¤á ¤ÎÊѹ¹ÅÀ
Top / hyperlink»ÅÍͤޤȤá
- Äɲ䵤줿¹Ô¤Ï¤³¤Î¿§¤Ç¤¹¡£
- ºï½ü¤µ¤ì¤¿¹Ô¤Ï¤³¤Î¿§¤Ç¤¹¡£
- hyperlink»ÅÍÍ¤Þ¤È¤á ¤Ø¹Ô¤¯¡£
- hyperlink»ÅÍÍ¤Þ¤È¤á ¤Îº¹Ê¬¤òºï½ü
[[¸¦µæÆü»ï¤È¤¦¤á¤]] ¿ï»þ¹¹¿· #contents *hyperlink¤Ë¤Ä¤¤¤Æ [#k57b3ddc] ***³µÍ× [#g5b6a8f4] -hyperlink¥¢¥È¥à(¢¾ unary¥¢¥È¥à)¤Ë¤è¤Ã¤Æhyperlink¤òɽ¸½¤¹¤ë --¥Õ¥¡¥ó¥¯¥¿-¥Õ¥¡¥ó¥¯¥¿´Ö¤Ë´Ø·¸¤ò»ý¤¿¤»¤ë¤³¤È¤Ç¡¢½¸¹ç¤½¤Î¾¤â¤í¤â¤í¤òɽ¸½¤Ç¤¤ë¤è¤¦¤Ë¤¹¤ë -ά¾Î¡§hlink, hl ***ÍѸì¤Ê¤É [#ke4ce032] -·¿ --hyperlink¤Ïhlink·¿(¢¾ unary·¿) --hlink·¿¤Ï¤µ¤é¤Ëname·¿, coname·¿¤Ëʬ¤«¤ì¤ë ---name·¿¥¢¥È¥à¤Î¥Õ¥¡¥ó¥¯¥¿¡¡ : !1, !2, ... ---coname·¿¥¢¥È¥à¤Î¥Õ¥¡¥ó¥¯¥¿ : !-1, !-2, ... ---name¤Î½¸¹ç¤Ë¤è¤Ã¤Æ¥Ï¥¤¥Ñ¡¼¥ê¥ó¥¯¤òɽ¸½¤¹¤ë ---coname¤Ï¥Ï¥¤¥Ñ¡¼¥ê¥ó¥¯¤Ë̾Á°¤ä°À¤ò»ý¤¿¤»¤ë¤¿¤á¤Î¹½Â¤(°À¤ò»ý¤¿¤»¤ëµ¡Ç½¤Ï¼ÂÁõ̤Äê 2010/10/11¸½ºß) -Ê»¹ç¡¢¥Þ¡¼¥¸¤Ê¤É --¥Ï¥¤¥Ñ¡¼¥ê¥ó¥¯Æ±»Î¤òÀܳ¤¹¤ë(= hyperlink¤Î½¸¹ç¤òÊ»¹ç¤¹¤ë) *¥¤¥ó¥¹¥È¡¼¥ë [#pf1ceb9f] ***¥³¥ó¥Ñ¥¤¥é¦ [#d2855bca] -ºÇ¿·ÈǤÎJava½èÍý·Ï¤òCVS¤«¤é¥¤¥ó¥¹¥È¡¼¥ë ***¥é¥ó¥¿¥¤¥à¦ [#cbb81141] -subversion¤«¤ébranches/hyperlink/slim¤ò¥Á¥§¥Ã¥¯¥¢¥¦¥È -Ä̾ï¤Îslim¤ÈƱ¤¸¼ê½ç¤Ç¥¤¥ó¥¹¥È¡¼¥ë *¼Â¹Ô [#xd27dd06] ***¥³¥ó¥Ñ¥¤¥é¦ [#c12a4547] ex. lmntal --slimcode --hl hoge.lmn > hoge.il -¸½¾õ¡¢hyperlink¤ÏSLIM¤Ç¤Î¤ß(--slimcode¤¬É¬Í×)»ÈÍѲÄǽ -- --hl : hyperlink¤Î»ÈÍѤȡ¢[[Ʊ̾¤Ê·¿ÉÕ¤¥×¥í¥»¥¹Ê¸Ì®¹½Ê¸>¸¦µæÆü»ï¤È¤¦¤á¤#fb32f670]]¤òµö¤¹ -- --hl-opt : Ʊ̾¤Î·¿ÉÕ¤¥×¥í¥»¥¹Ê¸Ì®¤òÍøÍѤ·¤¿ºÇŬ²½¥â¡¼¥É --- Ãæ´ÖÌ¿Îáfindproccxt¤¬ÁÞÆþ¤µ¤ì¤ë --- ¥¬¡¼¥É¤Ë¼«Æ°Åª¤ËhlinkÀ©Ìó¤òÁÞÆþ¤³¤È¤Ç¡¢groundÂÐground¤Î¹½Â¤Èæ³Ó¤ò¥Õ¥¡¥ó¥¯¥¿ÂÐ¥Õ¥¡¥ó¥¯¥¿¤ÇºÑ¤Þ¤»¤ë¤è¤¦¤Ë¤·¤Æ¤¤¤ë ***¥é¥ó¥¿¥¤¥à¦ [#k65f604a] ex. slim --hl hoge.il - ¥Ï¥¤¥Ñ¡¼¥ê¥ó¥¯¤ò»È¤¦¤¿¤á¤Ë¤Ï--hl¥ª¥×¥·¥ç¥ó¤¬É¬Í× -- --hl : ¥Ï¥¤¥Ñ¡¼¥ê¥ó¥¯¤Î»ÈÍѤòµö²Ä¡Ê¥³¥ó¥Ñ¥¤¥é¦¤Ç--hl-opt¤¬»ØÄꤵ¤ì¤Æ¤¤¤ë¾ì¹ç¤Ë¤ÏºÇŬ²½¥â¡¼¥É¤Ç¼Â¸ú¡Ë --- nd¥â¡¼¥É̤Âбþ -- --showhl : hyperlink¤Î¾ÜºÙ½ÐÎÏ *±é»»»Ò¡¦À©Ìó¤Ê¤É [#h8616a82] ***hyperlinkÀ¸À® [#qf4e2ed4] -hyperlink¤ÎÀ¸À®¤Ï¡¢newÀ©Ìó¤Ë¤è¤Ã¤Æ¥¬¡¼¥É¤Ç¹Ô¤Ê¤¦ hoge. hoge :- new($h) | a($h), b($h). *--> a('!1'), b('!1'). --¥ª¥×¥·¥ç¥ó¤È¤·¤Æ¡¢makeÀ©Ìó¤ÇǤ°Õ¤Îid¤Îhyperlink¤òÀ¸À®¤Ç¤¤ë --¤¿¤À¤·¡¢¤¹¤Ç¤ËnewÀ©Ìó¤ÇÀ¸À®¤µ¤ì¤¿hyperlink¤Ë¸Â¤ë hoge, fuga(3). hoge :- make(2, $h) | a($h).//make¤ÎÂè°ì°ú¿ô¤Ëid¤òÆþ¤ì¤ë fuga(F):- make(F, $h) | b($h). *--> a('!2'), b('!3'). ---¤Þ¤ÀÀ¸À®¤µ¤ì¤Æ¤¤¤Ê¤¤id¡¢¤Þ¤¿¤ÏÂè°ì°ú¿ô¤¬int¤Ç¤Ê¤¤¾ì¹ç¤ÏFALSE ***·¿À©Ìó [#o5798f67] -hlink($x), name($x), coname($x)¤Î3¼ïÎà a('!1'). a($x) :- hlink($x) b($x). *--> b('!1'). ***Ê»¹ç [#t9ee130b] -Ê»¹ç¤Ï¥Ü¥Ç¥£¤Ç¹Ô¤Ê¤¦ -±é»»»Ò "><" a('!1'), b('!2'). a($x), a($y) :- $x \= $y | a($x), b($y), $x >< $y. --$x¤È$y¤¬°Û¤Ê¤ë½¸¹ç¤Ë°¤·¤Æ¤¤¤ë¤Ê¤é¤ÐÊ»¹ç¤¹¤ë¡¢¤È¤¤¤¦¥ë¡¼¥ë ---°ÀÉÕ¤ÊÑ¿ô¤ò¼ÂÁõ¤·¤¿¤Ê¤é¤Ð¡¢and, or¤Î2¼ïÎà¤ÎÊ»¹ç¤òÍÑ°Õ¤¹¤ëɬÍפ¬¤¢¤ë ---">+<", ">*<"¤È¤«¡©"><"¤Ï¤É¤Á¤é¤«¤ÈƱ¤¸°ÕÌ£¤Ë¤¹¤ë¤È¤«¡© ***Í×ÁÇ¿ô¼èÆÀ [#hccaceb6] -numhyperlink¤ÎÀܳÀè¤Î¿ô(=½¸¹çÆâ¤ÎÍ×ÁÇ¿ô)¤ò¿ô¤¨¤ë a('!1'), b('!1'). a($h) :- $n = num($h) | number($n). *--> b('!1'), number(2). --¤³¤ó¤Ê»È¤¤Êý¤â a('!1'). a($h) :- $n = num($h), $n < 5 | a($h), a($h). *--> a('!1'), a('!1'), a('!1'), a('!1'), a('!1'). --¤¢¤ë¤¤¤Ï flag('!1'), a('!1'), a('!1'), a('!1'), a('!1'). a($h) :- hlink($h) | . flag($h) :- $n = num($h), $n =:= 1 | ok. *--> ok. // a('!1')¤¬Á´¤Æ̵¤¯¤Ê¤Ã¤¿¸å¤Ëok¤òÀ¸À® ---¤Ä¤Þ¤êËì¤ÎÈÝÄê¾ò·ï¤ò»È¤ï¤Ê¤¯¤Æ¤â¡¢ÆÃÄê¤Î¥¢¥È¥à¤¬Ìµ¤¤¤³¤È¤òȽÄê¤Ç¤¤ë ***±þÍÑ¡§ÊÑ¿ô¤Ø¤ÎÃͤΫÇû¤òɽ¸½ [#ad26a6e1] -¥Ï¥¤¥Ñ¡¼¥ê¥ó¥¯¤ËÃͤòľÀÜ«Çû¤¹¤ëµ¡Ç½¤Ï̵¤¤¤Î¤Ç¡¢Î㤨¤Ð°Ê²¼¤Î¤è¤¦¤Ë¤·¤Æɽ¸½¤¹¤ë a(!1), b(!1), n(!1,5). -- !1¤È¤¤¤¦¥Ï¥¤¥Ñ¡¼¥ê¥ó¥¯¤Ë¡¢5¤È¤¤¤¦Ãͤò»ý¤¿¤»¤¿¤È¤³¤í &br;&br; ---- (°Ê²¼¤Ï»¨µ¡¢»ÅÍͤ¬Ì¤Äꡢ̤¼ÂÁõ¡¢¼ÂÁõ¤·¤Æ¤ß¤¿¤±¤ÉÆ°ºîÊݾڤ·¤Ê¤¤¤â¤Î¤Ê¤É) -2010-10-21 --findproccxtÁÞÆþ¤·¤¿¾ì¹ç¤Ï¡¢¥¬¡¼¥É¤Ç¤ÎÅù²ÁȽÄê¤ò½ü¤¤¿¤¤ --%%hyperlinkÀìÍÑ¤Î¥×¥í¥»¥¹Ê¸Ì®µË¡¤ß¤¿¤¤¤Ê¤Î¤òÆþ¤ì¤¿¾ì¹ç¤Ë¤Ï¡¢%% a($x), a($y) --%%½ñ¤¤¤¿¤é$x¤È$y¤ÏÈÝÄê¾ò·ï¤ò¤Ä¤±¤ë¤Þ¤Ç¤â¤Ê¤¯Ê̽¸¹ç¤Ç¤¢¤ë¤È¤¹¤ë¤Û¤¦¤¬¤¤¤¤¤«¤Ê¡©%% ---¤è¤¯¹Í¤¨¤¿¤éµÑ²¼¡£Ê»¹ç¤µ¤ì¤¿¤µ¤ì¤Æ¤Ê¤¤¤Ë´Ø¤ï¤é¤ºÅ¬ÍѤµ¤»¤¿¤¤¥ë¡¼¥ë¤ò½ñ¤¤¿¤¤¾ì¹ç¤¬¤¢¤ê¤½¤¦ -Èæ³Ó(hlinkƱ»Î) ¡á¡§a($x), b($y) :- $x === $y | ... (¡â¡§a($x), b($y) :- $x \== $y | ...) -Âбþ´Ø·¸ name->co-name¼èÆÀ¡§a($h) :- getconame($x) | a($h). co-name->name¼èÆÀ¡§a($h) :- getname($x) | a($h). *TODO¡¦MEMO [#fac18f87] -memo --setconame derefatom [3, 1, 0] isname [3] setconame [4, 3] --getconame derefatom [2, 1, 0] isname [2] getconame [3, 2] --hasconame derefatom [2, 1, 0] isname [2] nhasconame [2] --nhasconame derefatom [2, 1, 0] isname [2] nhasconame [2] -memo2 : coname´ÉÍý --coname¤ò»ý¤¿¤Ê¤¤name[h]->parent = h --coname¤ò»ý¤Äname[h]->parent = h * -1 -Ê»¹ç name-name ¡§a($x), b($y) :- $h = $x >< $y | a($h), b($h). co-name-co-name¡§Ì¤Äê name-co-name ¡§Ì¤Äꡧ">>"¤È¤«¡© ***ndÂбþ [#v2382d86] -¥Õ¥¡¥ó¥¯¥¿´ÉÍý¤ònd¤ËÂбþ¤µ¤»¤ëÊýË¡¤ÏÃÖ¤¤¤Æ¤ª¤¯ -¥¬¡¼¥É¤Ç¥·¥ó¥Ü¥ë¥¢¥È¥àÀ¸À® --¤½¤Î¤¦¤ÁTODO¡§commit¤Çºî¶ÈÇÛÎó¤ò¥³¥Ô¡¼¤¹¤ë¤È¤³¤í¤¬Àµ¤·¤¯¹Ô¤Ê¤ï¤ì¤Æ¤¤¤Ê¤¤ ***¤½¤Î¾ [#hb9289d6] -LMN_FUNCTOR_ATTR¤òÄɲᢺî¶ÈÇÛÎó¤Ë¥Õ¥¡¥ó¥¯¥¿ID¤òľÀÜËä¤á¹þ¤à¤È¤¤Ë»È¤¦ --¥¬¡¼¥É¤Ç¥¢¥È¥àÍѤÎÎΰè¤ò³ÎÊݤ¹¤ë¤³¤È¤òÈò¤±¤ë¤¿¤á¡ÊÈò¤±¤Ê¤¯¤Æ¤âÀ¸À®¤¹¤ë¤³¤È¤Ï¤Ç¤¤ë¤¬¡¢µ¤»ý¤ÁŪ¤Ë¡Ë