Proof Summit 2016

Yoshihiro Imai @yoshihiro503

「コメントの中にダサい関数型言語みたいなのを書く。述語も書ける」 #proofsummit2016 #VeriFast

Keigo Imai @keigoi

VeriFastキタ。しかし帰りたい。しかし面白い。分離論理の記法や述語を書く言語がわりとすっきり読みやすいぞ #ProofSummit2016

Yoshihiro Imai @yoshihiro503

「関数型プログラミングで書いたコードと実際のCのコードが同じ働きをしていることを検証する」 #proofsummit2016 #VeriFast

Yoshihiro Imai @yoshihiro503

「inductiveというコマンドで普通の関数型的な型を導入できる」 #proofsummit2016 #VeriFast

Keigo Imai @keigoi

かえります。どの発表も面白かった！ #proofsummit2016

Yoshihiro Imai @yoshihiro503

懇親会情報です。 #フルーフサミット #ProofSummit2016 pic.twitter.com/tetsvWbPcO

拡大

よんた @keita44_f4

お疲れ様でした！楽しかった(*'￢') #ProofSummit2016

kdxu @kdxu

帰っています。楽しかったです #ProofSummit2016

おく @OKU_K

家に着いたので、#proofsummit2016 終わり

(* sakamoto *) @sakamoto_desu

楽しかったです。おつかれっしたー #proofsummit2016

Sosuke MORIGUCHI @chiguri

まだ帰ってないので #ProofSummit2016 終わってない。

Κeіsuke Νakanο @ksknac

やっと湘南国際村に到着．家に帰るまでがProofSummitなら私はまだ終わりそうにない．

Ryo Ishigaki @risgk

参加しました。 / “Proof Summit 2016 - connpass” htn.to/rCrbVz

チェシャ猫 @y_taka_23

無事帰り着いた。お疲れ様でした。 #ProofSummit2016