2011年05月27日のツイート
@kururu_goedel: 夜ベッドの中でAndroidいじるなと怒られたので、今後は連続ツイートは少なくなります。サーベイの翻訳が終わったあとでよかった。
@kururu_goedel: @tenapi それは了解です。訳本は家にあるので見ればいいんですが、夜ゴソゴソするとうるさいと怒られるので、また今度見ます。
2011-05-27 11:55:56 via Seesmic Web to @tenapi
@kururu_goedel: そんなんばっか。
@kururu_goedel: それを言ったら、ラドーとミルナーのパラドックスも、なんかのときにそういうのが存在しないというのを暗に仮定してしまって、師匠に「それは成り立たないから証明してご覧。ミルナーとラドーのパラドックスって言うんだよ」と返された思い出が。
@kururu_goedel: カントール標準形は、研究の最中に必要になって自分で発見して、師匠に喜んで報告したら「それはカントール標準形って言うんだよ」ってポンと返されて凹んだ思い出が。
@kururu_goedel: @tenapi このレベルになると、解答だけみて問題を推測するのが難しくなりますね(おいおい)。
2011-05-27 11:48:57 via Seesmic Web to @tenapi