omochimetaru 9/25/2025 11:54 AM

一個のリテラルに整数が並んでるだけでも巨大な推論問題になっちゃうんやな

11:55 AM

たしかに探索ツリーの最適パスでも深さが限界に当たりそう