2010年07月06日のツイート
@kururu_goedel: 一般たらいまわし関数の(手書きの)停止性証明がどういうアイデアで出来ているかは、時間が出来たら書きます。わかってしまえば大したものではないので。
2010-07-06 13:11:14 via web
@kururu_goedel: 時間がないけどこれだけは言いたい。「あっという間にかわいいズゴックーさん」というダジャレを思いついて、むしろこれをダジャレだと思える自分を責めたてたいです。
2010-07-06 13:09:30 via web