Alloy å‹‰å¼·ä¸ - 言語ゲーム最åˆã« Alloy ã®äº‹ã‚’知ã£ãŸã®ã¯ http://d.hatena.ne.jp/keigoi/20090210/p1 ã‚’èªã‚“ã§ã€é¢ç™½ãã†ã ã¨æ€ã£ãŸã€‚ã§ã‚‚ã€http://alloy.mit.edu/ ã®ã‚¦ã‚§ãƒ–サイトを見ã¦ã‚‚ã©ã“ã¸è¡Œã£ãŸã‚‰è‰¯ã„ã®ã‹åˆ†ã‹ã‚‰ãªãã¦ã€æ„味ä¸æ˜Žã™ãŽã¦æ”¾ç½®ã—ã¦ã„ãŸã€‚ã—ã°ã‚‰ãã—ã¦ã€åŒåƒšãŒç ”究㧠Alloy を使ã£ã¦ã„る事ãŒåˆ†ã‹ã£ãŸã€‚ã“ã‚Œã¯ç´ 晴らã—ã„。ã¨ã„ã†ã®ã‚‚ã€å‰ã‹ã‚‰ç§ã¯ Coq ã¨ã‹ã€CafeOBJ ã¨ã‹ã€è«–ç†ã£ã½ã„事ã«èˆˆå‘³ãŒã‚ã£ãŸã‚“ã ã‘ã©ã€å‘¨ã‚Šã«ã“ã†ã„ã†äº‹ã‚’話ã›ã‚‹å‹é”ãŒã„ãªã‹ã£ãŸã®ã§å¯‚ã—ã„æ€ã„ã‚’ã—ã¦ã„ãŸã‹ã‚‰ã 。æ£ç›´ Alloy ã®å¦™ã«ã‚ªãƒ–ジェクト指å‘風ã®æ–‡æ³•ã«é¦´æŸ“ã‚ãªã‹ã£ãŸã‘ã©ã€åŒåƒšã« Coq を勧ã‚るより自分㧠Alloy を勉強ã™ã‚‹æ–¹ãŒã¯ã‚„ã„ã¨æ€ã£ã¦ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’やる事ã«ã—ãŸã€‚â†ã„ã¾ã“ã“。 よã†ã‚„ã分ã‹ã£ãŸäº‹ã€‚Coq 㨠Alloy ã¯ä¸€éšŽè¿°èªžè«–ç†ã‚’使ã£ã¦ã„ã‚‹ã¨
{{#tags}}- {{label}}
{{/tags}}