2007-11-27から1日間の記事一覧

second

池に同情の涙を禁じ得ない。

ポップン

昼と夜に1クレずつやったのだが、夜はまたしてもマッチングせず。過疎化が進んでるのか。 昼は、リーグが1つ上がったはずだが、これまた1曲も負けることなく完勝。 一応5連勝ということになるが、ちょっと手応えなさ過ぎ。みんなもう上にいっちゃったの…

JOKER

うちのベタルールであるところの、正解誤答で1枚トランプを引いてどうのこうのという系。 今日はその他のルールはともかく、JOKERを引いたら、2年以下は即抜け、3年以上は即トビ。 1枚目でいきなりJOKER引くっていうね。正解したのに即トビとか…*1 数問…

M0?

最近サークルに加入したらしい院生と初対面。というか聞くところによると、 9月に卒業して来年の4月からこっちの院に入ることが決まってる状態らしい。 例会中の気になった問題を手元のメモに残してる辺り、今一番やる気がある気がする。 というか厳密には…

UPPAAL

今日もUPPAALと格闘してたのだが、どうしても欲しい結果が出せない。 次善策として、正しく動いていることを証明するには弱いけど、 この結果が出てるならまあ大丈夫だろうという検証結果を出すことはどうにかできた。 でもこれじゃあかんと思うんだがなぁ。…

床屋

せっかく休みだったこの前の土曜に行き忘れたので、休みでもないのに今日行くことに。 来月は土日がほぼ完全に埋まってることを考えると、そうでもしないと行く暇がない。 思いっきりさっぱりしたが、床屋のおっちゃんが最後にセットしてくれた髪形がオール…