モナド納涼会参加募集　8月21日(土)20：30開始＠渋谷

層圏トポス勉強会も一区切りがついたので飲み会をします。

今回は飲み会だけです。参加者募集します。

ビアガーデンでモナドについて語りませんか？ CLTT勉強会と層圏トポス勉強会の合同飲み会です。
圏論、モナドに興味ある方は是非参加してください。酒、ビールを片手にわいわいガヤガヤ。そんな時間はpriceless。
お店の関係で人数を確定しなくてはならないので、参加希望者は登録してください。
~~登録期限は8月17日まで~~　当日まで参加募集。

今後の予定
8月はモナド納涼会だけです。
9月11日に4章、直観論理からの再スタートします。4章は自習してきてください。自習を前提に理解の確認をします。
9月25日から5章、高階直観論理をやります。