Coq に興味を持ってくれるとうれ C

例によって金曜日なので 1 日予定が詰まっているがとくに変わったこともなし.

B4 の卒研テーマの希望を色々聞いたが,グラフ系が多いっぽい? 意外にビジュアルプログラミングは人気なし.そして,1 人 Coq に興味を持っているっぽいのがいてうれ C(が,Coq について何かを勘違いしているだけの可能性がある)

閑話休題ICPC 国内予選の本番が近づいてきて,勉強会をそろそろ本格化させましょうということで,解説などをちゃんとやっていく.今回は 2 問とも簡単な問題の解説.だがしかし,毎週これがあると思うと大変だなあ.こっちの勉強にもなるので,まあ,いっか.

それにしても,スライド作りとかのフットワークが軽い人が羨ましい….

閑話休題.なんか土日も含めて結構予定が詰まっていて,歩きにいくタイミングがなかなかない.ちょっと無理にでもどっか空けて歩きにいきましょうかね.