猥雑な話で怒られそうなので恐縮ですが、オークが女騎士に怪しい薬を盛るというパズルがあったので、最近興味を持っていたAlloyでモデル検査をしましょう。 gist.github.com 解を図示するとこうなります。 Alloy初めて触ったのですが面白いですね。ところが…