7/24，金曜日。晴れ。 起きると9h50。朝に何度も目が覚める。睡眠環境が良くないようだ…。明日、小型の扇風機でも買おうかねえ。 さっさと出勤して作業をすすめる。毎日おなじような計算をしているのだけど、まあ…しかたないねえ。一応計算は（少なくとも）4…