当ブログサイトのテーマを自作のものへ移行した。上が旧デザイン、下が新デザインである。 実に20時間以上もの格闘を経て作り出された大作だ。 それ以前は、どこかで見つけたhugo-theme-tailwind というテーマを使用していた。 旧デザインも悪くはないのだが、デザインが微妙に気に食わない場合に調整することが難しかったり、そもそも私は他人の書いたコードを管理することが苦手だったりといった理由からテーマの自作へと踏み切った。 といっても、半分くらいは夏季休業中の暇潰しと、「一から十まで自分の好きにできるのに、そうしないのはもったいない」という自分の思想が動機だ。 もっと読む

これは、 積読紹介 Advent Calendar 2025 の 19 日目の記事である。 はじめに 昨年ぐらいに、通っている学校から図書カードを 5,000 円分ほど頂いたこともあって、割合たくさんの本を買うことができた。 しかしながら、時間とモチベーションの都合で読むのをやめてしまったり、目を通すことなく積んだままになっていたりする本が数冊ある。 ということでこの記事では、そのようにして放置されている本を紹介しながら、思いを馳せていこうと思う。 もっと読む

GHC 9.10.1 にて、 “RequiredTypeArguments” なる言語拡張が実装された。 この拡張は、Haskell に依存型を追加するという計画の一環であるらしい。 これを有効化すると、項の位置に型を置けるようになる。 この記事では、この言語拡張を用いて長さ付きリストを実装し、遊んでみることにする。 もっと読む

はじめに ドメインを買い鯖を立てたものの、とくにこれといってやりたいことが無かった。 そのため、一人用のMastodonインスタンスを立ててみたが、これがなかなか良い感じだった。 ただ、ホストしているサービスがMastodonだけというのもすこし寂しかったので、文章を書く練習というのも兼ねてブログを立てることにした。 もっと読む