2010年06月30日のツイート
@kururu_goedel: ビール飲んでねる
@kururu_goedel: おっし、必要な補題は証明できた。TeX一発書きだから細かいところは見直さないといけないけど、多分大筋大丈夫。あとはいつもの筋だから面倒は面倒だけど問題はないはず。
@kururu_goedel: 日本にいた時の師匠が、「今書いている論文の群の計算が面倒すぎる」とか言って見せてくれた式が、全く数式として脳に把握されずゲジゲジのように見えて気持ちが悪くなったことがあります。それに比べれば数億倍マシ。
@kururu_goedel: @h_kagami 愚痴を書いたあとで見直したら、そんなに複雑でもなかったです。$\nu_{m, i}=\sum_{n<m}\eta(\beta_n)(\alpha+1)+\eta(\beta_m)i$とかそんなの。
2010-06-30 14:11:10 via Seesmic to @h_kagami
@kururu_goedel: @MarriageTheorem いやー、集合論の議論は細かい計算よりも超越的な議論でねじ伏せるのが多いので、たまに面倒な計算が出てくるとイライラが…。もっとも、解析とかの人はもっと遥かにヤバイ計算をやっているのだから不満を言ってはいけませんね。
@kururu_goedel: @norita113 いろいろでお金は要るでしょうし、無名で拮抗した実力のある人が出ても人気は集まらないから、人気選手がパンダをやる羽目になることもあるのではないかと思います。本人もそうとわかっていてやっている場合もあるだろうと思います。
2010-06-30 13:58:29 via Seesmic to @norita113
@kururu_goedel: 今となってはどうでもいいけれども、NFLのTBがスーパーボウルに勝ったあと、Warren Sappが数えきれないほどのCMに出て、その後グダグダになっていったのはねえ。
@kururu_goedel: だから、本命にして実際に勝ち続けられるチームなり選手なりは、そのほんの少しの差を確固として維持するというとても難しいことをやっているのだろうなと思う。差を広げていくというよりも。
@kururu_goedel: @norita113 CMに出るっていうのはかなりの時間的精神的肉体的なコストになっているんじゃないですか?現代スポーツにおいて、本命選手とその次のレベルの差というのはほとんどないでしょうから。
2010-06-30 13:50:55 via Seesmic to @norita113
@kururu_goedel: そしてまたダブルスクリプトのところに足し算を書くはめになるという。
@kururu_goedel: あー、順序数の演算うざい。面倒な順序数演算を頑張ってやったおかげで書けた論文がいくつかあるのは分かっていても、やっぱりうざいものはうざい。
@kururu_goedel: っていうか、いつの間にAdobe Air上でFEPの文節区切りがうまく表示されない問題が解決されていたのだ。毎日使っていたのに気がつかなかったって俺は馬鹿か。
@kururu_goedel: あー、やっぱり書いてみると見落としが出てくるねぇ。
@kururu_goedel: Seesmic Desktop 2 Preview、まだふぁぼり機能がついていないのか…。それ以外はかなりつかえるんだけどな。
@kururu_goedel: 今年の前半中に論文を5本吐き出す計画は、とりあえず3本まで完了(とはいえ、そのうち一本はほとんど名前を出させてもらった状態、もうひとつは証明はかなり自分でやったけれども書くのは丸投げだけれども)。あ、って明日でもう6月終わるのか。
@kururu_goedel: 今月末までにグラントの最終レポートかぁ。あと一本は論文提出したいのだけれども間に合うかどうか。
@kururu_goedel: ずっと頭の中に入っていて、でも書ききってなかった証明を書き始めているなう。