8月15日にギークバーで使った資料をアップします。 レイトン教授で始める Alloy Analyzer入門 View more presentations from osiire 資料に出てくる３つの問題のAlloyによるチートコードは次の通りです。さぁ、あなたもAlloyでレイトン教授の攻略を始めよう…