わかめのモナド浸し #わかめモナ化

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

でこちゃん「keigoiさんはカジュアルにeclipseコンパイラのパッチを書くし、わかりやすいとおもいますよ。Javaだし」きょん「え。。。」 #わかめモナ化

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

みなさん明日生きて帰れるか心配ですね！ #わかめモナ化

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

Ustreamのリンクを追加しました。 / わかめのモナド浸し http://t.co/8TvLMonk #わかめモナ化

ぐるぐる系SQL @bleis

参加登録わすれてた！ わかめのビール浸し (懇親会)に参加します！ http://t.co/uhrVElox #わかめモナ化

瀬良 @shela_

明日 #わかめモナ化 行く人でどこか昼飯行こうぜ

ぐるぐる系SQL @bleis

きたく！さて、今から #わかめモナ化 の資料作るよ！現在37枚

hiratara @hiratara

明日の #わかめモナ化 の資料をupしたとこ。 http://t.co/m59a2XPN

チェシャ猫 @y_taka_23

明日お話させて頂くはずだった Coq ソースです。型の圏におけるモナドに対して、通常の定義と Kleisli トリプルによる Haskell 風の定義との同値性を証明しています。もし興味のある方がいれば。 http://t.co/yHe99klU #わかめモナ化

Ryo 登山系ITエンジニア @RKTM

前日の資料up、これがモナドの力か・・・。 #わかめモナ化

Ryo 登山系ITエンジニア @RKTM

やべえ、圏論の話で文系卒の自分涙目・・・。それでも圏論読書会にちらっと参加していたのでなんとなくはわからなくもない。 #わかめモナ化

チェシャ猫 @y_taka_23

.@hiratara さんの発表資料、びっくりするぐらい淡々としている。 #わかめモナ化

梶本裕介 @uskz

http://t.co/3bEAoQLr 昔書いたのを切り貼りして１時間で明日の資料作り上げたぞ！！ #わかめモナ化

hiratara @hiratara

肝心なところで「朝起きれたら書く」になってて悲しんでいるとこ。 #わかめモナ化

hiratara @hiratara

Coq力が低過ぎて証明を読めなくて悲しんでいるとこ。 #わかめモナ化

チェシャ猫 @y_taka_23

.@uskz さんも Kleisli トリプルの話を予定しているようだ。 #わかめモナ化

ぐるぐる系SQL @bleis

意志薄弱とは俺のこと・・・ #現在67ページ #わかめモナ化

ぐるぐる系SQL @bleis

あ、資料の言語はＳｃａｌａじゃなくてF#ですんでそこんとこよろしく #わかめモナ化

ぐるぐる系SQL @bleis

">>= に一致する情報は見つかりませんでした。" #わかめモナ化

ぐるぐる系SQL @bleis

今日のイベント、気軽に参加してもよいのよ？ http://t.co/xXO2iCWB #わかめモナ化

ぐるぐる系SQL @bleis

#わかめモナ化 の発表資料(作りかけ)です http://t.co/dWW95sQB

ひらい @h_hirai

朝起きられたので、お邪魔させていただきます。 http://t.co/RK8gkPfE #わかめモナ化

ひらい @h_hirai

お邪魔します。 http://t.co/bRouB4Lf #わかめモナ化

hiratara @hiratara

@maeda_ @kyon_mm 今日の話、普通に話すと60分を超えそうなんですが、60分に収めた方がいいですよね？ 序盤を端折ればたぶん収められるので。 #わかめモナ化

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

発表前に公開されてる資料多いですね。皆さん気合はいってますねー。 #わかめモナ化

athos)))))))) @athos0220

あー、 #わかめモナ化 って今日だったのか。