たらいまわし関数
たらいまわし関数は
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)あたりで示せるかと思ったが考え込まなくってよかった。相当難しかったようだ。
たらいまわし関数は
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)あたりで示せるかと思ったが考え込まなくってよかった。相当難しかったようだ。