Proof Summit 2011
-
yoshihiro503
- 3988
- 0
- 0
- 0
-
- いいね！0
ogawa kiyoshi
@kaizen_nagoya
ProofSummit2011 - [PARTAKE] #proofsummit http://t.co/bwn4uYzD via @partakein
2011-09-25 00:04:16
中村 良幸 (Nakamura Yoshiyuki)
@nakayoshix
@umi_1step @ohtsuy @kzhirata @yukino_jo @hirosaki710 おは♡ 今日はProofSummit2011に参加します。今日も一日一♡ http://t.co/W3kbDXi3
2011-09-25 07:17:34
Yoshihiro Imai
@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
Yoshihiro Imai
@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
中村 良幸 (Nakamura Yoshiyuki)
@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
Yoshihiro Imai
@yoshihiro503
私は右側の列の前から二番目の机に座っています。「証明駆動」Tシャツを着ています #proofsummit
2011-09-25 10:08:03
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
Yoshihiro Imai
@yoshihiro503
@mzp debianかubuntuならば apt-get install agda-mode でいっぱつですよ。 #Proofsummit
2011-09-25 10:22:09
中村 良幸 (Nakamura Yoshiyuki)
@nakayoshix
Mac上でCoqIdeが起動しました。「はじめてのCoq」です。 #ProofSummit
2011-09-25 10:22:44
Yoshihiro Imai
@yoshihiro503
Coqの課題をとりあえずやりたい人は19ページをみるとよいようだ。 http://t.co/VwKERI9K #proofsummit
2011-09-25 10:23:06
mzp
@mzp
#proofsummit http://t.co/uglqu49o みんながつぶやいている席の位置をgoogle docsでまとめました。適当に追記してください
2011-09-25 10:39:20