Proof Summit 2011

Liyang HU @liyanghu

何となく #ProofSummit に行くと思った。D: しかし #HakkuTaikai で @master_q さんに「簡約! λカ娘」をもらった。良かった！

DMスパマーに乗っ取られました @master_q

そこまでの価値が、、、！！！ QT @liyanghu: 何となく #ProofSummit に行くと思った。D: しかし #HakkuTaikai で @master_q さんに「簡約! λカ娘」をもらった。良かった！

中村 良幸 (Nakamura Yoshiyuki) @nakayoshix

札幌F#勉強会は、実践F#の読書会が一段落したら一旦終わりにする予定です。 #ProofSummit で学んだ定理証明や形式手法等もとても興味深いのですが、だからといってすぐに札幌で勉強会やるには難しいかも…

Takashi Miyamoto @tmiya_

@MoCo7 ICFPお疲れさまでしたー。＞最後に ProofSummit に行けなかったのは大変残念…。

T.T. @t_teruya

まだtogeられていない？ > #proofsummit

mzp @mzp

#proofsummit 昨日の発表スライドをアップロードしました → Check out this SlideShare presentation : CoqによるMsgPackの証明 http://t.co/3u7pvALB

Yoshihiro Imai @yoshihiro503

「Proof Summit 2011」をトゥギャりました。 togetter.com/li/192747 #proofsummit

suzuki shingo @giantneco

後で読む QT さっきのスライドを に置きました #proofsummit http://t.co/xSxFx0DG via @strawberryapp

kenichi kobayashi @kencoba

#proofsummit http://t.co/NJJBU7rO まとめた。ustreamとかどこにあんだよ、とか、出席表に自分のid書いてない、って人はどぞ。

kenichi kobayashi @kencoba

#proofsummit @tmiya_ さんのCoq入門はUstreamの操作ミスで録画できてません。ごめんなさい。また希望者を集めて、1日版をお願いしたいなー。

kenichi kobayashi @kencoba

#proofsummit http://t.co/NJJBU7rO LTの発表資料も順次追加してまーす。

fortunan @fortunan

ありがとうございます！昨日は参加者のみなさんに感謝です．勉強になった．RT @yoshihiro503: 「Proof Summit 2011」をトゥギャりました。 togetter.com/li/192747 #proofsummit

でこれき @dico_leque

#proofsummit で聞いた "Algebra of programming in Agda: dependent types for relational program derivation" http://t.co/K8yxq8PW の論文をダウンロード

片山 功士 @katayama_k

#proofsummit 道歩いててハタ、と思ったんですが、ProofGeneralって、tacticをあれこれするからそういう名前なんですかね。

Masahiro Sakai @masahiro_sakai

.@masahiro_sakai @ikegami__ @tmiya_ John Major's equality (JMeq) を Agda2で定義できた。 http://t.co/1j0IMYvD くくく、これはCoqではできまい！ (笑 #proofsummit

Masahiro Sakai @masahiro_sakai

@mzp ありがとうございます！ ProofSummit で久しぶりに会えて良かったです。そのうちまた〜

中村 良幸 (Nakamura Yoshiyuki) @nakayoshix

そういえば、昨日のProofSummitでセッション発表してた殆どの人がEmacsを使ってましたね。Mac率の高さも印象に残りました。

Masahiro Sakai @masahiro_sakai

@keigoi * の右随伴 ;-) #proofsummit

山本和彦 @kazu_yamamoto

ProofSummit にも行きたかったなぁ。