osiire https://blog.hatena.ne.jp/osiire/ osiire’s blog https://osiire.hatenablog.com/ 8月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 … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fosiire.hatenablog.com%2Fentry%2F20110829" title="レイトン教授で始めるAlloy Analyzer入門 - osiire’s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-08-29 00:00:00 rich https://osiire.hatenablog.com/entry/20110829 1.0 100%