2009-06-13 Fri, 13 Jun 2009 weblog 今日の修業 大学院生 参考文献 京都大学さん素敵 Category Theory for Computing Science 欲しい