結局、14:30頃からスタート。
今回は檜山さんに倣って、お絵かき演算で解いてみる。そしてお絵かき算２級を取得。わーい。
今日描いた絵はここに置くちょっと小さいかな…？。時間があったら少しずつ解説などつける。簡単な例として、
g o Λ-1(f) = Λ-1(Λ(g o eval) o f)
を示せ、という問題があったりするわけですが（o は関数の合成、Λはカリー化）、これをまっとうな圏論で解くと
こうなる。
これをお絵かきで解くと、こう。画像を大きめに変えてみました。茶色いメモパッドに書いたのをスキャンしたので、見にくいかも…
上から２番目の絵が左辺、３番目が右辺（の大外のΛ-1を外したもの）。３番目を４番目→２番目と変形すると同じになる。
実際、やってる事は上のまっとうな解き方とほぼ同じ。
白黒画像も再アップ。
