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