MLTL: æ©æ¢°å¦ç¿ãã³ãã¬ã¼ãã©ã¤ãã©ãª Introduction MLTLæ©æ¢°å¦ç¿ãã³ãã¬ã¼ãã©ã¤ãã©ãªã¯ï¼èªç¶è¨èªå¦çã¸æ©æ¢°å¦ç¿ãå¿ç¨ããç 究ãï¼ããèªç¶è¨èªå¦çã«é©ããæ©æ¢°å¦ç¿ææ³ã®éçºã容æã«ããããï¼YANSæ´»åã®ä¸ã§æ¸ 水伸幸ã¨å®®å°¾ç¥ä»ãä¸å¿ã¨ãã¦ä½ããã C++ ãã³ãã¬ã¼ãã©ã¤ãã©ãªã§ãï¼ç¹ã«ï¼ç³»åæ§é ãæ¨æ§é ãªã©ï¼èªç¶è¨èªã®æ§é ã表ç¾ããã®ã«é©ããæ§é ã«å¯¾ãã¦ï¼æ§ã ãªæ©æ¢°å¦ç¿ã¢ã«ã´ãªãºã ãå©ç¨ã§ããããã«è¨è¨ããã¦ãã¾ãï¼ è¨è¨ã®ç¹å¾´ã¨ãã¦ï¼ãã¼ã¿æ§é ã表ãã¯ã©ã¹ã¨å¦ç¿ã¢ã«ã´ãªãºã ã表ããã³ãã¬ã¼ãã¯ã©ã¹ãåé¢ãï¼ãããã®éãã¤ãªãã¤ã³ã¿ãã§ã¼ã¹ãè¨å®ãããã¨ã§ï¼æ±ç¨æ§ãé«ãã¦ãã¾ãï¼ããã«ããï¼æ°ãã«ãã¼ã¿æ§é ã¯ã©ã¹ãä½æããå ´åã«æ§ã ãªå¦ç¿ã¢ã«ã´ãªãºã ã¨ã®çµã¿åããã容æã«è©¦ããã¨ãã§ãï¼éã«ï¼æ°ããªå¦ç¿ã¢ã«ã´ãªãºã ãå®è£ ããå ´åã«ã¯æ§ã ãªãã¼ã¿æ§é ã¨ã®çµã¿åããã試
{{#tags}}- {{label}}
{{/tags}}