プログラミング言語の意味論と圏論 utr 2018-01-142018-02-09 0 京都大学の長谷川真人教授による「プログラミング言語の意味論と圏論」 Start reading プログラミング言語の意味論と圏論