Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-16 00:34:37) 高階帰納型すごいかもしれない。。。すごい異次元の表現力を見た気がする。Reply
---Replies---
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-16 00:37:50) 制約が重くなっていくと、目的に対して制約のかけかたが正しい限りは全てがうまくいくけど、正しくできていないと何もかもうまく行かないという印象があるからなあ。。。