Seeker's eye
Saturday, 11 January 2025
プロシン2日目
なんか、証明系関連の発表が多い
地道にプロシンで、Agdaの発表を繰り返してきた成果か?! といいつつ、みんな Agda 以外のものですが
雪も、雪かきしたところはなくなってる
学生に「論文管理何使っている?」って、聞いたら「Zotero」わかってるじゃん
お風呂も食事も結構よい
お風呂に入りつつ、発表聞きつつという正しいプロシンの使い方をやってます
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment