今日は祝日……わかっていたけど祝日多いな．昇天日だそうだ．次のお休みは5月25日で，これは5月24日の聖霊降臨の日の振り替えみたい．それが終わると次は7月まで祝日無し．そもそも七月八月はほぼお休みみたいなものな気がするけど．

共著論文の続きをとりあえずざっと書いてみたら引用が共著者（自分も含めて）ばかりになった……．