編集可能
2015年3月21日

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

モナド基礎勉強会 vol.2 http://xbase.connpass.com/event/11252/ #monadBase
9
前へ 1 ・・ 8 9
lotz @lotz84_

「モナドなんてどうってことなかった」めっちゃ面白い #monadBase

2015-03-21 18:32:55
Yoshihiro503 @yoshihiro503

「大事な事はだいたい>>=のなかでやってる」 #monadBase

2015-03-21 18:32:59
Yoshihiro503 @yoshihiro503

「実質なんにもしないreturn」 #monadBase

2015-03-21 18:33:12
lotz @lotz84_

ちゅーんさんでもいい #monadBase

2015-03-21 18:34:55
YAMAMOTO Yuji: 山本悠滋 @igrep

今日の「箸休めのつもりがとりになっていた」資料です! #monadbase / “Monadなんてどうってことなかった話” htn.to/HPuVhh

2015-03-21 18:38:08
ねの 紅楼夢2号M-16&前日ライブ @neno_n0

計算の合成 - khibinoの日記 khibino.hatenadiary.jp/entry/2014/12/… 本人から為になる解説を頂戴しました #monadBase

2015-03-21 20:44:42
ねの 紅楼夢2号M-16&前日ライブ @neno_n0

モナド基礎、すごい有識者がたくさん存在していて、すごかったです(小並感)

2015-03-21 20:58:49
Yoshihiro503 @yoshihiro503

ひびのさんにmonadtransformerの使い方レベル2に関して教えてもらった。 #monadBase

2015-03-21 21:07:42
ダニー @tataminomusi

今日はめっちゃ、面白かったです!やっぱり関数型って、名古屋ですね!皆さんお疲れ様です。また是非関西関数型道場に、ご参加してください! #monadBase

2015-03-21 21:49:12
ふみ a.k.a.DJ Monad @fumieval

「モナド基礎勉強会 vol.2」楽しかった(小学生並みの感想) #monadBase

2015-03-21 21:52:42
keizo042 @keizo042

モナド基礎勉強会想像以上にうらやましさが募っていた。次回は行きたい。

2015-03-21 22:02:55
ぽけば @pocketberserker

今日はとても楽しかったです。ありがとうございました! #monadBase

2015-03-21 22:20:53
でこれき @dico_leque

#monadBase そういえばSemantic Legoの話にあったようなのはR5RS→R7RSのFormal semanticsにもあって、dynamic pointを扱う計算を入れたことで全体をωを引き渡していくように書き換えることになったという

2015-03-21 22:58:27
s.t. super-homogeneous ではない @simizut22

本日の成果 - 圏がわからない人もいる - 抽象論ができない人もいる - yoneda's lemma は自明と感じるが,そうでないと感じる人もいる - 数学とプログラム両方好きだ - やっぱ数学クソおもろい - でも数学やる時間ない #monadBase

2015-03-21 23:04:21
超ニャーニャーとなくどうぶつ @AoiroAoino

無事帰宅しました。とても有意義な1日でした!ありがとうございました! #monadBase

2015-03-22 00:48:38
ねの 紅楼夢2号M-16&前日ライブ @neno_n0

「猫でもわかるモナド基礎(圏論)」とか、「猫でもわかるモナド実践(プログラミング)」とか、そういう書籍が求められてる。

2015-03-22 09:21:56
s.t. super-homogeneous ではない @simizut22

昨日の #monadBase で現地民の人から聞いた CFT と vertex operator algebra の間を埋める論文,これか... arxiv.org/abs/1503.01260 調べたら速攻で出てきた

2015-03-22 12:46:07
t.mishima @tty_mishima

疲れたのでちょっと休憩・・・ 昨日はモナド基礎勉強会に行ってきた。 何よりシュークリームが美味しかった。

2015-03-22 19:32:04
lotz @lotz84_

「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも?」 aoky.net/articles/james…

2015-03-22 23:32:45
lotz @lotz84_

名古屋ではモナド勉強会楽しかったし、京都では環から空間作る方法教わったし充実した旅行だった

2015-03-23 01:02:34
前へ 1 ・・ 8 9

コメント