はてなブログに引っ越ししました。 コロナで暇なので少しだけ更新 2020/5/1