離散数学の教科書に、空でない長さ6以下のbitstringの総数を求めよという問題があって、これを2^1+2^2+...+2^6=126と求めていたのだけれども、これはもちろん2^7-1-1で、空列を除くのに-1はわかるとしてなんでもう一つ引くだけでよいのだろうと思っていたのだけれども、これでちょっと納得できたということで。

と思ったら、昔持ってきてずっと使ってなかったヒーターがあった。ありがたい。