y. is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
y. @waidotto

今度のつどいで講演します.「有限オートマトンとPresburger算術」というタイトルで話します.何も知らない人向けに,前半でオートマトンの入門をやって,後半でPresburger算術の決定可能性を示そうと思います.

· Web · 2 · 4