ããã°(iiyu.asablo.jpã®æ¤ç´¢) ãããã³ã¼ãã¼å
ã®æ¤ç´¢ ã§ãASAHIããã(asahi-net.or.jp)å
¨ä½ã®æ¤ç´¢ã§ãã æ¤ç´¢ãããè¨èã®ãã¨ã«ã空ç½ã§åºåã£ã¦ki4s-nkmrãå
¥ããã¨ããããã ä¾ãä¸æ(show) ki4s-nkmr ã¦ã§ãå
¨ä½ã®æ¤ç´¢ ASAHIããã(http://www.asahi-net.or.jp)ã®jouwa/salonãããããã³ã¼ãã¼(http://www.asahi-net.or.jp/~ki4s-nkmr/ )ã«è»¢è¼ãããã®ããã --- 2006/08/06ã®ãç´ç²é¢æ°åè¨èªConcurrent Cleanãã®ã¨ãã«ã ããã®åãä¹å¤§ã«æãã«è¡ã£ãã¨ããFormal Methodsã®æãå½ã®ç¬¬ä¸äººè
ã§ã ãèæ¨åäºéå
çããç´æ¥ã話ãèãã¦ãä»å
¥ãã¦ãã¾ãããããã¯ã次ã®æ© ä¼ã«ãã ã¨æ¸ãããã©ãæ ãã¨å¿ããã¨ä½èª¿ä¸è¯ã§é
ã
{{#tags}}- {{label}}
{{/tags}}