毎度おなじみ、圏論勉強会ではない方の圏論勉強会 第11回に来ています。資料とustreamは公開されています。 ワークスアプリケーションズさんに感謝 第11回: 指数対象・デカルト閉圏 / 講師 @9_ties さん 今日からはがらっと話が変わるので、前回までの話は忘…

今週も圏論勉強会ではない方の圏論勉強会 第10回に来ています。資料とustreamは公開されています。 とびいりの話は大歓迎なので、面白い話がある人は面白くなくても言って下さい 13回目もやる(12回だとモナドに入れない。最終回はモナド) ワークスアプリケー…

今年のYAPC Asia 2013にはTypes and Perl Languageというタイトルで話をしようと申し込んだのだけど、リジェクトされそうな気しかしないので話そうとしていることの概要を書いておく。なお、トークのタイトルは名著TaPLのオマージュである*1。以下のGoのコー…

前々回ぶりに圏論勉強会ではない方の圏論勉強会 第9回に来ています。資料とustreamは公開されています。 ワークスアプリケーションズさんに感謝 前回の練習問題の回答を作りますのでお楽しみに 第9回: 領域理論・不動点意味論 / 講師 @9_ties さん 意味論は…