SeijiWiki
¥Î¡¼¥È
¤ò¥Æ¥ó¥×¥ì¡¼¥È¤Ë¤·¤ÆºîÀ®
³«»Ï¹Ô:
seijiÀìÍÑ¡¢Îɤ¯¤â°¤¯¤â¡ÖÄãµé¡×¤Ê¥Î¡¼¥È¡£
¤¢¤Þ¤ê¤¸¤Ã¤¯¤ê¤È¸«¤Ê¤¤¤ÇÍߤ·¤¤¡£
&br;&br;
*ÏÀʸºîÀ®ºÇ½ªÃʳ¬Ãí°Õ»ö¹à [#a7c638ac]
--¡¢¡£¤ò¸«¤ë
--´Á»ú¤ÎÅý°ì
---ʬ¤«¤ë¡¦¤ï¤«¤ë
---»×¤¦¡¦¤ª¤â¤¦
---½ÐÍè¤ë¡¦¤Ç¤¤ë
---»þ¡¦¤È¤
---·Ò¤¬¤ë¡¦¤Ä¤Ê¤¬¤ë
---ÊѤï¤ë¡¦¤«¤ï¤ë
---Âå¤ï¤ë¡¦¤«¤ï¤ë
---µÚ¤Ó¡¦¤ª¤è¤Ó
---½ñ´¹¤¨¡¦½ñ¤´¹¤¨¤ë
---Áȹ礻¡¦ÁȤ߹ç¤ï¤»
---°ì¤Ä¡¦£±¤Ä¡¦¤Ò¤È¤Ä
---¸«¤Ê¤¹¡¦¤ß¤Ê¤¹
---»ö¡¦¤³¤È
---ʪ¡¦¤â¤Î
*uniq memo[#s8e0a853]
-lmn_mem_rulesets_equals
--ruleset id¤ÇÈæ³Ó¤·¤è¤¦
---¤Ä¤Þ¤ê¥³¥Ô¡¼¸µ¡õ¥³¥Ô¡¼¤·¤¿¥ë¡¼¥ë¤ÎÈæ³Ó¤Î¤ß¹Ô¤¦¤è¤¦¤Ë
--ºÇ¸å¤ÏresultÊÑ¿ô¤ò»È¤ï¤Ê¤¤»ÅÍͤË
--¥ë¡¼¥ë¥Æ¥ó¥×¥ì¤Îid¤Ç¤ÏÈæ³Ó¤·¤Ê¤¤
---mem_eq¤È¤«¡¢ÊÌ¡¹¤ËÄêµÁ¤·¤¿¥ë¡¼¥ë¤òÈæ³Ó¤¹¤ë¤È¤É¬¤ºfals...
---ÉáÄÌ¡¢ËìƱ·¿ÀȽÄê¤Ç¤Ï¥ë¡¼¥ëid¤¬°ã¤¦¤Î¤ËÃæ¿È¤Î¥ë¡¼¥ë¤¬...
--rule->name¤Ç¤ÏÈæ³Ó¤·¤Æ¤â¤¤¤¤¤«¤ÊŽ¥Ž¥Ž¥
-POR¤Ø¤ÎÂбþ
--Æä˹ͤ¨¤Æ¤¤¤Ê¤¤¡¢¤È¤¤¤¦¤«ndÂбþ¤Ç¤½¤Î¤Þ¤ÞÂбþ¤µ¤ì¤Ê¤¤...
--º£¤Î¤È¤³¤íÉáÄ̤˼¹ԤǤ¤ë¡¢ÎãÂ꤬¤Û¤·¤¤
*¥×¥í¥°¥é¥ß¥ó¥°¸À¸ìÁ´ÈÌ [#af91b7c5]
**¡Á·¿¸À¸ì [#r21a1c65]
***ʸˡ¤Ë¤è¤ëʬÎà [#h3c5e892]
-¼ê³¤·¿¸À¸ì
--C,C++,C#¡¢Java,JavaScript,perl,Ruby,¥¢¥»¥ó¥Ö¥ê¸À¸ì
-Àë¸À·¿¸À¸ì
--´Ø¿ô·¿¡§Ocaml
--ÏÀÍý·¿¡§Prolog
--³¬ÁØŪ¥°¥é¥Õ½ñ¤´¹¤¨¤Ë´ð¤Å¤¯¸À¸ì¥â¥Ç¥ë¡§LMNtal
***¤½¤Î¾¤ÎʬÎà [#e21485da]
-¥ª¥Ö¥¸¥§¥¯¥È»Ø¸þ¸À¸ì
--C++,C#,Java,JavaScript,Ruby
&br;&br;
*LMNtal [#e9598d0a]
-¤¤¤í¤¤¤í
--¥È¥ì¡¼¥¹¥â¡¼¥É -t
--¥·¥ã¥Ã¥Õ¥ë¥â¡¼¥É
---Ä̾ï¤Ï¤ä¤Ã¤Ñ¤ê¾å¤«¤é½ç¤Ë¼Â¹Ô
--$p[]¡§¥×¥í¥»¥¹Ê¸Ì®
--@p¡§¥ë¡¼¥ëʸ̮
--Head :- Guard | Body.
-hyperlink¤Ë¤Ä¤¤¤Æ¡ÊÔª¤µ¤ó½¤ÏÀ¤è¤ê¡Ë
--LMNtal¤Ç¤Ï¥ê¥ó¥¯¤Î½Ð¸½²ó¿ô¤ò£²²ó¤Ë¸ÂÄꤹ¤ë¾ò·ï¤¬¤¢¤ë
---¥¬¥Ù¡¼¥¸¥³¥ì¥¯¥·¥ç¥ó¤¬ÉÔÍ×
---¥Þ¥Ã¥Á¥ó¥°¤Î¹â®²½
--¤³¤ÎÀ©¸Â¤ò̵¤¯¤·¤¿¤â¤Î¤òhyperlink
--Ëì¤òÍѤ¤¤ëÊýË¡¡¢¼«Á³¿ô¤òÍѤ¤¤ëÊýË¡¤¬¤¢¤ë
&br;
*Java [#c603583b]
--break, continue, return~
¡¡label:~
¡¡À©¸æʸ { break label; }
*´äÇȹֺ¥½¥Õ¥È¥¦¥§¥¢²Ê³Ø¡Ö¥×¥í¥°¥é¥ß¥ó¥°¸À¸ì¡× [#af91b7c5]
-p47°ÕÌ£¤Îµ½Ò
--¹½Ê¸¤Ïµ¹æ¤ÎʤÓÊý¤òÄê¤á¤ë¤À¤±
--291¤¬¡Ö¿ô¡×¤Ç¤¢¤ë¤³¤È¤ò¸À¤¦
-p52¹½Ê¸µ¬Â§¤òÂå¿ô·¿¤Ç
<¹½Ê¸Ã±°Ì̾> ::= ¹½À®1|¹½À®2|...|¹½À®n
data Âå¿ô·¿ = ¹½À®1 ¹½À®Í×ÁÇÎó1|
¡¡¡¡¡¡¡¡¡¡¡¡ |¹½À®2 ¹½À®Í×ÁÇÎó2|...
¡¡¡¡¡¡¡¡¡¡¡¡ |¹½À®n ¹½À®Í×ÁÇÎón|
-p60
--¥×¥í¥°¥é¥à¤Î¡Ö°ÕÌ£¡×¤È¤ÏÂç¤Þ¤«¤Ë¸À¤¨¤Ð¡¢¤½¤Î¥×¥í¥°¥é¥à...
-p139Àµ³ÊÀ¸¡ºº
--Àµ³ÊÀ¤Î¸¡ºº¤Ï¡¢¤½¤Î°ú¿ô¤¬É¬Íפˤʤë¤Þ¤ÇÃ٤餻¤¿Êý¤¬ÎÉ...
-p177·¿¿äÏÀ
--ñ°ì²½¤¬Í¸ú¼êÃÊ
*Ⱦ½ç½ø [#af91b7c5]
-£²¹à´Ø·¸¤Î¤¦¤Á¡¤È¿¼ÍΧ¡¤È¿ÂоÎΧ¡¤¿ä°ÜΧ¤òËþ¤¿¤¹¤â¤Î¡£
a ¡æ a¡¡(È¿¼ÍΧ (reflexivity))
a ¡æ b ¤«¤Ä b ¡æ a ¤Ê¤é¤Ð¡¤a=b¡¡(¿ä°ÜΧ (transitivity))
a ¡æ b ¤«¤Ä b ¡æ c ¤Ê¤é¤Ð¡¤ a ¡æ c¡¡(È¿ÂоÎΧ (antisymmetry))
f(f(x)) = f(x)¤Î¤è¤¦¤Ë¡¢1²ó¤À¤í¤¦¤¬Ê£¿ô²ó¤À¤í¤¦¤¬ÊѤï¤é...
½ªÎ»¹Ô:
seijiÀìÍÑ¡¢Îɤ¯¤â°¤¯¤â¡ÖÄãµé¡×¤Ê¥Î¡¼¥È¡£
¤¢¤Þ¤ê¤¸¤Ã¤¯¤ê¤È¸«¤Ê¤¤¤ÇÍߤ·¤¤¡£
&br;&br;
*ÏÀʸºîÀ®ºÇ½ªÃʳ¬Ãí°Õ»ö¹à [#a7c638ac]
--¡¢¡£¤ò¸«¤ë
--´Á»ú¤ÎÅý°ì
---ʬ¤«¤ë¡¦¤ï¤«¤ë
---»×¤¦¡¦¤ª¤â¤¦
---½ÐÍè¤ë¡¦¤Ç¤¤ë
---»þ¡¦¤È¤
---·Ò¤¬¤ë¡¦¤Ä¤Ê¤¬¤ë
---ÊѤï¤ë¡¦¤«¤ï¤ë
---Âå¤ï¤ë¡¦¤«¤ï¤ë
---µÚ¤Ó¡¦¤ª¤è¤Ó
---½ñ´¹¤¨¡¦½ñ¤´¹¤¨¤ë
---Áȹ礻¡¦ÁȤ߹ç¤ï¤»
---°ì¤Ä¡¦£±¤Ä¡¦¤Ò¤È¤Ä
---¸«¤Ê¤¹¡¦¤ß¤Ê¤¹
---»ö¡¦¤³¤È
---ʪ¡¦¤â¤Î
*uniq memo[#s8e0a853]
-lmn_mem_rulesets_equals
--ruleset id¤ÇÈæ³Ó¤·¤è¤¦
---¤Ä¤Þ¤ê¥³¥Ô¡¼¸µ¡õ¥³¥Ô¡¼¤·¤¿¥ë¡¼¥ë¤ÎÈæ³Ó¤Î¤ß¹Ô¤¦¤è¤¦¤Ë
--ºÇ¸å¤ÏresultÊÑ¿ô¤ò»È¤ï¤Ê¤¤»ÅÍͤË
--¥ë¡¼¥ë¥Æ¥ó¥×¥ì¤Îid¤Ç¤ÏÈæ³Ó¤·¤Ê¤¤
---mem_eq¤È¤«¡¢ÊÌ¡¹¤ËÄêµÁ¤·¤¿¥ë¡¼¥ë¤òÈæ³Ó¤¹¤ë¤È¤É¬¤ºfals...
---ÉáÄÌ¡¢ËìƱ·¿ÀȽÄê¤Ç¤Ï¥ë¡¼¥ëid¤¬°ã¤¦¤Î¤ËÃæ¿È¤Î¥ë¡¼¥ë¤¬...
--rule->name¤Ç¤ÏÈæ³Ó¤·¤Æ¤â¤¤¤¤¤«¤ÊŽ¥Ž¥Ž¥
-POR¤Ø¤ÎÂбþ
--Æä˹ͤ¨¤Æ¤¤¤Ê¤¤¡¢¤È¤¤¤¦¤«ndÂбþ¤Ç¤½¤Î¤Þ¤ÞÂбþ¤µ¤ì¤Ê¤¤...
--º£¤Î¤È¤³¤íÉáÄ̤˼¹ԤǤ¤ë¡¢ÎãÂ꤬¤Û¤·¤¤
*¥×¥í¥°¥é¥ß¥ó¥°¸À¸ìÁ´ÈÌ [#af91b7c5]
**¡Á·¿¸À¸ì [#r21a1c65]
***ʸˡ¤Ë¤è¤ëʬÎà [#h3c5e892]
-¼ê³¤·¿¸À¸ì
--C,C++,C#¡¢Java,JavaScript,perl,Ruby,¥¢¥»¥ó¥Ö¥ê¸À¸ì
-Àë¸À·¿¸À¸ì
--´Ø¿ô·¿¡§Ocaml
--ÏÀÍý·¿¡§Prolog
--³¬ÁØŪ¥°¥é¥Õ½ñ¤´¹¤¨¤Ë´ð¤Å¤¯¸À¸ì¥â¥Ç¥ë¡§LMNtal
***¤½¤Î¾¤ÎʬÎà [#e21485da]
-¥ª¥Ö¥¸¥§¥¯¥È»Ø¸þ¸À¸ì
--C++,C#,Java,JavaScript,Ruby
&br;&br;
*LMNtal [#e9598d0a]
-¤¤¤í¤¤¤í
--¥È¥ì¡¼¥¹¥â¡¼¥É -t
--¥·¥ã¥Ã¥Õ¥ë¥â¡¼¥É
---Ä̾ï¤Ï¤ä¤Ã¤Ñ¤ê¾å¤«¤é½ç¤Ë¼Â¹Ô
--$p[]¡§¥×¥í¥»¥¹Ê¸Ì®
--@p¡§¥ë¡¼¥ëʸ̮
--Head :- Guard | Body.
-hyperlink¤Ë¤Ä¤¤¤Æ¡ÊÔª¤µ¤ó½¤ÏÀ¤è¤ê¡Ë
--LMNtal¤Ç¤Ï¥ê¥ó¥¯¤Î½Ð¸½²ó¿ô¤ò£²²ó¤Ë¸ÂÄꤹ¤ë¾ò·ï¤¬¤¢¤ë
---¥¬¥Ù¡¼¥¸¥³¥ì¥¯¥·¥ç¥ó¤¬ÉÔÍ×
---¥Þ¥Ã¥Á¥ó¥°¤Î¹â®²½
--¤³¤ÎÀ©¸Â¤ò̵¤¯¤·¤¿¤â¤Î¤òhyperlink
--Ëì¤òÍѤ¤¤ëÊýË¡¡¢¼«Á³¿ô¤òÍѤ¤¤ëÊýË¡¤¬¤¢¤ë
&br;
*Java [#c603583b]
--break, continue, return~
¡¡label:~
¡¡À©¸æʸ { break label; }
*´äÇȹֺ¥½¥Õ¥È¥¦¥§¥¢²Ê³Ø¡Ö¥×¥í¥°¥é¥ß¥ó¥°¸À¸ì¡× [#af91b7c5]
-p47°ÕÌ£¤Îµ½Ò
--¹½Ê¸¤Ïµ¹æ¤ÎʤÓÊý¤òÄê¤á¤ë¤À¤±
--291¤¬¡Ö¿ô¡×¤Ç¤¢¤ë¤³¤È¤ò¸À¤¦
-p52¹½Ê¸µ¬Â§¤òÂå¿ô·¿¤Ç
<¹½Ê¸Ã±°Ì̾> ::= ¹½À®1|¹½À®2|...|¹½À®n
data Âå¿ô·¿ = ¹½À®1 ¹½À®Í×ÁÇÎó1|
¡¡¡¡¡¡¡¡¡¡¡¡ |¹½À®2 ¹½À®Í×ÁÇÎó2|...
¡¡¡¡¡¡¡¡¡¡¡¡ |¹½À®n ¹½À®Í×ÁÇÎón|
-p60
--¥×¥í¥°¥é¥à¤Î¡Ö°ÕÌ£¡×¤È¤ÏÂç¤Þ¤«¤Ë¸À¤¨¤Ð¡¢¤½¤Î¥×¥í¥°¥é¥à...
-p139Àµ³ÊÀ¸¡ºº
--Àµ³ÊÀ¤Î¸¡ºº¤Ï¡¢¤½¤Î°ú¿ô¤¬É¬Íפˤʤë¤Þ¤ÇÃ٤餻¤¿Êý¤¬ÎÉ...
-p177·¿¿äÏÀ
--ñ°ì²½¤¬Í¸ú¼êÃÊ
*Ⱦ½ç½ø [#af91b7c5]
-£²¹à´Ø·¸¤Î¤¦¤Á¡¤È¿¼ÍΧ¡¤È¿ÂоÎΧ¡¤¿ä°ÜΧ¤òËþ¤¿¤¹¤â¤Î¡£
a ¡æ a¡¡(È¿¼ÍΧ (reflexivity))
a ¡æ b ¤«¤Ä b ¡æ a ¤Ê¤é¤Ð¡¤a=b¡¡(¿ä°ÜΧ (transitivity))
a ¡æ b ¤«¤Ä b ¡æ c ¤Ê¤é¤Ð¡¤ a ¡æ c¡¡(È¿ÂоÎΧ (antisymmetry))
f(f(x)) = f(x)¤Î¤è¤¦¤Ë¡¢1²ó¤À¤í¤¦¤¬Ê£¿ô²ó¤À¤í¤¦¤¬ÊѤï¤é...
¥Ú¡¼¥¸Ì¾: