やったこと

可算

NonEmptySet とか NonEmptyMap に対応した。
なんで cats の NonEmptySet とかは SortedSet を要求するんだろう‥‥。
仕方ないので Universe の indexOf を使った Ordering の実装を追加した。

そういえば集合の可算無限和が可算というのは選択公理が必要らしい。
そうだったのか。

http://alg-d.com/math/ac/countable_union.html

昨日の記事がピックアップされていた。
ちょっと嬉しい。

https://twitter.com/zenn_dev/status/1366551580015689731

秋葉原

ひさしぶりに秋葉原で暁丸と会った。
やっていかねば‥‥。