Hatena::ブログ(Diary)

西尾泰和のはてなダイアリー

2012-04-10

[]Alloyまとめ

スライド

Alloyガール

その他

Q&A

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

TODO

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

教科書

投稿したコメントは管理者が承認するまで公開されません。

スパム対策のためのダミーです。もし見えても何も入力しないでください
ゲスト


画像認証

トラックバック - http://d.hatena.ne.jp/nishiohirokazu/20120410/1334024972
Connection: close