VSTTEã¨ããå½éä¼è°ã®éå¬ãããã½ããã¦ã§ã¢æ¤è¨¼å¤§ä¼ã https://sites.google.com/site/vstte2012/compet åé¡æPDF ã«ææ¦ãã¦ãã¾ããã48æéã§5åã®ä»æ§ã¨å®è£ ãæ示ããã¦ããã®æ£ãããã¤ã¾ãåæ¢æ§ããé åã®ç¯å²å¤ã¢ã¯ã»ã¹ãããªããã¨ãä»æ§ãæºããã¦ãããã¨ãªã©ãããªãã§ãèªç±ãªãã¼ã«ã使ã£ã¦ããããæ¤è¨¼ãã¦ã¿ããï¼ã¨ããã³ã³ãã¹ãã§ãã ã¨ããããã§ãCoq ã§ãã£ã¦ã¿ã¦ãåå°½ãã¾ãããé£ããã§ããï¼ã³ã¼ãã ãè²¼ãä»ãã¦ããã¾ãï¼æåºã¯ãã¦ãªãï¼ã Problem 1 ã¨ãã bool ã®ã½ã¼ãã¢ã«ã´ãªãºã ã Coq ã§æ¸ããã®ã§åæ¢æ§ã¯ç¤ºããã¦ããã¯ã é åã¯ç¯å²å ã§ãããã¨ã証æããã¦ããæ´æ°ã§ããã¢ã¯ã»ã¹ã§ããªãä¾ååãªã®ã§ã¢ã¯ã»ã¹ãå®å ¨ãªã¯ã è¿å¤ã sorted ã§ãããã¨ã証æä»ãã®ä¾ååãªã®ã§å¤§ä¸å¤«ãªã¯ã å ã®permu
{{#tags}}- {{label}}
{{/tags}}