2018-10-09 移行しました。 ということで、はてなダイアリーからはてなブログへと移行しました。 引き続き、たいして更新はしないでしょうが、なんとなく残しておきます。 何かあれば記事を書くかもしれませんが、当面はtwitterで。