2006-01-12 日報 明日の授業(代講)の準備。悩んだ末にparametricityのお話に決めた。でも難しさとか長さとか、いまいち見積もれない… ゼミ。POPLで人が少ないので、進捗状況報告だけ30分。