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

前にも書いたかもしれませが…よく大学改革の文脈で「教育機関と研究機関をわけるべきだ」という主張があります。（某高校の文化祭の「討論班」で、いろいろな有名人にアンケートを送りつけたことがあるのですが、たとえば栗本慎一郎氏がそう答えていました。…

もうskallerは投稿禁止にしても良いんじゃないかと思った。とか過激発言。