koteitan is a user on googoldon.net. 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.
koteitan @koteitan

因みに私は「昔自分が想定していたラヨ関数はZFC制限のないなくても戦え数でした」を上映中です