Leanの勉強会面白かったです。

勉強になりました。途中試行錯誤してなんとか証明ができたのに、どうやったらこれが自分で作れるのか考え方が全然わからんかった序盤のところ、見たことのある俳人が現れて、わしが求めているいい感じの説明をくださったのでよくわかった。

Leanの証明の書き方を否定とからめるのがさっぱりわかってなくて手間取ったのでした。その後よりも序盤のその否定の部分がわしには難しかったです。