@kururu_goedel: おかねない…2010-10-30 05:01:15 via Seesmic Desktop @kururu_goedel: @Aka_neko いや、全然そういうレベルじゃないですが。 URL URL2010-10-30 02:11:41 via Seesmic Desktop to @Aka_neko @kururu_goedel: 人名のさかいでは反応しないの…

@kururu_goedel: 学生の皆さん、せめて授業からwithdrawするのくらい自分でやってください…。2010-10-29 04:51:18 via Seesmic Desktop @kururu_goedel: 採点するたった三つの問題のうち、二つでボケボケの計算ミスをしてはうーんなう。2010-10-29 04:27:36 …

@kururu_goedel: existsはここではdestructできないよと怒られていたのは、要するにsigをdestructしてsigを証明するのはOKだけど、existsをdestructしてsigを証明するのはダメ、ってことでいいんでしょうか。2010-10-28 01:59:42 via Seesmic Desktop @kurur…

@kururu_goedel: トルネード警報発令中2010-10-27 00:05:40 via Seesmic Desktop @kururu_goedel: @t33f そこを無理やりnormalくらいまで調教するのが楽しい、というのがpathological topologistなのですデヘヘ2010-10-27 00:05:15 via Seesmic Desktop to @…

@kururu_goedel: @h_kagami ごめんなさい、例のはまるっきり私の勘違いでした。KanamoriみたいなHomogeneous setを育てていくイメージで読んでしまっていました。すみません。2010-10-26 01:25:15 via Seesmic Desktop to @h_kagami

@kururu_goedel: あ、Coqが8.3になってる2010-10-22 00:34:09 via Seesmic Desktop

@kururu_goedel: あげるの第3候補に「ア・ゲ・ル」が出てくるGoogle日本語入力バンザイ2010-10-21 23:02:20 via Seesmic Desktop @kururu_goedel: 今日、ダライラマがうちの大学に来るらしい。講演してもらって名誉学位かなんかあげることになっているらしい…

@kururu_goedel: 来週、うちの学科のColloquiumでたらい回し関数のこと喋るんだけど大丈夫か俺。2010-10-20 01:13:25 via Seesmic Desktop @kururu_goedel: いや、だからどうと言いたいわけではないのだけれども2010-10-20 01:12:04 via Seesmic Desktop @ku…

@kururu_goedel: あ、Sumatra PDFの印刷がまともな時間で終わるようになっている(以前は間違えて印刷コマンドやると確実に強制終了しないといけなくなるレベルだった)2010-10-15 00:45:18 via Seesmic Desktop

@kururu_goedel: エィエィがすごいのは、数学のことななんか一つも喋らずに数学のことを語っているところであって2010-10-13 22:42:59 via Seesmic Desktop @kururu_goedel: わかっているから的確なことが言える人というのはまあ偉いのだけれだけれども、ほ…

@kururu_goedel: @igaris 官僚が書いているんでしょう。2010-10-12 23:06:28 via Seesmic Desktop to @igaris @kururu_goedel: @kinaba いつもすみません。目を通してみます。2010-10-12 22:12:39 via Seesmic Desktop to @kinaba @kururu_goedel: @kinaba …

@kururu_goedel: ルービックキューブは常に20手で解けるってやつを授業で紹介しようと直前までやってなんとかスライドし上げたのに時間が足りなくて今日はできなかった。2010-10-09 04:14:35 via Seesmic Desktop

@kururu_goedel: $A\subseteq A\cup B$と$(A\cup B)\cap C\subseteq(A\cap C)\cup B$の証明をCoqで書いた。2010-10-08 02:46:36 via Seesmic Desktop @kururu_goedel: 今セメはいろいろあって、火曜と木曜の夕食は運転しながらマクドナルドがデフォルト2010-…

@kururu_goedel: [プログラミング][あとで] / d.y.d. URL2010-10-07 23:57:56 via Hatena @kururu_goedel: 妻が三本目、二回目のデンタルインプラント。もうぼろぼろなのでやらざるをえないんだけどお金が……。もっとも、放置して痛みでなおさらイライラされ…

@kururu_goedel: @tri_iro もっとも、きちんとした定義を与えようとするよりは、こういうポリシーに則った定義はないかなと言う方向で考えていたのでしょうけれども。2010-10-06 22:39:39 via Seesmic Desktop to @tri_iro @kururu_goedel: @tri_iro いや、…

@kururu_goedel: @niam 本当はこんなものじゃすまないのですけどね。なんとか無能だろうが生ごみだろうが、精神的に崩壊せずに生き残っていく方法はないかと模索して毎日過ごしてますよ。まあ、それもいつまで続くかわかりませんが。2010-10-05 23:45:27 via…

@kururu_goedel: [集合論][ゲーデル][あとで] / Togetter - 「集合論のオススメ教科書からゲーデルTLまで」 URL2010-10-04 22:41:36 via Hatena @kururu_goedel: なんか車の修理で10万円くらい取られる（一ヶ月前くらいに7万円くらい出したばっかりなのに）…

@kururu_goedel: そんでは帰宅。2010-10-02 05:08:14 via Seesmic Desktop @kururu_goedel: 少しはtweetする余裕ができて嬉しい。昨日までマジで行き詰まってた2010-10-02 05:07:53 via Seesmic Desktop @kururu_goedel: あ、彼は、不完全性定理に関しては、…

@kururu_goedel: なんかうちのローカルキャンパスの図書館が、発禁本を読んでみようキャンペーンみたいのやるらしい。2010-10-01 00:22:35 via Seesmic Desktop