¥È¥Ã¥× «Á°¤ÎÆüµ­(2006-09-14) ºÇ¿· ¼¡¤ÎÆüµ­(2006-09-16)» ÊÔ½¸

¤Ï¤¸¤á¤Æ¤Î¤Ë¤­

¤³¤³¤Î°ÌÃÖÉÕ¤±

2004|11|
2005|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|09|10|11|12|
2020|01|02|03|04|05|06|07|08|09|10|11|12|
2021|01|02|03|04|05|06|07|08|09|10|11|12|
2022|01|02|03|04|05|06|07|08|09|10|11|12|
2023|01|02|03|04|05|06|07|08|09|10|11|12|
2024|01|02|03|04|

ToDo:


2006-09-15

_ ckpt

http://www.cs.wisc.edu/~zandy/ckpt/

¤¢¡¼¤³¤ì undump ¤À¡Ä

(00:06)

_ rlwrap ¤¬ÊØÍø¤¹¤®¤ë¤ï¤±¤Ç

¤¦¡¼¤ó¡£ ¤¢¡¼¡£

¤Ê¤ó¤«´èÄ¥¤ì¤Ð gets ¤È¤«¤½¤Î¤Ø¤ó hijack ¤¹¤ì¤Ð ¼«Æ°Åª¤Ë¤Ç¤­¤Ê¤¤¤«¤Ê¡£

(00:55)

_ OCaml

¤Ê¤ó¤«½ñ¤¤¤Æ¤Æ³Ú¤·¤¤¤ó¤À¤è¤Ê¤¡¡£ ¤Ê¤ó¤Ç¤ä¤í¡£ ¤¢¤ëÄøÅÙÍýͳ¤Ï¤ï¤«¤ë¤¬¡£

  • Ãå¼Â¤Ë¿Ê¤à´¶¤¸
  • ¤¢¤ó¤Þ´·¤ì¤Æ¤Ê¤¤
  • ºÆµ¢¤Ï³Ú¤·¤¤
  • ÉûºîÍѤ¬½ñ¤±¤ë
  • option·¿¤¬¤¤¤¤¡¢¤È¤¤¤¦¤«¥Ñ¥¿¡¼¥ó¥Þ¥Ã¥Á¤ÎÎɤµ¤¬¤ä¤Ã¤È¤ï¤«¤Ã¤¿
  • ¤ä¤Ã¤Ñ´Êñ¤Ê¥×¥í¥°¥é¥à¤À¤È·¿½ñ¤«¤ó¤Ç¤¤¤¤¤Î¤Ï¤¤¤¤
    • ¤È¤¤¤¦¤«·¿½ñ¤«¤º¤Ë¥×¥í¥°¥é¥à½ñ¤±¤ëµ¤¤·¤Ê¤¤¤È¤ª¤Ã¤·¤ã¤Ã¤Æ¤¿ k.inaba ¤µ¤ó¤Ï¤ä¤ä¤³¤¤¥³¡¼¥É¤Ð¤Ã¤«½ñ¤¤¤Æ¤ë¤Î¤Ç¤ï¡¢¤È¤«¡£

¤Ç¤â¥Ç¡¼¥¿¹½Â¤¤Îºî¤êÊý¤¬¥¤¥Þ¥¤¥Á¤è¤¯¤ï¤«¤é¤ó¡£ ¤Æ¤¤¤¦¤« OO °Ê³°¤Î¥Ç¡¼¥¿¹½Â¤¤Îºî¤êÊý¤Ç¤­¤ó¤È¤¤¤¦¤«¡£

¤ó¤Ç¤Ê¤¼¤«Ëã¿ý¤Î¾å¤¬¤êȽÄê¤Ê¤É¡£ ¤â¤Ã¤ÈÌÌÅݤ«¤È»×¤Ã¤Æ¤¿¤ó¤À¤±¤É°Æ³°´Êñ¤Ê¤ó¤À¤Ê¡£ syuntsu ¤¬¤Ò¤É¤¤¤È¤« List.append ¤ÏÃÙ¤¤¤é¤·¤¤¤È¤«¿§¡¹¤¢¤ë¤±¤É¡£

http://shinh.skr.jp/t/agari.ml

¤¢¤È¤ÏÌò¤ÎȽÄê¤ÈÅÀ¿ô·×»»¤È¥·¥ã¥ó¥Æ¥ó¿ô·×»»¤«¤Í¡¼¡£

(02:04)

_ ¥×¥í¥Õ¥¡¥¤¥ë¼è¤Ã¤Æ¤ß¤¿

camlPervasives__$40_166 ¤Ã¤Æ¤Ê¤ó¤ä¤Í¤ó¡£

time   seconds   seconds    calls  ms/call  ms/call  name
22.22      0.06     0.06   592016     0.00     0.00  camlPervasives__$40_166
18.52      0.11     0.05  1271000     0.00     0.00  compare_val
 7.41      0.13     0.02   238000     0.00     0.00  camlAgari__v2p_93
 7.41      0.15     0.02   135005     0.00     0.00  camlList__sort_295
 7.41      0.17     0.02      581     0.03     0.03  caml_oldify_local_roots

(02:27)

_ ref ¤Ø¤ÎÂåÆþ¤¸¤ã¤Ê¤¤¤«¤Ê¤È¤«Í½Â¬

(02:30)

_ ¥Ï¥º¥ì¤À¤Ã¤¿

(02:37)

_ ¤¿¤·¤«¤Ë

agari_patterns ¤È¤¤¤¦¤«¤½¤Î inner ¤Ë°ì½Ö·¿½ñ¤¤¤¿µ­²±¤¬¡£ ¤È¤¤¤¦¤Î¤Ï¥³¥ó¥Ñ¥¤¥ë¥¨¥é¡¼¤Î°ÕÌ£¤¬¤è¤¯¤ï¤«¤é¤Ê¤«¤Ã¤¿¤Î¤Ç¡Ä ¤¿¤·¤«

let rec inner te headed (cur : pai list list) =

¤È¤«¤È¤¢¤È¤É¤Ã¤«¤â¤¦°ì²Õ½êÆþ¤ì¤¿µ¤¤¬¡£ ¤Ê¤ó¤È¤Ê¤¯1¤Ä¤À¤±·¿»Ä¤Ã¤Æ¤ë¤Î¤¬µ¤»ý¤Á°­¤«¤Ã¤¿¾å¤Ë °ìÅÙ¥³¥ó¥Ñ¥¤¥ëÄ̤äÁ¤ã¤Ã¤¿¤é¤â¤¦Ê̤˷¿¤¤¤é¤Ê¤¤¤è¤Ê¤¡ ¤È¤«»×¤Ã¤Æ¾Ã¤·¤Á¤ã¤Ã¤¿¤ï¤±¤Ç¤¹¤¬¡£

(12:46)

_ ¤Õ¤Ä¤±¤ëÆɽñ²ñ

¤Ì¡¼¤ó¹Ô¤­¤¿¤«¤Ã¤¿¤Ê¤¡¡£ ºÇ¶á³Î¼Â¤ËͽÄê¤Ë¤«¤Ö¤Ã¤Æ¤ë¡£

(12:47)

_ Ìò

type yaku = TSUMO | RICHI | IPPATSU | PINHU | TANYAO | IPEKO | HAKU | HATSU

¤È¤«½ñ¤­»Ï¤á¤Æ»×¤Ã¤¿¤±¤É¡¢ ¤³¤ì¤Ï¥À¥á¤Êµ¤¤¬¤¹¤ë¡£

¤À¤Ã¤Æ enum ¤ß¤¿¤¤¤Ê¤â¤ó¤Ç¤¹¤È¸À¤Ã¤Æ¤ë¤±¤É¿ôÃͤˤǤ­¤Ê¤¤¤è¤¦¤Ê¡£

| TSUMO -> "ÌçÁ°À¶¼«ÌÎÏÂ"
| RICHI -> "Ωľ"

¤ß¤¿¤¤¤Ê¤Î¤Ï·¿°ÂÁ´¤À¤í¤¦¤¬¤Ê¤ó¤À¤í¤¦¤¬¤Ê¤ó¤«¥¤¥ä¤À¡£

type tsuhai = E | S | W | N | H | T | C

¤â¥À¥á¤À¤Ê¤¡¤È»×¤¤¤Ê¤¬¤é¤ä¤Ã¤Æ¤¿¤ï¤±¤À¤¬¡£

ÈÏ°Ï·¿¤«¡£ Ada ¤¬¤¨¤é¤¤¤Î¤«¡£

(13:05)

_ ¤È¤¤¤¦¤è¤ê

ÉáÄ̤ÎÀ°¿ô¤Ç¤¤¤¤¤ó¤À¤±¤É¡£

ËÍÂç¿Í¤À¤«¤éÈϰϳ°¤Î¿ôÃÍÆþ¤ì¤¿¤ê¤·¤Ê¤¤¤è¡£

(13:06)

_ ¥Ü¥¯Âç¿Í¤À¤«¤é¡ª

# type tsuhai = E | S | W | N | H | T | C;;
type tsuhai = E | S | W | N | H | T | C
# (Obj.magic T)-(Obj.magic E);;
- : int = 5

¤³¤¦¤·¤Æ¤â¤¤¤¤¤è¤Í¡ª

(13:36)

_ ssh

³«¤±¤ë¤Î˺¤ì¤Æ¤¿¤ä

(14:42)

_ ³Ø½ÑÁí¹ç¥»¥ó¥¿¡¼

National-Center-of-Science ¤é¤·¤¤¡£¤Ê¤ó¤Ç¤ä

(14:46)

_ PKU1001

http://acm.pku.edu.cn/JudgeOnline/problemstatus?problem_id=1001&orderby=clen&language=1

¿ÇÜĹ½èÍý¤È¤«¤á¤ó¤É¤¤¤Í¡£

(18:27)

_ ¤¼¤ó¤¼¤ó

¤ä¤ë¤­¤ª¤­¤Ê¤¤¡£

(18:43)

¤ªÌ¾Á°:
E-mail:
¥³¥á¥ó¥È:
¿ÍÀ¸¡¢±§Ãè¡¢¤¹¤Ù¤Æ¤ÎÅú¤¨
ËÜÆü¤Î¥ê¥ó¥¯¸µ

Á° 2006ǯ
9·î
¼¡
Æü ·î ²Ð ¿å ÌÚ ¶â ÅÚ
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
1.shinh(2014-05-24 02:43) 2.k.inaba(2014-05-24 02:43) 3.YT(2014-05-24 02:43)
search / home / index

Á´¤Æ¥ê¥ó¥¯¥Õ¥ê¡¼¤Ç¤¹¡£ ¥³¡¼¥ÉÊҤϼ«Í³¤Ë»ÈÍѤ·¤Æ¤¤¤¿¤À¤¤¤Æ¹½¤¤¤Þ¤»¤ó¡£ ¤½¤Î¾¤Î¤â¤Î¤ÏGPL°·¤¤¤Ç¤¢¤ì¤Ð¤¢¤é¤æ¤ë»ÈÍѤ˴ؤ·¤Æʸ¶ç¤Ï¸À¤¤¤Þ¤»¤ó¡£ ¤Ê¤Ë¤«¤¢¤ì¤Ð²¼µ­¥á¡¼¥ë¥¢¥É¥ì¥¹¤Ø¡£

shinichiro.hamaji _at_ gmail.com / shinichiro.h