y. @waidotto@mathtod.online

https://twitter.com/waidotto
http://iso.2022.jp/
数学をやっています．
決定不能問題/計算可能性理論/数理論理学(数学基礎論)/モデル理論/数論

Joined Apr 2017

112 Following 148 Followers

足跡45(自前インスタンス) @ashiato45@p.ashiato45.net

followbot @followbot@search.fedi.app

犬飼（ねこ派） @In_ukai@mathtod.online

ワトソン @wtsnjp@mstdn.wtsnjp.com

五味斎 @gomisai@mathtod.online

定理証明数学チャンネル @mth@mathtod.online

Solyu @Mr_Solyu@mathtod.online

ワトソン @wtsnjp@mstdn.jp

pogin503 @pogin503@mathtod.online

ねぎとろ🐾 @motchy@mathtod.online

mzp @mzp@mstdn.nere9.help

vlastren @vlastren@mastodon.social