2019-02-19 はてなダイアリーから移行しました はてなブログに移行せよとのことなので移行してみました。とはいえここを更新することは今後はないはずで、最近のブログは blog.8-p.info をみてください。