冬休みも終わり

思ったよりは長かった冬休みももう終わり。例年の冬休みと比べると驚異的な真面目っぷりであった気がする。

コンパイラはバグを取って最適化を進めた。サーバーは静音化してディスク容量が増えてミラーリングされた。親知らずを一本抜いた。

が、コンパイラの最適化は数値目標をクリアできなかった。ちょっとはやろうかと思っていた連続系は全くやらなかった。復習でもするかと思っていた講義内容はラムダ計算を除いてなにもせず。

まあそんなものかもね。明日から講義だが、冷静に考えると1日1コマなのでそれほど負担ではない……のだが、早朝10時からという時間帯が実に負担である。とりあえず寝よう。