久保先生のblogにある「数独を整数計画として定式化したら…」っていうのは，来週高専実習でやります．他にもののぐらむ (お絵かきロジック) やナンバーリンクもやる予定．

疲れたんでとりあえず寝ます．

Dagstuhlにつきました． 1週間みっちりと計算幾何の研究をします．