Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-07 20:27:38) ぷよぷよには「なぞぷよ」という詰めぷよぷよが存在するのか。これにACL2を例えるのはかなりいい説明になりそうだけど、自分自身がそんなにぷよぷよ強くない問題があるから、ぷよぷよをやるか。。。