2011-07-01ãã1ã¶æéã®è¨äºä¸è¦§
ãããã£ããæ¾ç½®ãã¦ãã¾ã£ã¦ããã¯ã¦ãªã§ããããããã«ãã®è¨äºãæ¸ããªãã¾ã¾æ¾ç½®ããã®ã¯ã¾ãããã®ã§ä¸è¨ã ãæ¸ãã¦ããã¾ãã"Software Abstractions"ï¼é称Alloyæ¬ï¼ã®é¦è¨³ãã¾ãããç¾å¨ãå ¨å½åæ¸åºã§çºå£²ä¸ã§ããæ½è±¡ã«ããã½ããã¦ã§ã¢è¨è¨âAlloâ¦