2009-09-17から1日間の記事一覧
2009-10-10に、 Yoneda festival が開催されます。新たに圏論を勉強したい人向けの内容になりそうですので、Haskellのモナドで一度挫折を経験された方も、これを機にもう一度圏論に触れてみるというのはいかがでしょうか? 第一回層圏トポス米田フェスティバ…
2009-10-10に、 Yoneda festival が開催されます。新たに圏論を勉強したい人向けの内容になりそうですので、Haskellのモナドで一度挫折を経験された方も、これを機にもう一度圏論に触れてみるというのはいかがでしょうか? 第一回層圏トポス米田フェスティバ…