2009-12-16から1日間の記事一覧

急に冷え込む。とても寒い日。 出勤して某書類。他に打ち合わせ、プロジェクトの概要について説明をする。終了後雑談となり、パースの論理式の古典論理での証明の話となるが、証明を思い出せず四苦八苦する(汗)。帰宅して夕食、昨日のクリームシチューにマ…