1週間夏休みをいただくことにしたので今日は移動日。この日記も含め、徐々に補完していく予定。ちなみに奈良先端大の教員は7月頭から9月末までの間、連続する3日間「夏季特別休暇」なるものを取得することができ、19日の月曜日が休日なので、3日間は特別休暇…