@kururu_goedel: いいけど。思い出は記憶にあれば十分だろ2010-11-29 13:52:45 via Seesmic for Android @kururu_goedel: つーか、私が写真を撮ったときは"ブスだ"とか"写し方が悪い"とか言ってバリバリ削除するのになあ2010-11-29 13:51:00 via Seesmic for…

@kururu_goedel: 全てに不慣れですげー時間かかった2010-11-28 11:35:13 via Seesmic for Android @kururu_goedel: なんかAndroidで簡単なインタプリタがあったのでコラッツ問題の計算やるのを書いてみた。時間ができたらアップする2010-11-28 11:34:22 via …

@kururu_goedel: と、パソコンを壊されるのが怖くて家でパソコンを使わなかった人間としては思いますね。2010-11-26 13:09:27 via Seesmic for Android @kururu_goedel: @yukoim @tadamago そりゃそれ以上の報復が在りそうだからじゃないですか？2010-11-26 …

@kururu_goedel: ようやく人間らしく動けるようになってきた。昨日の夜から体調が悪く、早寝したのにその後水下痢4回嘔吐1回、その後異常に効く下痢止めで無理やり止めて寝た後、起きてから水下痢2回。学校に来てからも授業以外はろくに活動できなかった。20…

@kururu_goedel: I could not help myself from tweeting from the classroom PC in question.2010-11-19 08:56:48 via web @kururu_goedel: Can I at least use firefox?2010-11-19 08:55:35 via web @kururu_goedel: It may not be true for every classro…

@kururu_goedel: 著者がネタにしてどうするんですか！QT @hyuki: 『数学ガール／イカ娘の侵略』2010-11-18 05:53:02 via Seesmic Desktop @kururu_goedel: そうだ、わしLinkedInにもアカウントあったんだ2010-11-18 03:33:08 via Seesmic Desktop @kururu_go…

@kururu_goedel: @tri_iro @ytb_at_twt いや、あの人は未来永劫若手でしょう。少なくとも私よりははるかに（良い意味で）若手っぽい。2010-11-17 03:07:10 via Seesmic Desktop to @tri_iro @kururu_goedel: @h_kagami それだったらJech読めばよいのではない…

@kururu_goedel: @niam ケインズは「時期の遅い早いはあるにしても、善にとっても悪にとっても危険なのは既存利害ではなく、アイデアなのだ」と書いたそうですよ。2010-11-12 05:12:34 via Seesmic Desktop to @niam @kururu_goedel: 正直今年は採用に口を挟…

@kururu_goedel: もうやだこんな生活2010-11-11 05:23:57 via web

@kururu_goedel: @patho_logic ヘブライ流(Hebrew style)というのが普通かと。2010-11-09 05:15:39 via Seesmic Desktop to @patho_logic

@kururu_goedel: 仕事2010-11-05 22:27:22 via Seesmic Desktop @kururu_goedel: @aleo724 ありがとうございます。どんなことでも感想をいただけるとありがたいです。一応、専門外の人でも順序数や基数の概念がわかっていれば少なくとも前半は追えるようにし…

@kururu_goedel: ごはん2010-11-04 01:34:45 via Seesmic Desktop @kururu_goedel: はらへ2010-11-04 00:50:10 via Seesmic Desktop

@kururu_goedel: わしにADのこと書けってそれ間違いだよ。i君にでも頼んでください。というかむしろ私が読みたい。2010-11-03 04:33:36 via Seesmic Desktop

@kururu_goedel: 来週テストか。また試験問題＆サンプル考えないといかん。今セメはずっと忙しいな2010-11-02 04:59:05 via Seesmic Desktop @kururu_goedel: @patho_logic 「まとめてサポートページ作りますので」ですよ、予定ですよ。2010-11-02 02:42:28 …

@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…