プロシン二日目

朝一の発表だったので、昨晩はほどほどに。でも、昨日からお腹の調子がいつものように悪くて、トイレと往復してました。

どう発表しようか迷ってたんだけど、モナド中心にしました。もっと、Agda よりにするべきだったか。 明日は学生の発表。

今回は食事もまとも。お風呂も気持ちが良い。発表も面白いです。プロシンは、どんな風にプログラミングを楽しんでるかという報告でもあるな。