2018-10-28 移転しました はてなダイアリーが無くなるということで、はてなブログに移転しました。最近は全く更新していないのでそのまま廃止しても良かったのですが、過去記事を参考にされる方も少なからずいると思うので、場所だけは確保しておきます。