>>794
Alloyを使って最初に試しそうな問題だな。
その妥当性を確かめるにはどのようなassertを入れればいいかとか、正しく
動作するようにするためにはどのような仕様(制約)を追加すればいいかとか。