Alloyまとめ

まとめ

スライド

Alloyガール

その他

Q&A

  • フォントが小さい！ダサい！ → Optionメニューから変更できます
  • ソースコードのシンタックスハイライトが効かないので読みづらい→Alloyでは変数名にアポストロフィを使えるけど、それを使わなければjavascriptのシンタックスハイライトでおおよそOKっぽい。
  • (未解決) 述語は再帰呼び出しできないが、どうやって定義したらいいのか ref: Alloyでコンビネータ論理・続編
  • (未解決) Alloyのソースをいじってビルドし直すにはどうすればいいのか。
    • Evaluatorの出力がコピペが出来なくてめんどくさいのでなんとかしたい
    • Visualizeの結果を1枚1枚スクリーンショットを取るのはめんどくさいので連番画像で出力したい
    • KodKod fileがテンポラリファイルとして出力されるのをやめさせたい
    • 「コードをAlloy上で書いて、実行して、Viaualizerを開いて、XMLで出力」という流れがめんどくさいのでEmacsで書いてコマンドラインで出力させたい

TODO

  • アウトオブオーダー実行

教科書