2011/08/31 台風で明日からしばらく雨っぽい. 土日の試合もできるかわからない. ので寝不足だけどサッカーしてきた. 気温が高い間にもう少し体重を落したい.
午後はユビレジに. Alloyの練習問題3.2-3.6くらいまでを議論. Forbid overflow の設定で 3.4 の結果が変わるのはよくわからない. yes にしていると 6人(以上?)で Instance が見つからなかった. 練習問題4以降は面倒なので, 本文を実際に打ち込むなどして復習したら Alloy は打ち止めとするつもり.
明日は Panpx #007 : ATND.