レドモンドは涼しくてよろしうございますなあ、と思っていたが、この一週間ほどは最高気温が30℃を超え、ことに本日などは夕方5時の時点で34℃なんて言ってて、ちょっとたまらん。まあオフィスはちょっと冷やしすぎなぐらいなので、どってことないのだが、一歩…