プロシン2日目

なんか、証明系関連の発表が多い

地道にプロシンで、Agdaの発表を繰り返してきた成果か?! といいつつ、みんな Agda 以外のものですが

雪も、雪かきしたところはなくなってる

学生に「論文管理何使っている?」って、聞いたら「Zotero」わかってるじゃん

お風呂も食事も結構よい

お風呂に入りつつ、発表聞きつつという正しいプロシンの使い方をやってます