2011年10月13日のツイート

@kururu_goedel: @ytb_at_twt 人材を有効に活用していると言ってください。

2011-10-13 20:04:05 via TweetDeck to @ytb_at_twt

@kururu_goedel: @ken_m123 そんなことを言う人がいるんですか……。

2011-10-13 12:02:07 via TweetDeck to @ken_m123

@kururu_goedel: 圏論をset-theoretic foundationsであつかうには（後略）- kururu_goedel [ザ・インタビューズ] #theinterviews URL というわけで任せた>@patho_logic

2011-10-13 11:55:05 via Tweet Button

@kururu_goedel: リラックスしろと言われるけど、仕事をして用事が片付いてホッとする以上にリラックスできることがない。

2011-10-13 11:40:08 via TweetDeck

@kururu_goedel: Android上でdropboxに入っているファイルを編集中に、他のアプリを開いてから戻ってきてセーブすると、dropboxが自動的にはアップデートしないのがちょっといやなんだけど、解決策はあるのだろうか？

2011-10-13 09:52:27 via TweetDeck

@kururu_goedel: @zia_m いいなぁ、リヨン。

2011-10-13 03:11:57 via web to @zia_m

@kururu_goedel: Kunenに空目 RT @pirapira: ひまになったら、Knuthの本にCoqで証明つけていきたい。まずはMIXを…。

2011-10-13 01:03:15 via Seesmic

@kururu_goedel: @night_in_tunisi @ttakimoto あ、もちろん @yukina_F_ さんはわかって書いていると思いますよ。カギカッコついているし。ただ、どこから引っ張ってきたものかは正直知りたいですが。

2011-10-13 00:38:40 via Seesmic to @ttakimoto

@kururu_goedel: これは…… RT @yukina_F_ 「公理とは、定理のうち誰の目にも正しいことが明らかなものをいいます。平行線公理はその正しさが自明でないので公理に含まないことがあります」

2011-10-13 00:10:22 via TweetDeck