2006-05-01 たらいまわし関数 たらいまわし関数は if x < y then y else if y < z then z else x になるらしい。 その停止性は? http://www.kmonos.net/wlog/60.html#_1445060501 あたりから少し考えて、 max(x,y,z), x-y, 何かわかんないもの(z-y)あたりで示せるかと思ったが考え込まなくってよかった。相当難しかったようだ。