Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2013-07-11から1日間の記事一覧

今日は 圏論勉強会 第9回 の日です

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