#kenron 圏論勉強会 第1回 まとめ

@9_ties さんによる圏論勉強会第一回のまとめです。 イベントサイト: http://partake.in/events/9d4604e3-8bdc-4d47-92a1-a0f39dfa9b6e 開催日時: 2013年5月16日(木) 20:00 - 22:00 開催場所: 株式会社ワークスアプリケーションズ1階ラウンジ 資料: http://nineties.github.io/category-seminar/#/ 続きを読む
12
前へ 1 ・・ 10 11 次へ
hiratara @hiratara

#kenron が終わったとこ。まとまっていて大変面白かった。 http://t.co/PMJ7nCpUsj

2013-05-16 21:53:02
@usi_kro

乙,次回からはそれぞれについて細かく説明 #kenron

2013-05-16 21:53:03

終了後

(「・ω・)「ガオー @bicycle1885

なんかすごい進んだ気がする!ありがとうございました! #kenron

2013-05-16 21:53:20
yhara (Yutaka HARA) @yhara

#kenron 集合やらなんやらの例の上に、一段レベルの高い概念として「圏、対象、射」があり、さらにその一段上に「随伴、函手、自然変換」があるのかな〜

2013-05-16 21:53:27
Yosuke Mizutani @mogproject

ありがとうございました。無料でこの内容はすごすぎる。#kenron

2013-05-16 21:54:27
おでんですよ! @oden_wa

すげー高画質版を売ってくれたら買うぜ #kenron

2013-05-16 21:54:33
殺意駆動開発 @toru_inoue

んー面白かった。こういうのだったのか圏論。 #kenron

2013-05-16 21:55:16
PAB@おくみんの妹 @pab_tech

わかりやすくて、とても素晴らしい講義でした。来週からも楽しみ。 #kenron

2013-05-16 21:56:41
søκ𝄆⊂h𝄇 @PlanetLambda

圏論勉強会よかったですね。おつかれさまでした。 #kenron

2013-05-16 22:01:54
Hajime Hoshi @hajimehoshi

自然変換を理解したので満足した #kenron

2013-05-16 22:02:20
Keisuke UTO @utotch

圏論が無茶苦茶面白いという雰囲気だけはわかった #kenron

2013-05-16 22:03:17
ぞえとろ @zoetro

圏論勉強会すごく分かり易かった。最後の随伴のところはついていけなくなったけど。 #kenron

2013-05-16 22:04:23
ぞえとろ @zoetro

というわけで次回も参加してみよう。 #kenron

2013-05-16 22:04:52
ぞえとろ @zoetro

でも圏論がプログラミングにどう役立つのかはまだ見えてこないなぁ。 #kenron

2013-05-16 22:05:57
kakkun61 @kakkun61

無料で受けちゃっていいのかって感じだった。 #kenron

2013-05-16 22:06:04
前へ 1 ・・ 10 11 次へ