モナド基礎勉強会 vol.2 #monadBase

午前の続きからのモナドの定義まで #monadBase

2015-03-21 13:56:40

圏, Cat の定義をしてモノイダル圏の定義までしました #3行 #monadBase

2015-03-21 13:57:28

ざっきー dev @zakky_dev

午後の部の前提知識 -> 自然変換 #monadBase

2015-03-21 13:57:33

モノイダル圏での掛け算に意味を与えたい #monadBase

2015-03-21 14:00:01

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

参加者の過半数が愛知県外からの参加！ #monadBase [うさみみ＊´×｀＊エンジニア]

2015-03-21 14:00:47

ものいだる圏の掛け算の文法を使ってモノイドができる #monadBase

2015-03-21 14:01:05

YAMAMOTO Yuji: 山本悠滋 @igrep

結構冷房キツイ #monadBase

2015-03-21 14:02:59

1⊗1 == 1⊗1 　λ↘ ↻ ↙ ρ 　　 1 の条件は結局定義に入るんだっけ #monadBase

2015-03-21 14:03:19

@lotz84_ 不安だから入れときましょう、みたいな空気でまとめた気が・・・？ #monadBase

2015-03-21 14:06:00

Set圏でのモノイドの定義をモノイダル圏での定義の一般化 #monadBase

2015-03-21 14:06:50

「民間人にお手柔らかに」 #monadBase

2015-03-21 14:09:47

「あの標語を言いたいわけです」 #monadBase

2015-03-21 14:13:49

関手圏にモノイダル構造があるって話は午前の部でやったやつ #monadBase

2015-03-21 14:17:00

CからCへの自己カンシュの圏を考えるとこいつはザコいモノイダル圏になっている #monadBase

2015-03-21 14:18:07

こくぼ @yusuke_kokubo

名古屋名物あくらるの昼寝を久しぶりに拝んでる #monadBase

2015-03-21 14:18:29

joinとreturnですねわかりｍ（ｒｙ #monadBase

2015-03-21 14:18:44

ふみ a.k.a.DJ Monad @fumieval

#monadBase 例の標語

2015-03-21 14:20:45

YAMAMOTO Yuji: 山本悠滋 @igrep

joinの話ですよ！ #monadBase

2015-03-21 14:22:15

YAMAMOTO Yuji: 山本悠滋 @igrep

ScalaのforはMonadっぽいけどreturnがないらしい #monadBase

2015-03-21 14:24:18

ねの @neno_n0

モナドの基礎だ…… #monadBase

2015-03-21 14:24:27

ねの @neno_n0

モナドが何やってるのかのフワッとした話へ #monadBase

2015-03-21 14:27:12