やったこと

Ruby

Ruby 3.4リリースパーティに参加していた。
今年は大して何もやっていないので話を聞いていただけ。
RubyKaigiのやる気が出てきたかもしれない。

なぜかかつよしさんとワトソンさんに誘っていただいたので2次会に行っていた。
神田の酒屋みたいな不思議な飲み屋だった。
不思議な店が世の中にはある。

Quine AC 2024

ついに解放された。
自由だ。

アドベントカレンダーは期限を越えてやらない方がいいらしいので今回は続けないことにする。

nominal sets

first-order logicのソルバの実装をやってみていた。
どういうときに遅延が足りないかとかが分かってきたのでやっていきたい。

遅延版の NSet も作るべきなんだろうな。
その場合 Orbit がソート可能な必要な気がして、さらに実装が複雑になりそうだけど。
困ったな。