2010-03-01ãã1ã¶æéã®è¨äºä¸è¦§
å é±ã«ã¤ã¥ãã¦Eclipseã®è©±ã Ganymedeã®é ãEclEmmaã¨ãããã©ã°ã¤ã³ã使ã£ã¦ãã¾ãããããã使ãã¨JUnitã§ã®ãã¹ãã®ã³ã¼ãã«ãã¬ã¼ã¸ãã¨ããã®ã§ãæ°æã¡ããããªãã¾ãã ããããGalileo+TPTPã§ãã®EclEmmaãã¤ã³ã¹ãã¼ã«ããã¨ã¾ãã¾ãããããªãã¨â¦
èªåã®ã¤ãã£ãã¢ããªãã¡ãã£ã¨ãããã®ã§ã調ã¹ã¦ã¿ããã¨ä¹ ãã¶ãã«Eclipseã使ãã¾ããã æ§è½æ¸¬å®ãããããã«ãTPTPãã¿ã¤ããã®ã¯ããããã©ã調ã¹ã¦ããã¨æ¢ã«Eclipseã®ãã¼ã¸ã§ã³ã¯3.5(Galileo)ã«ãªã£ã¦ãã¦é©ãã ããã®ã¨ããJavaããã¯ããã¶ãâ¦
ây = 2x + 1âãâx = (y - 1)/2âã«å¤æã§ããããây=5âã¨ãããã¨ã§âx=2âã¨æãã¦ããããããªã½ããããªããã®ãã¨ãããã調ã¹ã¦ãããã¡ã«âsympyâã¨ããpythonããã±ã¼ã¸ãè¦ã¤ãã¾ããã ãã ãè¦ã¤ããã®ã¯ãããã®ã®ãä¸ã«æ¸ãããããªãã¨ãsympyã§å®â¦