2005-01-18 ■ 日々 集合論の授業、最終回。それからゼミ。その後、新年会。学部ゼミとの合同なので、少しだけ学部生とふれあう。二次会までいて夜遅く帰る。ほほー、F氏の修論はSheaf Semanticsですか。さすがです。・・・来週はレジュメとかで大変なことになりそうな予感。