編集可能
2011年9月26日

Proof Summit 2011

「Proof Summit 2011定理証明支援系に興味のある方集合! 定理証明支援系とは、コンピュータを使って証明を行うツールのことです。当日は、数学の証明でもソフトウェアの証明でもなんでもありで、定理証明支援系を使った結果を共有していきたいと考えています。」 http://partake.in/events/ac41261d-6026-4d09-8814-5ad3e58446e8 続きを読む
5
Yoshiyuki Nakamura @nakayoshix

@umi_1step @ohtsuy @kzhirata @yukino_jo @hirosaki710 おは♡ 今日はProofSummit2011に参加します。今日も一日一♡ http://t.co/W3kbDXi3

2011-09-25 07:17:34
Takashi Miyamoto @tmiya_

#proofsummit 会場のビル地下のドトールなう

2011-09-25 09:24:23
Yoshihiro503 @yoshihiro503

I just checked into proofsummit on Ustream. Come watch and chat with me here http://t.co/e1znzlXI

2011-09-25 09:50:15
Yoshihiro503 @yoshihiro503

@keigoi UStream配信はkencobaさんにお願いいただけることになりました。ありがとうございます。 #proofsummit

2011-09-25 09:57:15
slidebot @slidebot

*New!* Agda 入門@ProofSummit 2011 http://t.co/uH3oIrwJ (by ikegami__ 2011-09-24) [en][DL:OK]

2011-09-25 10:00:12
Yoshiyuki Nakamura @nakayoshix

豆蔵さんに到着しました。Proof Summit 2011が始まります。 #ProofSummit

2011-09-25 10:00:51
fortunan @fortunan

これ参加してまーす.3月に参加させていただいたFormalMethod勉強会以来.RT @nakayoshix: 豆蔵さんに到着しました。Proof Summit 2011が始まります。 #ProofSummit

2011-09-25 10:02:37
Daisuke NISHITANI @cho_tekitou

Agdaで回路の話はHDL関係の話かな? #proofsummit

2011-09-25 10:04:54
Yoshihiro503 @yoshihiro503

私は右側の列の前から二番目の机に座っています。「証明駆動」Tシャツを着ています #proofsummit

2011-09-25 10:08:03
Yoshihiro503 @yoshihiro503

@tmiya_さんによるCoqチュートリアルはじまた #proofsummit

2011-09-25 10:08:24
mzp @mzp

#proofsummit 右の列の3番目の席に座っています。LtG Tシャツと、グリーンバンドをしています

2011-09-25 10:12:26
Perlカフェ @PerlCafe

Coq Tutorial at Proof Summit 2011ですと??? RT @kaizen_nagoya 受講中資料 : Coq Tutorial at Proof Summit 2011 slidesha.re/o1W2iM #proofsummit

2011-09-25 10:13:13
Yoshihiro503 @yoshihiro503

@mzp debianかubuntuならば apt-get install agda-mode でいっぱつですよ。 #Proofsummit

2011-09-25 10:22:09
Yoshiyuki Nakamura @nakayoshix

Mac上でCoqIdeが起動しました。「はじめてのCoq」です。 #ProofSummit

2011-09-25 10:22:44
Yoshihiro503 @yoshihiro503

Coqの課題をとりあえずやりたい人は19ページをみるとよいようだ。 http://t.co/VwKERI9K #proofsummit

2011-09-25 10:23:06
mzp @mzp

#ProofSummit Coqの型名・変数名・関数名の命名規則ってあるのかな?という雑談

2011-09-25 10:29:50
Masahiro Sakai @masahiro_sakai

#proofsummit に向かい中。自分の発表資料を作りつつ。

2011-09-25 10:35:53
mzp @mzp

#proofsummit http://t.co/uglqu49o みんながつぶやいている席の位置をgoogle docsでまとめました。適当に追記してください

2011-09-25 10:39:20
残りを読む(219)

コメント

コメントがまだありません。感想を最初に伝えてみませんか?