« なんだか色々懐かしい件について | トップページ | 好みは変わるもので »

2008年5月15日 (木)

モデル化

密室をモデル化して解いてみようという発想はなかったぜ….

Alloyというモデル記述言語があるのですが,それを用いて記述されたモデルに対し適切な式を書いてやればそのモデルの一例や,存在しない場合に反例を図示させたりできます.

そのAlloyで密室やアリバイなどを適切にモデル化して定義してやれば矛盾なんかがあれば反例として出力させられるわけですね.

いやうみねこやってないけどさ.

そういう発想でいろいろモデル化してみるのも面白そうだ.

|

« なんだか色々懐かしい件について | トップページ | 好みは変わるもので »

コメント

コメントを書く



(ウェブ上には掲載しません)




トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/117147/41214611

この記事へのトラックバック一覧です: モデル化:

« なんだか色々懐かしい件について | トップページ | 好みは変わるもので »