Alloyで知識論理を使って論理パズルを解く- ヒビルテ (2008-02-04) うーん、命題を指標にするのかー。と感心しつつ、自分も眠気覚ましに解いてみました。途中様相論理をものすごく使いたくなったけど、敢えて使わない方針で。ちょっと嘘くさいんだけど。 -- …