2018-09-15 はてなブログへ引っ越し とんと更新していないこのブログですが,過去記事を捨て去るのも勿体ないので,とりあえずこちらに移行しました。 これを機会に,週一くらいは更新するよう頑張ってみるか。