ç§ã«ã¯é¢ä¿ã®ãªã話ã§æ縮ã ããé«å¦æ´ã¯ã¼ãã³ã°ãã¢ã«é¢ãã¦æãã¨ãããæ¸ãï¼ç¹æ®ãªäºæ ã«ããããã®è©±é¡ã«ã¯é¢ä¿ããªãã®ã ãããã®ãããã®ãã¨ã«é¢ãã¦ã¯ï¼æãããã«æ¸ããããããªããæ¸ããªããããããªãï¼ã ä¼æ¥ãå士ãæ¡ãããããªãã¨ãããã¨ã«é¢ãã¦ããã¨ã®çå½ãç§ã¯ç¥ããªããç§ã®å¨ãã§ã¯å士å·ãã¨ããã«éå¦ãã¦ãã£ã人ãå°±è·ã¯ãã¦ããããå士ã®ã¨ãã«æ¥ç¸¾ããããªãã£ã人ãå°±è·ããã¦ãããããã¯ç§ã®ç¥ãåãã«æ å ±å·¥å¦ç³»ã®äººãå¤ããããªã®ãããããªãããç§ã«ã¯é«å¦æ´ã¯ã¼ãã³ã°ãã¢ã®å®æãããã¦ããªããã ãããããããæ¸ããã¨ã¯ããç§ã®ç¥ããªãã¨ããã§ä¼æ¥ãå士ãæ¬é ãã¦ãããã¨ãããã¨ãåæã¨ããã ä¼æ¥ãå士ãæ¡ããªãã®ã¯ãå°ãªãã¨ãäºã¤ã®çç±ãããã ãããä¸ã¤ã¯å¹´é½¢ãé«ãã¨ãããã¨ãããä¸ã¤ã¯å士ã«ä¿è¨¼ããã¦ããè½åãä¼æ¥ãå¿ è¦ã¨ãã¦ããªãã¨ãããã¨ã å¹´é½¢ãé«ããã¨ã«é¢ãã¦ã¯ããã§ã¯èª
Programming in Haskell ãã¼ã¸ã¸ãããã ãã®ãµã¤ãã«ã¤ã㦠ãã®ãµã¤ãã¯ãHaskell ã§ããã°ã©ãã³ã°ã楽ããããã®ãµã¤ãã§ãã ç¾å¨ã®ã¨ãããWiLiKi ã¨ããWiKiã·ã¹ãã ã§éç¨ããã¦ãã¾ããWiLiKiã®ä½¿ãæ¹ã¯ã WiLiKi:WiLiKi:ãªãã¡ã¬ã³ã¹ããã¥ã¢ã«ãåç §ãã¦ãã ããã ã¡ã¤ãªã³ã°ãªã¹ã ãHaskellããã°ã©ãã³ã°ã楽ããããã®ãã¡ã¼ãªã³ã°ãªã¹ããããã¾ãï¼ MailingListã®ãã¼ã¸ãã覧ãã ããï¼ ãã£ãã ãHaskellããã°ã©ãã³ã°ã楽ããããã®ããã£ããã»ã«ã¼ã ãããã¤ãåå¨ãã¾ãï¼ ChatRoomã®ãã¼ã¸ãã覧ãã ããï¼ ãµã¤ãããã Introduction Haskell ã¨ã¯ Definition ä»æ§ã¨æ¨æºã©ã¤ãã©ãª Tutorial ãã¥ã¼ããªã¢ã« ããããHaskellå ¥é ã¢ããã®ãã¹ã¦ ãªãé¢æ°ã
ã¯ãã¼ãºã¢ããç¾ä»£ãã«ã£ã½ãã®âé è³âã¯ããããããè¦æ©ããå士ãã¡ãã ãããã話ã¯ããæ°å¹´æ¥ç¹°ãè¿ããç¹°ãè¿ããç¹°ãè¿ãè«ãã¦ãã¾ãããã§æ£ç´é£å·æ°å³ã§ããããã³ããªãºã ããããã°ã®ééå³ã£ã¦ãã¨ã§ããä¸åº¦ã ãã¡ãã§ãæ¸ããããã«ãåºæ¬çã«æ¹æ³ã¯äºã¤ã ä¾çµ¦ãæ¸ããã éè¦ãå¢ããã ããã ãã§ãã ã¾ãæ°å¹´åã¨éãããã¹ãã¯åé¡ãªã©å士é²å¦ã®ãªã¹ã¯ã¨ã³ã¹ãããããä¸ã§å®¹æã«ç¥ããã¨ãã§ãã¾ãã®ã§ãä¾çµ¦ã¯èªç¶ã«æ¸ã£ã¦ããã¨æããã¾ã*1ã ãã ããããã¯ãå½ã®ç®è«è¦ã¨ã¯éã®å¹æãããããã¾ãã å士é²å¦ã«ã¯ãææ¥æããã³ãã®éä»®ã«å°±è·ãã¦ããå ´åã®æ©ä¼è²»ç¨ãåãããã¨åªã«ä¸åä¸ãè¶ããã³ã¹ãããããã¾ãã ãã®ä¸å¹´é½¢ãä¸ãããå°±è·å ãå¶éããããä»»æä»ãã®è·ã§åå°ã転ã ã¨ããªããã°ãªããªããããããªããç 究å¡ã¨ããåã®æ´¾é£ç¤¾å¡ã«ãªãå¯è½æ§ãé«ãããã³ãã£ã¼ã ã£ã¦æ¥æ¬ã¯æ£ã ã *2ã ã
ãããã³ã«ã¨ã¤ã³ã¿ã¼ãã§ã¼ã¹ã®æ¯è¼ http://d.hatena.ne.jp/carver/20071202#p1 ãã£ã±ã両æ¹ã使ã£ã¦ãã人ã®æè¦ã¯åèã«ãªãã ãã ãããã§ææããã¦ãããinterfaceã¨protocolã®éããã¯ãæ£ç¢ºã«ã¯ãJavaã¨Objective-Cã®éããã§ã¯ãªãã ããããã¾ãææããã¦ããéãã¯ããinterfaceã¨protocolã®æ¬è³ªçãªéããã¨è¨ããã ãããã 以ä¸ã詳細ã å®ç¾©ã§ããè¦ç´ ã»ã¤ã³ã¿ã¼ãã§ã¼ã¹ å®æ°ãã¡ã½ããããã¹ãããã¯ã©ã¹ã¨ã¤ã³ã¿ã¼ãã§ã¼ã¹ ã»ãããã³ã« ã¡ã½ãã ã¤ã³ã¿ã¼ãã§ã¼ã¹ã¯ã¯ã©ã¹-2ï¼ã¤ã³ã¹ã¿ã³ã¹ãçæã§ããªããã¡ã½ãããå®è£ ã§ããªãï¼ã®æ©è½ãæã¤ãã¤ã³ã¿ã¼ãã§ã¼ã¹ã¨å¼·ãé¢é£ããã¯ã©ã¹ãã¤ã³ã¿ã¼ãã§ã¼ã¹ãããã¹ããããã¨ã§å®ç¾©ã§ããã ä¸æ¹ãããã³ã«ã¯ã¡ã½ããããå®ç¾©ã§ããªããJavaã¨ç°ãªããObjCã®ã¯ã©ã¹ã¨ã
ã¿ããã¾ãããããä¸è¨ã§ã¯ãããã«ããã質åã»ãæè¦ãããã ããã®ã§ããã®æ©ä¼ã«æ°ããã¨ã³ããªã¼ãæ¸ãã¾ããèªåç¨ã¡ã¢ãå ¼ãã¦ããã以åæ¸ããã¨ã³ããªã¼ã¸ã®ãªã³ã¯ãããããå«ãã§ãã¾ãã ããªãã§å¤éç¶æ¿ã¯ãããªã«å«ãããã®ãï¼ ã¡ãã£ããåæãã¦ã¿ãããã«ããã¦ããªã¹ã³ãã®ç½®æååãå¼ãåãã«åºãã¾ããããªã¹ã³ãã®ç½®æååã«ã¤ãã¦ã¯ããã¯ã©ã¹ç¶æ¿ããªã¹ã³ãã®ç½®æååãé¨åéåã®åãã§ãè¿°ã¹ã¦ãã¾ãããããåã¯ããªã¹ã³ã女å²ãæ¬æ¥ã©ãããæå³ã¨è¡¨ç¾ã§ãã©ã®ãããªè¨æãããããæ£ç¢ºã«ã¯ç¥ãã¾ãããéæ¥ä¼èã§èª¤è§£ãã¦ããããã ã§ããããæ¬æ¥ãã®è©®ç´¢ã¯ããã¨ãã¦ãããªãã¼ã ã¨ãµãã¿ã¤ãã¨ç½®æååãã«ã¾ã¤ããç¶æ³ãå®ä¾ä»ãã§èª¬æãããã¨ã«ãã¾ãããã¤ã³ã¹ãã£ãã¥ã¼ã·ã§ã³ãã¨ããè¨èã表ã ã£ã¦ã¯åºãã¾ããããåã®æ°æã¡ã¨ãã¦ã¯ãã¤ã³ã¹ãã£ãã¥ã¼ã·ã§ã³å ¥éãæå³ãã¦ãã¾ããããã£ã¨åçè«ãã®ç¶ãã¿ã
é«æ ¡çã®ããã®å¾®åå¹¾ä½ (differential geometry for dilettantes)ãããããµãã¼ æè¿ã®æ´æ°ï¼ï¼06/8/06ã å¤æ§ä½ã®æ¥ç©ºéæ§é ãæ¥ãã¯ãã«ï¼ãã¯ãã«å ´ï¼ãã¢ãã£ã³æ¥ç¶ã®å ¬ç ãã¼ããä¸ç¹ã«å½ã¦ã確çãåã¯Îµâδè«æ³ãçã£ããã¨ãããã?ãå¿ è¦ãªäºåç¥èãé¸æé¢æ° ã¨ç´ç© ãã£ã«ã¿ã¼ã¨ç¹åã®æ¡å¼µã è¶ å®æ°ã®åºç¾ã¨ç¡éå¤§æ° ååã®æ´æ°ï¼ï¼06/8/30 ãã¯ãã«å ´ã®è¨äºãå çããèªã¿ããããããâãã¢ã³ã«ã¬ç¾¤ ã®çæåãç¶ç·¨ãæ¸ãç´ãã è¶ æºè§£æã®ãã¿ã¤ãçè«(ã¾ãããã«é¡ãããã®)ãç¨ããªãå®å¼åãæã£ãããé£ããã ä»åã®æ´æ°ï¼ï¼06/9/03 ã¿ã¤ãçè«ãç¨ããªãå®å¼åããããããããã¯ã人éãè«çå¦ã®ã¤ãã©ã«åããã¦ãã以ä¸ã ç§ã¯è«çå¦ã®éçãæãã¿ã«åºããã°ãªããªãã®ã ï¼ãè«çããæ§é ã¸ãæ§é ããå®å®ã¸ ãããï¼ï¼ä¸ç´ã¯éåè«çã®æ代ãª
çµã¿è¾¼ã¿ã½ããã¦ã§ã¢ï¼ãã¼ãã¦ã§ã¢éçºã«ãããæè¡åã®åä¸ãæ¹åã»æé©åãªã©ãå¹ åºãæ¯æ´ããâçµã¿è¾¼ã¿éçºã¨ãã¹ãã¼ãâã®ããã®æ å ±ãã©ã¼ã©ã
æçµæ´æ°æ¥ï¼2005/04/08 â æ¬ãµã¤ãã«ã¤ã㦠æ´æ°æ å ± æ¬ãµã¤ãã®èª¬æ ãµã¤ãããã ãååã â ã³ã³ãã³ã ç®æ¬¡ä¸è¦§ â 質åã»æè¦ æ²ç¤ºæ¿ â è³æ VDM-SLãã¡ã¤ã« æç§æ¸ä¸å³ â ãªã³ã¯é é¢é£ãã¼ã ãã¼ã¸ ãã¼ã« â ãã®ä» 誤æ¤è¨æ£ ã¢ã³ã±ã¼ã [email protected] Copyright© 2002-2005 webmaster Xiaojing Zhang All Rights Reserved.
ããä½å¹´ãèãã¦ãããã¼ãã®ã²ã¨ã¤ããã«ã¸ã¥ã¢ã«ãªãã©ã¼ãã«ã¡ã½ããï¼èªç¾©çç¾ã¯æ¿ç¥ï¼ããªãã§ãããä¸é£ã®{ãã¹ã(Test), ä»æ§(Specification), æ¯ãèã(Behaviour/Behavior)}é§åéçºãªãã¦åãã¯ãã«ã¸ã¥ã¢ã«ãªãã©ã¼ãã«ã¡ã½ãããªãã ã¨åã¯æãã¦ããããã§ãããããä¸æ©è¸ã¿è¾¼ãã§æ¬²ããæããéé´æ»çã®ä¸æºãããã¾ãã ããã§ã¡ã¤ã¤ã¼ã«æ»ã£ã¦ãå¥ç´é§åãã¨ãããããã¯ãæ¤è¨¼é§åããªãã¦è¨èã使ã£ã¦ã¿ããã©ããã³ãã«é§åã«ã¯é£å·æ°å³ã"Offencive Programming"ã¯ããæ»æçããã°ã©ãã³ã°ãã¨è¨³ãããã¨çæãã¾ã£ããä¼ãããªããããã ç´ä½æ²æã®æ«ãããã¥ã¢ã«ããã°ã©ãã³ã°ãã£ã¦è¨èã使ããã¨ã«ï¼æ«å®çã ãã©ï¼æ±ºãã¾ãããããã¦ã¨ã¯ã½ã·ã¹ãã²ã¼ã ã¯ããã¥ã¢ã«ããã°ã©ãã³ã°ã説æããããã«æ¡åºããâ極端åããæ¯å©âã§ãã å å®¹ï¼ è¨è¨ï¼ä»
åãµãã¯ãåâ代æ°ââ¦ããããï¼åçè«å ¥éï¼ã®ååï¼ãã«ããã¾ããããã¯æ¬ç·¨ï¼å¾åï¼ã1åèªã¿åãï¼é·ããã©ï¼ã§ãæ¯è¼çæ°ãã*1åçè«ãç´¹ä»ãã¾ãããå ¥éï¼éã«å ¥ãï¼ãã¨ããããã¯éã®å¤ããä¸ãè¦ãã¦ã¿ãç¨åº¦ã 説æç¨ã³ã¼ãã¯Javaã®æ§æã使ãã¾ãããã ããããã±ã¼ã¸å®£è¨ã¯æ¸ããªãããpublicã¯ãªãã¹ãçç¥ã å å®¹ï¼ ã¤ã³ã¿ã¼ãã§ã¼ã¹ãªãã¦ãæè©®ãããªãã® å¿ççå¹æã¨ãã人é-人éã³ãã¥ãã±ã¼ã·ã§ã³ã¨ãã¯ãå¥åé¡ ããããããã¤ã³ã¿ã¼ãã§ã¼ã¹ã«å¶ç´ãä»å ãã ãã£ã¨å¶ç´ã足ãã¦ã¿ã è¬ã®ã¤ã³ã¿ã¼ãã§ã¼ã¹ã«æå³ããããã® ã§ããããåçè«ã«ã©ãã¤ãªããã®ï¼ ã¤ã³ã¿ã¼ãã§ã¼ã¹ãªãã¦ãæè©®ãããªãã® ã¾ãã次ã®ã¤ã³ã¿ã¼ãã§ã¼ã¹ãè¦ã¦ãã ããã interface AB { int a(); void b(); } ããã¹ã´ã¤ã§ãããä½ãã¹ã´ã¤ã£ã¦ããããè¦ã¦ããªãã®ãã¨ãããµãããªãã
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}