はちゅねミク ばっかり聞いていて出遅れました。 15両は散々既出の通りですね。 えーと。最初にできた17両はこう書いてました。 xa y(0b a(ba +b)) xz a(yz)   z = max(0,x-y)>0 ? x : z をそのまんま書いてるようなものですね。 で，後ろのループがもったいなくって消していったら15両になった，と。 最初 0z を忘れてうっかり14両と書いてしまったと，そういうことです。 さて，あと30分。 完走。