2019-02-20 ブログ引っ越し はてなダイアリーが今月末で終了。 それに伴い、はてなブログに引っ越した。 乱暴に引っ越したので不具合があるかも知れんが、確認する余裕はない。 とりあえず、これで終了とする。