http://www.kmonos.html#_2319090427 今ある普通の言語の場合、「別に最左である必要はなくて、最大要素のインデックスならどれでもよかった」という実装をすることができません。 「普通の言語」どころか(書いた私が)頭のおかしいコードですが、 > cat max.c #include <stdio.h> #include <assert.h> #include <setjmp.h> void amb(int x, int y) { assert(0); } /* longjmpは返値型がvoidなのでint型に合わせる */ int mylongjmp(jmp_buf cont, int ans) { longjmp(cont, ans); assert(0); } /* arrの最大要素(の一つ)のインデックス+1を非決定的に返す */ v