マストドン：https://mathtod.online/@mathmathniconico GitHub：https://github.com/mathmathniconico