2012年12月27日のツイート
@kururu_goedel: ソ・ジソブという韓国人の俳優がいるのだけど、この前「スポンジソブ スクエアパンツ」というダジャレを思いついて、どうせ既出だよなと思ってググッたら該当なしで、それはそれでなんか世界中の誰よりもくだらないことを思いついてしまったようで悲しかった。
@kururu_goedel: そうだ、クリスマスが終わる前に呟いておくべきだと思って忘れていたこと。妻が娘に「ルドルフは赤いねー」とか言っているとき瞬時に全身が赤いルドルフ・ザ・レインディアに乗ったシャア大佐が3倍の速さでNORADをぶっちぎっている映像が浮かんでしまって俺の脳は大丈夫か。
@kururu_goedel: まあ、iterationの技法が増えたよ、やったねタエちゃんとか書こう。
@kururu_goedel: ただ、証明自体は面白いんだけど。最後の一番難しい奴は、iteration theoremを証明するのに、towerの全ての元に対してgenericなconditionから始めて、注意深くgenericになるポイントを減らしていく形になっていて、大変だけどイカス。
@kururu_goedel: もう随分前にもらった査読報告読み直している。なんかすごく強い結果が系として出てくると勘違いされているのはさておき、「もっとテクニカルじゃない動機付けをintroductionに入れなさい」って書かれたのをどうするか。正直、この論文ってばそういうのあんまりない(おい)。