2007-03-01ãã1ã¶æéã®è¨äºä¸è¦§
ãã»ç§å¦ãæè·ï¼ãããï¼ã¯ããªãã¾ã§ããåãã»ç§å¦è«ããçéã§ããããæèã硬ç´ãã¦ãããããããéç§å¦çæ 度ã ããªã©ã¨æ¹å¤çã«æ±ãæè¦ãç®ã«ãã¾ãããããã«å ±éãããã¿ã¼ã³ã¯ãä¸é¢çã«ã¯æ£ãããã¨ãè¨ã£ã¦ã¯ããã®ã ãã©ãè°è«ã®å¥ã®å´é¢ãâ¦
ã¢ã¯ã»ã¹æ°ããããããã«ã¨ã³ããªã¼ãæ¸ããããªæèã¯ãµã©ãµã©ãªãã®ã ãã©ãããã«ãé¢ããããåæã«ã¢ã¯ã»ã¹ãå¢ããã¨ããªããã¨ã³ããªã¼ãæ¸ãæ°åãèãããï¼ã¤ã³ãã«ã¨ã³ã¶ã§ä½åãæ¶èãã¦ãã¾ã£ãå½±é¿ããããã©ããï¼ä»é±ã¯ä½ãæ¸ãã¦ãªããã©â¦
ãããã¾ã¼ãããããªãã»ããããã®ã ãã©ãã äºé²æ¥ç¨®ãéä¿¡ãããªï¼åããã¦ããã§ãã1åã ãã ã£ãã®ãçãã£ãããã æ©ãå»è ã«è¡ãï¼ç¡ç¨ã«è¦ããæéãé·ããªãã ãã ææçµè·¯ä¸æã§ããã¤ããã®ã¯ãã¤ãï¼æ¤æ»ãã¦ã¯ãã ã£ãããããããã«ãã¤â¦
ã¿ããã«ã確ãã«å¹ãã¾ãããããããä½åã¯æ¿ããæ¶èãããªããé ã«ä¸æèããã¶ãããããããªæãã¨ãä½ã®ãµãã¶ãã®çã¿ã¯ã¾ã æ®ã£ã¦ããããããããããä»å¬ã¯ã風éªã²ã¨ã¤ã²ããã«ãä¹ãåããã¨æã£ã¦ããã®ã«ã3æä¸æ¬ã§ä¸çºå¤§é転ï¼åã®è² ãï¼ãâ¦
ã¤ã³ãã«ã¨ã³ã¶ã«ãªãã¾ããããã®ãã®è¨ã£ã¦ãããªãã®ã§ãã¿ããã«æç¨ãã¾ãã
æ¾å²¡å©åã»è¾²æ°´å¤§è£ããæ飲(?)ã®ãããã¯ã©ã¹ã¿ã¼Geã«ã«ãæ°´ããå©ç¨è ã®å£°ãèãããã£ãã®ã ãã©ãè¦ã¤ãããªãã£ãããããããã¯ã©ã¹ã¿ã¼Geã«ã«ãæ°´ãã»ã©ã«ãã«é«ãã¯ãªããã®ã®ãåæ§ã«ããã¯ã©ã¹ã¿ã¼æ°´ã¨ãããååãVIVOï¼ã´ã£ãï¼ã -- 500ããªãªâ¦
ã空ç®ãã¯ããã¦ãç´ ç´ã«ãè¦ééããã«ãããã èª¤ï¼ æ¸©æ³ããã© æ£ï¼ 温æ³ãã© ã宿ãã¯æ¼¢åã§æ¸ãã¦ãã ããã èª¤ï¼ ï¼ç¥ï¼ æ£ï¼ ã¦ã³ã³ åã ãããããã¾ãã
左巻å¥ç·ã»èãæ°´ã¯ãªãã«ãç¥ããªãããã®åå¨ãããããç¥ããã¦ããã人ãããã®ã§ãããããã¯ããèªãã§ãã£ã¦ãæ°´ã¯ãªãã«ãç¥ããªãã (ãã£ã¹ã«ã´ã¡ã¼æºæ¸)ä½è :左巻 å¥ç·çºå£²æ¥: 2007/02/25ã¡ãã£ã¢: æ°æ¸æ å ±ã¨ãã¦ç®æ°ãããã¨ã¯ç¹ã«ããã¾ããã§â¦
ä¸èª¿ã¼ããªãã ãã©ãããã¯ããã¨ãã¦ï¼åã¯ãm-hiyamaã¨m-hiyama-memoã¨ãã2ã¤ã®ã¢ã«ã¦ã³ããåæã«ä½¿ç¨ããããã«äºç¨®ã®ãã©ã¦ã¶ï¼IEã¨Firefoxï¼ã使ã£ã¦ãã¾ãããããã¾ããæã£ããã ãã©ããããªãã¨ããå¿ è¦ããã®ï¼ 1ã¤ã®ãã©ã¦ã¶ã§è¤æ°ã¢ã«ã¦ã³ãâ¦
ã30æ³ãããã§ã¨ããã¨ç¥ç¦ãããã°ã©ãã¢ã»ã¢ã¤ãã«ã¨ããã®ã¯ç©ºåï¼çµ¶å¾ï¼ï¼ãããªããããã
ãªããç²ããæããããã«æ¯å»è ã ãããã
ãã¿ããã¾ãããã®ãåè«ã¡ã¢ãã¸ã®æ³¨ééãã«ã¦ ããã²ã¨ã¤ã®ã¨ã³ããªã¼ãé¢æ°åè¨èªHaskellã¨ã®é¢ä¿ãã«ã¤ãã¦ããã§ããã°éããããã«ï¼å¾ã§ï¼ã³ã¡ã³ããããã¨æãã¾ããâ¦â¦ ã¨ããäºå®ã«å¾ãã¾ããããæè¨ã追ã£ã¦æ³¨éãå ããã®ã§ã¯ãªãã¦ããã£ã¨ä¸â¦
ã代æ°ç³»ã¨æºååååã®çµµãæãã¦ã¿ã¾ãããã«ã¦ï¼ åè«ã®æ¦å¿µãç¨èªã§å°ãæ°ã«ãªãç¹ããããã§ãããããã¯æ¬¡ã®æ©ä¼ï¼ãããã°ï¼ã«ãã¾ãããã éãããã¨ãã次ã®æ©ä¼ãã¯æ¶ãã¦ç¡ããªããããã ãããã¨ãæ¥ãæ¸ãã¦ããã¾ããã¿ããã¾ãããã®ã¨ã³ãâ¦
æï¼ãæªå±±ããã®ãããã¨ããåã¯ãããã§ããããããï¼ãã¯ããããã§ãããæï¼ããããã£ã¦ãæ¨æã§ã¯ããæé«ã§ããããããï¼ããã¼ããããªãã§ãããããæï¼ãé«ç´æ¨æã§ããï¼ é¦ããç´ æ´ãããã§ãããããï¼ãããããï¼ææ§ã«ï¼æï¼ãããã風â¦
ã¿ããã¾ãï¼id:Mizusumashiï¼ããã®ã¨ã³ããªã¼ï¼ãåè«ã¡ã¢ãã¨ãé¢æ°åè¨èªHaskellã¨ã®é¢ä¿ãï¼ãããã©ãã¯ããã¯ãããã ãã¾ããããªããªãåãå ¥ã£ãã¨ã³ããªã¼ã ãªãã¨æå¿ãã¾ãããå°ãå¿çãããã®ã§ãããã³ã¡ã³ãèã«æ¸ãã«ã¯é·éããã®ã§ãã¨ã³â¦
次ç·ï¼æªå°±å¦å ï¼ããã風åã§ãã¼ããéå½ã«è¡ããã¨è¨ãåºãããããã§ãã¨ããããä¿è²åã«ã¡ã¼ã«ãåºããããã¨ãç¶ãã©ããªã¡ã¼ã«ï¼ãåãã¼ãã¯éå½ã«è¡ã£ã¦åãã®ã§ãä¿è²åã¯ããã¾ãã*1ç¶ãã¯ãï¼ ãªãã§éå½ãªã®ãåãæ¥æ¬ã ã¨åä¾ã¯åãã¡ãããâ¦
ã³ã³ã©ãã³ã§æ¯å»è ã«éã£ã¦ããããã§ãããæ²»çããã¨ãããããºããï¼ãã¶ãï¼ãä»æ¥ããéé¢ã
ãhiyama{at}chimaira{dot}orgãã¨ãæ¸ãã¦ã¿ã¦ãããã®ç¨åº¦ãªãæ¤åºããã¦ãã¾ãã®ããªï¼ ãªãããã¹ãã å¢å ä¸ã9å²ä»¥ä¸åºä¼ãç³»ãµã¤ããã§ãããªãªã¢ãªã¯ã¤ã»ã©ã®ã¤ã³ãã¯ãã®ãããã®ã¯ããã以æ¥ãç®ã«ããããªããªã¼ãã¾ã¼ãå²ã¨ç¬ããã®ã¯ã ç´è±ãã¤â¦
æ¨æ¥ã®ãå¼±ãã©ã ãè¨ç®ã®æ ¹æ ã¨ããã«ã¦ï¼ Î-1:C([A, B], [A, B])âC(AÃB, B) ã¨ããéä¼´ãä¸ããååãèªç¶å¤æï¼ã®æåï¼ã§ãããã¨ãããèªç¶æ§ãï¼é©å½ãªã»ããã£ã³ã°ã§ï¼é²éª¨ã«æ¸ãä¸ãã¨ãå ã®çå¼ãå¾ããããâ¦ä¸ç¥â¦ èå³ããããã¯ãé©åãªç·´ç¿åé¡â¦
ãããããã¡ã¢ç·¨ã«ã³ã½ã³ã½æ¸ããã¨ã«ããã»ããè¯ãããã ãã©â¦ ãã¢ãã¤ãåãè±é¥åãéåã¨å é¨ãã ãã¨ãéåãå¼±ãã©ã ãè¨ç®ãå¼±ãè«çãã«å°ãã¯é¢ä¿ããããããã¡ããæ¬ç·¨ã«ã(C, Ã, I, Ï)ã対称ã¢ãã¤ãåã¨ãã¾ãï¼Ïã¯å¯¾ç§°æ§ï¼å ¥ãæ¿ãï¼ãè¨å·â¦
ã³ã¡ã³ãæ¬ã«ã¯æ¸ãã¦ãããã®ã§ãããé ãã°ããªããã¨ã³ããªã¼ã§ããç¥ãããã¾ãã2007-02-24ã«ãã¯ã¦ãªããã¡ã¼ã«ãæ¥ã¾ããã m-hiyamaããã®è¦æãå®è£ ããã¾ããã http://i.hatena.ne.jp/idea/13877 ã¨ããããã§ããã¯ã¦ãªã®ç·¨éãã¨ã¹ã±ã¼ããå¤ãâ¦
空ç®ãããå£ã«ãÃÃà BLOGãã¨æ¸ãã¦ãã£ã¦ãã»ã¼ããã®ããã°ã®å®£ä¼ã¯éåãªããã ãªã¼ãã¨æã£ããã©ã ÃÃà BLDGï¼ãã«ãã£ã³ã°ï¼ã®çæ¿ï¼å»å°ï¼ã§ããã