Alloyにも一応Evaluatorっていう対話的に値を観察するコンソールが付いているけども、出力された値をコピペ出来ないとか色々めんどくさくて、個人的にはもういっそJythonコンソールを突っ込んでしまえよと言いたくなるけど「お前がやれ」って言われそうでめ…

Alloyでミステリーのネタを作れないかな、とは前々から思っていたのだけどミステリーのテレビ番組を見ながら少し固まってきた Alloyでミステリーのネタを作るのは一足飛びにはモデリングできる気がしないので、まずは第二次誤信念課題でもモデリングするかな…