今年の大河で出てきた源仲章が源姓なのに明らかに公家＆いわゆる源平合戦の源氏とは別な描写だった。 武家ではない公家な源氏というのは百人一首に選ばれた歌人として源融、源兼昌がいるし、さらにフィクションでは源氏物語の光源氏もいるわけだが、どういう…

wamlのコードを読んでいて let rec enforce inf (p : pred) = function ... | Bool | Byte | Text when p <= Eq -> () のようなコードに行き当たった。predというのは type pred = Any | Eq | Ord | Num のように定義されている。つまり普通のバリアントだ。…

再帰型についてTaPLなどを読み返していて、ようやく再帰型の「2大流派」であるisorecursiveとequirecursiveの違いなどがわかってきた。調べている間にOCamlコンパイラの-rectypesというフラグについて知ったのでメモ。 OCaml（そしてほとんどの関数型プログ…

第二次世界大戦以前に不透明な金融やM＆A戦略により世界的なマッチ帝国を築き、世界恐慌で全てを失った人物について知ったのでメモ スウェーデン富豪イーヴァル・クルーガーが一時期世界のマッチ生産の７５％を握り、世界各国でマッチの独占供給権を持ってい…

このツイートで知った： Gitで差分がなくても空コミット作ることができるのはじめて知った。今までプッシュでのCI/CDやり直したい時、適当にリファクタリングしていたりしてたんだけど必要なかったみたい。https://t.co/VkQDcEnJUz— いぐぞー！！ ✈️ 旅する…

こんな記事を読んだ： simonwillison.net 「ブログを書くススメ」的な記事で、その中で勧められている「Today I Learned」がよさそうだったので真似したい。 言ってしまえば日々知ったふとしたことをメモるまさに備忘録な小記事なわけで、そんなに大発見なわ…