@kururu_goedel: やべー、良く考えてみたら今日すげー忙しい2010-09-29 21:50:10 via Seesmic Desktop @kururu_goedel: @patho_logic それ、すでに指摘し終わってますから。2010-09-29 04:06:38 via Seesmic Desktop to @patho_logic

@kururu_goedel: [Coq] Coq-99、一応出来た。 / Functional Programming Memo: [Coq] Coq-99 : Part 1 URL2010-09-28 02:23:10 via Hatena @kururu_goedel: 元気モリモリになれないにゃ！2010-09-28 00:54:19 via Seesmic Desktop @kururu_goedel: っていう…

@kururu_goedel: 家に帰ります。2010-09-25 05:09:57 via Seesmic Desktop @kururu_goedel: プロポーザルにいろいろ付け加えるから削らないとと思ってバサバサ削っていたら短くなりすぎてしまった。とはいえ、削ったところをただ戻すだけだとバランスが酷い…

@kururu_goedel: 死ぬほど時間がないときに何やっていたのだ俺は。2010-09-24 05:18:51 via Seesmic Desktop @kururu_goedel: sqrt2通った。長くて醜いけど。2010-09-24 05:17:08 via Seesmic Desktop @kururu_goedel: 家でパソコン使えないのは厳しいよなぁ…

@kururu_goedel: これってなんでこの名前になったんだろ>URL2010-09-23 02:39:13 via Seesmic Desktop @kururu_goedel: @koiti_yano っていうか、矢野さんの業績が知れ渡って、そういう発表なり論文なりが出るたびに、「矢野さんの論文はご存じないんですか…

@kururu_goedel: そういえば、某女性集合論者がinternally approachableでゲロ受けしていたのを思い出した。2010-09-22 22:48:42 via Seesmic Desktop @kururu_goedel: Nancy Pelosiがラジオでインタビューに答えていたのだけれども、「民主党は秋の選挙に勝…

@kururu_goedel: 点つけ2010-09-21 02:42:25 via Seesmic Desktop @kururu_goedel: ひとまず吐き出せたので仕事に戻ります。2010-09-21 02:38:12 via Seesmic Desktop @kururu_goedel: っていうか、オバマの政策が効果がないとか言っている人たちはどれだけ…

@kururu_goedel: @hyuki ポイントは"If a is a non-zero rational number and b is irrational, then ab is not rational"の否定がどうなるかがはっきりわかっていないというところでして。2010-09-20 22:35:02 via Seesmic Desktop to @hyuki @kururu_goede…

@kururu_goedel: 正直、私には「0でない有理数と無理数の積は無理数になる」の否定が取れないって感覚は理解出来ないのだけれども。なんとかもう一度説明してみよう。2010-09-18 02:30:05 via Seesmic Desktop @kururu_goedel: 今から死ぬ気で点付けする2010…

@kururu_goedel: おなかすいた2010-09-16 01:25:58 via Seesmic Desktop

@kururu_goedel: なぜかちょうど学内の競争的グラントの締切りとほぼ重なるという困ったスケジュールではあるのだけれども。2010-09-15 02:11:26 via Seesmic Desktop @kururu_goedel: NSFへのプロポーザル、今回書くかどうか迷ったけど、なんか書いたほうが…

@kururu_goedel: あ、今のところ時間ないんでとりあえず通してみているのみです。2010-09-14 01:49:47 via Seesmic Desktop @kururu_goedel: あなぷるなう。何も考えずにtautoとか試してみるおすすめできないプレイ。2010-09-14 01:49:11 via Seesmic Deskto…

@kururu_goedel: あ、なるほど。私は普通に社会生活ができていないのだった。2010-09-10 22:44:23 via Seesmic Desktop @kururu_goedel: @alohakun そうですか？QT @alohakun: 当たり前だけど、普通に社会生活ができている私たちは、他人を殺したいと思うほ…

@kururu_goedel: @tenapi ウェブ上のものに比べてお気楽でなくなる要因が見つからないです。匿名ですし、それ以外の縛りも全くなく。強いて言えば、「公式なものなので先生の学校側からの評価に直結する」と思われている点くらいでしょうか。2010-09-09 22:1…

@kururu_goedel: @h_kagami あ、これ私向けですか？ウェブサイト自体はそうなんですけど、正式なteaching evaluationは正直生死に関わるので学生さんたちの印象は軽視できないんです……2010-09-08 12:02:05 via Seesmic twhirl to @h_kagami @kururu_goedel: …

@kururu_goedel: リューナイトのオープニングは今日が変わるマジックの方が絶対によかったと思うのですがどうでしょう？（誰に聞いているのだ！）2010-09-07 23:59:51 via Seesmic twhirl @kururu_goedel: ♪走りだす前の、鼓動の音が好き…2010-09-07 23:58:5…

@kururu_goedel: っていうか、いきなりtwhirlが一年ぶりくらいに更新されていてビビった。開発停止ってわけじゃないのね。2010-09-04 02:45:23 via Seesmic twhirl @kururu_goedel: @n_2i それは無理2010-09-04 02:44:39 via Seesmic twhirl to @n_2i

@kururu_goedel: 同僚とのミーティング終了。手描きのノートを適当にプレゼンしたところ、とりあえずは問題なさそうだという結論に落ち着いてよかった。例の脱力系なやつ。2010-09-02 01:29:06 via Seesmic Desktop

@kururu_goedel: なんか教育関係のセミナーとやらに出てくる2010-09-01 04:18:47 via Seesmic Desktop @kururu_goedel: とりあえず形式手法と形式的検証についての参考文献をwikipediaからたどって適当にダウン、印刷2010-09-01 03:09:12 via Seesmic Deskto…