2019-01-03 引っ越し はてなダイアリーがこの3月末で廃止になるので、こちらに引っ越しました。 なぜかはてな内の引っ越しができなかったので、古い方のwebsiteからは記事を全削除してこちらに移動しております。