2026-01-15: 名義集合について考えていた
やったこと
日常
業務をしていた。
すべてAIにやらせたいという気持ちになっている。
労働とは一体なのだろうか‥‥。
研究
nominal setの訳って「名目集合」じゃない方が良くね? とふと思ったので、その方向性で考察をしてみた。
https://makenowjust-labs.github.io/blog/post/2026-01-15-nominal-set-translation/
nominal setは「名義集合」と訳すべきだと思う。
とはいえもう少し上手く議論できる気がするので、ちょっと書き直したい。