圏論とプログラミング
https://speakerdeck.com/inamiy/category-theory-and-programming