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