【新機能】作り忘れたまとめはありませんか?31日前まで期間指定してまとめが作れる高度な検索ができました。有料APIだからツイートの漏れはありません!
9
ログインして広告を非表示にする
前へ 1 ・・ 8 9
lotz△ @lotz84_ 2015-03-21 18:32:55
「モナドなんてどうってことなかった」めっちゃ面白い #monadBase
Yoshihiro503 @yoshihiro503 2015-03-21 18:32:59
「大事な事はだいたい>>=のなかでやってる」 #monadBase
Yoshihiro503 @yoshihiro503 2015-03-21 18:33:12
「実質なんにもしないreturn」 #monadBase
あおいの @AoiroAoino 2015-03-21 18:35:15
「みんな違って、みんないい」心に響くw #monadBase
Yuji Yamamoto: 山本悠滋 @igrep 2015-03-21 18:38:08
今日の「箸休めのつもりがとりになっていた」資料です! #monadbase / “Monadなんてどうってことなかった話” htn.to/HPuVhh
わわ @neno_n0 2015-03-21 20:37:11
monad transformerとhoistの話 #monadBase
わわ @neno_n0 2015-03-21 20:44:42
計算の合成 - khibinoの日記 khibino.hatenadiary.jp/entry/2014/12/… 本人から為になる解説を頂戴しました #monadBase
わわ @neno_n0 2015-03-21 20:58:49
モナド基礎、すごい有識者がたくさん存在していて、すごかったです(小並感)
Yoshihiro503 @yoshihiro503 2015-03-21 21:07:42
ひびのさんにmonadtransformerの使い方レベル2に関して教えてもらった。 #monadBase
ダニー @tataminomusi 2015-03-21 21:49:12
今日はめっちゃ、面白かったです!やっぱり関数型って、名古屋ですね!皆さんお疲れ様です。また是非関西関数型道場に、ご参加してください! #monadBase
ふみ@鍛冶鳥 @fumieval 2015-03-21 21:52:42
「モナド基礎勉強会 vol.2」楽しかった(小学生並みの感想) #monadBase
けいぞう @keizo042 2015-03-21 22:02:55
モナド基礎勉強会想像以上にうらやましさが募っていた。次回は行きたい。
ナゲット・もみあげ @pocketberserker 2015-03-21 22:20:53
今日はとても楽しかったです。ありがとうございました! #monadBase
でこれき @dico_leque 2015-03-21 22:58:27
#monadBase そういえばSemantic Legoの話にあったようなのはR5RS→R7RSのFormal semanticsにもあって、dynamic pointを扱う計算を入れたことで全体をωを引き渡していくように書き換えることになったという
s.t. @simizut22 2015-03-21 23:04:21
本日の成果 - 圏がわからない人もいる - 抽象論ができない人もいる - yoneda's lemma は自明と感じるが,そうでないと感じる人もいる - 数学とプログラム両方好きだ - やっぱ数学クソおもろい - でも数学やる時間ない #monadBase
あおいの @AoiroAoino 2015-03-22 00:48:38
無事帰宅しました。とても有意義な1日でした!ありがとうございました! #monadBase
わわ @neno_n0 2015-03-22 09:21:56
「猫でもわかるモナド基礎(圏論)」とか、「猫でもわかるモナド実践(プログラミング)」とか、そういう書籍が求められてる。
s.t. @simizut22 2015-03-22 12:46:07
昨日の #monadBase で現地民の人から聞いた CFT と vertex operator algebra の間を埋める論文,これか... arxiv.org/abs/1503.01260 調べたら速攻で出てきた
t.mishima @tty_mishima 2015-03-22 19:32:04
疲れたのでちょっと休憩・・・ 昨日はモナド基礎勉強会に行ってきた。 何よりシュークリームが美味しかった。
lotz△ @lotz84_ 2015-03-22 23:32:45
「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも?」 aoky.net/articles/james…
lotz△ @lotz84_ 2015-03-23 01:02:34
名古屋ではモナド勉強会楽しかったし、京都では環から空間作る方法教わったし充実した旅行だった
前へ 1 ・・ 8 9

カテゴリーからまとめを探す

ログインして広告を非表示にする
ログインして広告を非表示にする