n人でじゃんけんをします。一人の勝者が決まるまでに行うじゃんけんの期待値は？

について、その凸包はに属す高々個の点の凸結合全体の集合に等しい。

型つきラムダ計算を実装しようと思ったが、これが思っていた以上に難しい。単にベータ簡約すればいいだけじゃないからなぁ。

易化。然し、喜々とできず。畢竟、相対的。