一応気分としてはこの土日に始まって来週はお盆休みということになります。ブログタイトルもこれまでは引っ越し後$N$日目日記ということにしておりましたが、夏休み$n$日日記ということにしていきたいと思います。一応たぶんn=1,2,...,9 と思いますが、どう…