Alloyで様相論理
49 views
Skip to first unread message
tmiya
Apr 17, 2012, 6:00:15 PM4/17/12
to fm-f...@googlegroups.com
http://d.hatena.ne.jp/nishiohirokazu/20120418/1334678046
前回、知識を扱う様相論理の話をしましたが、信念を扱う様相論理の記事です。
やはりこの手のパズルとAlloyは相性が良いのかなぁ。
Reply all
Reply to author
Forward
0 new messages