2019-01-14 はじめに 雑記 「はてなダイアリー」における記事をそのまま移行しようかとも思ったのですが、恥ずかしい記事が多々目に付いたので、タイトルも変えて新たに始めることとしました。 内容は、旧ブログとあまり変わらないと思いますが、適宜旧ブログの記事を書き直すこともやっていこうと思います。