オフ会数学ロジック勉強会知り合い限定募集終了
天才ぴあのん先生のネコでもわかるcategorical logic

眼光のみ徒らに炯々とし太郎

1. 
   @mr_konn 参加します！
   ぴあのん　3186日前　
2. 
   categorical logicがテーマですが、基本的にfirst-orderです。あらかじご了承ください。
   ぴあのん　3186日前　
3. 
   筑波大なら行ける！
   lotz@Haskell㌠　3186日前　
4. 
   @mr_konn 興味あり！
   風兎@明石→京都, 旅の終わり　3186日前　
5. 
   Jacobs本（CLTT）みたいなcategorical logicはやらないです（そもそもよく知らない）。Makkai-ReyesのFOCLの系譜の話をします。
   ぴあのん　3186日前　
6. 
   @mr_konn 参加します！
   ワヘイヘイ　3186日前　
7. 
   @mr_konn 参加します！
   differential_engine　3186日前　
8. 
   @mr_konn キャパ的に無理とのことなので参加あきらめます！
   differential_engine　3186日前　
9. 
   不参加です。
   眼光のみ徒らに炯々とし太郎　3186日前