神奈川大学圏論勉強会 https://gist.github.com/kino3/37ee4c6e2d57e490bed6というのを作って、圏論の勉強をはじめた。JCLoveという怪しい感じのネーミングにしてみた。NAISTの修士時代、去年5月ぐらいからNAIST時代の先輩とリモートで勉強会をやろうとした…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。