2020-01-01から1ヶ月間の記事一覧

圏論の勉強会に参加しました

社内で開かれた圏論の勉強会に参加しました。圏論とは数学の理論のひとつでコンピューターサイエンスとも関わりの深い理論です。勉強会は『Basic Category Theory for Computer Scientists』という本を輪読するもので、毎回担当者を変えて一冊通読するという…