Yunosuke Yamada6 years ago圏論とコンピュータサイエンス / Category Theory and Theoretical Computer Sciencespeakerdeck.com