水曜日

GW前後に締め切られる（研究外の）所用が数件あって、毎日すこしづつやっている。１時間以内ですむのもあるし、３時間くらいかかるのもある。今日した２件のうちの１件は、３時間の予定にしていたが、４時間ちょいかかってしまった。こういうのは、細部を気にすると時間が膨大にかかるので、あらかじめきめた精度と時間でやれることをやるようにしている。手抜き、というのとは違う。時間は有限なのだから、全てに手をいれつくすことはできないので、選択の問題。