ãã¡ããã¯ã2018å¹´2æã«è²·åãããããããã³ãã£ã¼ã®ã©ã¤ããããã£ã¯ã¹ã伸縮å¼ã®æ©æ§ãæ¡ç¨ãããã¨ã§ããããã®èé¢ç¯ããªãããçã¹ãã¼ã¹ã«è¨ç½®ã§ããååãããããCOROããææããï¼å³1ï¼ã ãã¨ã¿èªåè»ãå¤é£å¤§æã®åéå®¶ããã¤ã¤ã«ãã¹ããªã©ãç¸æ¬¡ãã§èªç¤¾å·¥å ´ã»åºèã¸ã®æ¡ç¨ã決å®ãããªã©ã注ç®ãé«ã¾ãã¤ã¤ããï¼å°å ¥äºä¾ã®è¨äºï¼ã ãã®ã©ã¤ããããã£ã¯ã¹ã¨ãããã³ãã£ã¼ãå®ã¯ããããã®ãã¼ãã¦ã¨ã¢é¢ã ãã§ãªããããããã«çµã¿è¾¼ãã½ããã¦ã¨ã¢ã®é¢ã§ãããã®éçºã«ããã¦å é§çãªã¢ããã¼ããåãå ¥ãã¦ããããããã形弿æ³ï¼formal methodsï¼ãã§ããã 形弿æ³ã¯æ¥æ¬ã§ã¯ãã¾ãç¥ããã¦ããªãããã·ã¹ãã ãã½ããã¦ã¨ã¢ã®ä»æ§ãå³å¯ã«è¨è¿°ãã仿§ã®å質ãé«ããããã®ææ³ã§ããï¼å½¢å¼ææ³ã«ã¤ãã¦ã¯ãçè ã2005å¹´ã«å·çããç¹éè¨äºãã½ããã¦ã¨ã¢ã¯ç¡¬ãããåç §ï¼1ï¼ãããã°ã©ã ãªã©å®è£


{{#tags}}- {{label}}
{{/tags}}