Basic Category Theory for Computer Scientists #2

イベント内容

はじめに

[Pythonおじさん; 元祖クラウドおじさん; Mathおじさん]のnakayoshixこと数学勉強会＠札幌代表の中村です。 皆さんこんにちは！

近年、HaskellやF#等の関数型言語や関数型プログラミングの人気が高まると共に、ここ札幌でも圏論(Category Theory)を一度基礎からきちんと勉強したいという方が増えているようです。やはりHaskellといえばモナド(Monad)、モナドといえば圏論という流れなのでしょう。F#では、コンピュテーション式(computation expression)、あるいはワークフロー(workflow)がそれに当たるようです。

そこで、このたび「Mathカフェ」シリーズと題して、いわゆる数学科のガチ・ゼミ形式の勉強会を開催することになりました。予習してくることが参加の前提となり、どこがわからないのかを事前に全て明らかにしてくるのがお約束です。とはいえ、鬼教官やマサカリストのような人は今のところ参加していないので、実際にはそんなに怖くありません。 (^_^;

勉強会の概要

• テキストは、“Basic Category Theory for Computer Scientists” を使います。Amazonではこちらから購入可能です。
• 第二回勉強会は、北海道ビジネスサポートセンターにて開催します。
• 参加費は、軽食とドリンク付きで、お一人様700円となります。

以上、よろしくお願い致します。

注意事項