暗号解読に地震があるなら
>>205
☆()内の数字の和は全部で20。(なぜなら全文中に数字は20個あるはず)
★()内は1以上の数字(当然整数)が入る(どの数字も少なくとも1個はあるから)
この二つを使って数え上げました。まず0の個数が2個以上だとすると、()内に0が1個以上入ることになり★に矛盾。これより『0は1個』『1は2個以上』
次は9から降順に数えていき、例えば9に3個以上入るとすると、()内に9が2個以上入る。しかし、そうすると()内の数字の和は、9×2+1×8=26以上となり☆に矛盾。つまり9は1or2個。
9が2個の場合は、どれかの数字の個数が9個になる。これは『0が1個、9が2個』より、1or2以外ありえない。()内の数字の和は、1が9個の場合も2が9個の場合も20にならず☆に矛盾。よって『9は1個』
…とこれの繰り返ししました。確か5か6まで数えると1の個数がネックになって、一瞬で終了するので、案外楽でした。なんかもっと鮮やかに数えられそうな気もしますが…。