このページは、Vectorのfnami: Hobby Pageの移行先です。Vectorのホームページサービスが2024/12/20で終了するため、GitHub Pagesに移行中です。
Vectorにあった頃からですが、整理があまり進んでいなくて不整合な部分があります。