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