2012-04-26から1日間の記事一覧

Alloyでそれなりの難易度の論理パズルを生成

Alloyを使って生成したパズル Q1 E: AとBは嘘つきだよ B: え、Aは嘘つきだけど僕は違うよ A: 私だって嘘つきではないわ D: Aは嘘つきだよね。あとEも嘘つき。 C: 僕は嘘つきではないよ!! この中に嘘つきが2人います。嘘つきは嘘をついたり本当のことを言っ…