@kururu_goedel: 世界を革命する力を！2010-07-31 11:22:47 via web @kururu_goedel: "Tinker Bell and the Lost Treasure"の歌の"Believe in who you are, believe in what you are always meant to be"で泣きそうになる程度には弱ってます。こんばんは。20…

@kururu_goedel: 銃、病原菌、ガンダム2010-07-23 07:36:46 via web

@kururu_goedel: おやすみなさい。2010-07-21 14:02:33 via Seesmic @kururu_goedel: 4本目のreferee report送った。数点の修正を条件にアクセプト。2010-07-21 14:02:17 via Seesmic @kururu_goedel: 出席点かぁ。「授業にさえ出てきてくれればもう少しまと…

上の方針で何が嬉しいかというと、tの値が実際になんになるかはあまり真面目に考えなくてもよいということです。値がどうなるかを真面目に考え始めると、後半の8ページが必要になるわけですよ。ぱらぱらめくって"case"を目grepすればわかるとおり、場合分け…

えーと、 一般たらいまわし関数の(手書きの)停止性証明がどういうアイデアで出来ているかは、時間が出来たら書きます。わかってしまえば大したものではないので。2010-07-06 13:11:14 via webとかtweetしたのでやります。論文のフルバージョンはこちら→[1007…

@kururu_goedel: それではおやすみなさい。2010-07-19 15:09:58 via web @kururu_goedel: コメントしたかったのだけれども出来なかった。私は右肩に矢印の記号が混乱無く直感的でとてもすばらしいと思うのだけれども、なんとかはやらせられないだろうか。URL…

@kururu_goedel: なにがきみーのーしーあわせー、なにをーみーてよーろこぶ。わからないーまーまーおわる、そーんなのはいーやだ。2010-07-18 12:24:06 via web

@kururu_goedel: 今は、妻のPCを特別に使ってもよろしいという許可が出ているので、ありがたく生存報告をしています。2010-07-10 13:21:56 via web @kururu_goedel: いや、少々誇張は入っているな。2010-07-10 13:21:16 via web @kururu_goedel: いいわけね…

@kururu_goedel: 一般たらいまわし関数の(手書きの)停止性証明がどういうアイデアで出来ているかは、時間が出来たら書きます。わかってしまえば大したものではないので。2010-07-06 13:11:14 via web @kururu_goedel: 時間がないけどこれだけは言いたい。「…

@kururu_goedel: @kikx あからさまな非効率(同じことを二回証明する、より効率的なコマンドがあるはずなのに知っているもので間に合わせている、パターンマッチングがうまく使えてない)などがあるので、ゴルフ以前の話です…。オーガスタから月にボールを飛ば…

Call-by-name版なので簡単ですけど。ものすごく下手なソースだと思いますが、一応晒しておきます。

@kururu_goedel: @minami106 ポスドクやっていたところの(当時の)学科長は、オフィスに「Yes! We are clopen」と書いてある冗談の看板を貼ってました。2010-07-02 14:57:01 via Seesmic to @minami106 @kururu_goedel: はてダのtwitter報告は扱いが難しいな…

@kururu_goedel: まだ読み終わってないけどなんかすげーよおめーら。 URL2010-07-01 23:01:32 via Seesmic @kururu_goedel: 昨日のやつは、補題はちゃんと証明出来ていると思うのだけれども、そこから証明しようとしていた定理が本当に証明できるか自信が無…