上の方針で何が嬉しいかというと、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…