いまさらですがこのブログをHTTPS化しました。 このブログははてなブログPro、独自ドメインで長らく運営（放置）していました。はてなブログでは1年ほど前にHTTPS化の機能が追加されましたが、いろいろと大変そうなので放置していました。 ようやく思い立っ…