社内で開かれた圏論の勉強会に参加しました。圏論とは数学の理論のひとつでコンピューターサイエンスとも関わりの深い理論です。勉強会は『Basic Category Theory for Computer Scientists』という本を輪読するもので、毎回担当者を変えて一冊通読するという…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。