レイトン教授ã§å§‹ã‚る�Alloy Analyzer入門 - osiire’s blog8月15æ—¥ã«ã‚®ãƒ¼ã‚¯ãƒãƒ¼ã§ä½¿ã£ãŸè³‡æ–™ã‚’アップã—ã¾ã™ã€‚ レイトン教授ã§å§‹ã‚る�Alloy Analyzer入門 View more presentations from osiire 資料ã«å‡ºã¦ãる３ã¤ã®å•é¡Œã®Alloyã«ã‚ˆã‚‹ãƒãƒ¼ãƒˆã‚³ãƒ¼ãƒ‰ã¯æ¬¡ã®é€šã‚Šã§ã™ã€‚ã•ãã€ã‚ãªãŸã‚‚Alloyã§ãƒ¬ã‚¤ãƒˆãƒ³æ•™æŽˆã®æ”»ç•¥ã‚’始ã‚よã†ï¼ //No50 enum Cow { A, B, C, D, E } sig Liar in Cow {} { #Liar = 3 } // ソーウ種ã¯ï¼“匹 pred whoIsLiar { not A in Liar iff D in Liar not B in Liar iff C in Liar not C in Liar iff not A in Liar not D in Liar iff E in Liar not E in Liar iff B in Liar } run w
{{#tags}}- {{label}}
{{/tags}}