#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 2 3 ・・ 12 次へ
Kenichi HIROSE @__seroron

けんろんなう #kenron

2013-05-16 20:02:29
尾上 雅則 @ugaya40

人数やばい #kenron

2013-05-16 20:02:30
牛 @usi_kro

数学してる顔 #kenron

2013-05-16 20:02:37
(｢・ω・)｢ｶﾞｵｰ @bicycle1885

目指せekmett！ #kenron

2013-05-16 20:02:44
ねこはる @halcat0x15a

ekmettさんの影響で。 #kenron

2013-05-16 20:03:00
牛 @usi_kro

日本始まったな #kenron

2013-05-16 20:03:13
na2hiro 💿 93連休終わった @na2hiro

「念のためですが今日圏論を勉強しにきた人は挙手してください．ああ，圏論に100人も来るなんて冷やかしかと思ってました」「日本始まりましたね」 #kenron

2013-05-16 20:03:18
加藤公一（はむかず） @hamukazu

葉っぱに頭突きしまくってる。 #kenron

2013-05-16 20:03:19
またせたなねこ @takato_masumi

次はpc持ってこよう #kenron

2013-05-16 20:05:00
shige @takeishg

Ustream配信中です http://t.co/8cu6ODzDYr 圏論勉強会 第1回 - [PARTAKE] #kenron http://t.co/Ge1gfU6Cc3

2013-05-16 20:06:02
Kasio Hino @hiyakashi_

圏論の予習 #kenron

2013-05-16 20:06:12
もろ @低規模言語モデル ';DROP TABLE 人生-- @jagd5168

オーポンザ鍵 #kenron

2013-05-16 20:07:33
さかばー @saka_bar

Haskellを勉強する会ではない #kenron

2013-05-16 20:07:45
ちゅーん @its_out_of_tune

Haskeller歓喜 #kenron

2013-05-16 20:07:56
Liyang HU @liyanghu

#kenron なう！ http://t.co/UzfAQ7fSTe @ekmett We're talking about you again.

2013-05-16 20:08:00
na2hiro 💿 93連休終わった @na2hiro

数学的知識は前提としない，圏論知ってる人はつまらないかも，Haskellを勉強する会ではない． #kenron

2013-05-16 20:08:11
Mitsutoshi Aoe/maoe @ma0e

ほんとに講義だな。会場も素晴らしいし無料でいいんだろか。 #kenron

2013-05-16 20:08:48
牛 @usi_kro

「圏論の基礎」を読んだ高校生… #kenron

2013-05-16 20:08:58
na2hiro 💿 93連休終わった @na2hiro

「このまえ高校生で読んだって人がいましたが」 #灘 #灘 #灘 #灘 #kenron

2013-05-16 20:09:00
牛 @usi_kro

第一回「圏論とはどのような学問か」 #kenron

2013-05-16 20:09:30
殺意駆動開発 @toru_inoue

#kenron　第一回　圏論とはどういった学問なのか

2013-05-16 20:09:56
XENO @xenophobia__

第一回は随伴までざっと概観。 #kenron

2013-05-16 20:10:07
ちゅーん @its_out_of_tune

対は大事、Lisperならわかる #kenron

2013-05-16 20:10:29
牛 @usi_kro

対(pair)を表す型とは? #kenron

2013-05-16 20:11:21
na2hiro 💿 93連休終わった @na2hiro

第1回「圏論とはどのような学問なのか？」具体例から圏を見ていく．まずは対(cons) #kenron

2013-05-16 20:12:21
前へ 1 2 3 ・・ 12 次へ

いま話題のタグ

ゴジラ-1.029 登山875 マンガ41637 出禁46 草津62 離婚364 鬼滅の刃1233 話題15041 竹田くん5 サンドイッチ103 新幹線657 孤独死65 AI2263 志摩スペイン村26 ホテル556