この変な</ppp>ってのは何なんでしょうか？書いてないのにどうして出てくるのでしょう？うーん、不等号をちゃんと&lt;とか書いてないからかなぁ。

すみません…連続体仮説の続きは土日にでも…

d.y.d. 14:45 06/05/01 たらいまわし関数の停止性 - yoriyukiの日記うーん、普通に証明できそうなんですが。何か私が変な勘違いをしているんでしょうか？計算理論はちゃんと知らないので…。関数型言語とか何も知らないし。 気になって証明を書いてみたので、…

昔、たらいまわしジャパン(略称TMJ)ってページがあったのを思い出した。