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

■

午前はよく晴れ、暖かい。しかし日が暮れるととても寒い。 起床は9時、最近この時間が標準になってしまった。出勤してコード書き。型チェックに何度か失敗し、その度にKtさんに泣きつく。とりあえず、やっと、暫定的に述語論理はパスするが、今度は様相論理…