2009-09-10から1日間の記事一覧

"Truth theory and co-inductive definitions"

出席者6人、14:15〜15:15。プロジェクターがとても淡くて薄い上、15秒に一回点滅し、話にならない。結局残り時間15分になって別の教室に移動して再開(イギリスでは何が起こるか分からない)。 反応は…プロジェクターがひどかった割には良かったです、はい。…

ホチキスの針のサイズ

今日、院生室で印刷した論文をホチキスで止めようとしたら、どのホチキスにも針が入っていない。学生に聞くと、 どのホチキスも針のサイズが微妙に異なり、 従って全てのホチキスに針を補充するためにはそれぞれ異なる針を調達する必要があるが、それは難し…

本日の夕食はローストビーフ、付け合わせはニンニクと芽キャベツとエシャロットとジャガイモ(ホースラディッシュはなし)。オーブンで焼く