tkhの日記： Fall Break

昨日今日と秋休み。

SML/NJでのInt64の実装方法を考えていたのと、次のプロジェクトであるMartelli-MontannariのUnificationアルゴリズムの実装方法を考えていて1日がつぶれてしまった。あとは、来週のカンファレンスでの発表の練習もしないといけないけれど、これは日曜日の午後に研究室仲間とする予定。

明日は、仲良くしているアメリカ人家族の息子がフットボールの試合に出るというので、それを観に行く。その後は、辺りでハイキングをして夕食を一緒にするという感じになりそうな予感。

勉強の疲れが取れればいいけれど。。。