2019-04-27 ■ はてなダイアリーが閉鎖されるとのことでしばらく記事が書けなかったわけですが はてなブログに自動移行されたしい 見た目や使い勝手が少々変わったが いずれにしても更新頻度はこのありさまだし まぁどうでもいいかw