#kenron 圏論勉強会 第2回 まとめ
資料やレポートなど
アナウンスや資料など
圏論勉強会 第2回 の募集を開始しました。来週もよろしくお願いします! - [PARTAKE] #kenron http://t.co/7Bx3KCV9tf @partakeinさんから
2013-05-17 14:34:41第2回圏論勉強会の動画をアップロードしました。 http://t.co/dF3DwCUj6h パスワードはkenronです。 動画はsplitで分割したので、catでくっつけてください。 #kenron
2013-05-24 14:17:18感想やレスポンスなど
Togetter
イベントの様子
当日まで
[PARTAKE] 新しいイベントが追加されました : 圏論勉強会 第2回 http://t.co/zUnELnkuP9 #kenron
2013-05-17 14:34:23要望ありましたので、圏論勉強会の講義資料について、今度は事前(前々日か前日を予定)に共有するように進めようと思います。またアナウンスします。 #kenron
2013-05-17 14:40:39圏論勉強会 第2回 - [PARTAKE] #kenron http://t.co/KE3Wll7qhN @partakeinさんから 「型と計算」からなる圏と「命題と証明」からなる圏の間に同型と呼ばれる対応関係 これが理解できるようになりたい
2013-05-17 14:53:13間に合った!w | 圏論勉強会 第2回 - [PARTAKE] #kenron http://t.co/S4tMY2UBeZ @partakeinさんから
2013-05-17 14:53:28募集30分で50人突破 #kenron - 圏論勉強会 第2回 http://t.co/nrqkbKKX6T
2013-05-17 15:03:26圏論勉強会 第2回 - [PARTAKE] #kenron http://t.co/1EPnws4SgW @partakeinさんから 30分くらい出遅れたらもう50人埋まっているのだが…。
2013-05-17 15:03:28圏論勉強会 第2回 - [PARTAKE] #kenron http://t.co/l1qIfhm4RW via @partakein
2013-05-17 15:55:05埋まるの早すぎる…: 圏論勉強会 第2回 - [PARTAKE] #kenron http://t.co/ITCKRfno2h via @partakein
2013-05-17 17:20:23情弱なので出遅れて補欠になった 圏論勉強会 第2回 - [PARTAKE] #kenron http://t.co/iOp4NSA51J @partakeinさんから
2013-05-17 22:40:14ううう。行きたいよォォォ / 圏論勉強会 第2回 - [PARTAKE] #kenron http://t.co/In8eWR98VR @partakeinさんから
2013-05-17 22:59:31昨日申し込みするの忘れてたorz / 圏論勉強会 第2回 - [PARTAKE] #kenron http://t.co/u0tFnGSH7x @partakeinさんから
2013-05-17 23:06:00昨日申し込みするの忘れてたorz / 圏論勉強会 第2回 - [PARTAKE] #kenron http://t.co/u0tFnGSH7x @partakeinさんから
2013-05-17 23:06:00圏論勉強会 第2回 - [PARTAKE] #kenron http://t.co/QNP5AiR2Ht @partakeinさんから 平日なのに参加希望者130人とか日本始まったな
2013-05-19 20:41:52補欠の方が多く、キャンセルされる方は必ずPartakeでキャンセル処理をお願いします。補欠の方は、会場にいらした場合は立ち見でお願いします。前回は座っていただけましたが、今回は難しそうです。 | 圏論勉強会 第2回 #kenron http://t.co/SywZ2jZVuo
2013-05-22 12:57:07