Proof Summit 2012

kenichi kobayashi @kencoba

#proofsummit2012 http://t.co/GVSFOtPo 今週末開催ですよー

Yoshihiro Imai @yoshihiro503

明日の #proofsummit の参加申し込みはこちらです。 http://t.co/SJQZxbzF #fpm2012

ヽ|・∀・|ノ @i_am_a_youkan

明日は15:00には起きよう

Masahiro Sakai @masahiro_sakai

明日の Proof Summit 2012 http://t.co/dZZ7Pp6e の資料、とりあえずできた。これで明日のことをあまり気にせずに懇親会にいける。 #proofsummit #fpm2012

erutuf @erutuf13

Göbner 基底について一般向けに説明するとして「最大公約数みたいなもの」と言うのはどうなんだろう

imuno@シリコンバレー7年目 @imunolion

懇親会の情報はどこだろう #proofsummit

erutuf @erutuf13

やっぱり最大公約数と言うのもよろしくない気はしてきたけど、他に一言でどう言えばよいのか

erutuf @erutuf13

明日のスライドをなるべく数学屋じゃない人にも分かるように書こうとしているが、たとえばコホモロジーのこころみたいになりそうな恐怖

erutuf @erutuf13

「プログラミング言語書けます! pencil/paper 書けます!」

kenichi kobayashi @kencoba

#proofsummit2012 本日10:00開始．一般開場は9:30からー

Yoshihiro Imai @yoshihiro503

名古屋合宿組 出発 #proofsummit

ざぎん 𒎎𒍝𒆳@C102 2日目東ペ-22a @na4zagin3

会場到着。　ちょっと早すぎた感がある。#proofsummit2012

h segawa @dec9ue

昨日のシャープ論議のあおりかハッシュタグがおかしくなった。。。 #proofsummit2012 #fpm2012

h segawa @dec9ue

骨肉の電源争いをしてはいけません。 #proofsummit2012

h segawa @dec9ue

発表者の方はまだいらしていないようです。 #proofsummit2012

imuno@シリコンバレー7年目 @imunolion

どうやら公式ハッシュタグは#proofsummit2012のようです．(#proofsummit ではない様相)

h segawa @dec9ue

tmiya_さんからじぇねらるたんステッカー追加でいただいた！ #proofsummit2012

h segawa @dec9ue

でた、「証明駆動」Tシャツ！ #proofsummit2012

h segawa @dec9ue

豆蔵さんのトレーニングルームの机に貼って帰るというイタズラを思いついたが、大人なのでやらない。 #proofsummit2012

imuno@シリコンバレー7年目 @imunolion

さっそくgeneralたんのステッカーを頂いたのでmbaに貼るなど #proofsummit2012

rf @rf0444

#proofsummit2012 はじまた。

h segawa @dec9ue

kenkobaさん爽やか。アゴヒゲのおっさん想像してた。。。 #proofsummit2012

kenichi kobayashi @kencoba

http://t.co/yxbMcKHy Now On Live! #ProofSummit2012

shige @takeishg

今日はこちらに。よろしくお願いします。 #proofsummit2012

病気の美少女 @lyrical_logical

#kik_okiteJP #proofsummit2012