昨日のコロキウムの準備のため，前夜４５分しか睡眠をとらなかったら，今日は１１時過ぎての起床となってしまった． 昨日の午後はN先生の会社の人も来る．要は午前と午後，２つのコロキウムだったわけだ． 今回のコロでは，イントロを大幅に変えてみた．いつ…