Proof Summit 2015

Yoshihiro Imai @yoshihiro503

築地の面白げな宿を予約した。 #proofsummit #関数型の集い

日比野 啓 (Kei Hibino) @khibino

Proof Summit いよいよ明日開催です。 電源の口が不足することが予想されますので、できれば電源タップ持参でお願いいたします。 #ProofSummit proof-summit.connpass.com/event/16189/

Yoshihiro Imai @yoshihiro503

今日は歌舞伎座でProof Summitです！ ハッシュタグは #ProofSummit

κeen @blackenedgold

#proofsummit 、今からキャンセル取り消し（つまり参加）出来ないだろうか。

Yoshihiro Imai @yoshihiro503

「関数型言語で仕事できるっていうとあまりないから朝日ネットに関数型やりたい人が集まるのでは」なるほど。 #ProofSummit

Yoshihiro Imai @yoshihiro503

東銀座を降りてから警備員の人に歌舞伎座タワーの21階に行きたいといえば親切に教えてもらえた #ProofSummit

ざっきー dev @zakky_dev

会場ついたー #ProofSummit

autotaker @autotaker1984

歌舞伎座タワー来た。　#ProofSummit

ざっきー dev @zakky_dev

とりあえず真ん中あたりの席を確保ー #ProofSummit

ざっきー dev @zakky_dev

セキココとかあるのかな。 #ProofSummit

ざっきー dev @zakky_dev

今日は #ProofSummit 、明日は #fpmeetup

athos)))))))) @athos0220

#proofsummit 会場着いたけど、わりと静まり返ってる

チェシャ猫 @y_taka_23

今日は 21 F。#ProofSummit

Takashi Miyamoto @tmiya_

#ProofSummit 始まりました。会場利用に関する説明中。

ELD-R-ESH-2 @eldesh

#ProofSummit なう(｀・ω・´)

Sosuke MORIGUCHI @chiguri

え、これ実況しろというお達し？ｗ #ProofSummit

Sosuke MORIGUCHI @chiguri

リフレクションのしくみをつくる #Proofsummit

Sosuke MORIGUCHI @chiguri

リフレクションは優しくない気がするｗ #Proofsummit

Noriyuki OHKAWA @notogawa

#ProofSummit リフレクションのしくみをつくる

Takashi Miyamoto @tmiya_

リフレクションのしくみをつくる #ProofSummit

mzp @mzp

#ProofSummit AsahiNetさん、最高

Tetsuya HAYASHI, 林徹也 @tetha

Proof Summit 2015 ハジマタ。タグは #ProofSummit

(* sakamoto *) @sakamoto_desu

#proofsummit まにあった (@ 歌舞伎座タワー in 中央区, 東京都) swarmapp.com/c/c3uHnHefoxU

チェシャ猫 @y_taka_23

名古屋で開催、Coq の入門勉強会。proofcafe.org #ProofCafe #ProofSummit

Ryo Ishigaki (石垣 良) @risgk

今年も始まりました。 Proof Summit 2015 proof-summit.connpass.com/event/16189/ #proofsummit